// File: /workspace/github_cpp_makefile_star2_O3/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 0x16867(%rip), %rsi     # 0x1c0ab
leaq 0x16863(%rip), %rdx     # 0x1c0ae
leaq 0x8(%rsp), %rdi
callq 0x6058
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 0x5889
movq %rdx, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x5891
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 0x58bf
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
cmpb $0x1, 0x88(%r14)
jne 0x59ee
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x19927(%rip), %rsi     # 0x1f204
leaq 0x19921(%rip), %rdx     # 0x1f205
leaq 0x48(%rsp), %rdi
callq 0x6058
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 0x592a
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x5931
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 0x597d
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x5984
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 0x59c0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
movq 0x28(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59d7
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x42d0
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x59ee
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 0x5a1f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a1f
movq %rax, %r14
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a3b
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a3b
movq %rax, %r14
movq (%rbx), %rdi
cmpq %r12, %rdi
je 0x5a68
movq (%r12), %rsi
jmp 0x5a5b
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5a68
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x42d0
jmp 0x5a68
movq %rax, %r14
movq %r14, %rdi
callq 0x4580