// File: /workspace/github_cpp_makefile_star2_O3/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 0x13ce6
leaq 0xd8(%rsp), %rbx
movq %rbx, %rdi
callq 0x14c48
movl $0x80, %edi
callq 0x61e0
movq %rax, %r12
addq $0x18, %r13
subq $-0x80, %rax
movl $0x10, %ecx
movq %r12, %rdi
movq %r13, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0xd8(%rsp), %rbx
movq %r12, %rdi
movq %rax, %rsi
movq %rbx, %rdx
movq %r15, %rcx
callq 0x142bc
testb %al, %al
jne 0x13c9e
testb $0x1, (%r15)
je 0x13cae
leaq 0xd8(%rsp), %rsi
movq %r14, %rdi
callq 0x14d20
movl $0x80, %esi
movq %r12, %rdi
callq 0x6200
leaq 0x100(%rsp), %rbx
movq %rbx, %rdi
callq 0xb254
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x13cd9
callq 0x1563c
movq 0xe0(%rsp), %rdi
jmp 0x13f27
movq 0x8(%rdi), %r12
testq %r12, %r12
je 0x13de3
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
callq 0x14c48
movq %r15, %rdi
movq %rbx, %rsi
callq 0x14c9e
testb %al, %al
je 0x13e88
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 0x13f62
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 0x13f81
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 0x13eb2
movq %rsp, %rsi
movq %r12, %rdi
callq 0xb018
testl %eax, %eax
jne 0x13eb2
leaq 0x18(%rsp), %rdi
callq 0x14ae8
movq %rsp, %rsi
movq %rax, %rdi
callq 0x14f34
incl 0x18(%rax)
leaq 0x18(%rsp), %rsi
movq %r15, %rdi
callq 0x14cd8
testb $0x2, 0x2(%r15)
je 0x13dd1
leaq 0x18(%rsp), %rsi
movq %r15, %rdi
callq 0x1526c
testb %al, %al
je 0x13dd1
movb $0x1, 0x70(%rsp)
leaq 0x18(%rsp), %rsi
movq %r14, %rdi
callq 0x14d20
jmp 0x13eb2
movq 0x10(%rdi), %r12
testq %r12, %r12
je 0x13f43
leaq 0x78(%rsp), %rbx
movq %rbx, %rdi
callq 0x14c48
movq %r15, %rdi
movq %rbx, %rsi
callq 0x14c9e
testb %al, %al
je 0x13ed4
leaq 0x78(%rsp), %rsi
movq %r15, %rdi
callq 0x14cd8
movq 0x18(%r15), %rcx
movq (%rax), %r13
movq (%rcx), %rbp
movq 0x8(%rcx), %rdx
subq %rbp, %rdx
sarq $0x5, %rdx
cmpq %r13, %rdx
jbe 0x13f8f
leaq 0x78(%rsp), %rdi
callq 0x14ae8
movq %rax, %rdi
movq %r12, %rsi
callq 0x14f34
shlq $0x5, %r13
addq %r13, %rbp
movq %rax, %rdi
movq %rbp, %rsi
callq 0x118d0
testb $0x2, 0x2(%r15)
je 0x13ef4
leaq 0x78(%rsp), %rsi
movq %r15, %rdi
callq 0x1526c
testb %al, %al
je 0x13ef4
movb $0x1, 0xd0(%rsp)
jmp 0x13ef4
movl (%r15), %eax
btl $0x10, %eax
jae 0x13ea1
leaq 0x40(%rsp), %rdi
movq %r12, %rsi
callq 0xcc78
movl (%r15), %eax
testb $0x1, %al
je 0x13eb2
leaq 0x18(%rsp), %rsi
movq %r14, %rdi
callq 0x14d20
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
callq 0xb254
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x13ecd
callq 0x1563c
movq 0x20(%rsp), %rdi
jmp 0x13f27
movl (%r15), %eax
btl $0x10, %eax
jae 0x13ef0
leaq 0xa0(%rsp), %rdi
movq %r12, %rsi
callq 0xcc78
movl (%r15), %eax
testb $0x1, %al
je 0x13f01
leaq 0x78(%rsp), %rsi
movq %r14, %rdi
callq 0x14d20
leaq 0xa0(%rsp), %rbx
movq %rbx, %rdi
callq 0xb254
movq -0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x13f1f
callq 0x1563c
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x13f31
callq 0x1563c
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xd3f6(%rip), %rdi      # 0x21340
leaq 0xd1ee(%rip), %rsi      # 0x2113f
leaq 0xd423(%rip), %rcx      # 0x2137b
movl $0x258, %edx            # imm = 0x258
callq 0x6120
leaq 0xd23f(%rip), %rdi      # 0x211a8
leaq 0xd1cf(%rip), %rsi      # 0x2113f
leaq 0xd473(%rip), %rcx      # 0x213ea
movl $0xfe, %edx
callq 0x6120
leaq 0xce46(%rip), %rdi      # 0x20dce
xorl %eax, %eax
callq 0x6300
leaq 0xce38(%rip), %rdi      # 0x20dce
movq %r13, %rsi
xorl %eax, %eax
callq 0x6300
jmp 0x13fa4
jmp 0x13fa4
movq %rax, %r14
jmp 0x13fb9
movq %rax, %r14
movl $0x80, %esi
movq %r12, %rdi
callq 0x6200
movq %rbx, %rdi
callq 0x1475a
movq %r14, %rdi
callq 0x6360