// File: /workspace/github_cpp_makefile_star2_O3/KJTang[P]SimpleCompiler/AST.cpp
// Function: WhileExprAST::eval[abi:cxx11]()
std::string WhileExprAST::eval() {
    std::string condLabel = generateJmpLabel();
    std::string quitLabel = generateJmpLabel();
    return condLabel + ":" + insEnd + condAST->eval() + "JZ " + quitLabel + insEnd + 
        blockAST->eval() + "JMP " + condLabel + insEnd + quitLabel + ":" + insEnd;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movq %rsi, %r14
movq %rdi, %rbx
leaq -0x1a8(%rbp), %rdi
callq 0x7dd2
leaq -0x188(%rbp), %rdi
callq 0x7dd2
leaq -0xb8(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x1a8(%rbp), %rsi
movq -0x1a0(%rbp), %rdx
addq %rsi, %rdx
leaq -0xc8(%rbp), %rdi
callq 0x42b0
leaq 0x73ad(%rip), %rsi      # 0xf294
leaq -0xc8(%rbp), %rdi
callq 0x3360
movq 0xc2e6(%rip), %rsi      # 0x141e0
movq 0xc2e7(%rip), %rdx      # 0x141e8
leaq -0xc8(%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 0x7f31
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7f38
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 0x10(%r14), %rsi
movq (%rsi), %rax
leaq -0x108(%rbp), %rdi
callq *0x18(%rax)
movq -0x48(%rbp), %rcx
movq -0x40(%rbp), %r8
movq -0x100(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r15, %rcx
je 0x7f81
movq -0x38(%rbp), %rdi
movq -0x108(%rbp), %rsi
cmpq %rdi, %rax
jbe 0x7faa
leaq -0xf8(%rbp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x7fa5
movq -0xf8(%rbp), %rdi
cmpq %rdi, %rax
jbe 0x7fb5
leaq -0x48(%rbp), %rdi
callq 0x30b0
jmp 0x7fc5
leaq -0x108(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3220
leaq -0x78(%rbp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x7fe9
movq %rsi, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x7fef
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0x80(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x727e(%rip), %rsi      # 0xf290
leaq -0x88(%rbp), %rdi
callq 0x3360
leaq -0x118(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x804b
movq %rdx, -0x128(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x118(%rbp)
jmp 0x8051
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x128(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x188(%rbp), %rsi
movq -0x180(%rbp), %rdx
callq 0x30b0
leaq -0x138(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x80af
movq %rdx, -0x148(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x138(%rbp)
jmp 0x80b5
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x148(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0xc106(%rip), %rsi      # 0x141e0
movq 0xc107(%rip), %rdx      # 0x141e8
callq 0x30b0
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x810a
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x8111
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, -0x60(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%r14), %rsi
movq (%rsi), %rax
leaq -0xe8(%rbp), %rdi
callq *0x18(%rax)
movq -0x68(%rbp), %rcx
movq -0x60(%rbp), %r8
movq -0xe0(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r15, %rcx
je 0x815a
movq -0x58(%rbp), %rdi
movq -0xe8(%rbp), %rsi
cmpq %rdi, %rax
jbe 0x8183
leaq -0xd8(%rbp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x817e
movq -0xd8(%rbp), %rdi
cmpq %rdi, %rax
jbe 0x818e
leaq -0x68(%rbp), %rdi
callq 0x30b0
jmp 0x819e
leaq -0xe8(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3220
leaq -0x98(%rbp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x81c8
movq %rsi, -0xa8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x98(%rbp)
jmp 0x81ce
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0xa0(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x70a2(%rip), %rsi      # 0xf296
leaq -0xa8(%rbp), %rdi
callq 0x3360
leaq -0x158(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x822d
movq %rdx, -0x168(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x158(%rbp)
jmp 0x8233
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x168(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x1a8(%rbp), %rsi
movq -0x1a0(%rbp), %rdx
callq 0x30b0
leaq -0x1b8(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x8291
movq %rdx, -0x1c8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1b8(%rbp)
jmp 0x8299
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0x1c8(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0xbf22(%rip), %rsi      # 0x141e0
movq 0xbf23(%rip), %rdx      # 0x141e8
callq 0x30b0
leaq -0x1d8(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x82f7
movq %rdx, -0x1e8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1d8(%rbp)
jmp 0x82fe
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq -0x1e8(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x188(%rbp), %rsi
movq -0x180(%rbp), %rdx
callq 0x30b0
leaq -0x1f8(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x835d
movq %rdx, -0x208(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1f8(%rbp)
jmp 0x8365
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x208(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x6f0a(%rip), %rsi      # 0xf294
callq 0x3360
leaq -0x218(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x83bc
movq %rdx, -0x228(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x218(%rbp)
jmp 0x83c3
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq -0x228(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0xbdf8(%rip), %rsi      # 0x141e0
movq 0xbdf9(%rip), %rdx      # 0x141e8
callq 0x30b0
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x8416
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x841c
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x228(%rbp), %rdi
cmpq %r14, %rdi
je 0x8444
callq 0x31c0
movq -0x208(%rbp), %rdi
cmpq %r12, %rdi
je 0x8455
callq 0x31c0
movq -0x1e8(%rbp), %rdi
cmpq %r15, %rdi
je 0x8466
callq 0x31c0
movq -0x1c8(%rbp), %rdi
cmpq %r13, %rdi
leaq -0xb8(%rbp), %r14
leaq -0x38(%rbp), %r15
je 0x8482
callq 0x31c0
movq -0x168(%rbp), %rdi
leaq -0x158(%rbp), %rax
cmpq %rax, %rdi
je 0x849a
callq 0x31c0
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x84af
callq 0x31c0
leaq -0xd8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x84c4
callq 0x31c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x84d6
callq 0x31c0
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x84ee
callq 0x31c0
movq -0x128(%rbp), %rdi
leaq -0x118(%rbp), %rax
cmpq %rax, %rdi
je 0x8506
callq 0x31c0
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8518
callq 0x31c0
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x852d
callq 0x31c0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x853b
callq 0x31c0
movq -0xc8(%rbp), %rdi
cmpq %r14, %rdi
je 0x854c
callq 0x31c0
leaq -0x178(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8561
callq 0x31c0
leaq -0x198(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8576
callq 0x31c0
movq %rbx, %rax
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x228(%rbp), %rdi
cmpq %r14, %rdi
je 0x85a4
callq 0x31c0
jmp 0x85a4
movq %rax, %rbx
movq -0x208(%rbp), %rdi
cmpq %r12, %rdi
je 0x85ba
callq 0x31c0
jmp 0x85ba
movq %rax, %rbx
movq -0x1e8(%rbp), %rdi
cmpq %r15, %rdi
je 0x85d0
callq 0x31c0
jmp 0x85d0
movq %rax, %rbx
movq -0x1c8(%rbp), %rdi
cmpq %r13, %rdi
je 0x85e6
callq 0x31c0
jmp 0x85e6
movq %rax, %rbx
movq -0x168(%rbp), %rdi
leaq -0x158(%rbp), %rax
cmpq %rax, %rdi
je 0x8603
callq 0x31c0
jmp 0x8603
movq %rax, %rbx
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x861d
callq 0x31c0
jmp 0x861d
movq %rax, %rbx
leaq -0xd8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8637
callq 0x31c0
jmp 0x8637
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x864e
callq 0x31c0
jmp 0x864e
movq %rax, %rbx
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x8666
callq 0x31c0
movq -0x128(%rbp), %rdi
leaq -0x118(%rbp), %rax
cmpq %rax, %rdi
je 0x867e
callq 0x31c0
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8690
callq 0x31c0
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86a5
callq 0x31c0
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x86b7
callq 0x31c0
movq -0xc8(%rbp), %rdi
leaq -0xb8(%rbp), %rax
cmpq %rax, %rdi
je 0x86cf
callq 0x31c0
leaq -0x178(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86e4
callq 0x31c0
leaq -0x198(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86f9
callq 0x31c0
movq %rbx, %rdi
callq 0x3330
movq %rax, %rbx
jmp 0x8666
movq %rax, %rbx
jmp 0x867e
movq %rax, %rbx
jmp 0x8690
movq %rax, %rbx
jmp 0x86a5
movq %rax, %rbx
jmp 0x86b7
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r15, %rdi
jne 0x86ca
jmp 0x86cf
movq %rax, %rbx
jmp 0x86cf
movq %rax, %rbx
jmp 0x86e4