// File: pfnet-research[P]pml/src/parser.cpp
// Function: parser::if_expr(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long&)
expr_result_t if_expr(std::string const& input, size_t& pos) {

    EXPECT(if_token, If);

    auto cond_result = expr(input, pos);
    if (cond_result.is_error())
        return cond_result;
    auto cond_expr = cond_result.ok();

    EXPECT(then_token, Then);

    auto true_result = expr(input, pos);
    if (true_result.is_error())
        return true_result;
    auto true_expr = true_result.ok();

    EXPECT(else_token, Else);

    auto false_result = expr(input, pos);
    if (false_result.is_error())
        return false_result;
    auto false_expr = false_result.ok();

    return expr_result_t::ok(make<ast::if_expr_t>(
                cond_expr, true_expr, false_expr));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x310, %rsp            # imm = 0x310
movq %rdi, -0x278(%rbp)
movq %rdi, %rax
movq %rax, -0x270(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x50(%rbp), %rdi
movq %rdi, -0x268(%rbp)
movl $0x3, %ecx
callq 0x364d0
movq -0x268(%rbp), %rdi
callq 0x40510
movb %al, -0x259(%rbp)
jmp 0x3c93c
movb -0x259(%rbp), %al
testb $0x1, %al
jne 0x3c948
jmp 0x3c98c
leaq -0x50(%rbp), %rdi
callq 0x405b0
movq %rax, -0x280(%rbp)
jmp 0x3c95a
movq -0x280(%rbp), %rsi
movq -0x278(%rbp), %rdi
callq 0x418f0
jmp 0x3c96f
movl $0x1, -0x60(%rbp)
jmp 0x3cf5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cf77
leaq -0x50(%rbp), %rdi
callq 0x40630
movq %rax, -0x288(%rbp)
jmp 0x3c99e
movq -0x288(%rbp), %rsi
leaq -0x90(%rbp), %rdi
callq 0x406b0
jmp 0x3c9b3
movq -0x88(%rbp), %rax
movq %rax, -0x290(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xa280
movq -0x290(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0xc8(%rbp), %rdi
callq 0x3bf30
jmp 0x3c9f1
leaq -0xc8(%rbp), %rdi
callq 0x41970
movb %al, -0x291(%rbp)
jmp 0x3ca05
movb -0x291(%rbp), %al
testb $0x1, %al
jne 0x3ca11
jmp 0x3ca54
movq -0x278(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x41990
jmp 0x3ca26
movl $0x1, -0x60(%rbp)
jmp 0x3cf2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cf50
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cf44
leaq -0xc8(%rbp), %rdi
callq 0x419e0
movq %rax, -0x2a0(%rbp)
jmp 0x3ca69
movq -0x2a0(%rbp), %rsi
leaq -0xd8(%rbp), %rdi
callq 0x13050
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x110(%rbp), %rdi
movl $0x5, %ecx
callq 0x364d0
jmp 0x3ca9a
leaq -0x110(%rbp), %rdi
callq 0x40510
movb %al, -0x2a1(%rbp)
jmp 0x3caae
movb -0x2a1(%rbp), %al
testb $0x1, %al
jne 0x3caba
jmp 0x3cb12
leaq -0x110(%rbp), %rdi
callq 0x405b0
movq %rax, -0x2b0(%rbp)
jmp 0x3cacf
movq -0x2b0(%rbp), %rsi
movq -0x278(%rbp), %rdi
callq 0x418f0
jmp 0x3cae4
movl $0x1, -0x60(%rbp)
jmp 0x3cef6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cf1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cf10
leaq -0x110(%rbp), %rdi
callq 0x40630
movq %rax, -0x2b8(%rbp)
jmp 0x3cb27
movq -0x2b8(%rbp), %rsi
leaq -0x140(%rbp), %rdi
callq 0x406b0
jmp 0x3cb3c
movq -0x138(%rbp), %rax
movq %rax, -0x2c0(%rbp)
leaq -0x130(%rbp), %rdi
callq 0xa280
movq -0x2c0(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x178(%rbp), %rdi
callq 0x3bf30
jmp 0x3cb7d
leaq -0x178(%rbp), %rdi
callq 0x41970
movb %al, -0x2c1(%rbp)
jmp 0x3cb91
movb -0x2c1(%rbp), %al
testb $0x1, %al
jne 0x3cb9d
jmp 0x3cbe0
movq -0x278(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x41990
jmp 0x3cbb2
movl $0x1, -0x60(%rbp)
jmp 0x3cec2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cee8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cedc
leaq -0x178(%rbp), %rdi
callq 0x419e0
movq %rax, -0x2d0(%rbp)
jmp 0x3cbf5
movq -0x2d0(%rbp), %rsi
leaq -0x188(%rbp), %rdi
callq 0x13050
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x1c0(%rbp), %rdi
movl $0x4, %ecx
callq 0x364d0
jmp 0x3cc26
leaq -0x1c0(%rbp), %rdi
callq 0x40510
movb %al, -0x2d1(%rbp)
jmp 0x3cc3a
movb -0x2d1(%rbp), %al
testb $0x1, %al
jne 0x3cc46
jmp 0x3cc9e
leaq -0x1c0(%rbp), %rdi
callq 0x405b0
movq %rax, -0x2e0(%rbp)
jmp 0x3cc5b
movq -0x2e0(%rbp), %rsi
movq -0x278(%rbp), %rdi
callq 0x418f0
jmp 0x3cc70
movl $0x1, -0x60(%rbp)
jmp 0x3ce8e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3ceb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3cea8
leaq -0x1c0(%rbp), %rdi
callq 0x40630
movq %rax, -0x2e8(%rbp)
jmp 0x3ccb3
movq -0x2e8(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
callq 0x406b0
jmp 0x3ccc8
movq -0x1e8(%rbp), %rax
movq %rax, -0x2f0(%rbp)
leaq -0x1e0(%rbp), %rdi
callq 0xa280
movq -0x2f0(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x228(%rbp), %rdi
callq 0x3bf30
jmp 0x3cd09
leaq -0x228(%rbp), %rdi
callq 0x41970
movb %al, -0x2f1(%rbp)
jmp 0x3cd1d
movb -0x2f1(%rbp), %al
testb $0x1, %al
jne 0x3cd29
jmp 0x3cd6c
movq -0x278(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x41990
jmp 0x3cd3e
movl $0x1, -0x60(%rbp)
jmp 0x3ce5a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3ce80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3ce74
leaq -0x228(%rbp), %rdi
callq 0x419e0
movq %rax, -0x300(%rbp)
jmp 0x3cd81
movq -0x300(%rbp), %rsi
leaq -0x238(%rbp), %rdi
movq %rdi, -0x308(%rbp)
callq 0x13050
movq -0x308(%rbp), %rcx
leaq -0x258(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
leaq -0x188(%rbp), %rdx
callq 0x3cf90
jmp 0x3cdbe
leaq -0x248(%rbp), %rdi
movq %rdi, -0x310(%rbp)
leaq -0x258(%rbp), %rsi
callq 0x41c70
movq -0x278(%rbp), %rdi
movq -0x310(%rbp), %rsi
callq 0x41a60
jmp 0x3cded
leaq -0x248(%rbp), %rdi
callq 0x13080
leaq -0x258(%rbp), %rdi
callq 0x41ca0
movl $0x1, -0x60(%rbp)
leaq -0x238(%rbp), %rdi
callq 0x13080
jmp 0x3ce5a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3ce4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x248(%rbp), %rdi
callq 0x13080
leaq -0x258(%rbp), %rdi
callq 0x41ca0
leaq -0x238(%rbp), %rdi
callq 0x13080
jmp 0x3ce74
leaq -0x228(%rbp), %rdi
callq 0x2ffa0
leaq -0x1f0(%rbp), %rdi
callq 0x404f0
jmp 0x3ce8e
leaq -0x228(%rbp), %rdi
callq 0x2ffa0
leaq -0x1f0(%rbp), %rdi
callq 0x404f0
jmp 0x3cea8
leaq -0x1c0(%rbp), %rdi
callq 0x407c0
leaq -0x188(%rbp), %rdi
callq 0x13080
jmp 0x3cec2
leaq -0x1c0(%rbp), %rdi
callq 0x407c0
leaq -0x188(%rbp), %rdi
callq 0x13080
jmp 0x3cedc
leaq -0x178(%rbp), %rdi
callq 0x2ffa0
leaq -0x140(%rbp), %rdi
callq 0x404f0
jmp 0x3cef6
leaq -0x178(%rbp), %rdi
callq 0x2ffa0
leaq -0x140(%rbp), %rdi
callq 0x404f0
jmp 0x3cf10
leaq -0x110(%rbp), %rdi
callq 0x407c0
leaq -0xd8(%rbp), %rdi
callq 0x13080
jmp 0x3cf2a
leaq -0x110(%rbp), %rdi
callq 0x407c0
leaq -0xd8(%rbp), %rdi
callq 0x13080
jmp 0x3cf44
leaq -0xc8(%rbp), %rdi
callq 0x2ffa0
leaq -0x90(%rbp), %rdi
callq 0x404f0
jmp 0x3cf5e
leaq -0xc8(%rbp), %rdi
callq 0x2ffa0
leaq -0x90(%rbp), %rdi
callq 0x404f0
jmp 0x3cf77
leaq -0x50(%rbp), %rdi
callq 0x407c0
movq -0x270(%rbp), %rax
addq $0x310, %rsp            # imm = 0x310
popq %rbp
retq
leaq -0x50(%rbp), %rdi
callq 0x407c0
movq -0x58(%rbp), %rdi
callq 0xa650
nopl (%rax)