def visit(self, node, context):
self.visit(node.left_expression, context)
code = node.left_expression.code
localvars = node.left_expression.locals
self.visit(node.right_expression, context)
code += node.right_expression.code
localvars += node.right_expression.locals
local_value = context.define_local()
localvars.append(local_value)
local_bool_tag = context.define_local(self.types_dict['Bool'])
localvars.append(local_bool_tag)
cil_allocate = ast_cil.CILAllocate(local_bool_tag)
cil_assign1 = ast_cil.CILAssignment(local_value, cil_allocate)
code.append(cil_assign1)
local_bool_content = context.define_local()
localvars.append(local_bool_content)
cil_eq = ast_cil.CILEqual(node.left_expression.value,
node.right_expression.value)
cil_assign3 = ast_cil.CILAssignment(local_bool_content, cil_eq)
cil_setattr_bool = ast_cil.CILSetAttr(local_value, 0,
local_bool_content)
code += [cil_assign3, cil_setattr_bool]
node.value = local_value
node.locals = localvars
node.code = code
def visit(self, node, context):
self.visit(node.expression, context)
code = node.expression.code
localvars = node.expression.locals
local_one = context.define_local(1)
localvars.append(local_one)
local_bool_content = context.define_local()
localvars.append(local_bool_content)
cil_getattr = ast_cil.CILGetAttr(node.expression.value, 0)
cil_assign1 = ast_cil.CILAssignment(local_bool_content, cil_getattr)
code.append(cil_assign1)
local_bool_value = context.define_local()
localvars.append(local_bool_value)
cil_neg = ast_cil.CILMinus(local_one, local_bool_content)
cil_assign2 = ast_cil.CILAssignment(local_bool_value, cil_neg)
code.append(cil_assign2)
local_value = context.define_local()
localvars.append(local_value)
local_bool_tag = context.define_local(self.types_dict['Bool'])
localvars.append(local_bool_tag)
cil_allocate = ast_cil.CILAllocate(local_bool_tag)
cil_assign3 = ast_cil.CILAssignment(local_value, cil_allocate)
cil_setattr = ast_cil.CILSetAttr(local_value, 0, local_bool_value)
code += [cil_assign3, cil_setattr]
node.value = local_value
node.locals = localvars
node.code = code
def visit(self, node, context):
self.visit(node.left_expression, context)
code = node.left_expression.code
localvars = node.left_expression.locals
self.visit(node.right_expression, context)
code += node.right_expression.code
localvars += node.right_expression.locals
local_int_left = context.define_local()
localvars.append(local_int_left)
cil_getattr1 = ast_cil.CILGetAttr(node.left_expression.value, 0)
cil_assign1 = ast_cil.CILAssignment(local_int_left, cil_getattr1)
code.append(cil_assign1)
local_int_right = context.define_local()
localvars.append(local_int_right)
cil_getattr2 = ast_cil.CILGetAttr(node.right_expression.value, 0)
cil_assign2 = ast_cil.CILAssignment(local_int_right, cil_getattr2)
code.append(cil_assign2)
self.num_labels += 1
cil_notnone_label = ast_cil.CILLabel('NOT_NONE' + str(self.num_labels))
self.num_labels += 1
cil_divisionby0_label = ast_cil.CILLabel('DIVISION_BY_0' +
str(self.num_labels))
cil_condition = ast_cil.CILCondition(local_int_right,
cil_notnone_label.label)
code.append(cil_condition)
code.append(cil_divisionby0_label) # DIVISION_BY_0
cil_goto = ast_cil.CILGoTo('_divide_by_0')
code.append(cil_goto)
code.append(cil_notnone_label) # NOT_NONE
local_int_content = context.define_local()
localvars.append(local_int_content)
cil_div = ast_cil.CILDiv(local_int_left, local_int_right)
cil_assign3 = ast_cil.CILAssignment(local_int_content, cil_div)
code.append(cil_assign3)
local_value = context.define_local()
localvars.append(local_value)
local_int_tag = context.define_local(self.types_dict['Int'])
localvars.append(local_int_tag)
cil_allocate = ast_cil.CILAllocate(local_int_tag)
cil_assign4 = ast_cil.CILAssignment(local_value, cil_allocate)
cil_setattr = ast_cil.CILSetAttr(local_value, 0, local_int_content)
code += [cil_assign4, cil_setattr]
node.value = local_value
node.locals = localvars
node.code = code
def visit(self, node, context):
local_bool_tag = context.define_local(self.types_dict['Bool'])
local_value = context.define_local()
cil_allocate = ast_cil.CILAllocate(local_bool_tag)
cil_assign = ast_cil.CILAssignment(local_value, cil_allocate)
node.value = local_value
node.locals = [local_value, local_bool_tag]
node.code = [cil_assign]
def add_constructor(self, type_defaults, context):
child_context = context.create_child()
child_context.self = child_context.define_local()
function_name = type_defaults.class_name + '.ctor'
argument_list = [ast_cil.CILArgument('self', child_context.self)]
# localvars = [child_context.self]
localvars = []
code = []
for feature_attr in type_defaults.defaults:
attr_offset = self.cilProgram.dotTYPES.types[
self.current_type.name].attributes.get(
feature_attr.name).offset
if feature_attr.type_attribute in ['Int', 'Bool']:
local_var = child_context.define_local()
localvars.append(local_var)
local_tag = child_context.define_local(
self.types_dict[feature_attr.type_attribute])
localvars.append(local_tag)
cil_allocate = ast_cil.CILAllocate(local_tag)
cil_assign1 = ast_cil.CILAssignment(local_var, cil_allocate)
code.append(cil_assign1)
cil_setattr1 = ast_cil.CILSetAttr(child_context.self,
attr_offset, local_var)
code.append(cil_setattr1)
elif feature_attr.type_attribute == 'String':
local_var = child_context.define_local()
localvars.append(local_var)
cil_str = ast_cil.CILString()
cil_assign2 = ast_cil.CILAssignment(local_var, cil_str)
code.append(cil_assign2)
cil_setattr2 = ast_cil.CILSetAttr(child_context.self,
attr_offset, local_var)
code.append(cil_setattr2)
for feature_attr in type_defaults.defaults:
if feature_attr.expression is not None:
attr_offset = self.cilProgram.dotTYPES.types[
self.current_type.name].attributes.get(
feature_attr.name).offset
self.visit(feature_attr.expression, child_context)
localvars += feature_attr.expression.locals
code += feature_attr.expression.code
cil_setattr3 = ast_cil.CILSetAttr(
child_context.self, attr_offset,
feature_attr.expression.value)
code.append(cil_setattr3)
code.append(ast_cil.CILReturn(child_context.self))
cil_func = ast_cil.CILFunction(function_name, argument_list, localvars,
code)
self.cilProgram.dotCODE.append(cil_func)
def visit(self, node, context):
local_int_content = context.define_local(int(node.int_token))
local_int_tag = context.define_local(self.types_dict['Int'])
local_value = context.define_local()
cil_allocate = ast_cil.CILAllocate(local_int_tag)
cil_assign = ast_cil.CILAssignment(local_value, cil_allocate)
cil_setattr = ast_cil.CILSetAttr(local_value, 0, local_int_content)
node.value = local_value
node.locals = [local_value, local_int_content, local_int_tag]
node.code = [cil_assign, cil_setattr]
def visit(self, node, context):
localvars = []
code = []
local_instance = context.define_local()
localvars.append(local_instance)
# TODO: code added
if node.new_type == 'String':
cil_str = ast_cil.CILString()
cil_assign3 = ast_cil.CILAssignment(local_instance, cil_str)
code.append(cil_assign3)
node.value = local_instance
node.locals = localvars
node.code = code
return
if node.new_type == 'SELF_TYPE':
local_tag = context.define_local()
localvars.append(local_tag)
cil_typeof = ast_cil.CILTypeOf(context.self)
cil_assign1 = ast_cil.CILAssignment(local_tag, cil_typeof)
code.append(cil_assign1)
else:
local_tag = context.define_local(self.types_dict[node.new_type])
localvars.append(local_tag)
cil_allocate = ast_cil.CILAllocate(local_tag)
cil_assign2 = ast_cil.CILAssignment(local_instance, cil_allocate)
code.append(cil_assign2)
# local_value = context.define_local()
# localvars.append(local_value)
# cil_self_param = ast_cil.CILParam(local_instance)
# code.append(cil_self_param)
# cil_ctor = ast_cil.CILConstructor(local_tag)
# cil_assign3 = ast_cil.CILAssignment(local_instance, cil_ctor)
# code.append(cil_assign3)
node.value = local_instance
node.locals = localvars
node.code = code
def visit(self, node, context):
self.visit(node.expression, context)
code = node.expression.code
localvars = node.expression.locals
self.num_labels += 1
cil_false_label = ast_cil.CILLabel('FALSE' + str(self.num_labels))
self.num_labels += 1
cil_end_label = ast_cil.CILLabel('END' + str(self.num_labels))
local_value = context.define_local()
localvars.append(local_value)
local_bool_tag = context.define_local(self.types_dict['Bool'])
localvars.append(local_bool_tag)
cil_allocate = ast_cil.CILAllocate(local_bool_tag)
cil_assign = ast_cil.CILAssignment(local_value, cil_allocate)
code.append(cil_assign)
cil_condition = ast_cil.CILCondition(node.expression.value,
cil_false_label.label)
code.append(cil_condition)
# TRUE
local_true_content = context.define_local(1)
localvars.append(local_true_content)
cil_setattr_true = ast_cil.CILSetAttr(local_value, 0,
local_true_content)
code.append(cil_setattr_true)
cil_goto = ast_cil.CILGoTo(cil_end_label.label)
code.append(cil_goto)
code.append(cil_false_label) # FALSE
local_false_content = context.define_local(0)
localvars.append(local_false_content)
cil_setattr_false = ast_cil.CILSetAttr(local_value, 0,
local_false_content)
code.append(cil_setattr_false)
code.append(cil_end_label) #END
node.value = local_value
node.locals = localvars
node.code = code
def visit(self, node, context):
localvars = []
code = []
current_context = context
for _decl in node.declaration_list:
local_decl = current_context.define_local()
localvars.append(local_decl)
if _decl.expression is None:
if _decl._type == 'String':
cil_str = ast_cil.CILString()
cil_assign1 = ast_cil.CILAssignment(local_decl, cil_str)
code.append(cil_assign1)
elif _decl._type in ['Int', 'Bool']:
local_tag = current_context.define_local(
self.types_dict[_decl._type])
localvars.append(local_tag)
cil_allocate = ast_cil.CILAllocate(local_tag)
cil_assign2 = ast_cil.CILAssignment(
local_decl, cil_allocate)
code.append(cil_assign2)
else:
self.visit(_decl.expression, current_context)
localvars += _decl.expression.locals
code += _decl.expression.code
cil_assign3 = ast_cil.CILAssignment(
local_decl, ast_cil.CILVar(_decl.expression.value))
code.append(cil_assign3)
new_child_context = current_context.create_child()
new_child_context.define_variable(_decl.name, _decl._type,
local_decl)
current_context = new_child_context
self.visit(node.expression, current_context)
localvars += node.expression.locals
code += node.expression.code
node.value = node.expression.value
node.locals = localvars
node.code = code
def visit(self, node, context):
self.visit(node.left_expression, context)
code = node.left_expression.code
localvars = node.left_expression.locals
self.visit(node.right_expression, context)
code += node.right_expression.code
localvars += node.right_expression.locals
local_int_left = context.define_local()
localvars.append(local_int_left)
cil_getattr1 = ast_cil.CILGetAttr(node.left_expression.value, 0)
cil_assign1 = ast_cil.CILAssignment(local_int_left, cil_getattr1)
code.append(cil_assign1)
local_int_right = context.define_local()
localvars.append(local_int_right)
cil_getattr2 = ast_cil.CILGetAttr(node.right_expression.value, 0)
cil_assign2 = ast_cil.CILAssignment(local_int_right, cil_getattr2)
code.append(cil_assign2)
local_int_content = context.define_local()
localvars.append(local_int_content)
cil_mult = ast_cil.CILMult(local_int_left, local_int_right)
cil_assign3 = ast_cil.CILAssignment(local_int_content, cil_mult)
code.append(cil_assign3)
local_value = context.define_local()
localvars.append(local_value)
local_int_tag = context.define_local(self.types_dict['Int'])
localvars.append(local_int_tag)
cil_allocate = ast_cil.CILAllocate(local_int_tag)
cil_assign4 = ast_cil.CILAssignment(local_value, cil_allocate)
cil_setattr = ast_cil.CILSetAttr(local_value, 0, local_int_content)
code += [cil_assign4, cil_setattr]
node.value = local_value
node.locals = localvars
node.code = code