// File: /workspace/github_cpp_makefile_star2_O1/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 0xcac3
movl 0x58(%r14), %ebx
movl %ebx, %ebp
negl %ebp
cmovsl %ebx, %ebp
movl $0x1, %r15d
cmpl $0xa, %ebp
jb 0xcb4e
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xcb3c
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xcb4b
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xcb4e
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xca81
addl $-0x3, %r15d
jmp 0xcb4e
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 0xcd2a
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xcb42
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xcd27
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xcd2a
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xcafe
addl $-0x3, %r14d
jmp 0xcd2a
addl $-0x2, %r15d
jmp 0xcb4e
addl $-0x2, %r14d
jmp 0xcd2a
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 0x1230e
leaq 0x1be7b(%rip), %rcx     # 0x28a04
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 0xcbc3
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcbcb
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 0x1be08(%rip), %rsi     # 0x289fb
callq 0x5510
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcc1f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xcc26
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 0xcc67
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xcc7e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xcc95
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 0x286a9(%rip), %ebp     # 0x35358
leal 0x1(%rbp), %eax
movl %eax, 0x286a0(%rip)     # 0x35358
movl %ebp, %r8d
negl %r8d
cmovsl %ebp, %r8d
movl $0x1, %r15d
cmpl $0xa, %r8d
jb 0xce7c
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r8d, %ecx
cmpl $0x63, %ecx
jbe 0xcd1e
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xce79
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xce7c
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xcce0
addl $-0x3, %r15d
jmp 0xce7c
addl $-0x2, %r15d
jmp 0xce7c
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 0x1230e
leaq 0x1bc9f(%rip), %rcx     # 0x28a04
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 0xcd9e
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcda5
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 0x1bc33(%rip), %rsi     # 0x289fb
callq 0x5510
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcdf4
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xcdfb
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 0xce3c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xce53
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0xce6a
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 0x1230e
leaq 0x1bb41(%rip), %rcx     # 0x289fe
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 0xcefc
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xcf04
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 0x1bab5(%rip), %rsi     # 0x289dc
callq 0x5510
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcf4f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xcf56
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 0xcf97
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xcfae
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xcfc5
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 0xd029
movl $0x4, %r12d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r15d, %ecx
cmpl $0x63, %ecx
jbe 0xd020
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd026
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd029
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r12d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xcfed
addl $-0x3, %r12d
jmp 0xd029
addl $-0x2, %r12d
jmp 0xd029
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 0x1230e
leaq 0x1b99c(%rip), %rcx     # 0x28a04
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 0xd0a7
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd0ad
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 0x1b921(%rip), %rsi     # 0x289fb
callq 0x5510
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd102
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd109
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 0xd14a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xd166
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0xd17d
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 0xd1e7
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r12d, %ecx
cmpl $0x63, %ecx
jbe 0xd1de
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xd1e4
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xd1e7
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xd1ab
addl $-0x3, %r14d
jmp 0xd1e7
addl $-0x2, %r14d
jmp 0xd1e7
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 0x1230e
leaq 0x1b7e3(%rip), %rcx     # 0x28a04
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 0xd260
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xd268
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 0x1b770(%rip), %rsi     # 0x289fb
callq 0x5510
movq %r14, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xd2b3
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xd2ba
movups (%rcx), %xmm0
movups %xmm0, (%r14)
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 %r14, %rdi
je 0xd2fb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xd312
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
jne 0xce5d
jmp 0xce6a
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0xd376
jmp 0xd3a4
jmp 0xd3a1
jmp 0xd3d1
jmp 0xd369
jmp 0xd3a1
jmp 0xd3d1
jmp 0xd369
jmp 0xd3a1
jmp 0xd3d1
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xd388
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd388
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0xd3a4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd3a4
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xd3c5
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd3c5
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xd3d4
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5240
jmp 0xd3d4
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
jne 0xd3e3
jmp 0xd3f0
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xd3f0
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5240
movq %rbx, %rdi
callq 0x54c0