// File: /workspace/github_cpp_makefile_star2_O1/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, %r15
movq %rdx, 0x8(%rsp)
movq (%rdi), %rbx
movq 0x8(%rdi), %rax
movq %rax, %r14
subq %rbx, %r14
sarq $0x3, %r14
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %r14
cmpq $0x1, %r14
je 0x14371
testq %r14, %r14
jne 0x143d6
movq %r15, %rdi
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x15ec2
cmpq %rbx, %rax
je 0x14599
leaq 0xc8(%rsp), %r14
movq %r14, %rdi
callq 0x15dda
movq %rbx, %rdi
movq %r14, %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rcx
callq 0x1460e
leaq 0xf0(%rsp), %rbx
movq %rbx, %rdi
callq 0xc244
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x143bb
callq 0x167a2
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x14576
callq 0x167a2
jmp 0x14576
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
cmpq %rbx, %rax
je 0x145ac
movq %rdi, %r12
leaq 0x68(%rsp), %r13
movq %r13, %rdi
callq 0x15dda
leaq 0x10(%rsp), %rcx
movq %rbx, %rdi
movq %r13, %rsi
movq 0x8(%rsp), %rdx
callq 0x1460e
movq %r15, 0x48(%rsp)
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
callq 0xc244
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x14438
callq 0x167a2
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x14447
callq 0x167a2
cmpq $0x3, %r14
jb 0x1452b
movl $0x2, %ebp
subq %r14, %rbp
movl $0x1, %r13d
movl $0x68, %r15d
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 0x14588
addq %r15, %rdi
leaq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rcx
callq 0x14c7a
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
movaps 0x10(%rsp), %xmm0
movq 0x20(%rsp), %rax
movaps 0x30(%rsp), %xmm1
movaps %xmm1, 0x10(%rsp)
movq 0x40(%rsp), %rcx
movq %rcx, 0x20(%rsp)
movaps 0x50(%rsp), %xmm1
movaps %xmm0, 0x50(%rsp)
movq %rax, 0x60(%rsp)
movaps %xmm1, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
leaq 0x50(%rsp), %rdi
callq 0x15daa
movq %rbx, %rdi
callq 0x15daa
xorps %xmm0, %xmm0
leaq 0x1(,%r13), %rax
addq %rbp, %rax
incq %r13
addq $0x68, %r15
cmpq $0x1, %rax
jne 0x1446d
decq %r14
movq (%r12), %rdi
movq 0x8(%r12), %rax
subq %rdi, %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %r14, %rax
jbe 0x145b0
imulq $0x68, %r14, %rax
addq %rax, %rdi
leaq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdx
movq 0x48(%rsp), %rcx
callq 0x14c7a
leaq 0x10(%rsp), %rdi
callq 0x15daa
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xe890(%rip), %rdi      # 0x22e1f
movq %r13, %rsi
xorl %eax, %eax
callq 0x7300
leaq 0xe87f(%rip), %rdi      # 0x22e1f
xorl %esi, %esi
movq %r14, %rdx
xorl %eax, %eax
callq 0x7300
xorl %esi, %esi
jmp 0x145b6
movq %r14, %rsi
movq %rax, %r14
leaq 0xe862(%rip), %rdi      # 0x22e1f
movq %r14, %rdx
xorl %eax, %eax
callq 0x7300
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x158a2
jmp 0x145fc
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x158a2
jmp 0x14606
movq %rax, %rbx
jmp 0x145fc
jmp 0x145ef
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x15daa
leaq 0x10(%rsp), %rdi
callq 0x15daa
movq %rbx, %rdi
callq 0x7360