// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_cond_stmt_fn(input_t*)
pair<int, pl0_ast_cond_stmt *> pl0_cond_stmt_fn(input_t *text) {
    auto parser = ((spaces >> pl0_string_literal("if") << spaces) >> pl0_condition)
        + ((spaces >> pl0_string_literal("then") << spaces) >> pl0_stmt)
        + ~((spaces >> pl0_string_literal("else") << spaces) >> pl0_stmt);
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Condition Statement" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_cond_stmt(
        text->locate(),
        std::get<1>(res).first.first,
        std::get<1>(res).first.second,
        std::get<1>(res).second
    ));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d60, %rsp           # imm = 0x1D60
movq %rdi, -0x18(%rbp)
leaq -0xa89(%rbp), %rdi
movq %rdi, -0x1d00(%rbp)
callq 0x55d0
movq -0x1d00(%rbp), %rdx
leaq 0xdae11(%rip), %rsi     # 0xef231
leaq -0xa88(%rbp), %rdi
callq 0x19840
jmp 0x1442e
leaq -0xa68(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
callq 0xa6a0
jmp 0x14443
leaq 0x14b386(%rip), %rsi    # 0x15f7d0
leaq -0xa20(%rbp), %rdi
leaq -0xa68(%rbp), %rdx
callq 0x20710
jmp 0x1445f
leaq 0x14b36a(%rip), %rdx    # 0x15f7d0
leaq -0x970(%rbp), %rdi
leaq -0xa20(%rbp), %rsi
callq 0x206d0
jmp 0x1447b
leaq 0x14beee(%rip), %rdx    # 0x160370
leaq -0x858(%rbp), %rdi
leaq -0x970(%rbp), %rsi
callq 0x28840
jmp 0x14497
leaq -0xe31(%rbp), %rdi
movq %rdi, -0x1d08(%rbp)
callq 0x55d0
movq -0x1d08(%rbp), %rdx
leaq 0xdad7c(%rip), %rsi     # 0xef234
leaq -0xe30(%rbp), %rdi
callq 0x19840
jmp 0x144c6
leaq -0xe10(%rbp), %rdi
leaq -0xe30(%rbp), %rsi
callq 0xa6a0
jmp 0x144db
leaq 0x14b2ee(%rip), %rsi    # 0x15f7d0
leaq -0xdc8(%rbp), %rdi
leaq -0xe10(%rbp), %rdx
callq 0x20710
jmp 0x144f7
leaq 0x14b2d2(%rip), %rdx    # 0x15f7d0
leaq -0xd18(%rbp), %rdi
leaq -0xdc8(%rbp), %rsi
callq 0x206d0
jmp 0x14513
leaq 0x14baf6(%rip), %rdx    # 0x160010
leaq -0xc00(%rbp), %rdi
leaq -0xd18(%rbp), %rsi
callq 0x28880
jmp 0x1452f
leaq -0x6f8(%rbp), %rdi
leaq -0x858(%rbp), %rsi
leaq -0xc00(%rbp), %rdx
callq 0x28800
jmp 0x1454b
leaq -0x1329(%rbp), %rdi
movq %rdi, -0x1d10(%rbp)
callq 0x55d0
movq -0x1d10(%rbp), %rdx
leaq 0xdaccd(%rip), %rsi     # 0xef239
leaq -0x1328(%rbp), %rdi
callq 0x19840
jmp 0x1457a
leaq -0x1308(%rbp), %rdi
leaq -0x1328(%rbp), %rsi
callq 0xa6a0
jmp 0x1458f
leaq 0x14b23a(%rip), %rsi    # 0x15f7d0
leaq -0x12c0(%rbp), %rdi
leaq -0x1308(%rbp), %rdx
callq 0x20710
jmp 0x145ab
leaq 0x14b21e(%rip), %rdx    # 0x15f7d0
leaq -0x1210(%rbp), %rdi
leaq -0x12c0(%rbp), %rsi
callq 0x206d0
jmp 0x145c7
leaq 0x14ba42(%rip), %rdx    # 0x160010
leaq -0x10f8(%rbp), %rdi
leaq -0x1210(%rbp), %rsi
callq 0x28880
jmp 0x145e3
leaq -0xf98(%rbp), %rdi
leaq -0x10f8(%rbp), %rsi
callq 0x288c0
jmp 0x145f8
leaq -0x438(%rbp), %rdi
leaq -0x6f8(%rbp), %rsi
leaq -0xf98(%rbp), %rdx
callq 0x287c0
jmp 0x14614
leaq -0xf98(%rbp), %rdi
callq 0x288f0
leaq -0x10f8(%rbp), %rdi
callq 0x28910
leaq -0x1210(%rbp), %rdi
callq 0x20ad0
leaq -0x12c0(%rbp), %rdi
callq 0x20b00
leaq -0x1308(%rbp), %rdi
callq 0x1d950
leaq -0x1328(%rbp), %rdi
callq 0x5200
leaq -0x1329(%rbp), %rdi
callq 0x53c0
leaq -0x6f8(%rbp), %rdi
callq 0x28940
leaq -0xc00(%rbp), %rdi
callq 0x28910
leaq -0xd18(%rbp), %rdi
callq 0x20ad0
leaq -0xdc8(%rbp), %rdi
callq 0x20b00
leaq -0xe10(%rbp), %rdi
callq 0x1d950
leaq -0xe30(%rbp), %rdi
callq 0x5200
leaq -0xe31(%rbp), %rdi
callq 0x53c0
leaq -0x858(%rbp), %rdi
callq 0x28970
leaq -0x970(%rbp), %rdi
callq 0x20ad0
leaq -0xa20(%rbp), %rdi
callq 0x20b00
leaq -0xa68(%rbp), %rdi
callq 0x1d950
leaq -0xa88(%rbp), %rdi
callq 0x5200
leaq -0xa89(%rbp), %rdi
callq 0x53c0
leaq 0x14b0c5(%rip), %rsi    # 0x15f7d0
leaq -0x1ce8(%rbp), %rdi
leaq -0x438(%rbp), %rdx
callq 0x289e0
jmp 0x14720
leaq 0x14b0a9(%rip), %rdx    # 0x15f7d0
leaq -0x1860(%rbp), %rdi
leaq -0x1ce8(%rbp), %rsi
callq 0x289a0
jmp 0x1473c
movq -0x18(%rbp), %rdx
leaq -0x1370(%rbp), %rdi
leaq -0x1860(%rbp), %rsi
callq 0x28a20
jmp 0x14755
leaq -0x1860(%rbp), %rdi
callq 0x28d90
leaq -0x1ce8(%rbp), %rdi
callq 0x28dc0
testb $0x1, 0x14b0c4(%rip)    # 0x15f838
je 0x14aa3
movq 0x14a857(%rip), %rdi    # 0x15efd8
leaq 0xdad90(%rip), %rsi     # 0xef518
callq 0x5330
movq %rax, -0x1d18(%rbp)
jmp 0x14796
movq -0x1d18(%rbp), %rdi
movq 0x14a81c(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0x147ab
jmp 0x14aa3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14a21
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14a15
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14a09
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x149a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x1499d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14985
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14979
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x1496d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14961
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14955
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14949
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
leaq -0xf98(%rbp), %rdi
callq 0x288f0
leaq -0x10f8(%rbp), %rdi
callq 0x28910
leaq -0x1210(%rbp), %rdi
callq 0x20ad0
leaq -0x12c0(%rbp), %rdi
callq 0x20b00
leaq -0x1308(%rbp), %rdi
callq 0x1d950
leaq -0x1328(%rbp), %rdi
callq 0x5200
leaq -0x1329(%rbp), %rdi
callq 0x53c0
leaq -0x6f8(%rbp), %rdi
callq 0x28940
leaq -0xc00(%rbp), %rdi
callq 0x28910
leaq -0xd18(%rbp), %rdi
callq 0x20ad0
leaq -0xdc8(%rbp), %rdi
callq 0x20b00
leaq -0xe10(%rbp), %rdi
callq 0x1d950
leaq -0xe30(%rbp), %rdi
callq 0x5200
leaq -0xe31(%rbp), %rdi
callq 0x53c0
leaq -0x858(%rbp), %rdi
callq 0x28970
leaq -0x970(%rbp), %rdi
callq 0x20ad0
leaq -0xa20(%rbp), %rdi
callq 0x20b00
leaq -0xa68(%rbp), %rdi
callq 0x1d950
leaq -0xa88(%rbp), %rdi
callq 0x5200
leaq -0xa89(%rbp), %rdi
callq 0x53c0
jmp 0x14bf7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14beb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14a7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
leaq -0x1860(%rbp), %rdi
callq 0x28d90
leaq -0x1ce8(%rbp), %rdi
callq 0x28dc0
jmp 0x14beb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
jmp 0x14bdf
leaq -0x1370(%rbp), %rdi
callq 0x28e20
movq %rax, -0x1d28(%rbp)
movl $0x30, %edi
callq 0x5340
movq %rax, -0x1d20(%rbp)
jmp 0x14ac9
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x1d30(%rbp)
jmp 0x14adb
movq -0x1d30(%rbp), %rax
movq %rax, -0x1cf8(%rbp)
leaq -0x1370(%rbp), %rdi
movq %rdi, -0x1d48(%rbp)
callq 0x28e40
movq -0x1d48(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x1d40(%rbp)
callq 0x28e40
movq -0x1d48(%rbp), %rdi
movq 0x8(%rax), %rax
movq %rax, -0x1d38(%rbp)
callq 0x28e40
movq -0x1d20(%rbp), %rdi
movq -0x1d40(%rbp), %rdx
movq -0x1d38(%rbp), %rcx
movq 0x10(%rax), %r8
movq -0x1cf8(%rbp), %rsi
callq 0x28e60
jmp 0x14b50
movq -0x1d28(%rbp), %rdi
movq -0x1d20(%rbp), %rax
movq %rax, -0x1cf0(%rbp)
leaq -0x1cf0(%rbp), %rsi
callq 0x28df0
movq %rdx, -0x1d58(%rbp)
movl %eax, -0x1d4c(%rbp)
jmp 0x14b80
movq -0x1d58(%rbp), %rax
movl -0x1d4c(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x1370(%rbp), %rdi
callq 0x28ed0
leaq -0x438(%rbp), %rdi
callq 0x28ef0
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x1d60, %rsp           # imm = 0x1D60
popq %rbp
retq
movq -0x1d20(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa98(%rbp)
movl %eax, -0xa9c(%rbp)
movl $0x30, %esi
callq 0x5350
leaq -0x1370(%rbp), %rdi
callq 0x28ed0
leaq -0x438(%rbp), %rdi
callq 0x28ef0
movq -0xa98(%rbp), %rdi
callq 0x55b0
nopw %cs:(%rax,%rax)