class GeneradorIntermedio:
    def __init__(self):
        self.codigo = []
        self.temp_id = 1

    def nuevo_temp(self):
        temp = f"t{self.temp_id}"
        self.temp_id += 1
        return temp

    def generar(self, ast):
        for instruccion in ast:
            self.generar_instruccion(instruccion)
        return self.codigo

    def generar_instruccion(self, nodo):
        tipo = nodo["type"]
        if tipo == "assign":
            temp = self.generar_expresion(nodo["value"])
            self.codigo.append(f"{nodo['var']} = {temp}")
        elif tipo == "function":
            arg = self.generar_expresion(nodo["arg"]) if nodo["arg"] else None
            if arg:
                self.codigo.append(f"PARAM {arg}")
            self.codigo.append(f"CALL {nodo['name']}")
        elif tipo == "if":
            cond = self.generar_expresion(nodo["condition"])
            etiqueta = self.nueva_etiqueta()
            self.codigo.append(f"IF NOT {cond} GOTO {etiqueta}")
            for instr in nodo["body"]:
                self.generar_instruccion(instr)
            self.codigo.append(f"{etiqueta}:")
        elif tipo == "while":
            inicio = self.nueva_etiqueta()
            fin = self.nueva_etiqueta()
            self.codigo.append(f"{inicio}:")
            cond = self.generar_expresion(nodo["condition"])
            self.codigo.append(f"IF NOT {cond} GOTO {fin}")
            for instr in nodo["body"]:
                self.generar_instruccion(instr)
            self.codigo.append(f"GOTO {inicio}")
            self.codigo.append(f"{fin}:")

    def generar_expresion(self, expr):
        tipo = expr["type"]
        if tipo in ("num", "var", "bool", "string"):
            return expr["value"]
        elif tipo == "binop":
            izq = self.generar_expresion(expr["left"])
            der = self.generar_expresion(expr["right"])
            temp = self.nuevo_temp()
            self.codigo.append(f"{temp} = {izq} {expr['op']} {der}")
            return temp
        elif tipo == "call":
            return self.generar_expresion(expr["arg"])
        else:
            temp = self.nuevo_temp()
            self.codigo.append(f"{temp} = ???")
            return temp

    def nueva_etiqueta(self):
        etiq = f"L{self.temp_id}"
        self.temp_id += 1
        return etiq