// File: /workspace/github_cpp_makefile_star2_O3/lhydave[P]SysYCompilerLab/front/node.cpp
// Function: sysY_AST::if_stmt_node::gen_code()
void if_stmt_node::gen_code()
{
	code = cond->code;

	if (has_else)
	{
		code += "l" + to_string(true_label) + ":\n";
		code += true_stmt->code;
		auto if_next_label = new_label();
		code += "\tgoto l" + to_string(if_next_label) + "\n";
		code += "l" + to_string(false_label) + ":\n";
		code += false_stmt->code;
		code += "l" + to_string(if_next_label) + ":\n";
	}
	else
	{
		code += true_stmt->code;
		code += "l" + to_string(false_label) + ":\n";
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rdi, %r14
movq 0x40(%rdi), %rsi
addq $0x18, %rsi
leaq 0x18(%rdi), %r13
movq %r13, %rdi
callq 0x5140
cmpb $0x1, 0x64(%r14)
jne 0xc82b
movl 0x58(%r14), %ebx
movl %ebx, %ebp
negl %ebp
cmovsl %ebx, %ebp
movl $0x1, %r15d
cmpl $0xa, %ebp
jb 0xc8b6
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xc8a4
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xc8b3
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xc8b6
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xc7e9
addl $-0x3, %r15d
jmp 0xc8b6
movq 0x48(%r14), %rax
movq 0x18(%rax), %rsi
movq 0x20(%rax), %rdx
movq %r13, %rdi
callq 0x50c0
movl 0x5c(%r14), %ebx
movl %ebx, %ebp
negl %ebp
cmovsl %ebx, %ebp
movl $0x1, %r14d
cmpl $0xa, %ebp
jb 0xca92
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xc8aa
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xca8f
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xca92
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xc866
addl $-0x3, %r14d
jmp 0xca92
addl $-0x2, %r15d
jmp 0xc8b6
addl $-0x2, %r14d
jmp 0xca92
decl %r15d
shrl $0x1f, %ebx
movl %ebx, %esi
addl %r15d, %esi
leaq 0x58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x48(%rsp), %r12
movq %r12, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r12), %rdi
addq %rbx, %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0x1205c
leaq 0x1c14a(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xc92b
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xc933
movups (%rcx), %xmm0
movups %xmm0, (%r12)
leaq 0x58(%rsp), %rbx
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1c0d7(%rip), %rsi     # 0x28a32
callq 0x5510
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xc987
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xc98e
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xc9cf
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xc9e6
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xc9fd
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%r14), %rax
movq 0x18(%rax), %rsi
movq 0x20(%rax), %rdx
movq %r13, %rdi
callq 0x50c0
movl 0x28941(%rip), %ebp     # 0x35358
leal 0x1(%rbp), %eax
movl %eax, 0x28938(%rip)     # 0x35358
movl %ebp, %r8d
negl %r8d
cmovsl %ebp, %r8d
movl $0x1, %r15d
cmpl $0xa, %r8d
jb 0xcbdd
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r8d, %ecx
cmpl $0x63, %ecx
jbe 0xca86
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xcbda
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xcbdd
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xca48
addl $-0x3, %r15d
jmp 0xcbdd
addl $-0x2, %r15d
jmp 0xcbdd
decl %r14d
shrl $0x1f, %ebx
movl %ebx, %esi
addl %r14d, %esi
leaq 0x58(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x48(%rsp), %r15
movq %r15, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r15), %rdi
addq %rbx, %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x1205c
leaq 0x1bf6e(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x38(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcb06
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcb0d
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1bf02(%rip), %rsi     # 0x28a32
callq 0x5510
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0xcb5c
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xcb66
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq %r15, %rsi
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r13, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xcb9d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xcbb4
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0xcbcb
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
decl %r15d
shrl $0x1f, %ebp
leal (%r15,%rbp), %esi
movl %r8d, 0x6c(%rsp)
leaq 0x48(%rsp), %r12
movq %rbx, (%r12)
movq %r12, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r12), %rdi
movq %rbp, 0x70(%rsp)
addq %rbp, %rdi
movl %r15d, %esi
movl 0x6c(%rsp), %edx
callq 0x1205c
leaq 0x1be17(%rip), %rcx     # 0x28a35
movl $0x7, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x38(%rsp), %r12
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x18(%rsp), %r15
je 0xcc5d
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcc65
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1bd8b(%rip), %rsi     # 0x28a13
callq 0x5510
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xccb0
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xccb7
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xccf8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xcd0f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xcd26
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movl 0x5c(%r14), %ebx
movl %ebx, %r15d
negl %r15d
cmovsl %ebx, %r15d
movl $0x1, %r12d
cmpl $0xa, %r15d
jb 0xcd8a
movl $0x4, %r12d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r15d, %ecx
cmpl $0x63, %ecx
jbe 0xcd81
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xcd87
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xcd8a
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r12d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xcd4e
addl $-0x3, %r12d
jmp 0xcd8a
addl $-0x2, %r12d
jmp 0xcd8a
decl %r12d
movq %r13, %rbp
shrl $0x1f, %ebx
movl %ebx, %esi
addl %r12d, %esi
leaq 0x48(%rsp), %r13
leaq 0x58(%rsp), %rax
movq %rax, (%r13)
movq %r13, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r13), %rdi
addq %rbx, %rdi
movl %r12d, %esi
movl %r15d, %edx
callq 0x1205c
leaq 0x1bc72(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x38(%rsp), %rsi
movq %rsi, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x18(%rsp), %r15
je 0xce08
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xce0e
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
leaq 0x58(%rsp), %rbx
movl 0x6c(%rsp), %r12d
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1bbf7(%rip), %rsi     # 0x28a32
callq 0x5510
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xce63
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xce6a
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbp, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xceab
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xcec7
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xcede
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x50(%r14), %rax
movq 0x18(%rax), %rsi
movq 0x20(%rax), %rdx
movq %rbp, %rdi
callq 0x50c0
movl $0x1, %r14d
cmpl $0xa, %r12d
jb 0xcf48
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r12d, %ecx
cmpl $0x63, %ecx
jbe 0xcf3f
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xcf45
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xcf48
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xcf0c
addl $-0x3, %r14d
jmp 0xcf48
addl $-0x2, %r14d
jmp 0xcf48
decl %r14d
movq %rbp, %r13
movq 0x70(%rsp), %rbp
movl %ebp, %esi
addl %r14d, %esi
leaq 0x48(%rsp), %r15
movq %rbx, (%r15)
movq %r15, %rdi
movl $0x2d, %edx
callq 0x52b0
movq (%r15), %rdi
addq %rbp, %rdi
movl %r14d, %esi
movl %r12d, %edx
callq 0x1205c
leaq 0x1bab9(%rip), %rcx     # 0x28a3b
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5290
leaq 0x38(%rsp), %r12
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq 0x18(%rsp), %r14
je 0xcfc1
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcfc9
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1ba46(%rip), %rsi     # 0x28a32
callq 0x5510
movq %r14, 0x8(%rsp)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0xd014
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd01e
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq %r14, %rsi
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r13, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0xd055
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xd06c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
jne 0xcbbe
jmp 0xcbcb
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0xd0d0
jmp 0xd0fe
jmp 0xd0fb
jmp 0xd12b
jmp 0xd0c3
jmp 0xd0fb
jmp 0xd12b
jmp 0xd0c3
jmp 0xd0fb
jmp 0xd12b
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xd0e2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd0e2
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xd0fe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd0fe
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xd11f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd11f
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xd12e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd12e
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
jne 0xd13d
jmp 0xd14a
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xd14a
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq %rbx, %rdi
callq 0x54c0