// File: kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/to_tac.cpp
// Function: AST_conditional::to_tac(Tac*)
void AST_conditional::to_tac(Tac* t){
    
    // Si la rama actual tiene condicion
    if ( expr ){
        // Codigo que verifica la condicion del if
        expr->to_tac(t);
        
        // Se marcan los saltos positivos a la siguiente instruccion, donde
        // empezara el codigo de la primera rama
        t->backpatch(expr->truelist, t->next_instruction());
        
        // Codigo de la primera rama
        blck->to_tac(t);
        
        // Si el if tiene otra rama
        if ( else_if ){
            // generar un goto proveniente de la ejecucion de la rama anterior
            // agregar el goto a la nextlist de este condicional
            next_list.push_back( t->next_instruction() );
            t->append_quad(inst::GOTO, 0, 0, 0, "salto condicional de else_if");
            
            // marcar los saltos de la condicion negativa del if a la siguiente
            // instruccion donde se alojara la verificacion del codigo de esta
            t->backpatch(expr->falselist, t->next_instruction());
            else_if->to_tac(t);
            
            next_list.splice(next_list.end(), else_if->next_list);
            continue_list.splice(continue_list.end(), else_if->continue_list);
            break_list.splice(break_list.end(), else_if->break_list);
            return_list.splice(return_list.end(), else_if->return_list);
            
        } else {
            next_list.splice(next_list.end(), expr->falselist);
        }
    } else {
        // Rama else
        blck->to_tac(t);
    }
    
    next_list.splice(next_list.end(), blck->next_list);
    continue_list.splice(continue_list.end(), blck->continue_list);
    break_list.splice(break_list.end(), blck->break_list);
    return_list.splice(return_list.end(), blck->return_list);
}

