// File: /workspace/github_cpp_makefile_star2_O1/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 0x4ee77(%rip), %rdi     # 0xbffd8
leaq 0x283a7(%rip), %rsi     # 0x9950f
xorl %edx, %edx
callq 0x52e0
leaq 0x50432(%rip), %rbx     # 0xc15a8
movq %rbx, %rdi
callq 0x69188
movl %eax, %r15d
movq %rbx, %rdi
callq 0x69188
movl %eax, (%rsp)
movq 0x18(%r14), %rax
movq 0x8(%rax), %rsi
leaq 0x480(%rsp), %rdi
callq 0x77914
movq 0x18(%r14), %rax
movq 0x18(%rax), %rsi
leaq 0x458(%rsp), %rdi
callq 0x77914
leaq 0x448(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x278d5(%rip), %rsi     # 0x98a9e
leaq 0x278d1(%rip), %rdx     # 0x98aa1
leaq 0x438(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0x428(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x25f12(%rip), %rsi     # 0x9710f
leaq 0x25f12(%rip), %rdx     # 0x97116
leaq 0x418(%rsp), %rdi
callq 0x2670a
movb $0x1, %bpl
leaq 0x418(%rsp), %rdx
movq %r12, %rdi
movl %r15d, %esi
callq 0x7b654
movq 0x480(%rsp), %rcx
xorl %ebp, %ebp
movq 0x458(%rsp), %r8
leaq 0x50368(%rip), %rdi     # 0xc15a8
leaq 0x438(%rsp), %rsi
movq %r12, %rdx
callq 0x7b53e
movq 0x418(%rsp), %rdi
cmpq %r13, %rdi
je 0x7126d
movq 0x428(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x438(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7128a
movq 0x448(%rsp), %rsi
incq %rsi
callq 0x5260
cmpq $0x0, 0x28(%r14)
movl (%rsp), %eax
movl %eax, 0xc(%rsp)
je 0x712a8
leaq 0x50309(%rip), %rdi     # 0xc15a8
callq 0x69188
movl %eax, 0xc(%rsp)
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25e68(%rip), %rsi     # 0x97123
callq 0x50c0
testl %eax, %eax
movq %r14, 0x10(%rsp)
je 0x714dc
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25e3a(%rip), %rsi     # 0x9711a
callq 0x50c0
testl %eax, %eax
je 0x7165d
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25e1e(%rip), %rsi     # 0x9711e
callq 0x50c0
testl %eax, %eax
je 0x717de
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25e00(%rip), %rsi     # 0x97120
callq 0x50c0
testl %eax, %eax
je 0x7195f
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25dd8(%rip), %rsi     # 0x97118
callq 0x50c0
testl %eax, %eax
je 0x71ae0
movq 0x18(%r14), %rax
movq 0x10(%rax), %rdi
addq $0x10, %rdi
leaq 0x25dbd(%rip), %rsi     # 0x9711d
callq 0x50c0
testl %eax, %eax
jne 0x71c63
leaq 0x128(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27722(%rip), %rsi     # 0x98aa2
leaq 0x2771f(%rip), %rdx     # 0x98aa6
leaq 0x118(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0x68(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27708(%rip), %rsi     # 0x98ab9
leaq 0x27703(%rip), %rdx     # 0x98abb
leaq 0x58(%rsp), %rdi
callq 0x2670a
leaq 0x2c8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x27ea3(%rip), %rsi     # 0x99278
leaq 0x27ea2(%rip), %rdx     # 0x9927e
leaq 0x2b8(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0x58(%rsp), %rsi
leaq 0x2b8(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x2a8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x25cea(%rip), %rsi     # 0x9710f
leaq 0x25cea(%rip), %rdx     # 0x97116
leaq 0x298(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x298(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x50150(%rip), %rdi     # 0xc15a8
leaq 0x118(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x298(%rsp), %rdi
cmpq %r15, %rdi
je 0x7148b
movq 0x2a8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x2b8(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x714ab
movq 0x2c8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
leaq 0x128(%rsp), %rbx
je 0x714cf
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x118(%rsp), %rdi
jmp 0x71c53
leaq 0x1c8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x275b3(%rip), %rsi     # 0x98aa2
leaq 0x275b0(%rip), %rdx     # 0x98aa6
leaq 0x1b8(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0x108(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27584(%rip), %rsi     # 0x98aa7
leaq 0x27580(%rip), %rdx     # 0x98aaa
leaq 0xf8(%rsp), %rdi
callq 0x2670a
leaq 0x408(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x27d2e(%rip), %rsi     # 0x99278
leaq 0x27d2d(%rip), %rdx     # 0x9927e
leaq 0x3f8(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0xf8(%rsp), %rsi
leaq 0x3f8(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x3e8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x25b72(%rip), %rsi     # 0x9710f
leaq 0x25b72(%rip), %rdx     # 0x97116
leaq 0x3d8(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x3d8(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x4ffd8(%rip), %rdi     # 0xc15a8
leaq 0x1b8(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x3d8(%rsp), %rdi
cmpq %r15, %rdi
je 0x71603
movq 0x3e8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x3f8(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x71623
movq 0x408(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xf8(%rsp), %rdi
leaq 0x108(%rsp), %rax
cmpq %rax, %rdi
leaq 0x1c8(%rsp), %rbx
je 0x71650
movq 0x108(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x1b8(%rsp), %rdi
jmp 0x71c53
leaq 0x1a8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27432(%rip), %rsi     # 0x98aa2
leaq 0x2742f(%rip), %rdx     # 0x98aa6
leaq 0x198(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0xe8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27407(%rip), %rsi     # 0x98aab
leaq 0x27402(%rip), %rdx     # 0x98aad
leaq 0xd8(%rsp), %rdi
callq 0x2670a
leaq 0x3c8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x27bad(%rip), %rsi     # 0x99278
leaq 0x27bac(%rip), %rdx     # 0x9927e
leaq 0x3b8(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0xd8(%rsp), %rsi
leaq 0x3b8(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x3a8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x259f1(%rip), %rsi     # 0x9710f
leaq 0x259f1(%rip), %rdx     # 0x97116
leaq 0x398(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x398(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x4fe57(%rip), %rdi     # 0xc15a8
leaq 0x198(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x398(%rsp), %rdi
cmpq %r15, %rdi
je 0x71784
movq 0x3a8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x3b8(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x717a4
movq 0x3c8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
leaq 0x1a8(%rsp), %rbx
je 0x717d1
movq 0xe8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x198(%rsp), %rdi
jmp 0x71c53
leaq 0x188(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x272b1(%rip), %rsi     # 0x98aa2
leaq 0x272ae(%rip), %rdx     # 0x98aa6
leaq 0x178(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0xc8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27289(%rip), %rsi     # 0x98aae
leaq 0x27285(%rip), %rdx     # 0x98ab1
leaq 0xb8(%rsp), %rdi
callq 0x2670a
leaq 0x388(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x27a2c(%rip), %rsi     # 0x99278
leaq 0x27a2b(%rip), %rdx     # 0x9927e
leaq 0x378(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0xb8(%rsp), %rsi
leaq 0x378(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x368(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x25870(%rip), %rsi     # 0x9710f
leaq 0x25870(%rip), %rdx     # 0x97116
leaq 0x358(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x358(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x4fcd6(%rip), %rdi     # 0xc15a8
leaq 0x178(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x358(%rsp), %rdi
cmpq %r15, %rdi
je 0x71905
movq 0x368(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x378(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x71925
movq 0x388(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
leaq 0x188(%rsp), %rbx
je 0x71952
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x178(%rsp), %rdi
jmp 0x71c53
leaq 0x168(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x27130(%rip), %rsi     # 0x98aa2
leaq 0x2712d(%rip), %rdx     # 0x98aa6
leaq 0x158(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0xa8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x2710c(%rip), %rsi     # 0x98ab2
leaq 0x27107(%rip), %rdx     # 0x98ab4
leaq 0x98(%rsp), %rdi
callq 0x2670a
leaq 0x348(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x278ab(%rip), %rsi     # 0x99278
leaq 0x278aa(%rip), %rdx     # 0x9927e
leaq 0x338(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0x98(%rsp), %rsi
leaq 0x338(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x328(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x256ef(%rip), %rsi     # 0x9710f
leaq 0x256ef(%rip), %rdx     # 0x97116
leaq 0x318(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x318(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x4fb55(%rip), %rdi     # 0xc15a8
leaq 0x158(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x318(%rsp), %rdi
cmpq %r15, %rdi
je 0x71a86
movq 0x328(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x338(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x71aa6
movq 0x348(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
leaq 0x168(%rsp), %rbx
je 0x71ad3
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x158(%rsp), %rdi
jmp 0x71c53
leaq 0x148(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x26faf(%rip), %rsi     # 0x98aa2
leaq 0x26fac(%rip), %rdx     # 0x98aa6
leaq 0x138(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0x88(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x26f8e(%rip), %rsi     # 0x98ab5
leaq 0x26f8a(%rip), %rdx     # 0x98ab8
leaq 0x78(%rsp), %rdi
callq 0x2670a
leaq 0x308(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x2772d(%rip), %rsi     # 0x99278
leaq 0x2772c(%rip), %rdx     # 0x9927e
leaq 0x2f8(%rsp), %rdi
callq 0x2670a
movl %r15d, %r14d
movb $0x1, %bl
leaq 0x78(%rsp), %rsi
leaq 0x2f8(%rsp), %rdx
movq %r12, %rdi
callq 0x7be1c
xorl %ebx, %ebx
movl $0x48, %edi
callq 0x5250
movq %rax, %r13
leaq 0x2e8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x25574(%rip), %rsi     # 0x9710f
leaq 0x25574(%rip), %rdx     # 0x97116
leaq 0x2d8(%rsp), %rdi
callq 0x2670a
movb $0x1, %bl
leaq 0x2d8(%rsp), %rdx
movq %r13, %rdi
movl 0xc(%rsp), %esi
callq 0x7b654
xorl %ebx, %ebx
leaq 0x4f9da(%rip), %rdi     # 0xc15a8
leaq 0x138(%rsp), %rsi
movq %r12, %rdx
movq %r13, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x2d8(%rsp), %rdi
cmpq %r15, %rdi
je 0x71c01
movq 0x2e8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x2f8(%rsp), %rdi
cmpq %rbp, %rdi
movl %r14d, %r15d
je 0x71c21
movq 0x308(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
leaq 0x148(%rsp), %rbx
je 0x71c4b
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x138(%rsp), %rdi
cmpq %rbx, %rdi
je 0x71c63
movq (%rbx), %rsi
incq %rsi
callq 0x5260
leaq 0x4f93e(%rip), %rdi     # 0xc15a8
movl %r15d, %esi
callq 0x7b7c2
movq 0x10(%rsp), %rax
movq 0x20(%rax), %rdi
callq 0x6ff3c
leaq 0x288(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x26e0f(%rip), %rsi     # 0x98aa2
leaq 0x26e0c(%rip), %rdx     # 0x98aa6
leaq 0x278(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r15
leaq 0x48(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x26df8(%rip), %rsi     # 0x98abc
leaq 0x26df4(%rip), %rdx     # 0x98abf
leaq 0x38(%rsp), %rdi
callq 0x2670a
leaq 0x268(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x27590(%rip), %rsi     # 0x99278
leaq 0x2758f(%rip), %rdx     # 0x9927e
leaq 0x258(%rsp), %rdi
callq 0x2670a
movb $0x1, %r13b
leaq 0x38(%rsp), %rsi
leaq 0x258(%rsp), %rdx
movq %r15, %rdi
callq 0x7be1c
xorl %r13d, %r13d
movl $0x48, %edi
callq 0x5250
movq %rax, %r12
leaq 0x248(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x253d8(%rip), %rsi     # 0x9710f
leaq 0x253d8(%rip), %rdx     # 0x97116
leaq 0x238(%rsp), %rdi
callq 0x2670a
movb $0x1, %r13b
leaq 0x238(%rsp), %rdx
movq %r12, %rdi
movl (%rsp), %esi
callq 0x7b654
xorl %r13d, %r13d
leaq 0x4f83d(%rip), %rdi     # 0xc15a8
leaq 0x278(%rsp), %rsi
movq %r15, %rdx
movq %r12, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x238(%rsp), %rdi
cmpq %r14, %rdi
je 0x71d9e
movq 0x248(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x258(%rsp), %rdi
cmpq %rbx, %rdi
movq 0x10(%rsp), %rbx
leaq 0x48(%rsp), %r14
je 0x71dc5
movq 0x268(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x38(%rsp), %rdi
cmpq %r14, %rdi
je 0x71ddc
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x278(%rsp), %rdi
cmpq %rbp, %rdi
je 0x71df9
movq 0x288(%rsp), %rsi
incq %rsi
callq 0x5260
cmpq $0x0, 0x28(%rbx)
je 0x71f90
leaq 0x4f79d(%rip), %rdi     # 0xc15a8
movl 0xc(%rsp), %esi
callq 0x7b7c2
movq 0x28(%rbx), %rdi
callq 0x6ff3c
leaq 0x228(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x26c72(%rip), %rsi     # 0x98aa2
leaq 0x26c6f(%rip), %rdx     # 0x98aa6
leaq 0x218(%rsp), %rdi
callq 0x2670a
movl $0x48, %edi
callq 0x5250
movq %rax, %r14
leaq 0x208(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x26c58(%rip), %rsi     # 0x98abc
leaq 0x26c54(%rip), %rdx     # 0x98abf
leaq 0x1f8(%rsp), %rdi
callq 0x2670a
leaq 0x28(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x273f0(%rip), %rsi     # 0x99278
leaq 0x273ef(%rip), %rdx     # 0x9927e
leaq 0x18(%rsp), %rdi
callq 0x2670a
movb $0x1, %bpl
leaq 0x1f8(%rsp), %rsi
leaq 0x18(%rsp), %rdx
movq %r14, %rdi
callq 0x7be1c
xorl %ebp, %ebp
movl $0x48, %edi
callq 0x5250
movq %rax, %r15
leaq 0x1e8(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x2523b(%rip), %rsi     # 0x9710f
leaq 0x2523b(%rip), %rdx     # 0x97116
leaq 0x1d8(%rsp), %rdi
callq 0x2670a
movb $0x1, %bpl
leaq 0x1d8(%rsp), %rdx
movq %r15, %rdi
movl (%rsp), %esi
callq 0x7b654
xorl %ebp, %ebp
leaq 0x4f6a1(%rip), %rdi     # 0xc15a8
leaq 0x218(%rsp), %rsi
movq %r14, %rdx
movq %r15, %rcx
xorl %r8d, %r8d
callq 0x7b53e
movq 0x1d8(%rsp), %rdi
cmpq %r12, %rdi
je 0x71f3a
movq 0x1e8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x71f56
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x1f8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x71f73
movq 0x208(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x218(%rsp), %rdi
cmpq %r13, %rdi
je 0x71f90
movq 0x228(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x4f611(%rip), %rdi     # 0xc15a8
movl (%rsp), %esi
callq 0x7b7c2
leaq 0x470(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x71fc0
movq 0x470(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x498(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x71fe1
movq 0x498(%rsp), %rsi
incq %rsi
callq 0x5260
addq $0x4a8, %rsp            # imm = 0x4A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x7206f
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x720a5
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x720c1
movq %rax, (%rsp)
jmp 0x720d2
jmp 0x7274b
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72148
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x7217e
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x721a0
movq %rax, (%rsp)
jmp 0x721b1
jmp 0x7274b
movq %rax, (%rsp)
movq 0x298(%rsp), %rdi
cmpq %r15, %rdi
je 0x7206f
movq 0x2a8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72080
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x72088
movq %rax, (%rsp)
movq 0x2b8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x720a5
movq 0x2c8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x720c1
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x720d2
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x118(%rsp), %rdi
leaq 0x128(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x128(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72227
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x7225d
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72282
movq %rax, (%rsp)
jmp 0x72293
jmp 0x7274b
movq %rax, (%rsp)
movq 0x2d8(%rsp), %rdi
cmpq %r15, %rdi
je 0x72148
movq 0x2e8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72159
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x72161
movq %rax, (%rsp)
movq 0x2f8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x7217e
movq 0x308(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x721a0
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x721b1
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x138(%rsp), %rdi
leaq 0x148(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x148(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72309
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x7233f
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72364
movq %rax, (%rsp)
jmp 0x72375
jmp 0x7274b
movq %rax, (%rsp)
movq 0x318(%rsp), %rdi
cmpq %r15, %rdi
je 0x72227
movq 0x328(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72238
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x72240
movq %rax, (%rsp)
movq 0x338(%rsp), %rdi
cmpq %rbp, %rdi
je 0x7225d
movq 0x348(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x72282
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72293
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x158(%rsp), %rdi
leaq 0x168(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x168(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x723eb
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72421
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72446
movq %rax, (%rsp)
jmp 0x72457
jmp 0x7274b
movq %rax, (%rsp)
movq 0x358(%rsp), %rdi
cmpq %r15, %rdi
je 0x72309
movq 0x368(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x7231a
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x72322
movq %rax, (%rsp)
movq 0x378(%rsp), %rdi
cmpq %rbp, %rdi
je 0x7233f
movq 0x388(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x72364
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72375
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x178(%rsp), %rdi
leaq 0x188(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x188(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x724d0
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x72506
movq %rax, (%rsp)
movb $0x1, %bl
jmp 0x7252b
movq %rax, (%rsp)
jmp 0x7253c
jmp 0x7274b
movq %rax, (%rsp)
movq 0x398(%rsp), %rdi
cmpq %r15, %rdi
je 0x723eb
movq 0x3a8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x723fc
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x72404
movq %rax, (%rsp)
movq 0x3b8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x72421
movq 0x3c8(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
je 0x72446
movq 0xe8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x72457
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x198(%rsp), %rdi
leaq 0x1a8(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x1a8(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %bpl
jmp 0x725d8
movq %rax, (%rsp)
movb $0x1, %bpl
jmp 0x7260e
movq %rax, (%rsp)
movb $0x1, %bpl
jmp 0x7262b
movq %rax, (%rsp)
jmp 0x7263d
jmp 0x7274b
movq %rax, (%rsp)
movq 0x3d8(%rsp), %rdi
cmpq %r15, %rdi
je 0x724d0
movq 0x3e8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x724e1
movl $0x48, %esi
movq %r13, %rdi
callq 0x5260
xorl %ebx, %ebx
jmp 0x724e9
movq %rax, (%rsp)
movq 0x3f8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x72506
movq 0x408(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0xf8(%rsp), %rdi
leaq 0x108(%rsp), %rax
cmpq %rax, %rdi
je 0x7252b
movq 0x108(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bl, %bl
je 0x7253c
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x1b8(%rsp), %rdi
leaq 0x1c8(%rsp), %rax
cmpq %rax, %rdi
je 0x7274f
movq 0x1c8(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movb $0x1, %r13b
jmp 0x7267c
movq %rax, (%rsp)
movb $0x1, %r13b
jmp 0x726b4
movq %rax, (%rsp)
movb $0x1, %r13b
jmp 0x726d0
movq %rax, (%rsp)
jmp 0x726e2
jmp 0x7274b
movq %rax, (%rsp)
movb $0x1, %bpl
jmp 0x7271a
movq %rax, (%rsp)
jmp 0x7272c
jmp 0x7274b
movq %rax, (%rsp)
jmp 0x72770
movq %rax, (%rsp)
movq 0x1d8(%rsp), %rdi
cmpq %r12, %rdi
je 0x725d8
movq 0x1e8(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bpl, %bpl
je 0x725ea
movl $0x48, %esi
movq %r15, %rdi
callq 0x5260
xorl %ebp, %ebp
jmp 0x725f2
movq %rax, (%rsp)
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x7260e
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x1f8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7262b
movq 0x208(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bpl, %bpl
je 0x7263d
movl $0x48, %esi
movq %r14, %rdi
callq 0x5260
movq 0x218(%rsp), %rdi
cmpq %r13, %rdi
je 0x7274f
movq 0x228(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movq 0x238(%rsp), %rdi
cmpq %r14, %rdi
je 0x7267c
movq 0x248(%rsp), %rsi
incq %rsi
callq 0x5260
testb %r13b, %r13b
je 0x7268e
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
xorl %r13d, %r13d
jmp 0x72697
movq %rax, (%rsp)
movq 0x258(%rsp), %rdi
cmpq %rbx, %rdi
je 0x726b4
movq 0x268(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x726d0
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x5260
testb %r13b, %r13b
je 0x726e2
movl $0x48, %esi
movq %r15, %rdi
callq 0x5260
movq 0x278(%rsp), %rdi
cmpq %rbp, %rdi
je 0x7274f
movq 0x288(%rsp), %rsi
jmp 0x72741
movq %rax, (%rsp)
movq 0x418(%rsp), %rdi
cmpq %r13, %rdi
je 0x7271a
movq 0x428(%rsp), %rsi
incq %rsi
callq 0x5260
testb %bpl, %bpl
je 0x7272c
movl $0x48, %esi
movq %r12, %rdi
callq 0x5260
movq 0x438(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7274f
movq 0x448(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0x7274f
movq %rax, (%rsp)
leaq 0x470(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x72770
movq 0x470(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x498(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x72791
movq 0x498(%rsp), %rsi
incq %rsi
callq 0x5260
movq (%rsp), %rdi
callq 0x53d0