// File: /workspace/github_cpp_makefile_star2_O1/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 0x7dd0
leaq -0x188(%rbp), %rdi
callq 0x7dd0
leaq -0xb8(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x1a8(%rbp), %rsi
movq -0x1a0(%rbp), %rdx
addq %rsi, %rdx
leaq -0xc8(%rbp), %rdi
callq 0x42ce
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, %esi
cmpq %r15, %rcx
je 0x7f81
movq -0x38(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x7fa4
leaq -0xf8(%rbp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x7f9f
movq -0xf8(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x7fb6
movq -0x108(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0x30b0
jmp 0x7fc6
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 0x7fea
movq %rsi, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x7ff0
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 0x727d(%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 0x804c
movq %rdx, -0x128(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x118(%rbp)
jmp 0x8052
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 0x80b0
movq %rdx, -0x148(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x138(%rbp)
jmp 0x80b6
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 0xc105(%rip), %rsi      # 0x141e0
movq 0xc106(%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 0x810b
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x8112
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, %esi
cmpq %r15, %rcx
je 0x815b
movq -0x58(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x817e
leaq -0xd8(%rbp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x8179
movq -0xd8(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x8190
movq -0xe8(%rbp), %rsi
leaq -0x68(%rbp), %rdi
callq 0x30b0
jmp 0x81a0
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 0x81ca
movq %rsi, -0xa8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x98(%rbp)
jmp 0x81d0
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 0x70a0(%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 0x822f
movq %rdx, -0x168(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x158(%rbp)
jmp 0x8235
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 0x8293
movq %rdx, -0x1c8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1b8(%rbp)
jmp 0x829b
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 0xbf20(%rip), %rsi      # 0x141e0
movq 0xbf21(%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 0x82f9
movq %rdx, -0x1e8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1d8(%rbp)
jmp 0x8300
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 0x835f
movq %rdx, -0x208(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x1f8(%rbp)
jmp 0x8367
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 0x6f08(%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 0x83be
movq %rdx, -0x228(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x218(%rbp)
jmp 0x83c5
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 0xbdf6(%rip), %rsi      # 0x141e0
movq 0xbdf7(%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 0x8418
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x841e
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 0x8446
callq 0x31c0
movq -0x208(%rbp), %rdi
cmpq %r12, %rdi
je 0x8457
callq 0x31c0
movq -0x1e8(%rbp), %rdi
cmpq %r15, %rdi
je 0x8468
callq 0x31c0
movq -0x1c8(%rbp), %rdi
cmpq %r13, %rdi
leaq -0xb8(%rbp), %r14
leaq -0x38(%rbp), %r15
je 0x8484
callq 0x31c0
movq -0x168(%rbp), %rdi
leaq -0x158(%rbp), %rax
cmpq %rax, %rdi
je 0x849c
callq 0x31c0
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x84b1
callq 0x31c0
leaq -0xd8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x84c6
callq 0x31c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x84d8
callq 0x31c0
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x84f0
callq 0x31c0
movq -0x128(%rbp), %rdi
leaq -0x118(%rbp), %rax
cmpq %rax, %rdi
je 0x8508
callq 0x31c0
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x851a
callq 0x31c0
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x852f
callq 0x31c0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x853d
callq 0x31c0
movq -0xc8(%rbp), %rdi
cmpq %r14, %rdi
je 0x854e
callq 0x31c0
leaq -0x178(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8563
callq 0x31c0
leaq -0x198(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8578
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 0x85a6
callq 0x31c0
jmp 0x85a6
movq %rax, %rbx
movq -0x208(%rbp), %rdi
cmpq %r12, %rdi
je 0x85bc
callq 0x31c0
jmp 0x85bc
movq %rax, %rbx
movq -0x1e8(%rbp), %rdi
cmpq %r15, %rdi
je 0x85d2
callq 0x31c0
jmp 0x85d2
movq %rax, %rbx
movq -0x1c8(%rbp), %rdi
cmpq %r13, %rdi
je 0x85e8
callq 0x31c0
jmp 0x85e8
movq %rax, %rbx
movq -0x168(%rbp), %rdi
leaq -0x158(%rbp), %rax
cmpq %rax, %rdi
je 0x8605
callq 0x31c0
jmp 0x8605
movq %rax, %rbx
leaq -0x98(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x861f
callq 0x31c0
jmp 0x861f
movq %rax, %rbx
leaq -0xd8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8639
callq 0x31c0
jmp 0x8639
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x8650
callq 0x31c0
jmp 0x8650
movq %rax, %rbx
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x8668
callq 0x31c0
movq -0x128(%rbp), %rdi
leaq -0x118(%rbp), %rax
cmpq %rax, %rdi
je 0x8680
callq 0x31c0
leaq -0x78(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8692
callq 0x31c0
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86a7
callq 0x31c0
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x86b9
callq 0x31c0
movq -0xc8(%rbp), %rdi
leaq -0xb8(%rbp), %rax
cmpq %rax, %rdi
je 0x86d1
callq 0x31c0
leaq -0x178(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86e6
callq 0x31c0
leaq -0x198(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86fb
callq 0x31c0
movq %rbx, %rdi
callq 0x3330
movq %rax, %rbx
jmp 0x8668
movq %rax, %rbx
jmp 0x8680
movq %rax, %rbx
jmp 0x8692
movq %rax, %rbx
jmp 0x86a7
movq %rax, %rbx
jmp 0x86b9
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r15, %rdi
jne 0x86cc
jmp 0x86d1
movq %rax, %rbx
jmp 0x86d1
movq %rax, %rbx
jmp 0x86e6