// File: /workspace/github_cpp_makefile_star2_O2/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:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x78(%rdi), %rdi
testq %rdi, %rdi
je 0xfe7c
movq (%rdi), %rax
movq %r14, %rsi
callq *0x18(%rax)
movq 0x78(%rbx), %r15
addq $0x18, %r15
movq %r14, %rdi
callq 0x2138a
movq %r14, %rdi
movq %r15, %rsi
movl %eax, %edx
callq 0x21394
movq 0x80(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
leaq 0x18(%rbx), %r15
cmpq $0x0, 0x88(%rbx)
je 0xfe8e
movq %r14, %rdi
callq 0x2138a
leaq 0x4(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0x1243c
leaq 0x14fcf(%rip), %rsi     # 0x24d95
leaq 0x8(%rsp), %r12
leaq 0x4(%rsp), %rdx
movq %r12, %rdi
callq 0x6d6c
pushq $0x16
popq %rsi
movq %r14, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
xorl %r8d, %r8d
movq %r12, %r9
callq 0x212de
leaq 0x8(%rsp), %rdi
callq 0x65c8
movq 0x78(%rbx), %r12
addq $0x30, %r12
movq %r14, %rdi
callq 0x2138a
movq %r14, %rdi
movq %r12, %rsi
movl %eax, %edx
callq 0x21394
movq 0x88(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
movq 0x88(%rbx), %rdx
addq $0x18, %rdx
movq %r15, %rdi
movq %r15, %rsi
callq 0x128e0
leaq 0x30(%rbx), %rdi
movq 0x88(%rbx), %rdx
addq $0x30, %rdx
movq %rdi, %rsi
callq 0x128e0
leaq 0x48(%rbx), %rdi
movq 0x88(%rbx), %rdx
addq $0x48, %rdx
movq %rdi, %rsi
callq 0x128e0
leaq 0x60(%rbx), %rdi
movq 0x88(%rbx), %rdx
addq $0x60, %rdx
movq %rdi, %rsi
jmp 0xfe9c
movq 0x80(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
jmp 0xfea1
movq 0x78(%rbx), %rdx
addq $0x30, %rdx
movq %r15, %rdi
movq %r15, %rsi
callq 0x128e0
leaq 0x18(%rbx), %rdi
movq 0x80(%rbx), %rdx
addq $0x18, %rdx
movq %rdi, %rsi
callq 0x128e0
leaq 0x30(%rbx), %rdi
movq 0x80(%rbx), %rdx
addq $0x30, %rdx
movq %rdi, %rsi
callq 0x128e0
leaq 0x48(%rbx), %rdi
movq 0x80(%rbx), %rdx
addq $0x48, %rdx
movq %rdi, %rsi
callq 0x128e0
movq 0x80(%rbx), %rdx
addq $0x60, %rbx
addq $0x60, %rdx
movq %rbx, %rdi
movq %rbx, %rsi
callq 0x128e0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x65c8
movq %rbx, %rdi
callq 0x6530
nop