// File: /workspace/github_cpp_makefile_star2_O3/KJTang[P]SimpleCompiler/AST.cpp
// Function: IfExprAST::eval[abi:cxx11]()
std::string IfExprAST::eval() {
    std::string str = condAST->eval();
    std::string label = generateJmpLabel();
    str += "JZ " + label + insEnd;    // "JZ LABEL"
    str += ifBlockAST->eval() + label + ":" + insEnd;
    if (elseBlockAST) {
        str += elseBlockAST->eval();
    }
    return str;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rsi
movq (%rsi), %rax
callq *0x18(%rax)
leaq -0xa8(%rbp), %rdi
callq 0x7dd2
leaq 0x77d7(%rip), %rsi      # 0xf290
leaq -0x68(%rbp), %rdi
leaq -0xa8(%rbp), %rdx
callq 0x92b6
movq 0xc710(%rip), %rsi      # 0x141e0
movq 0xc711(%rip), %rdx      # 0x141e8
leaq -0x68(%rbp), %rdi
callq 0x30b0
leaq -0x38(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7b04
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7b0b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7b40
callq 0x31c0
leaq -0x58(%rbp), %r12
movq -0x10(%r12), %rdi
cmpq %r12, %rdi
je 0x7b53
callq 0x31c0
movq 0x18(%r14), %rsi
movq (%rsi), %rax
leaq -0xc8(%rbp), %rdi
callq *0x18(%rax)
movq -0xa8(%rbp), %rsi
movq -0xa0(%rbp), %rdx
leaq -0xc8(%rbp), %rdi
callq 0x30b0
leaq -0x78(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7ba5
movq %rdx, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x7bad
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0x88(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x76c2(%rip), %rsi      # 0xf294
callq 0x3360
movq %r12, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7bf7
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x7bff
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x68(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0xc5bf(%rip), %rsi      # 0x141e0
movq 0xc5c0(%rip), %rdx      # 0x141e8
callq 0x30b0
movq %r15, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7c4d
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7c54
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7c89
callq 0x31c0
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x7c97
callq 0x31c0
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x7ca8
callq 0x31c0
leaq -0xb8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7cbd
callq 0x31c0
movq 0x20(%r14), %rsi
testq %rsi, %rsi
je 0x7cee
movq (%rsi), %rax
leaq -0x48(%rbp), %rdi
callq *0x18(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7cee
callq 0x31c0
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7d03
callq 0x31c0
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x7d95
jmp 0x7d9f
jmp 0x7d9c
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7d3e
callq 0x31c0
jmp 0x7d3e
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x7d51
callq 0x31c0
jmp 0x7d51
movq %rax, %r14
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x7d67
callq 0x31c0
jmp 0x7d67
movq %rax, %r14
leaq -0xb8(%rbp), %rax
jmp 0x7d8c
jmp 0x7d9c
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7d88
callq 0x31c0
jmp 0x7d88
movq %rax, %r14
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7d9f
callq 0x31c0
jmp 0x7d9f
movq %rax, %r14
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7db4
callq 0x31c0
movq (%rbx), %rdi
addq $0x10, %rbx
cmpq %rbx, %rdi
je 0x7dc5
callq 0x31c0
movq %r14, %rdi
callq 0x3330
movq %rax, %r14
jmp 0x7db4