// File: /workspace/github_cpp_makefile_star2_O1/rfotino[P]consolite-compiler/src/syntax.cpp
// Function: IfStatement::output(Parser*, std::shared_ptr<FunctionToken> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void IfStatement::output(Parser *parser,
                         const std::shared_ptr<FunctionToken>& function,
                         const std::string& returnLabel,
                         const std::string& breakLabel,
                         const std::string& continueLabel) {
  std::string falseLabel = parser->getUnusedLabel(function->name() + "_if_false");
  std::string endLabel = parser->getUnusedLabel(function->name() + "_if_end");
  // Test the condition and jump to the false label if it is false.
  _condExpr.output(parser, VarLocation("L"));
  parser->writeInst("TST L L");
  parser->writeInst("JEQ " + falseLabel);
  // Output the true statement and jump to the end.
  _trueStatement->output(parser, function, returnLabel, breakLabel,
                         continueLabel);
  parser->writeInst("JMPI " + endLabel);
  // Output the false statement label and the false statement.
  parser->writeln(falseLabel + ":");
  if (nullptr != _falseStatement) {
    _falseStatement->output(parser, function, returnLabel, breakLabel,
                            continueLabel);
  }
  // Output the end label that the true statement uses to jump over the
  // false statement.
  parser->writeln(endLabel + ":");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %r9, 0x70(%rsp)
movq %r8, 0x68(%rsp)
movq %rcx, %r12
movq %rdx, %r13
movq %rsi, %rbx
movq %rdi, %rbp
movq (%rdx), %rax
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x58(%rax), %rsi
movq 0x60(%rax), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0xc014
leaq 0x16abc(%rip), %rsi     # 0x36ece
movq %r14, %rdi
callq 0x7560
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x20440
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x20447
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rsi
movq %rsp, %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %rdi
movq %rbx, %rsi
callq 0xa992
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20484
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x2049b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
movq (%r13), %rax
leaq 0x58(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x58(%rax), %rsi
movq 0x60(%rax), %rdx
addq %rsi, %rdx
leaq 0x48(%rsp), %rdi
callq 0xc014
leaq 0x16a14(%rip), %rsi     # 0x36ed8
leaq 0x48(%rsp), %rdi
callq 0x7560
movq %r14, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x204ef
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x204f6
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rsi
movq %rsp, %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x28(%rsp), %rdi
movq %rbx, %rsi
callq 0xa992
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20533
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0x2054a
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x72c0
leaq 0x48(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1657f(%rip), %rsi     # 0x36ad8
leaq 0x16579(%rip), %rdx     # 0x36ad9
callq 0xc0a4
movq %rsp, %rdi
movq %r14, (%rdi)
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rdx
addq %rsi, %rdx
callq 0xc014
leaq 0x10(%rbp), %rdi
movq %rsp, %rdx
movq %rbx, %rsi
callq 0x1592e
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x205a2
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0x205b9
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x72c0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x1691a(%rip), %rsi     # 0x36ee0
leaq 0x1691a(%rip), %rdx     # 0x36ee7
leaq 0x38(%rsp), %r15
callq 0xc0a4
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xadb2
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x205f8
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
leaq 0x16234(%rip), %rsi     # 0x36833
movq %rsp, %rdi
leaq 0x78(%rsp), %rdx
callq 0xb963
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xadb2
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2062d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x38(%rbp), %rdi
movq (%rdi), %rax
movq %rbx, %rsi
movq %r13, %rdx
movq %r12, %rcx
movq 0x68(%rsp), %r8
movq 0x70(%rsp), %r9
callq *0x8(%rax)
leaq 0x15ad4(%rip), %rsi     # 0x36125
movq %rsp, %rdi
leaq 0x28(%rsp), %rdx
callq 0xb963
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xadb2
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2067f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq %rsp, %rdi
movq %r14, (%rdi)
movq 0x78(%rsp), %rsi
movq 0x80(%rsp), %rdx
addq %rsi, %rdx
callq 0xc014
leaq 0x17f57(%rip), %rsi     # 0x385f8
movq %rsp, %rdi
callq 0x7560
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xb2c4
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x206ca
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x206ec
movq (%rdi), %rax
movq %rbx, %rsi
movq %r13, %rdx
movq %r12, %rcx
movq 0x68(%rsp), %r8
movq 0x70(%rsp), %r9
callq *0x8(%rax)
movq %rsp, %rdi
movq %r14, (%rdi)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0xc014
leaq 0x17eed(%rip), %rsi     # 0x385f8
movq %rsp, %rdi
callq 0x7560
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xb2c4
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20734
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x2074b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2076c
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x72c0
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2079e
jmp 0x2079e
jmp 0x20856
jmp 0x2079e
jmp 0x2079e
jmp 0x20856
jmp 0x2079e
jmp 0x20856
jmp 0x2079e
jmp 0x20856
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20859
movq 0x10(%rsp), %rsi
jmp 0x207e7
jmp 0x20856
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x207d8
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
jmp 0x207d8
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0x20859
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x72c0
jmp 0x20859
jmp 0x20856
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20811
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
jmp 0x20811
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0x20875
movq 0x58(%rsp), %rsi
jmp 0x2086d
movq %rax, %rbx
jmp 0x20875
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x20845
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x72c0
jmp 0x20845
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x20896
movq 0x38(%rsp), %rsi
jmp 0x2088e
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x20875
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x20896
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x72c0
movq %rbx, %rdi
callq 0x74f0