// File: /workspace/github_c_makefile_star2_O3/JimKent[P]linearSat/lib/options.c
// Function: parseOptions
static struct hash *parseOptions(int *pArgc, char *argv[], boolean justFirst,
                                 struct optionSpec *optionSpecs)
/* Parse and optionally validate options */
{
int i, origArgc, newArgc = 1;
char **rdPt = argv+1, **wrPt = argv+1;
struct hash *hash = newHash(6);

origArgc = *pArgc;

/* parse arguments */
for (i=1; i<origArgc; ++i)
    {
    if (sameString(*rdPt, "--"))
        {
        rdPt++;
        i++;
        break;
        }
    if (!parseAnOption(hash, *rdPt, optionSpecs))
        {
        /* not an option */
        if (justFirst)
            break;
        *wrPt++ = *rdPt;
        newArgc++;
        }
    rdPt++;
    }

/* copy any remaining positional args */
for (; i<origArgc; ++i)
    {
    *wrPt++ = *rdPt++;
    newArgc++;
    }

*pArgc = newArgc;
*wrPt = NULL; 
return hash;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rcx, %r15
movl %edx, 0x44(%rsp)
movq %rsi, %rbx
movq %rdi, %r14
addq $0x8, %rbx
movl $0x6, %edi
movl $0x1, %esi
callq 0xc1ee
movq %rax, %r12
movq %r14, 0x50(%rsp)
movl (%r14), %edx
cmpl $0x2, %edx
jl 0x10937
movq %r15, 0x38(%rsp)
leaq 0x10(%r15), %rax
movq %rax, 0x48(%rsp)
movl $0x1, %esi
movq %rbx, %r15
movl $0x1, 0x14(%rsp)
movq %r12, 0x30(%rsp)
movl %edx, 0x2c(%rsp)
movq (%r15), %r13
cmpb $0x2d, (%r13)
movl %esi, 0x1c(%rsp)
jne 0x10578
cmpb $0x2d, 0x1(%r13)
jne 0x10531
cmpb $0x0, 0x2(%r13)
je 0x10954
movq %r13, %rdi
movl $0x3d, %esi
callq 0x3260
movsbq 0x1(%r13), %r12
testq %r12, %r12
je 0x106ce
movq %rax, %r14
callq 0x37a0
movq (%rax), %rax
testb $0x20, 0x1(%rax,%r12,2)
jne 0x106ce
movl $0x1, %eax
testq %r14, %r14
je 0x10781
movq %rax, 0x8(%rsp)
jmp 0x1059a
movq %r13, %rdi
movl $0x3d, %esi
callq 0x3260
testq %rax, %rax
je 0x106ce
movq %rax, %r14
movq $0x0, 0x8(%rsp)
cmpq %r13, %r14
jbe 0x105cf
movq %r13, %r12
movzbl (%r12), %eax
cmpl $0x2d, %eax
je 0x105c7
cmpl $0x5f, %eax
je 0x105c7
movsbq %al, %rbp
callq 0x37a0
movq (%rax), %rax
testb $0x8, (%rax,%rbp,2)
je 0x106ce
incq %r12
cmpq %r14, %r12
jne 0x105a2
movb $0x0, (%r14)
leaq 0x1(%r14), %rdx
xorl %ebp, %ebp
movq 0x8(%rsp), %rax
addq %rax, %r13
movq 0x38(%rsp), %rax
testq %rax, %rax
je 0x106f2
movq %rdx, 0x8(%rsp)
movl %ebp, 0x18(%rsp)
movq (%rax), %rbp
testq %rbp, %rbp
je 0x10622
movq 0x38(%rsp), %r12
movq %rbp, %rdi
movq %r13, %rsi
callq 0x3440
testl %eax, %eax
je 0x10643
movq 0x10(%r12), %rbp
addq $0x10, %r12
testq %rbp, %rbp
jne 0x10605
leaq 0xa6d0(%rip), %rbp      # 0x1acf9
movq %rbp, %rdi
movq %r13, %rsi
callq 0x3440
leaq 0x166f5(%rip), %r12     # 0x26d30
testl %eax, %eax
jne 0x109a4
movl 0x8(%r12), %eax
movl $0xb7, %ecx
andl %ecx, %eax
cmpl $0xf, %eax
jg 0x10715
cmpl $0x1, %eax
movq 0x38(%rsp), %r12
movq 0x8(%rsp), %rdx
je 0x1078b
cmpl $0x2, %eax
je 0x107ef
cmpl $0x4, %eax
jne 0x107e3
testq %rdx, %rdx
jne 0x10698
leaq 0xa5e1(%rip), %rdi      # 0x1ac6a
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
movq 0x8(%rsp), %rdx
movq %rdx, %rdi
leaq 0x20(%rsp), %rsi
movl $0xa, %edx
callq 0x3490
movq 0x8(%rsp), %rdx
cmpb $0x0, (%rdx)
je 0x106c2
movq 0x20(%rsp), %rax
cmpb $0x0, (%rax)
je 0x1085b
leaq 0xa39f(%rip), %rdi      # 0x1aa68
jmp 0x1084c
cmpl $0x0, 0x44(%rsp)
movl 0x2c(%rsp), %edx
jne 0x10949
movq %r13, (%rbx)
addq $0x8, %rbx
incl 0x14(%rsp)
movq 0x30(%rsp), %r12
jmp 0x108c2
testq %rdx, %rdx
leaq 0xb8d9(%rip), %rax      # 0x1bfd5
cmoveq %rax, %rdx
movq 0x30(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
callq 0xbe46
jmp 0x108b5
cmpl $0x10, %eax
movq 0x38(%rsp), %r12
movq 0x8(%rsp), %rdi
je 0x1079d
cmpl $0x20, %eax
je 0x10807
cmpl $0x80, %eax
jne 0x107e3
testq %rdi, %rdi
jne 0x10753
leaq 0xa56a(%rip), %rdi      # 0x1acae
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
movq 0x8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x3160
movq 0x8(%rsp), %rdx
cmpb $0x0, (%rdx)
je 0x10775
movq 0x20(%rsp), %rax
cmpb $0x0, (%rax)
je 0x1085b
leaq 0xa43a(%rip), %rdi      # 0x1abb6
jmp 0x1084c
movb $0x1, %bpl
xorl %edx, %edx
jmp 0x105de
testq %rdx, %rdx
je 0x1085b
leaq 0xa484(%rip), %rdi      # 0x1ac1f
jmp 0x107fb
testq %rdi, %rdi
jne 0x107b8
leaq 0xa4e2(%rip), %rdi      # 0x1ac8b
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
movq 0x8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x3160
movq 0x8(%rsp), %rdx
cmpb $0x0, (%rdx)
je 0x107da
movq 0x20(%rsp), %rax
cmpb $0x0, (%rax)
je 0x1085b
leaq 0xa34f(%rip), %rdi      # 0x1ab30
jmp 0x1084c
leaq 0xa4e8(%rip), %rdi      # 0x1acd2
movq %rbp, %rsi
jmp 0x107fe
testq %rdx, %rdx
jne 0x1085b
leaq 0xa44b(%rip), %rdi      # 0x1ac46
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
jmp 0x10856
testq %rdi, %rdi
jne 0x10822
leaq 0xa457(%rip), %rdi      # 0x1ac6a
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
movq 0x8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
movl $0xa, %edx
callq 0x3460
movq 0x8(%rsp), %rdx
cmpb $0x0, (%rdx)
je 0x10845
movq 0x20(%rsp), %rax
cmpb $0x0, (%rax)
je 0x1085b
leaq 0xa2b8(%rip), %rdi      # 0x1ab04
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8
movq 0x8(%rsp), %rdx
testq %rdx, %rdx
leaq 0xb770(%rip), %rax      # 0x1bfd5
cmoveq %rax, %rdx
movq %rdx, %rbp
movq (%r12), %rdi
testq %rdi, %rdi
je 0x1089e
movq 0x48(%rsp), %r12
movq %r13, %rsi
callq 0x3440
testl %eax, %eax
je 0x10895
movq (%r12), %rdi
addq $0x10, %r12
testq %rdi, %rdi
jne 0x1087a
jmp 0x1089e
movl -0x8(%r12), %eax
testb $0x40, %al
jne 0x108d9
movq 0x30(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
movq %rbp, %rdx
callq 0xbe46
movl 0x18(%rsp), %ebp
testb %bpl, %bpl
jne 0x108be
movb $0x3d, (%r14)
movl 0x2c(%rsp), %edx
movl 0x1c(%rsp), %esi
addq $0x8, %r15
incl %esi
cmpl %edx, %esi
jne 0x10511
jmp 0x10980
andl $0xb7, %eax
cmpl $0x2, %eax
jne 0x10914
movq 0x30(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
callq 0xc0b1
movq %rax, 0x8(%rsp)
movq %rbp, %rdi
callq 0x6cb2
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x10929
movq %rax, %rsi
callq 0x664d
jmp 0x108b1
leaq 0xa3e6(%rip), %rdi      # 0x1ad01
xorl %eax, %eax
callq 0xb6c8
movq 0x30(%rsp), %r12
jmp 0x108b1
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
jmp 0x108ac
movl $0x1, 0x14(%rsp)
movq %rbx, %r15
movl $0x1, %esi
jmp 0x1095a
movq 0x30(%rsp), %r12
movl 0x1c(%rsp), %esi
jmp 0x1095a
addq $0x8, %r15
incl %esi
movl %edx, %eax
subl %esi, %eax
jle 0x10980
movl 0x14(%rsp), %ecx
addl %edx, %ecx
subl %esi, %ecx
movl %ecx, 0x14(%rsp)
xorl %ecx, %ecx
movq (%r15,%rcx,8), %rdx
movq %rdx, (%rbx)
addq $0x8, %rbx
incq %rcx
cmpl %ecx, %eax
jne 0x1096e
movq 0x50(%rsp), %rax
movl 0x14(%rsp), %ecx
movl %ecx, (%rax)
movq $0x0, (%rbx)
movq %r12, %rax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa25a(%rip), %rdi      # 0x1ac05
movq %r13, %rsi
xorl %eax, %eax
callq 0xb6c8