// File: /workspace/github_cpp_makefile_star2_O1/hanhwi[P]SimPoint/analysiscode/CmdLineParser.cpp
// Function: CmdLineParser::prettyOptionNameAndArg[abi:cxx11](CmdLineOption const*)
string CmdLineParser::prettyOptionNameAndArg(const CmdLineOption *option) {
    string nameAndArg = string("  -") + option->getName();
    if (option->requiresArgument()) {
        nameAndArg = nameAndArg + string(" ") + option->getArgumentName();
    }

    return nameAndArg;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x16837(%rip), %rsi     # 0x1c0ab
leaq 0x16833(%rip), %rdx     # 0x1c0ae
leaq 0x8(%rsp), %rdi
callq 0x6086
movq 0x8(%r14), %rsi
movq 0x10(%r14), %rdx
leaq 0x8(%rsp), %rdi
callq 0x4110
leaq 0x10(%rbx), %r12
movq %r12, (%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x58b9
movq %rdx, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x58c1
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x58ef
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
cmpb $0x1, 0x88(%r14)
jne 0x5a1e
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x198f7(%rip), %rsi     # 0x1f204
leaq 0x198f1(%rip), %rdx     # 0x1f205
leaq 0x48(%rsp), %rdi
callq 0x6086
movq (%rbx), %rcx
movq 0x8(%rbx), %r8
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4320
leaq 0x38(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x595a
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x5961
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%r14), %rsi
movq 0x30(%r14), %rdx
callq 0x4110
movq %r15, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x59ad
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x59b4
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %r14
movq %rdx, 0x8(%r14)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4380
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x59f0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
movq 0x28(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5a07
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x42d0
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a1e
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x42d0
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5a4f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a4f
movq %rax, %r14
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a6b
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a6b
movq %rax, %r14
movq (%rbx), %rdi
cmpq %r12, %rdi
je 0x5a98
movq (%r12), %rsi
jmp 0x5a8b
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5a98
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a98
movq %rax, %r14
movq %r14, %rdi
callq 0x4580