def generate_stmt_if_code(self, p, q1, q2, q3, q4, q5):
if not isinstance(p[3], LogicTerminal):
p[3] = self.arith_to_logic(q4, q5, p[3])
p[0] = StatementTerminal()
p[0].address = p[3].address
if p[5].address:
q1 = p[5].address
p[3].true_list_back_patch(q1)
if p[6].code:
if p[6].address:
q2 = p[6].address
p[3].false_list_back_patch(q2)
if p[5].address:
p[0].code += p[3].code + p[5].code + q3 + ": goto -;\n"
else:
p[0].code += p[3].code + q1 + ": " + p[
5].code + q3 + ": goto -;\n"
if p[6].address:
p[0].code += p[6].code
else:
p[0].code += q2 + ": " + p[6].code
p[0].next_list = p[5].next_list + p[6].false_list + p[
6].true_list + [q3]
else:
p[0].code = p[3].code
p[0].next_list = p[3].false_list + p[5].next_list
if p[5].address:
p[0].code += p[5].code
else:
p[0].code += q1 + ": " + p[5].code
def generate_exp_assign_code(self, p, q1, q2, q3):
p[0] = StatementTerminal()
p[0].place = p[1]
p[0].address = p[3].address
if isinstance(p[3], StatementTerminal):
p[0].next_list = p[3].next_list
if isinstance(p[3], LogicTerminal):
p[3].true_list_back_patch(q1)
p[3].false_list_back_patch(q2)
p[0].code = p[3].code + q1 + ': ' + p[
1] + ' = ' + '1;\n' + q3 + ': goto -;\n' + q2 + ': ' + p[
1] + ' = ' + '0;\n'
p[0].next_list = [q3]
else:
p[0].code = p[3].code + p[1] + ' = ' + p[3].get_value() + ';\n'
def generate_stmt_foreach_code(self, p, q1, q2, q3, q4, q5, temp, temp2,
temp3, temp4):
dec = 'int ' + p[3] + ';\n'
if dec not in self.variables:
self.variables += dec
self.variables += 'int ' + temp + ';\n'
self.variables += 'int ' + temp2 + ';\n'
self.variables += 'int ' + temp3 + ';\n'
self.variables += 'int ' + temp4 + ';\n'
iteration_exp = LogicTerminal()
iteration_exp.address = q3
iteration_exp.code += q3 + ": if (" + temp2 + ' < ' + temp4 + ") goto -;\n"
iteration_exp.code += q4 + ": goto -;\n"
iteration_exp.true_list = [q3]
iteration_exp.false_list = [q4]
p[0] = StatementTerminal()
p[0].code = temp + ' = ' + p[
5] + ';\n' + temp3 + ' = arr[' + temp + '];\n' + temp2 + ' = ' + temp + ' + 1;\n' + temp4 + ' = ' + temp2 + ' + ' + temp3 + ';\n'
if iteration_exp.address:
q1 = iteration_exp.address
p[7].next_list_back_patch(q5)
iteration_exp.true_list_back_patch(q2)
if iteration_exp.address:
p[0].code += iteration_exp.code
else:
p[0].code += q1 + ": " + iteration_exp.code
p[0].code += q2 + ": " + p[3] + ' = arr[' + temp2 + '];\n' + p[7].code
p[0].code += q5 + ": " + temp2 + " = " + temp2 + " + 1;\ngoto " + q1 + ";\n"
p[0].next_list = iteration_exp.false_list
def generate_stmt_for_code(self, p, q1, q2, q3, q4, q5):
if not isinstance(p[5], LogicTerminal):
p[5] = self.arith_to_logic(q3, q4, p[5])
p[0] = StatementTerminal()
p[0].code = p[3].code
if p[5].address:
q1 = p[5].address
if p[3].code:
p[0].address = p[3].address
else:
p[0].address = q1
if p[7].address:
q5 = p[7].address
if p[9].address:
q2 = p[9].address
p[9].next_list_back_patch(q5)
p[5].true_list_back_patch(q2)
if p[5].address:
p[0].code += p[5].code
else:
p[0].code += q1 + ": " + p[5].code
if p[9].address:
p[0].code += p[9].code
else:
p[0].code += q2 + ": " + p[9].code
if p[7].address:
p[0].code += p[7].code + "goto " + q1 + ";\n"
else:
p[0].code += q5 + ": " + p[7].code + "goto " + q1 + ";\n"
p[0].next_list = p[5].false_list
def generate_iddec_assign_code(self, p, q1, q2, q3):
p[0] = StatementTerminal()
dec = "int " + p[1] + ";\n"
if dec not in self.variables:
self.variables += dec
p[0].code = f"arr[stack_p] = {p[1]};\nstack_p = stack_p - 1;\n"
p[0].stack.append(p[1])
if isinstance(p[3], StatementTerminal):
p[0].next_list = p[3].next_list
if isinstance(p[3], LogicTerminal):
p[3].true_list_back_patch(q1)
p[3].false_list_back_patch(q2)
p[0].code += p[3].code + q1 + ': ' + p[
1] + ' = ' + '1;\n' + q3 + ': goto -;\n' + q2 + ': ' + p[
1] + ' = ' + '0;\n'
p[0].next_list = [q3]
else:
p[0].code += p[3].code + p[1] + ' = ' + p[3].get_value() + ';\n'
def generate_idlist_comma_code(self, p, q):
p[0] = StatementTerminal()
p[0].stack = p[1].stack + p[3].stack
p[0].address = p[1].address
if p[3].address:
q = p[3].address
p[1].next_list_back_patch(q)
if p[3].address:
p[0].code = p[1].code + p[3].code
else:
p[0].code = p[1].code + q + ': ' + p[3].code
p[0].next_list = p[3].next_list
def generate_lvalue_code(self, p, temp, temp2, temp3, q1, q2, q3):
p[0] = StatementTerminal()
p[0].address = p[3].address
p[0].place = temp
p[0].code = p[3].code + temp2 + ' = ' + p[3].get_value(
) + ' + 1;\n' + temp3 + ' = ' + p[1] + ' + ' + temp2 + ';\n'
self.variables += 'int ' + temp + ';\n'
self.variables += 'int ' + temp2 + ';\n'
self.variables += 'int ' + temp3 + ';\n'
if isinstance(p[6], StatementTerminal):
p[0].next_list = p[6].next_list
if isinstance(p[6], LogicTerminal):
p[6].true_list_back_patch(q1)
p[6].false_list_back_patch(q2)
p[0].code += p[
6].code + q1 + ": arr[" + temp3 + "] = 1;\n" + q3 + ': goto -;\n' + q2 + ": arr[" + temp3 + "] = 0;\n"
p[0].next_list = [q3]
else:
p[0].code += p[6].code + "arr[" + temp3 + "] = " + p[6].get_value(
) + ';\n'
p[0].code += temp + ' = ' + "arr[" + temp3 + "];\n"
def generate_explist_comma_code(self, p, q):
p[0] = StatementTerminal()
if p[3].address:
q = p[3].address
p[1].next_list_back_patch(q)
p[0].code = p[1].code
if p[3].address:
p[0].code += p[3].code
else:
p[0].code += q + ': ' + p[3].code
p[0].code += f'arr[stack_p] = {p[3].get_value()};\n' \
f'stack_p = stack_p - 1;\n'
if isinstance(p[3], LogicTerminal):
p[0].next_list = p[3].next_list
def generate_declist_code(self, p, q):
p[0] = StatementTerminal()
if p[1].code:
p[0].address = p[1].address
else:
p[0].address = p[2].address
if p[2].address:
q = p[2].address
p[1].next_list_back_patch(q)
if p[2].address:
p[0].code = p[1].code + p[2].code
else:
p[0].code = p[1].code + q + ': ' + p[2].code
p[0].next_list = p[2].next_list
def generate_stmtlist_code(self, p, q):
if p[2].code:
p[0] = StatementTerminal()
p[0].stack = p[1].stack + p[2].stack
if p[2].address:
q = p[2].address
if p[1].code:
p[0].address = p[1].address
else:
p[0].address = q
p[1].next_list_back_patch(q)
if p[2].address:
p[0].code = p[1].code + p[2].code
else:
p[0].code = p[1].code + q + ": " + p[2].code
p[0].next_list = p[2].next_list
else:
p[0] = p[1]
def generate_funcdec_return_code(self, p, q1, q2, q3, temp, temp2):
self.variables += "int " + temp + ";\n"
self.variables += "int " + temp2 + ";\n"
param_names = p[4]
number_of_params = len(param_names)
p[0] = StatementTerminal()
p[0].address = q1
p[0].next_list = [q1]
p[0].code = f'{q1}: goto -;\n'
if number_of_params > 0 or not p[8].address:
p[0].code += f'{q2}: '
else:
q2 = p[8].address
p[8].code = p[8].code.replace('?', q2)
self.function_dict[p[2]] = q2
for i in range(number_of_params):
p[0].code += f'stack_p = stack_p + 1;\n' \
f'arr[arr_p] = arr[stack_p];\n' \
f'arr_p = arr_p + 1;\n'
for i in range(number_of_params):
p[0].code += f'arr[stack_p] = {param_names[i]};\n' \
f'stack_p = stack_p - 1;\n' \
f'arr_p = arr_p - 1;\n' \
f'{param_names[i]} = arr[arr_p];\n'
func_stack = param_names + p[8].stack
print(f'Symbol Table of {p[2]}')
print('Name\tType\tAddress\tSize')
for i in range(len(func_stack)):
print(f'{func_stack[i]}\t\tint\t\t{self.current_address}\t\t4')
self.current_address += 4
print()
p[8].next_list_back_patch(q3)
p[0].code += p[8].code.replace('#', q3)
p[0].code += f'{q3}: stack_p = stack_p + 1;\n' \
f'{temp2} = arr[stack_p];\n'
while func_stack:
p[0].code += f'stack_p = stack_p + 1;\n' \
f'{func_stack.pop()} = arr[stack_p];\n'
p[0].code += f'stack_p = stack_p + 1;\n' \
f'{temp} = arr[stack_p];\n' \
f'arr[stack_p] = {temp2};\n' \
f'stack_p = stack_p - 1;\n' \
f'back_jmp({temp});\n'
def generate_exp_fun_code(self, p, temp, temp2, q1, q2):
self.variables += "int " + temp + ";\n"
self.variables += "int " + temp2 + ";\n"
p[0] = StatementTerminal()
p[0].code = f'arr[stack_p] = arr_p;\n' \
f'stack_p = stack_p - 1;\n' \
f'{temp2} = 0;\n' \
f'forward_jmp(arr_p);\n' \
f'{q1}: if({temp2} == 1) goto -;\n' \
f'arr_p = arr_p + 64;\n' \
f'{temp2} = 1;\n'
p[0].next_list = [q1]
if p[1] in self.function_dict.keys():
p[0].code += f'goto {self.function_dict[p[1]]};\n'
else:
p[0].code += f'goto ?;\n'
p[0].code += f'{q2}: stack_p = stack_p + 1;\n' \
f'{temp} = arr[stack_p];\n'
p[0].place = temp
p[0].next_list_back_patch(q2)
def generate_stmt_while_code(self, p, q1, q2, q3, q4):
if not isinstance(p[3], LogicTerminal):
p[3] = self.arith_to_logic(q3, q4, p[3])
p[0] = StatementTerminal()
if p[3].address:
q1 = p[3].address
p[0].address = q1
if p[5].address:
q2 = p[5].address
p[5].next_list_back_patch(q1)
p[3].true_list_back_patch(q2)
if p[3].address:
p[0].code = p[3].code
else:
p[0].code = q1 + ": " + p[3].code
if p[5].address:
p[0].code += p[5].code
else:
p[0].code += q2 + ": " + p[5].code
p[0].code += "goto " + q1 + ";\n"
p[0].next_list = p[3].false_list
def generate_explist_code(self, p):
p[0] = StatementTerminal()
p[0].code = p[1].code + f'arr[stack_p] = {p[1].get_value()};\n' \
f'stack_p = stack_p - 1;\n'
if isinstance(p[1], LogicTerminal):
p[0].next_list = p[1].next_list
def generate_stmt_case_code(self, p):
p[0] = StatementTerminal()
p[0].address = p[3].address
p[0].code = p[3].code
p[0].code += p[6].code.replace('$', p[3].get_value())
p[0].next_list = p[6].true_list + p[6].false_list