// Assembly:
subq $0x168, %rsp            # imm = 0x168
movq %rdi, 0x160(%rsp)
movq %rsi, 0x158(%rsp)
movq 0x160(%rsp), %rax
movq %rax, 0x80(%rsp)
cmpq $0x0, 0x78(%rax)
je 0x1b783
movq 0x80(%rsp), %rax
movq 0x78(%rax), %rdi
movq 0x158(%rsp), %rsi
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x80(%rsp), %rax
movq 0x158(%rsp), %rcx
movq %rcx, 0x70(%rsp)
movq 0x78(%rax), %rax
addq $0x18, %rax
movq %rax, 0x78(%rsp)
movq 0x158(%rsp), %rdi
callq 0x4dfb0
movq 0x70(%rsp), %rdi
movq 0x78(%rsp), %rsi
movl %eax, %edx
callq 0x4dfc0
movq 0x80(%rsp), %rax
movq 0x80(%rax), %rdi
movq 0x158(%rsp), %rsi
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x80(%rsp), %rax
cmpq $0x0, 0x88(%rax)
je 0x1b725
movq 0x80(%rsp), %rax
addq $0x18, %rax
movq %rax, 0x58(%rsp)
movq 0x158(%rsp), %rdi
callq 0x4dfb0
movq 0x58(%rsp), %rdi
movl %eax, 0x154(%rsp)
leaq 0x154(%rsp), %rsi
callq 0x20950
movq 0x158(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x12f(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0x66c0
movq 0x68(%rsp), %rdx
leaq 0x388d0(%rip), %rsi     # 0x53d81
leaq 0x130(%rsp), %rdi
callq 0x7500
jmp 0x1b4c0
movq 0x60(%rsp), %rdi
xorl %eax, %eax
movl %eax, %r8d
movl $0x16, %esi
leaq 0x130(%rsp), %r9
movq %r8, %rdx
movq %r8, %rcx
callq 0x4de80
jmp 0x1b4e4
leaq 0x130(%rsp), %rdi
callq 0x6778
leaq 0x12f(%rsp), %rdi
callq 0x6400
movq 0x80(%rsp), %rax
movq 0x158(%rsp), %rcx
movq %rcx, 0x28(%rsp)
movq 0x78(%rax), %rax
addq $0x30, %rax
movq %rax, 0x30(%rsp)
movq 0x158(%rsp), %rdi
callq 0x4dfb0
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
movl %eax, %edx
callq 0x4dfc0
movq 0x80(%rsp), %rax
movq 0x88(%rax), %rdi
movq 0x158(%rsp), %rsi
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x18, %rax
movq %rax, 0x38(%rsp)
addq $0x18, %rdi
callq 0x208a0
movq %rax, 0x108(%rsp)
leaq 0x110(%rsp), %rdi
leaq 0x108(%rsp), %rsi
callq 0x208d0
movq 0x38(%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x88(%rax), %rdx
addq $0x18, %rdx
movq 0x110(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x30, %rax
movq %rax, 0x40(%rsp)
addq $0x30, %rdi
callq 0x208a0
movq %rax, 0xf8(%rsp)
leaq 0x100(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
callq 0x208d0
movq 0x40(%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x88(%rax), %rdx
addq $0x30, %rdx
movq 0x100(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x48, %rax
movq %rax, 0x48(%rsp)
addq $0x48, %rdi
callq 0x208a0
movq %rax, 0xe8(%rsp)
leaq 0xf0(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
callq 0x208d0
movq 0x48(%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x88(%rax), %rdx
addq $0x48, %rdx
movq 0xf0(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x60, %rax
movq %rax, 0x50(%rsp)
addq $0x60, %rdi
callq 0x208a0
movq %rax, 0xd8(%rsp)
leaq 0xe0(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
callq 0x208d0
movq 0x80(%rsp), %rax
movq 0x50(%rsp), %rdi
movq 0x88(%rax), %rdx
addq $0x60, %rdx
movq 0xe0(%rsp), %rsi
callq 0x20860
jmp 0x1b781
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x120(%rsp)
movl %eax, 0x11c(%rsp)
jmp 0x1b713
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x120(%rsp)
movl %eax, 0x11c(%rsp)
leaq 0x130(%rsp), %rdi
callq 0x6778
leaq 0x12f(%rsp), %rdi
callq 0x6400
jmp 0x1b922
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x18, %rax
movq %rax, 0x20(%rsp)
addq $0x18, %rdi
callq 0x208a0
movq %rax, 0xc8(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x208d0
movq 0x80(%rsp), %rax
movq 0x20(%rsp), %rdi
movq 0x78(%rax), %rdx
addq $0x30, %rdx
movq 0xd0(%rsp), %rsi
callq 0x20860
jmp 0x1b7a0
movq 0x80(%rsp), %rax
movq 0x80(%rax), %rdi
movq 0x158(%rsp), %rsi
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x18, %rax
movq %rax, (%rsp)
addq $0x18, %rdi
callq 0x208a0
movq %rax, 0xb8(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
callq 0x208d0
movq (%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x80(%rax), %rdx
addq $0x18, %rdx
movq 0xc0(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x30, %rax
movq %rax, 0x8(%rsp)
addq $0x30, %rdi
callq 0x208a0
movq %rax, 0xa8(%rsp)
leaq 0xb0(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0x208d0
movq 0x8(%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x80(%rax), %rdx
addq $0x30, %rdx
movq 0xb0(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x48, %rax
movq %rax, 0x10(%rsp)
addq $0x48, %rdi
callq 0x208a0
movq %rax, 0x98(%rsp)
leaq 0xa0(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x208d0
movq 0x10(%rsp), %rdi
movq 0x80(%rsp), %rax
movq 0x80(%rax), %rdx
addq $0x48, %rdx
movq 0xa0(%rsp), %rsi
callq 0x20860
movq 0x80(%rsp), %rdi
movq %rdi, %rax
addq $0x60, %rax
movq %rax, 0x18(%rsp)
addq $0x60, %rdi
callq 0x208a0
movq %rax, 0x88(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x208d0
movq 0x80(%rsp), %rax
movq 0x18(%rsp), %rdi
movq 0x80(%rax), %rdx
addq $0x60, %rdx
movq 0x90(%rsp), %rsi
callq 0x20860
addq $0x168, %rsp            # imm = 0x168
retq
movq 0x120(%rsp), %rdi
callq 0x66b0
nop