// File: /workspace/github_cpp_makefile_star2_O1/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 0x7dd0
leaq 0x77d9(%rip), %rsi      # 0xf290
leaq -0x68(%rbp), %rdi
leaq -0xa8(%rbp), %rdx
callq 0x92c5
movq 0xc712(%rip), %rsi      # 0x141e0
movq 0xc713(%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 0x7b02
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7b09
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 0x7b3e
callq 0x31c0
leaq -0x58(%rbp), %r12
movq -0x10(%r12), %rdi
cmpq %r12, %rdi
je 0x7b51
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 0x7ba3
movq %rdx, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x7bab
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 0x76c4(%rip), %rsi      # 0xf294
callq 0x3360
movq %r12, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7bf5
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x7bfd
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 0xc5c1(%rip), %rsi      # 0x141e0
movq 0xc5c2(%rip), %rdx      # 0x141e8
callq 0x30b0
movq %r15, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7c4b
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7c52
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 0x7c87
callq 0x31c0
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x7c95
callq 0x31c0
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x7ca6
callq 0x31c0
leaq -0xb8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7cbb
callq 0x31c0
movq 0x20(%r14), %rsi
testq %rsi, %rsi
je 0x7cec
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 0x7cec
callq 0x31c0
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7d01
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 0x7d93
jmp 0x7d9d
jmp 0x7d9a
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7d3c
callq 0x31c0
jmp 0x7d3c
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x7d4f
callq 0x31c0
jmp 0x7d4f
movq %rax, %r14
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x7d65
callq 0x31c0
jmp 0x7d65
movq %rax, %r14
leaq -0xb8(%rbp), %rax
jmp 0x7d8a
jmp 0x7d9a
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7d86
callq 0x31c0
jmp 0x7d86
movq %rax, %r14
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7d9d
callq 0x31c0
jmp 0x7d9d
movq %rax, %r14
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7db2
callq 0x31c0
movq (%rbx), %rdi
addq $0x10, %rbx
cmpq %rbx, %rdi
je 0x7dc3
callq 0x31c0
movq %r14, %rdi
callq 0x3330
movq %rax, %r14
jmp 0x7db2