// File: /workspace/github_cpp_makefile_star2_O3/ridiculousfish[P]docopt_fish/docopt_matching.cpp
// Function: docopt_fish::match(docopt_fish::expression_list_t const&, docopt_fish::match_state_t, docopt_fish::match_context_t const&, std::vector<docopt_fish::match_state_t, std::allocator<docopt_fish::match_state_t>>*)
static void match(const expression_list_t &node, match_state_t state, const match_context_t &ctx,
                  match_state_list_t *resulting_states) {
    size_t count = node.expressions.size();
    if (count == 0) {
        // Empty expression list, append the state
        resulting_states->push_back(state.move());
    } else if (count == 1) {
        // Common case of just one expression, trivial
        match(node.expressions.at(0), state.move(), ctx, resulting_states);
    } else {
        // First expression
        match_state_list_t intermed_state_list;
        match(node.expressions.at(0), state.move(), ctx, &intermed_state_list);
        // Middle expressions
        for (size_t i = 1; i + 1 < count; i++) {
            match_state_list_t new_states;
            match_list(node.expressions.at(i), std::move(intermed_state_list), ctx, &new_states);
            intermed_state_list = std::move(new_states);
        }
        // Last expression
        match_list(node.expressions.at(count - 1), std::move(intermed_state_list), ctx, resulting_states);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rcx, %r14
movq %rdx, 0x8(%rsp)
movq (%rdi), %rbx
movq 0x8(%rdi), %rax
movq %rax, %r15
subq %rbx, %r15
sarq $0x3, %r15
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %r15
cmpq $0x1, %r15
je 0x132a3
testq %r15, %r15
jne 0x132ff
movq %r14, %rdi
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x14d20
leaq 0xc8(%rsp), %r15
movq %r15, %rdi
callq 0x14c48
movq %rbx, %rdi
movq %r15, %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rcx
callq 0x1351a
leaq 0xf0(%rsp), %rbx
movq %rbx, %rdi
callq 0xb254
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x132e4
callq 0x1563c
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x13495
callq 0x1563c
jmp 0x13495
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
cmpq %rbx, %rax
je 0x134b8
movq %rdi, %r12
leaq 0x68(%rsp), %r13
movq %r13, %rdi
callq 0x14c48
leaq 0x10(%rsp), %rcx
movq %rbx, %rdi
movq %r13, %rsi
movq 0x8(%rsp), %rdx
callq 0x1351a
movq %r14, 0x48(%rsp)
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
callq 0xb254
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x13361
callq 0x1563c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x13370
callq 0x1563c
cmpq $0x3, %r15
jb 0x1344a
movl $0x2, %ebp
subq %r15, %rbp
movl $0x1, %r13d
movl $0x68, %r14d
xorps %xmm0, %xmm0
leaq 0x30(%rsp), %rbx
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
movq (%r12), %rdi
movq 0x8(%r12), %rdx
subq %rdi, %rdx
sarq $0x3, %rdx
movabsq $0x4ec4ec4ec4ec4ec5, %rax # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %rdx
cmpq %r13, %rdx
jbe 0x134a7
addq %r14, %rdi
leaq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rcx
callq 0x13b8c
movq 0x20(%rsp), %rax
movaps 0x30(%rsp), %xmm0
movq 0x40(%rsp), %rcx
movq %rcx, 0x20(%rsp)
movaps 0x10(%rsp), %xmm1
movaps %xmm0, 0x10(%rsp)
movaps %xmm1, 0x50(%rsp)
movq %rax, 0x60(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
leaq 0x50(%rsp), %rdi
callq 0x14c18
movq %rbx, %rdi
callq 0x14c18
xorps %xmm0, %xmm0
leaq 0x1(,%r13), %rax
addq %rbp, %rax
incq %r13
addq $0x68, %r14
cmpq $0x1, %rax
jne 0x13396
decq %r15
movq (%r12), %rdi
movq 0x8(%r12), %rax
subq %rdi, %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %r15, %rax
jbe 0x134bc
imulq $0x68, %r15, %rax
addq %rax, %rdi
leaq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdx
movq 0x48(%rsp), %rcx
callq 0x13b8c
leaq 0x10(%rsp), %rdi
callq 0x14c18
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xd920(%rip), %rdi      # 0x20dce
movq %r13, %rsi
xorl %eax, %eax
callq 0x6300
xorl %esi, %esi
jmp 0x134c2
movq %r15, %rsi
movq %rax, %r15
leaq 0xd905(%rip), %rdi      # 0x20dce
movq %r15, %rdx
xorl %eax, %eax
callq 0x6300
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x1475a
jmp 0x13508
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x1475a
jmp 0x13512
movq %rax, %rbx
jmp 0x13508
jmp 0x134fb
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x14c18
leaq 0x10(%rsp), %rdi
callq 0x14c18
movq %rbx, %rdi
callq 0x6360