// File: Linkerist[P]xs/src/xs.cc
// Function: get_listfile[abi:cxx11]()
string
get_listfile(void)
{
 string user = "~";
 string file = DefaultListfile;
 string effective_listfile = "";

 if (user[0] == '~')
  effective_listfile = user + "/" + file;
 else
  effective_listfile = "/home" + user + "/" + file;

  return canonify_filename(effective_listfile);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x190, %rsp            # imm = 0x190
movq %rdi, -0x168(%rbp)
movq %rdi, %rax
movq %rax, -0x160(%rbp)
movq %rdi, -0x8(%rbp)
leaq -0x29(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0x4740
movq -0x158(%rbp), %rdx
leaq 0xb285(%rip), %rsi      # 0x10023
leaq -0x28(%rbp), %rdi
callq 0x5e40
jmp 0x4da9
leaq -0x29(%rbp), %rdi
callq 0x4450
movq 0x12667(%rip), %rax     # 0x17420
movq %rax, -0x178(%rbp)
leaq -0x61(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0x4740
movq -0x178(%rbp), %rsi
movq -0x170(%rbp), %rdx
leaq -0x60(%rbp), %rdi
callq 0x5e40
jmp 0x4de9
leaq -0x61(%rbp), %rdi
callq 0x4450
leaq -0x89(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0x4740
movq -0x180(%rbp), %rdx
leaq 0xb567(%rip), %rsi      # 0x1037a
leaq -0x88(%rbp), %rdi
callq 0x5e40
jmp 0x4e21
leaq -0x89(%rbp), %rdi
callq 0x4450
xorl %eax, %eax
movl %eax, %esi
leaq -0x28(%rbp), %rdi
callq 0x4800
movq %rax, -0x188(%rbp)
jmp 0x4e43
movq -0x188(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x7e, %eax
jne 0x4f37
leaq 0xb1bf(%rip), %rdx      # 0x1001c
leaq -0xd0(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x6010
jmp 0x4e6f
leaq -0xb0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0x60(%rbp), %rdx
callq 0x5fc0
jmp 0x4e88
leaq -0x88(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x44f0
leaq -0xb0(%rbp), %rdi
callq 0x4828
leaq -0xd0(%rbp), %rdi
callq 0x4828
jmp 0x4ff2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0x4450
jmp 0x508c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x61(%rbp), %rdi
callq 0x4450
jmp 0x5083
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x89(%rbp), %rdi
callq 0x4450
jmp 0x507a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x506e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x4828
jmp 0x506e
leaq 0xb0e7(%rip), %rsi      # 0x10025
leaq -0x130(%rbp), %rdi
leaq -0x28(%rbp), %rdx
callq 0x60e0
jmp 0x4f50
leaq 0xb0c5(%rip), %rdx      # 0x1001c
leaq -0x110(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x6090
jmp 0x4f6c
leaq -0xf0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
leaq -0x60(%rbp), %rdx
callq 0x5fc0
jmp 0x4f85
leaq -0x88(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x44f0
leaq -0xf0(%rbp), %rdi
callq 0x4828
leaq -0x110(%rbp), %rdi
callq 0x4828
leaq -0x130(%rbp), %rdi
callq 0x4828
jmp 0x4ff2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x4fe4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x4828
leaq -0x130(%rbp), %rdi
callq 0x4828
jmp 0x506e
leaq -0x150(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x41b0
jmp 0x5007
movq -0x168(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x4bd0
jmp 0x501c
leaq -0x150(%rbp), %rdi
callq 0x4828
leaq -0x88(%rbp), %rdi
callq 0x4828
leaq -0x60(%rbp), %rdi
callq 0x4828
leaq -0x28(%rbp), %rdi
callq 0x4828
movq -0x160(%rbp), %rax
addq $0x190, %rsp            # imm = 0x190
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x4828
leaq -0x88(%rbp), %rdi
callq 0x4828
leaq -0x60(%rbp), %rdi
callq 0x4828
leaq -0x28(%rbp), %rdi
callq 0x4828
movq -0x38(%rbp), %rdi
callq 0x4730
nopw %cs:(%rax,%rax)