// File: /workspace/github_cpp_makefile_star2_O2/sighingnow[P]compile-pascal/./libparsec/combinator.hpp
// Function: joint<joint<optional<parser_t<pl0_ast_const_stmt*>, pl0_ast_const_stmt*>, optional<parser_t<pl0_ast_var_stmt*>, pl0_ast_var_stmt*>, pl0_ast_const_stmt*, pl0_ast_var_stmt*>, joint<many<parser_t<pl0_ast_executable*>, pl0_ast_executable*>, parser_t<pl0_ast_compound_stmt*>, std::vector<pl0_ast_executable*, std::allocator<pl0_ast_executable*>>, pl0_ast_compound_stmt*>, std::pair<pl0_ast_const_stmt*, pl0_ast_var_stmt*>, std::pair<std::vector<pl0_ast_executable*, std::allocator<pl0_ast_executable*>>, pl0_ast_compound_stmt*>>::operator()[abi:cxx11](input_t*) const
tuple<int, parser_type const, string const> operator () (input_t *text) const {
        string expected;
        auto res1 = pa(text);
        expected += std::get<2>(res1) + ", ";
        if (std::get<0>(res1) == -1) {
            return make_tuple(-1, parser_type(), name());
        }
        auto res2 = pb(text->drop(std::get<0>(res1)));
        expected += std::get<2>(res2) + ", ";
        if (std::get<0>(res2) == -1) {
            return make_tuple(-1, parser_type(), name());
        }
        else {
            return make_tuple(std::get<0>(res1) + std::get<0>(res2), make_pair(std::get<1>(res1), std::get<1>(res2)), expected);
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x50(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0xa8(%rsp), %rdi
callq 0x1e7bc
leaq 0x3c8c4(%rip), %rdx     # 0x5adcd
leaq 0xe0(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0x1def2
leaq 0x40(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x5470
leaq 0xe0(%rsp), %rdi
callq 0x5120
cmpl $-0x1, 0xd8(%rsp)
je 0x1e61e
leaq 0xd8(%rsp), %rsi
movq %r15, %rdi
callq 0x10b60
leaq 0x90(%r14), %rsi
leaq 0x60(%rsp), %rdi
movq %rax, %rdx
callq 0x1ea54
leaq 0x3c857(%rip), %rdx     # 0x5adcd
leaq 0xe0(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x1def2
leaq 0x40(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x5470
leaq 0xe0(%rsp), %rdi
callq 0x5120
movl 0xa0(%rsp), %ebp
cmpl $-0x1, %ebp
je 0x1e694
addl 0xd8(%rsp), %ebp
leaq 0x80(%rsp), %rsi
movups 0xc8(%rsp), %xmm0
leaq 0x20(%rsp), %r14
movaps %xmm0, -0x10(%r14)
movq %r14, %rdi
callq 0x1f9fc
leaq 0xe0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x40(%rsp), %rdx
callq 0x1f9c0
leaq 0xe0(%rsp), %r15
movl %ebp, 0x50(%r15)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1e486
movq %r15, %rdi
callq 0x1e496
movq %r14, %rdi
jmp 0x1e700
orl $-0x1, 0x138(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x80(%rsp)
movaps %xmm0, 0x70(%rsp)
movaps %xmm0, 0x60(%rsp)
leaq 0x10(%rsp), %rdi
movq %r14, %rsi
callq 0x1ea32
leaq 0xe0(%rsp), %r14
leaq 0x138(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x10(%rsp), %r15
movq %r14, %rdi
movq %r15, %rcx
callq 0x1fa1c
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e486
movq %r14, %rdi
callq 0x1e496
movq %r15, %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x171e0
jmp 0x1e70f
orl $-0x1, 0xc(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movaps %xmm0, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
leaq 0x138(%rsp), %rdi
movq %r14, %rsi
callq 0x1ea32
leaq 0xe0(%rsp), %r14
leaq 0xc(%rsp), %rsi
leaq 0x10(%rsp), %rdx
leaq 0x138(%rsp), %r15
movq %r14, %rdi
movq %r15, %rcx
callq 0x1fa1c
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e486
movq %r14, %rdi
callq 0x1e496
movq %r15, %rdi
callq 0x5120
leaq 0x20(%rsp), %rdi
callq 0x171e0
leaq 0x60(%rsp), %rdi
callq 0x1ed20
leaq 0xa8(%rsp), %rdi
callq 0x5120
leaq 0x40(%rsp), %rdi
callq 0x5120
movq %rbx, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
jmp 0x1e756
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0x171e0
jmp 0x1e79c
movq %rax, %rbx
movq %r14, %rdi
callq 0x171e0
jmp 0x1e774
jmp 0x1e771
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x5120
jmp 0x1e774
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x1ed20
jmp 0x1e79c
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x5120
jmp 0x1e79c
jmp 0x1e799
movq %rax, %rbx
jmp 0x1e7a9
movq %rax, %rbx
leaq 0xa8(%rsp), %rdi
callq 0x5120
leaq 0x40(%rsp), %rdi
callq 0x5120
movq %rbx, %rdi
callq 0x53f0
nop