// File: /workspace/github_cpp_makefile_star2_O1/ridiculousfish[P]docopt_fish/docopt_matching.cpp
// Function: docopt_fish::match(docopt_fish::simple_clause_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 simple_clause_t &node, match_state_t state, const match_context_t &ctx,
                  match_state_list_t *resulting_states) {
    if (node.option.get()) {
        match(*node.option, state.move(), ctx, resulting_states);
    } else if (node.fixed.get()) {
        match(*node.fixed, state.move(), ctx, resulting_states);
    } else if (node.variable.get()) {
        match(*node.variable, state.move(), ctx, resulting_states);
    } else {
        assert(0 && "Bug in docopt parser: No children of simple_clause.");
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %rcx, %r14
movq %rdx, %r15
movq (%rdi), %r13
testq %r13, %r13
je 0x14df6
leaq 0xd8(%rsp), %rbx
movq %rbx, %rdi
callq 0x15dda
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movl $0x80, %edi
callq 0x71e0
movq %rax, %r12
movq %rsp, %rax
movq %r12, (%rax)
movq %r12, 0x8(%rax)
movq %r12, %rdx
subq $-0x80, %rdx
movq %rdx, 0x10(%rax)
addq $0x18, %r13
movl $0x10, %ecx
movq %r12, %rdi
movq %r13, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq %rdx, 0x8(%rax)
leaq 0xd8(%rsp), %rbx
movq %rax, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x153b6
testb %al, %al
jne 0x14dae
testb $0x1, (%r15)
je 0x14dbe
leaq 0xd8(%rsp), %rsi
movq %r14, %rdi
callq 0x15ec2
movl $0x80, %esi
movq %r12, %rdi
callq 0x7200
leaq 0x100(%rsp), %rbx
movq %rbx, %rdi
callq 0xc244
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x14de9
callq 0x167a2
movq 0xe0(%rsp), %rdi
jmp 0x15031
movq 0x8(%rdi), %r12
testq %r12, %r12
je 0x14ef3
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
callq 0x15dda
movq %r15, %rdi
movq %rbx, %rsi
callq 0x15e40
testb %al, %al
je 0x14f98
movq 0x38(%rsp), %rax
movq 0x10(%r15), %rdx
movq (%rdx), %rcx
movq 0x8(%rdx), %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
cmpq %rdx, %rax
jae 0x1506c
movq 0x18(%r15), %rdx
movq (%rcx,%rax,8), %rsi
movq (%rdx), %rax
movq 0x8(%rdx), %rdx
subq %rax, %rdx
sarq $0x5, %rdx
cmpq %rsi, %rdx
jbe 0x1508b
shlq $0x5, %rsi
movq $0x0, (%rsp)
movq 0x8(%rax,%rsi), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax,%rsi), %rax
movq %rax, 0x10(%rsp)
cmpq %rcx, 0x8(%r12)
jne 0x14fbf
movq %rsp, %rsi
movq %r12, %rdi
callq 0xbfd4
testl %eax, %eax
jne 0x14fbf
leaq 0x18(%rsp), %rdi
callq 0x15c6e
movq %rsp, %rsi
movq %rax, %rdi
callq 0x160d0
incl 0x18(%rax)
leaq 0x18(%rsp), %rsi
movq %r15, %rdi
callq 0x15e7a
testb $0x2, 0x2(%r15)
je 0x14ee1
leaq 0x18(%rsp), %rsi
movq %r15, %rdi
callq 0x16406
testb %al, %al
je 0x14ee1
movb $0x1, 0x70(%rsp)
leaq 0x18(%rsp), %rsi
movq %r14, %rdi
callq 0x15ec2
jmp 0x14fbf
movq 0x10(%rdi), %r12
testq %r12, %r12
je 0x1504d
leaq 0x78(%rsp), %rbx
movq %rbx, %rdi
callq 0x15dda
movq %r15, %rdi
movq %rbx, %rsi
callq 0x15e40
testb %al, %al
je 0x14fe1
leaq 0x78(%rsp), %rsi
movq %r15, %rdi
callq 0x15e7a
movq 0x18(%r15), %rcx
movq (%rax), %r13
movq (%rcx), %rbp
movq 0x8(%rcx), %rdx
subq %rbp, %rdx
sarq $0x5, %rdx
cmpq %r13, %rdx
jbe 0x15099
leaq 0x78(%rsp), %rdi
callq 0x15c6e
movq %rax, %rdi
movq %r12, %rsi
callq 0x160d0
shlq $0x5, %r13
addq %r13, %rbp
movq %rax, %rdi
movq %rbp, %rsi
callq 0x12960
testb $0x2, 0x2(%r15)
je 0x14ffe
leaq 0x78(%rsp), %rsi
movq %r15, %rdi
callq 0x16406
testb %al, %al
je 0x14ffe
movb $0x1, 0xd0(%rsp)
jmp 0x14ffe
testb $0x1, 0x2(%r15)
je 0x14fac
leaq 0x40(%rsp), %rdi
movq %r12, %rsi
callq 0xdcc4
testb $0x1, (%r15)
je 0x14fbf
leaq 0x18(%rsp), %rsi
movq %r14, %rdi
callq 0x15ec2
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
callq 0xc244
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x14fda
callq 0x167a2
movq 0x20(%rsp), %rdi
jmp 0x15031
testb $0x1, 0x2(%r15)
je 0x14ff8
leaq 0xa0(%rsp), %rdi
movq %r12, %rsi
callq 0xdcc4
testb $0x1, (%r15)
je 0x1500b
leaq 0x78(%rsp), %rsi
movq %r14, %rdi
callq 0x15ec2
leaq 0xa0(%rsp), %rbx
movq %rbx, %rdi
callq 0xc244
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x15029
callq 0x167a2
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1503b
callq 0x167a2
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xe33c(%rip), %rdi      # 0x23390
leaq 0xe134(%rip), %rsi      # 0x2318f
leaq 0xe369(%rip), %rcx      # 0x233cb
movl $0x258, %edx            # imm = 0x258
callq 0x7120
leaq 0xe185(%rip), %rdi      # 0x231f8
leaq 0xe115(%rip), %rsi      # 0x2318f
leaq 0xe3b9(%rip), %rcx      # 0x2343a
movl $0xfe, %edx
callq 0x7120
leaq 0xdd8d(%rip), %rdi      # 0x22e1f
xorl %eax, %eax
callq 0x7300
leaq 0xdd7f(%rip), %rdi      # 0x22e1f
movq %r13, %rsi
xorl %eax, %eax
callq 0x7300
jmp 0x150ae
jmp 0x150ae
movq %rax, %r14
jmp 0x150c3
movq %rax, %r14
movl $0x80, %esi
movq %r12, %rdi
callq 0x7200
movq %rbx, %rdi
callq 0x158a2
movq %r14, %rdi
callq 0x7360