Exemplo n.º 1
0
    def __init__(self):
        super(SSAVisitor, self).__init__()

        # version diccionario para temporales
        self.versions = defaultdict(int)

        # El codigo generado (lista de tuplas)
        self.code = BasicBlock()
        self.start_block = self.code

        # Una lista de declaraciones externas (y tipos)
        self.externs = []
Exemplo n.º 2
0
class SSAVisitor(mpasast.NodeVisitor):
    '''
    Clase Visitor Node que crea secuencias de instrucciones de 3-direcciones.
    '''
    def __init__(self):
        super(SSAVisitor, self).__init__()

        # version diccionario para temporales
        self.versions = defaultdict(int)

        # El codigo generado (lista de tuplas)
        self.code = BasicBlock()
        self.start_block = self.code

        # Una lista de declaraciones externas (y tipos)
        self.externs = []

    def new_temp(self,return_type):
        '''
        Crea una nueva variable temporal de un tipo dado.
        '''
        name = "__%s_%d" % (return_type, self.versions[return_type])
        self.versions[return_type] += 1
        return name
    #visit definitions start here
    
    def visit_Var_dec(self, node):
        # localice en memoria
        inst = ('alloc_'+node.return_type, node.id)
        self.code.append(inst)
        #se borro el resto pq nosotros en var_dec solo alocamos memoria no mas
        
        
    def visit_Type(self,_type):
        pass
        
    def visit_Assignation(self, node):
        self.visit(node.value)
        if not (isinstance(node.ubication, Ubication_vector)):
            inst = ('store_'+node.value.return_type, node.value.gen_location, node.ubication.value)
            self.code.append(inst)
        else:
            inst = ('store_'+node.value.return_type, node.value.gen_location, node.ubication.id)
            self.code.append(inst) 
        
    def visit_Print(self, node):
        if(isinstance(node.value, AST)):
            self.visit(node.value)
            inst = ('print_string','expression')
        else:
            inst = ('print_string',node.value)

        # Cree el opcode y agregarlo a la lista
        self.code.append(inst)
        
        
    def visit_Write(self,node):
        pass
        
    def visit_Binary_op(self,node):
        # Visita las expresiones izquierda y derecha
        self.visit(node.left)
        self.visit(node.right)
        # Crea un nuevo temporal para almacenar el resultado
        target = self.new_temp(node.return_type)

        # Crea opcode y agrega a la lista
        opcode = binary_ops[node.op] + "_" + node.return_type
        inst = (opcode, node.left.gen_location, node.right.gen_location, target)
        self.code.append(inst)

        # Almacena localizacion del resultado en el nodo
        node.gen_location = target
        
        
    def visit_Unary_op(self, node):
        self.visit(node.value)
        target = self.new_temp(node.return_type)
        opcode = unary_ops[node.op] + "_" + node.value.return_type
        inst = (opcode, node.value.gen_location)
        self.code.append(inst)
        node.gen_location = target
     
    def visit_Integer(self, node):
        target =  self.new_temp('integer')
        node.gen_location = target
        inst = ('literal_integer', node.value, target)
        self.code.append(inst)
                
    def visit_Float(self,node):
        target = self.new_temp('float')
        node.gen_location =  target
        inst = ('literal_float', node.value, target)
        self.code.append(inst)

    def visit_Call_func(self, node):
        target = self.new_temp(node.return_type)
        inst = ('call_func',node.func_id,target)
        self.code.append(inst)
        node.gen_location = target



    ####
    # Terminar allocator vector
    ###
    
    def visit_Vector(self,node):
        pass
    
    def visit_Ubication_vector(self,node):
        pass

    def visit_Id(self,node):
        target =  self.new_temp(node.return_type)
        inst=('load_'+node.return_type, node.value, target)
        node.gen_location=target
        self.code.append(inst)