// File: /workspace/github_cpp_makefile_star2_O3/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 %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x78(%rdi), %rdi
testq %rdi, %rdi
je 0x13461
movq (%rdi), %rax
movq %r14, %rsi
callq *0x18(%rax)
movq 0x78(%rbx), %r15
addq $0x18, %r15
movq %r14, %rdi
callq 0x2b316
movq %r14, %rdi
movq %r15, %rsi
movl %eax, %edx
callq 0x2b320
movq 0x80(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
cmpq $0x0, 0x88(%rbx)
je 0x13473
leaq 0x18(%rbx), %r15
movq %r14, %rdi
callq 0x2b316
movl %eax, %ebp
movl $0x18, %edi
callq 0x62f0
movl %ebp, 0x10(%rax)
movq %rax, %rdi
movq %r15, %rsi
callq 0x6080
incq 0x28(%rbx)
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1ba58(%rip), %rsi     # 0x2ed95
leaq 0x1ba6d(%rip), %rdx     # 0x2edb1
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x7008
movq %r14, %rdi
movl $0x16, %esi
xorl %edx, %edx
xorl %ecx, %ecx
xorl %r8d, %r8d
movq %r12, %r9
callq 0x2b238
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x1337f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x6300
movq 0x78(%rbx), %r12
addq $0x30, %r12
movq %r14, %rdi
callq 0x2b316
movq %r14, %rdi
movq %r12, %rsi
movl %eax, %edx
callq 0x2b320
movq 0x88(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
movq 0x88(%rbx), %r14
leaq 0x18(%r14), %rdx
movq 0x18(%r14), %rsi
cmpq %rdx, %rsi
je 0x133df
movq %r15, %rdi
callq 0x6160
movq 0x28(%r14), %rax
addq %rax, 0x28(%rbx)
movq $0x0, 0x28(%r14)
movq 0x88(%rbx), %r14
leaq 0x30(%r14), %rdx
movq 0x30(%r14), %rsi
cmpq %rdx, %rsi
je 0x1340c
leaq 0x30(%rbx), %rdi
callq 0x6160
movq 0x40(%r14), %rax
addq %rax, 0x40(%rbx)
movq $0x0, 0x40(%r14)
movq 0x88(%rbx), %r14
leaq 0x48(%r14), %rdx
movq 0x48(%r14), %rsi
cmpq %rdx, %rsi
je 0x13439
leaq 0x48(%rbx), %rdi
callq 0x6160
movq 0x58(%r14), %rax
addq %rax, 0x58(%rbx)
movq $0x0, 0x58(%r14)
movq 0x88(%rbx), %r14
leaq 0x60(%r14), %rdx
movq 0x60(%r14), %rsi
cmpq %rdx, %rsi
je 0x1349d
leaq 0x60(%rbx), %rdi
callq 0x6160
movq 0x70(%r14), %rax
addq %rax, 0x70(%rbx)
movq $0x0, 0x70(%r14)
jmp 0x1349d
movq 0x80(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x10(%rax)
jmp 0x1349d
movq 0x78(%rbx), %r14
leaq 0x30(%r14), %rdx
movq 0x30(%r14), %rsi
cmpq %rdx, %rsi
je 0x1349d
leaq 0x18(%rbx), %rdi
callq 0x6160
movq 0x40(%r14), %rax
addq %rax, 0x28(%rbx)
movq $0x0, 0x40(%r14)
movq 0x80(%rbx), %r14
leaq 0x18(%r14), %rdx
movq 0x18(%r14), %rsi
cmpq %rdx, %rsi
je 0x134d1
leaq 0x18(%rbx), %rdi
callq 0x6160
movq 0x28(%r14), %rax
addq %rax, 0x28(%rbx)
movq $0x0, 0x28(%r14)
movq 0x80(%rbx), %r14
leaq 0x30(%r14), %rdx
movq 0x30(%r14), %rsi
cmpq %rdx, %rsi
je 0x134fe
leaq 0x30(%rbx), %rdi
callq 0x6160
movq 0x40(%r14), %rax
addq %rax, 0x40(%rbx)
movq $0x0, 0x40(%r14)
movq 0x80(%rbx), %r14
leaq 0x48(%r14), %rdx
movq 0x48(%r14), %rsi
cmpq %rdx, %rsi
je 0x1352b
leaq 0x48(%rbx), %rdi
callq 0x6160
movq 0x58(%r14), %rax
addq %rax, 0x58(%rbx)
movq $0x0, 0x58(%r14)
movq 0x80(%rbx), %r14
leaq 0x60(%r14), %rdx
movq 0x60(%r14), %rsi
cmpq %rdx, %rsi
je 0x13551
leaq 0x60(%rbx), %rdi
callq 0x6160
movq 0x70(%r14), %rax
addq %rax, 0x70(%rbx)
movq $0x0, 0x70(%r14)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x1357a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x6300
movq %rbx, %rdi
callq 0x6560