// File: /workspace/github_cpp_makefile_star2_O2/sighingnow[P]compile-pascal/pl0_tac_gen.cpp
// Function: pl0_tac_cond_stmt(pl0_ast_cond_stmt const*)
void pl0_tac_cond_stmt(pl0_ast_cond_stmt const *stmt) {
    cout << __func__;

    int thenlabel = irb.makelabel(), elselabel, endlabel = irb.makelabel();
    
    auto lhs = pl0_tac_expr(stmt->cond->lhs);
    auto rhs = pl0_tac_expr(stmt->cond->rhs);
    // if (lhs.second != rhs.second) {
    //     pl0_ast_error(stmt->cond->loc, "compare two expressions with different types.");
    // }
    irb.emit("cmp", new Value(thenlabel, "integer"), lhs.first, rhs.first);

    if (stmt->else_block == nullptr) {
        elselabel = endlabel;
    }
    else {
        elselabel = irb.makelabel();
    }
    // reference: http://unixwiz.net/techtips/x86-jumps.html
    // +--------+------------------------------+-------------+--------------------+
    // |Instr   | Description                  | signed-ness | Flags              |
    // +--------+------------------------------+-------------+--------------------+
    // | JL/    | Jump if less                 | signed      | SF <> OF           |
    // | JNGE   | Jump if not greater or equal |             |                    |
    // +--------+------------------------------+-------------+--------------------+
    // | JGE/   | Jump if greater or equal     | signed      | SF = OF            |
    // | JNL    | Jump if not less             |             |                    |
    // +--------+------------------------------+-------------+--------------------+
    // | JLE/   | Jump if less or equal        | signed      | ZF = 1 or SF <> OF |
    // | JNG    | Jump if not greater          |             |                    |
    // +--------+------------------------------+-------------+--------------------+
    // | JG/    | Jump if greater              | signed      | ZF = 0 and SF = OF |
    // | JNLE   | Jump if not less or equal    |             |                    |
    // +--------+------------------------------+-------------+--------------------+
    if (stmt->cond->op->op == "<") {
        irb.emit("goto", new Value("jge", "string"), new Value(elselabel, "integer"));
    }
    else if (stmt->cond->op->op == "<=") {
        irb.emit("goto", new Value("jg", "string"), new Value(elselabel, "integer"));
    }
    else if (stmt->cond->op->op == ">") {
        irb.emit("goto", new Value("jle", "string"), new Value(elselabel, "integer"));
    }
    else if (stmt->cond->op->op == ">=") {
        irb.emit("goto", new Value("jl", "string"), new Value(elselabel, "integer"));
    }
    else if (stmt->cond->op->op == "=") {
        irb.emit("goto", new Value("jne", "string"), new Value(elselabel, "integer"));
    }
    else if (stmt->cond->op->op == "<>") {
        irb.emit("goto", new Value("je", "string"), new Value(elselabel, "integer"));
    }
    irb.emitlabel(thenlabel);
    pl0_tac_stmt(stmt->then_block);
    irb.emit("goto", new Value("jmp", "string"), new Value(endlabel, "integer"));
    if (stmt->else_block != nullptr) {
        irb.emitlabel(elselabel);
        pl0_tac_stmt(stmt->else_block);
        irb.emit("goto", new Value("jmp", "string"), new Value(endlabel, "integer"));
    }
    irb.emitlabel(endlabel);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x4a8, %rsp            # imm = 0x4A8
movq %rdi, %r14
movq 0x4a7fb(%rip), %rdi     # 0x8afd8
leaq 0x1ad5b(%rip), %rsi     # 0x5b53f
callq 0x5250
leaq 0x4bde0(%rip), %rbx     # 0x8c5d0
movq %rbx, %rdi
callq 0x3bb88
movl %eax, %r15d
movq %rbx, %rdi
callq 0x3bb88
movl %eax, %ebx
movq 0x18(%r14), %rax
movq 0x8(%rax), %rsi
leaq 0x480(%rsp), %rdi
callq 0x44859
movq 0x18(%r14), %rax
movq 0x18(%rax), %rsi
leaq 0x458(%rsp), %rdi
callq 0x44859
leaq 0x1a288(%rip), %rsi     # 0x5aabe
leaq 0x438(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r12
leaq 0x188b5(%rip), %rsi     # 0x5910f
leaq 0x418(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
movb $0x1, %bpl
leaq 0x418(%rsp), %rdx
movq %r12, %rdi
movl %r15d, %esi
callq 0x46ac6
movq 0x480(%rsp), %rcx
xorl %ebp, %ebp
movq 0x458(%rsp), %r8
leaq 0x4bd35(%rip), %rdi     # 0x8c5d0
leaq 0x438(%rsp), %rsi
movq %r12, %rdx
callq 0x46a38
leaq 0x418(%rsp), %rdi
callq 0x5120
leaq 0x438(%rsp), %rdi
callq 0x5120
cmpq $0x0, 0x28(%r14)
movl %ebx, 0xc(%rsp)
je 0x408e0
leaq 0x4bcf9(%rip), %rdi     # 0x8c5d0
callq 0x3bb88
movl %eax, 0xc(%rsp)
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x18830(%rip), %rsi     # 0x59123
callq 0x15c52
testb %al, %al
je 0x40a06
leaq 0x1a1bb(%rip), %rsi     # 0x5aac2
leaq 0x3f8(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r12
leaq 0x1a19c(%rip), %rsi     # 0x5aac7
leaq 0x3d8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
movl %r15d, %ebp
leaq 0x1a961(%rip), %rsi     # 0x5b2a8
leaq 0x3b8(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x3d8(%rsp), %rsi
leaq 0x3b8(%rsp), %rdx
movq %r12, %rdi
callq 0x46fc0
xorl %r15d, %r15d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
leaq 0x18786(%rip), %rsi     # 0x5910f
leaq 0x398(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x398(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4bc14(%rip), %rdi     # 0x8c5d0
leaq 0x3f8(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x398(%rsp), %rdi
callq 0x5120
leaq 0x3b8(%rsp), %rdi
callq 0x5120
leaq 0x3d8(%rsp), %rdi
callq 0x5120
leaq 0x3f8(%rsp), %rdi
jmp 0x40fd7
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x18701(%rip), %rsi     # 0x5911a
callq 0x15c52
testb %al, %al
je 0x40b2c
leaq 0x1a095(%rip), %rsi     # 0x5aac2
leaq 0x378(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r12
leaq 0x1a07a(%rip), %rsi     # 0x5aacb
leaq 0x358(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
movl %r15d, %ebp
leaq 0x1a83b(%rip), %rsi     # 0x5b2a8
leaq 0x338(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x358(%rsp), %rsi
leaq 0x338(%rsp), %rdx
movq %r12, %rdi
callq 0x46fc0
xorl %r15d, %r15d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
leaq 0x18660(%rip), %rsi     # 0x5910f
leaq 0x318(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x318(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4baee(%rip), %rdi     # 0x8c5d0
leaq 0x378(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x318(%rsp), %rdi
callq 0x5120
leaq 0x338(%rsp), %rdi
callq 0x5120
leaq 0x358(%rsp), %rdi
callq 0x5120
leaq 0x378(%rsp), %rdi
jmp 0x40fd7
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x185df(%rip), %rsi     # 0x5911e
callq 0x15c52
testb %al, %al
je 0x40c58
leaq 0x19f6f(%rip), %rsi     # 0x5aac2
leaq 0x2f8(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, 0x10(%rsp)
leaq 0x19f55(%rip), %rsi     # 0x5aace
leaq 0x2d8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a716(%rip), %rsi     # 0x5b2a8
leaq 0x2b8(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r12b
leaq 0x2d8(%rsp), %rsi
leaq 0x2b8(%rsp), %rdx
movq 0x10(%rsp), %rdi
callq 0x46fc0
xorl %r12d, %r12d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
movl %r15d, %ebp
leaq 0x18536(%rip), %rsi     # 0x5910f
leaq 0x298(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x298(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4b9c4(%rip), %rdi     # 0x8c5d0
leaq 0x2f8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x298(%rsp), %rdi
callq 0x5120
leaq 0x2b8(%rsp), %rdi
callq 0x5120
leaq 0x2d8(%rsp), %rdi
callq 0x5120
leaq 0x2f8(%rsp), %rdi
jmp 0x40fd7
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x184b5(%rip), %rsi     # 0x59120
callq 0x15c52
testb %al, %al
je 0x40d84
leaq 0x19e43(%rip), %rsi     # 0x5aac2
leaq 0x278(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, 0x10(%rsp)
leaq 0x19e2d(%rip), %rsi     # 0x5aad2
leaq 0x258(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a5ea(%rip), %rsi     # 0x5b2a8
leaq 0x238(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r12b
leaq 0x258(%rsp), %rsi
leaq 0x238(%rsp), %rdx
movq 0x10(%rsp), %rdi
callq 0x46fc0
xorl %r12d, %r12d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
movl %r15d, %ebp
leaq 0x1840a(%rip), %rsi     # 0x5910f
leaq 0x218(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x218(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4b898(%rip), %rdi     # 0x8c5d0
leaq 0x278(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x218(%rsp), %rdi
callq 0x5120
leaq 0x238(%rsp), %rdi
callq 0x5120
leaq 0x258(%rsp), %rdi
callq 0x5120
leaq 0x278(%rsp), %rdi
jmp 0x40fd7
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x18381(%rip), %rsi     # 0x59118
callq 0x15c52
testb %al, %al
je 0x40eb0
leaq 0x19d17(%rip), %rsi     # 0x5aac2
leaq 0x1f8(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, 0x10(%rsp)
leaq 0x19d04(%rip), %rsi     # 0x5aad5
leaq 0x1d8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a4be(%rip), %rsi     # 0x5b2a8
leaq 0x1b8(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r12b
leaq 0x1d8(%rsp), %rsi
leaq 0x1b8(%rsp), %rdx
movq 0x10(%rsp), %rdi
callq 0x46fc0
xorl %r12d, %r12d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
movl %r15d, %ebp
leaq 0x182de(%rip), %rsi     # 0x5910f
leaq 0x198(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x198(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4b76c(%rip), %rdi     # 0x8c5d0
leaq 0x1f8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x198(%rsp), %rdi
callq 0x5120
leaq 0x1b8(%rsp), %rdi
callq 0x5120
leaq 0x1d8(%rsp), %rdi
callq 0x5120
leaq 0x1f8(%rsp), %rdi
jmp 0x40fd7
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x1825a(%rip), %rsi     # 0x5911d
callq 0x15c52
testb %al, %al
je 0x40fdf
leaq 0x19beb(%rip), %rsi     # 0x5aac2
leaq 0x178(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, 0x10(%rsp)
leaq 0x19bdc(%rip), %rsi     # 0x5aad9
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a392(%rip), %rsi     # 0x5b2a8
leaq 0x138(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r12b
leaq 0x158(%rsp), %rsi
leaq 0x138(%rsp), %rdx
movq 0x10(%rsp), %rdi
callq 0x46fc0
xorl %r12d, %r12d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r13
movl %r15d, %ebp
leaq 0x181b2(%rip), %rsi     # 0x5910f
leaq 0x118(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r15b
leaq 0x118(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x46ac6
xorl %r15d, %r15d
leaq 0x4b640(%rip), %rdi     # 0x8c5d0
leaq 0x178(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x118(%rsp), %rdi
callq 0x5120
leaq 0x138(%rsp), %rdi
callq 0x5120
leaq 0x158(%rsp), %rdi
callq 0x5120
leaq 0x178(%rsp), %rdi
callq 0x5120
movl %ebp, %r15d
leaq 0x4b5ea(%rip), %rdi     # 0x8c5d0
movl %r15d, %esi
callq 0x46b94
movq 0x20(%r14), %rdi
callq 0x3fe31
leaq 0x19ac4(%rip), %rsi     # 0x5aac2
leaq 0xf8(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r15
leaq 0x19aba(%rip), %rsi     # 0x5aadc
leaq 0xd8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a26d(%rip), %rsi     # 0x5b2a8
leaq 0xb8(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %r13b
leaq 0xd8(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
movq %r15, %rdi
callq 0x46fc0
xorl %r13d, %r13d
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r12
leaq 0x18092(%rip), %rsi     # 0x5910f
leaq 0x98(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r13b
leaq 0x98(%rsp), %rdx
movq %r12, %rdi
movl %ebx, %esi
callq 0x46ac6
xorl %r13d, %r13d
leaq 0x4b522(%rip), %rdi     # 0x8c5d0
leaq 0xf8(%rsp), %rsi
movq %r15, %rdx
movq %r12, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x98(%rsp), %rdi
callq 0x5120
leaq 0xb8(%rsp), %rdi
callq 0x5120
leaq 0xd8(%rsp), %rdi
callq 0x5120
leaq 0xf8(%rsp), %rdi
callq 0x5120
cmpq $0x0, 0x28(%r14)
je 0x411f8
leaq 0x4b4c6(%rip), %rdi     # 0x8c5d0
movl 0xc(%rsp), %esi
callq 0x46b94
movq 0x28(%r14), %rdi
callq 0x3fe31
leaq 0x1999f(%rip), %rsi     # 0x5aac2
leaq 0x78(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0xfa26
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r14
leaq 0x19998(%rip), %rsi     # 0x5aadc
leaq 0x58(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xfa26
leaq 0x1a14e(%rip), %rsi     # 0x5b2a8
leaq 0x38(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0xfa26
movb $0x1, %bpl
leaq 0x58(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %r14, %rdi
callq 0x46fc0
xorl %ebp, %ebp
pushq $0x48
popq %rdi
callq 0x5260
movq %rax, %r15
leaq 0x17f7d(%rip), %rsi     # 0x5910f
leaq 0x18(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0xfa26
movb $0x1, %r12b
leaq 0x18(%rsp), %rdx
movq %r15, %rdi
movl %ebx, %esi
callq 0x46ac6
xorl %r12d, %r12d
leaq 0x4b413(%rip), %rdi     # 0x8c5d0
leaq 0x78(%rsp), %rsi
movq %r14, %rdx
movq %r15, %rcx
xorl %r8d, %r8d
callq 0x46a38
leaq 0x18(%rsp), %rdi
callq 0x5120
leaq 0x38(%rsp), %rdi
callq 0x5120
leaq 0x58(%rsp), %rdi
callq 0x5120
leaq 0x78(%rsp), %rdi
callq 0x5120
leaq 0x4b3d1(%rip), %rdi     # 0x8c5d0
movl %ebx, %esi
callq 0x46b94
leaq 0x460(%rsp), %rdi
callq 0x5120
leaq 0x488(%rsp), %rdi
callq 0x5120
addq $0x4a8, %rsp            # imm = 0x4A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x41263
movq %rax, %rbx
movb $0x1, %r12b
jmp 0x41288
movq %rax, %rbx
jmp 0x4129a
movq %rax, %rbx
jmp 0x412a7
jmp 0x41672
movq %rax, %rbx
leaq 0x118(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x4126e
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r12d, %r12d
jmp 0x4127b
movq %rax, %rbx
jmp 0x412e0
movq %rax, %rbx
leaq 0x138(%rsp), %rdi
callq 0x5120
leaq 0x158(%rsp), %rdi
callq 0x5120
testb %r12b, %r12b
je 0x412a7
pushq $0x48
popq %rsi
movq 0x10(%rsp), %rdi
callq 0x5270
leaq 0x178(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
movb $0x1, %r12b
jmp 0x41305
movq %rax, %rbx
jmp 0x41317
movq %rax, %rbx
jmp 0x41324
jmp 0x41672
movq %rax, %rbx
leaq 0x198(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x412eb
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r12d, %r12d
jmp 0x412f8
movq %rax, %rbx
jmp 0x4135d
movq %rax, %rbx
leaq 0x1b8(%rsp), %rdi
callq 0x5120
leaq 0x1d8(%rsp), %rdi
callq 0x5120
testb %r12b, %r12b
je 0x41324
pushq $0x48
popq %rsi
movq 0x10(%rsp), %rdi
callq 0x5270
leaq 0x1f8(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
movb $0x1, %r12b
jmp 0x41382
movq %rax, %rbx
jmp 0x41394
movq %rax, %rbx
jmp 0x413a1
jmp 0x41672
movq %rax, %rbx
leaq 0x218(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x41368
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r12d, %r12d
jmp 0x41375
movq %rax, %rbx
jmp 0x413da
movq %rax, %rbx
leaq 0x238(%rsp), %rdi
callq 0x5120
leaq 0x258(%rsp), %rdi
callq 0x5120
testb %r12b, %r12b
je 0x413a1
pushq $0x48
popq %rsi
movq 0x10(%rsp), %rdi
callq 0x5270
leaq 0x278(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
movb $0x1, %r12b
jmp 0x413ff
movq %rax, %rbx
jmp 0x41411
movq %rax, %rbx
jmp 0x4141e
jmp 0x41672
movq %rax, %rbx
leaq 0x298(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x413e5
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r12d, %r12d
jmp 0x413f2
movq %rax, %rbx
jmp 0x41457
movq %rax, %rbx
leaq 0x2b8(%rsp), %rdi
callq 0x5120
leaq 0x2d8(%rsp), %rdi
callq 0x5120
testb %r12b, %r12b
je 0x4141e
pushq $0x48
popq %rsi
movq 0x10(%rsp), %rdi
callq 0x5270
leaq 0x2f8(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
movb $0x1, %r15b
jmp 0x4147f
movq %rax, %rbx
jmp 0x41491
movq %rax, %rbx
jmp 0x4149c
jmp 0x41672
movq %rax, %rbx
leaq 0x318(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x41462
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r15d, %r15d
jmp 0x41472
movq %rax, %rbx
jmp 0x4152e
movq %rax, %rbx
leaq 0x338(%rsp), %rdi
callq 0x5120
leaq 0x358(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x4149c
pushq $0x48
popq %rsi
movq %r12, %rdi
callq 0x5270
leaq 0x378(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
movb $0x1, %r15b
jmp 0x4154e
movq %rax, %rbx
jmp 0x41560
movq %rax, %rbx
jmp 0x4156b
jmp 0x41672
movq %rax, %rbx
jmp 0x415a7
movq %rax, %rbx
movb $0x1, %bpl
jmp 0x415c3
movq %rax, %rbx
jmp 0x415d2
movq %rax, %rbx
jmp 0x415dd
jmp 0x41672
movq %rax, %rbx
jmp 0x415fc
movq %rax, %rbx
movb $0x1, %r13b
jmp 0x4161c
movq %rax, %rbx
jmp 0x4162e
movq %rax, %rbx
jmp 0x41639
jmp 0x41672
movq %rax, %rbx
leaq 0x398(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x41539
pushq $0x48
popq %rsi
movq %r13, %rdi
callq 0x5270
xorl %r15d, %r15d
jmp 0x41541
movq %rax, %rbx
leaq 0x3b8(%rsp), %rdi
callq 0x5120
leaq 0x3d8(%rsp), %rdi
callq 0x5120
testb %r15b, %r15b
je 0x4156b
pushq $0x48
popq %rsi
movq %r12, %rdi
callq 0x5270
leaq 0x3f8(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
jmp 0x41658
movq %rax, %rbx
jmp 0x41663
jmp 0x41672
movq %rax, %rbx
jmp 0x41682
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x5120
testb %r12b, %r12b
je 0x415b2
pushq $0x48
popq %rsi
movq %r15, %rdi
callq 0x5270
xorl %ebp, %ebp
jmp 0x415b9
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x5120
leaq 0x58(%rsp), %rdi
callq 0x5120
testb %bpl, %bpl
je 0x415dd
pushq $0x48
popq %rsi
movq %r14, %rdi
callq 0x5270
leaq 0x78(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0x5120
testb %r13b, %r13b
je 0x41607
pushq $0x48
popq %rsi
movq %r12, %rdi
callq 0x5270
xorl %r13d, %r13d
jmp 0x4160f
movq %rax, %rbx
leaq 0xb8(%rsp), %rdi
callq 0x5120
leaq 0xd8(%rsp), %rdi
callq 0x5120
testb %r13b, %r13b
je 0x41639
pushq $0x48
popq %rsi
movq %r15, %rdi
callq 0x5270
leaq 0xf8(%rsp), %rdi
jmp 0x4166b
movq %rax, %rbx
leaq 0x418(%rsp), %rdi
callq 0x5120
testb %bpl, %bpl
je 0x41663
pushq $0x48
popq %rsi
movq %r12, %rdi
callq 0x5270
leaq 0x438(%rsp), %rdi
callq 0x5120
jmp 0x41675
movq %rax, %rbx
leaq 0x460(%rsp), %rdi
callq 0x5120
leaq 0x488(%rsp), %rdi
callq 0x5120
movq %rbx, %rdi
callq 0x53f0