def p_procedure(p): """procedure : PROCEDURE function_sign LBRACE qis_1 declarations_list block RBRACE SEMICOLON | PROCEDURE function_sign LBRACE qis_1 block RBRACE SEMICOLON""" if p[len(p) - 3] and "exit_when_quad_index" in p[len(p) - 3]: raise CompilationException( "exit when just allowed in loops!!! function: " + p[2]["place"], p.slice[2]) procedure = p[2] p[0] = procedure # goto return statements exit_procedure_statements_quad_index = code_array.get_next_quad_index() return_address_variable = symbol_table.get_new_temp_variable("void*") code_array.emit("pop", return_address_variable, None, None) code_array.emit("short jump", None, return_address_variable, None) begin_procedure_statements_quad_index = code_array.get_next_quad_index() # backpatch qis_1 with begin proc statements qis_1 = p[4] code_array.backpatch_e_list(qis_1["goto_quad_index"], begin_procedure_statements_quad_index) # load arguments for parameter in procedure["parameters"]: code_array.emit("pop", parameter, None, None) # goto beginning of proc code_array.emit("goto", None, qis_1["quad_index"], None) symbol_table.pop_scope() return
def p_statement_do_while(p): """statement : DO qis statement WHILE bool_expressions""" code_array.backpatch_e_list(p[5]["t_list"], p[2]["quad_index"]) code_array.backpatch_e_list(p[5]["f_list"], code_array.get_next_quad_index()) if p[3] and "exit_when_quad_index" in p[3]: code_array.backpatch_e_list(p[3]["exit_when_quad_index"], code_array.get_next_quad_index()) return
def p_statement_if(p): """statement : IF bool_expressions THEN qis statement | IF bool_expressions THEN qis statement ELSE qis_1 statement""" code_array.backpatch_e_list(p[2]["t_list"], p[4]["quad_index"]) if len(p) == 6: code_array.backpatch_e_list(p[2]["f_list"], code_array.get_next_quad_index()) else: code_array.backpatch_e_list(p[2]["f_list"], p[7]["quad_index"]) code_array.backpatch_e_list(p[7]["goto_quad_index"], code_array.get_next_quad_index()) return
def p_statement_for(p): """statement : FOR ID ASSIGNMENT_SIGN counter DO qis_1 statement""" symbol_table.check_variable_declaration(p[2], p.slice[2]) code_array.check_variable_is_not_array(p[2], p.slice[2]) code_array.emit(p[4]["opt"], p[2], p[2], {"value": 1, "type": "int"}) code_array.emit("goto", None, code_array.get_next_quad_index() + 2, None) code_array.backpatch_e_list(p[6]["goto_quad_index"], code_array.get_next_quad_index()) code_array.emit("=", p[2], p[4]["from"], None) code_array.emit(">", None, p[2], p[4]["to"]) code_array.emit("goto", None, code_array.get_next_quad_index() + 2, None) code_array.emit("goto", None, p[6]["quad_index"], None) if p[7] and "exit_when_quad_index" in p[7]: code_array.backpatch_e_list(p[7]["exit_when_quad_index"], code_array.get_next_quad_index()) return
def p_qis_1(p): """qis_1 : """ code_array.emit("goto", None, None, None) p[0] = { "quad_index": code_array.get_next_quad_index(), "goto_quad_index": [code_array.get_current_quad_index()] } return
def p_default(p): """default : DEFAULT COLON qis block""" break_quad_index = code_array.get_next_quad_index() code_array.emit("goto", None, None, None) p[0] = { "starting_quad_index": p[3]["quad_index"], "break_quad_index": break_quad_index } return
def p_bool_expressions_comparator(p): """bool_expressions : LT pair | LE pair | GT pair | GE pair | EQ pair | NEQ pair""" p[0] = { "t_list": [code_array.get_next_quad_index() + 1], "f_list": [code_array.get_next_quad_index() + 2], "type": "bool" } opt = p.slice[1].type if opt == "EQ": opt = "==" elif opt == "NEQ": opt = "!=" else: opt = p[1] code_array.emit(opt, None, p[2]["first_arg"], p[2]["second_arg"]) code_array.emit("goto", None, None, None) code_array.emit("goto", None, None, None) return
def p_statement_switch(p): """statement : SWITCH expressions qis_1 case_element default END | SWITCH expressions qis_1 case_element END""" if p[2]["type"] == "bool" and "place" not in p[2] and "value" not in p[2]: p[2] = code_array.store_boolean_expression_in_variable(p[2]) code_array.emit("goto", None, code_array.get_next_quad_index() + 1, None) code_array.backpatch_e_list(p[3]["goto_quad_index"], code_array.get_next_quad_index()) else: code_array.backpatch_e_list(p[3]["goto_quad_index"], code_array.get_next_quad_index()) next_list = [] for case_element in p[4]: code_array.emit("==", None, p[2], case_element["num_constraint"]) code_array.emit("goto", None, case_element["starting_quad_index"], None) next_list.append(case_element["break_quad_index"]) if len(p) == 7: code_array.emit("goto", None, p[5]["starting_quad_index"], None) next_list.append(p[5]["break_quad_index"]) code_array.backpatch_e_list(next_list, code_array.get_next_quad_index()) return
def p_case_element(p): """case_element : CASE NUMCONST COLON qis block | case_element CASE NUMCONST COLON qis block""" break_quad_index = code_array.get_next_quad_index() code_array.emit("goto", None, None, None) if len(p) == 6: p[0] = [{ "num_constraint": p[2], "starting_quad_index": p[4]["quad_index"], "break_quad_index": break_quad_index }] else: p[0] = [{ "num_constraint": p[3], "starting_quad_index": p[5]["quad_index"], "break_quad_index": break_quad_index }] + p[1] return
def p_psc(p): # psc: procedure symbol table creator """psc : """ symbol_table.create_new_scope_symbol_table("main") p[0] = {"quad_index": code_array.get_next_quad_index()} return
def p_qis(p): # qis: quad index saver """qis : """ p[0] = {"quad_index": code_array.get_next_quad_index()} return
def p_statement_exit_when(p): """statement : EXIT WHEN bool_expressions""" code_array.backpatch_e_list(p[3]["f_list"], code_array.get_next_quad_index()) p[0] = {"exit_when_quad_index": p[3]["t_list"]} return