// File: /workspace/github_cpp_makefile_star2_O3/lhydave[P]SysYCompilerLab/front/node.cpp
// Function: sysY_AST::while_stmt_node::gen_code()
void while_stmt_node::gen_code()
{
	code = "l" + to_string(while_start_label) + ":\n";
	code += cond->code;
	code += "l" + to_string(true_label) + ":\n";
	code += true_stmt->code;
	code += "\tgoto l" + to_string(while_start_label) + "\n";
	code += "l" + to_string(while_next_label) + ":\n";
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, %r14
movl 0x2811c(%rip), %r12d    # 0x35360
movl %r12d, %ebx
negl %ebx
cmovsl %r12d, %ebx
movl $0x1, %ebp
cmpl $0xa, %ebx
jb 0xd29b
movl $0x4, %ebp
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebx, %ecx
cmpl $0x63, %ecx
jbe 0xd294
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd299
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd29b
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebp
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xd263
addl $-0x3, %ebp
jmp 0xd29b
addl $-0x2, %ebp
jmp 0xd29b
decl %ebp
shrl $0x1f, %r12d
movl %r12d, %esi
addl %ebp, %esi
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x48(%rsp), %r15
movq %r15, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r15), %rdi
addq %r12, %rdi
movl %ebp, %esi
movl %ebx, %edx
callq 0x1205c
leaq 0x1b766(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd30f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd317
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1b6f8(%rip), %rsi     # 0x28a32
callq 0x5510
leaq 0x38(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd366
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd36d
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %r15
movq %rdx, 0x8(%r15)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x18(%r14), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x5310
movq (%r15), %rdi
cmpq %rbp, %rdi
je 0xd3ad
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd3c4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0xd3db
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x40(%r14), %rax
movq 0x18(%rax), %rsi
movq 0x20(%rax), %rdx
movq %rbx, %rdi
callq 0x50c0
movl 0x50(%r14), %r13d
movl %r13d, %ebp
negl %ebp
cmovsl %r13d, %ebp
movl $0x1, %r15d
cmpl $0xa, %ebp
jb 0xd450
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xd447
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd44d
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd450
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xd414
addl $-0x3, %r15d
jmp 0xd450
addl $-0x2, %r15d
jmp 0xd450
decl %r15d
shrl $0x1f, %r13d
movl %r13d, %esi
addl %r15d, %esi
leaq 0x48(%rsp), %r12
leaq 0x58(%rsp), %rax
movq %rax, (%r12)
movq %r12, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r12), %rdi
addq %r13, %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0x1205c
leaq 0x1b5ae(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x18(%rsp), %r15
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x38(%rsp), %r12
je 0xd4cc
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd4d3
movups (%rcx), %xmm0
movups %xmm0, (%r15)
leaq 0x58(%rsp), %r13
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1b537(%rip), %rsi     # 0x28a32
callq 0x5510
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd523
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd52b
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x50c0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xd56c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xd583
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0xd59a
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%r14), %rax
movq 0x18(%rax), %rsi
movq 0x20(%rax), %rdx
movq %rbx, %rdi
callq 0x50c0
movl 0x27dab(%rip), %r12d    # 0x35360
movl %r12d, %ebp
negl %ebp
cmovsl %r12d, %ebp
movl $0x1, %r14d
cmpl $0xa, %ebp
jb 0xd612
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xd609
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd60f
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd612
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xd5d6
addl $-0x3, %r14d
jmp 0xd612
addl $-0x2, %r14d
jmp 0xd612
decl %r14d
shrl $0x1f, %r12d
movl %r12d, %esi
addl %r14d, %esi
leaq 0x48(%rsp), %r15
movq %r13, (%r15)
movq %r15, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r15), %rdi
addq %r12, %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x1205c
leaq 0x1b3ed(%rip), %rcx     # 0x28a35
movl $0x7, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x18(%rsp), %r14
movq %r14, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x38(%rsp), %r15
je 0xd687
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd68e
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1b362(%rip), %rsi     # 0x28a13
callq 0x5510
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd6d9
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd6e0
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x50c0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0xd721
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0xd738
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0xd74f
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movl 0x27c0e(%rip), %r12d    # 0x35364
movl %r12d, %ebp
negl %ebp
cmovsl %r12d, %ebp
movl $0x1, %r14d
cmpl $0xa, %ebp
jb 0xd7b3
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xd7aa
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd7b0
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd7b3
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xd777
addl $-0x3, %r14d
jmp 0xd7b3
addl $-0x2, %r14d
jmp 0xd7b3
decl %r14d
shrl $0x1f, %r12d
movl %r12d, %esi
addl %r14d, %esi
leaq 0x48(%rsp), %r15
movq %r13, (%r15)
movq %r15, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r15), %rdi
addq %r12, %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x1205c
leaq 0x1b252(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x18(%rsp), %r14
movq %r14, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x38(%rsp), %r15
je 0xd828
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd82f
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1b1e0(%rip), %rsi     # 0x28a32
callq 0x5510
movq %r15, 0x28(%rsp)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0xd87a
movq %rsi, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd884
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq %r15, %rsi
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x50c0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0xd8bb
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0xd8d2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0xd8e9
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xd8fe
jmp 0xd92d
jmp 0xd94e
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
jne 0xd91e
jmp 0xd930
jmp 0xd92d
jmp 0xd94e
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xd930
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd930
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xd951
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd951
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xd96d
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq %rbx, %rdi
callq 0x54c0
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd994
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd994
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
jne 0xd960
jmp 0xd96d