// File: acliusBackHome[P]kamaya/dist/IR.hpp
// Function: IR::address2pointer[abi:cxx11](unsigned long)
inline string address2pointer(size_t addr) {
    long long addrll = addr;
    long long sub = -1 - addrll;
    if (addrll < 0) {
      if (sub >= sectionData.size() || sub < 0) {
        return "BadAddr";
      }
    }
    return (addrll < 0) ? (string("[") + sectionData[sub].name + string("]"))
                        : ("[ebp+" + to_string(addrll) + "]");
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdi, -0x110(%rbp)
movq %rdi, %rax
movq %rax, -0x108(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x100(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
movq $-0x1, %rax
subq -0x20(%rbp), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x20(%rbp)
jge 0x1819c
movq -0x100(%rbp), %rdi
movq -0x28(%rbp), %rax
movq %rax, -0x118(%rbp)
addq $0x28, %rdi
callq 0x184b0
movq %rax, %rcx
movq -0x118(%rbp), %rax
cmpq %rcx, %rax
jae 0x18146
cmpq $0x0, -0x28(%rbp)
jge 0x1819a
leaq -0x29(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0x45f0
movq -0x110(%rbp), %rdi
movq -0x120(%rbp), %rdx
leaq 0x75d0a(%rip), %rsi     # 0x8de75
callq 0x4450
jmp 0x18172
leaq -0x29(%rbp), %rdi
callq 0x4380
jmp 0x18493
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0x4380
jmp 0x184a3
jmp 0x1819c
movq -0x20(%rbp), %rax
movb $0x0, -0x82(%rbp)
movb $0x0, -0x83(%rbp)
movb $0x0, -0x84(%rbp)
movb $0x0, -0xaa(%rbp)
movb $0x0, -0xab(%rbp)
movb $0x0, -0xf1(%rbp)
movb $0x0, -0xf2(%rbp)
cmpq $0x0, %rax
jge 0x1829a
leaq -0x81(%rbp), %rdi
movq %rdi, -0x128(%rbp)
callq 0x45f0
movq -0x128(%rbp), %rdx
movb $0x1, -0x82(%rbp)
leaq 0x778c3(%rip), %rsi     # 0x8fac6
leaq -0x80(%rbp), %rdi
callq 0x4450
jmp 0x1820e
movq -0x100(%rbp), %rdi
movb $0x1, -0x83(%rbp)
addq $0x28, %rdi
movq -0x28(%rbp), %rsi
callq 0x18530
movq %rax, %rdx
leaq -0x60(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x184e0
jmp 0x1823b
movb $0x1, -0x84(%rbp)
leaq -0xa9(%rbp), %rdi
movq %rdi, -0x130(%rbp)
callq 0x45f0
movq -0x130(%rbp), %rdx
movb $0x1, -0xaa(%rbp)
leaq 0x75312(%rip), %rsi     # 0x8d57c
leaq -0xa8(%rbp), %rdi
callq 0x4450
jmp 0x18278
movq -0x110(%rbp), %rdi
movb $0x1, -0xab(%rbp)
leaq -0x60(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x16040
jmp 0x18298
jmp 0x182f4
movq -0x20(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x18550
jmp 0x182ac
movb $0x1, -0xf1(%rbp)
leaq 0x75bc3(%rip), %rsi     # 0x8de7d
leaq -0xd0(%rbp), %rdi
leaq -0xf0(%rbp), %rdx
callq 0x15d60
jmp 0x182cf
movq -0x110(%rbp), %rdi
movb $0x1, -0xf2(%rbp)
leaq 0x75298(%rip), %rdx     # 0x8d57c
leaq -0xd0(%rbp), %rsi
callq 0x15ed0
jmp 0x182f2
jmp 0x182f4
testb $0x1, -0xf2(%rbp)
jne 0x182ff
jmp 0x1830b
leaq -0xd0(%rbp), %rdi
callq 0x4688
testb $0x1, -0xf1(%rbp)
jne 0x18316
jmp 0x18322
leaq -0xf0(%rbp), %rdi
callq 0x4688
testb $0x1, -0xab(%rbp)
jne 0x1832d
jmp 0x18339
leaq -0xa8(%rbp), %rdi
callq 0x4688
testb $0x1, -0xaa(%rbp)
jne 0x18344
jmp 0x18350
leaq -0xa9(%rbp), %rdi
callq 0x4380
testb $0x1, -0x84(%rbp)
jne 0x1835b
jmp 0x18364
leaq -0x60(%rbp), %rdi
callq 0x4688
testb $0x1, -0x83(%rbp)
jne 0x1836f
jmp 0x18378
leaq -0x80(%rbp), %rdi
callq 0x4688
testb $0x1, -0x82(%rbp)
jne 0x18383
jmp 0x1838f
leaq -0x81(%rbp), %rdi
callq 0x4380
jmp 0x18493
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x1847a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x18464
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x18437
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x1841e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x18405
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
testb $0x1, -0xf2(%rbp)
jne 0x183f7
jmp 0x18403
leaq -0xd0(%rbp), %rdi
callq 0x4688
jmp 0x18405
testb $0x1, -0xf1(%rbp)
jne 0x18410
jmp 0x1841c
leaq -0xf0(%rbp), %rdi
callq 0x4688
jmp 0x1841e
testb $0x1, -0xab(%rbp)
jne 0x18429
jmp 0x18435
leaq -0xa8(%rbp), %rdi
callq 0x4688
jmp 0x18437
testb $0x1, -0xaa(%rbp)
jne 0x18442
jmp 0x1844e
leaq -0xa9(%rbp), %rdi
callq 0x4380
testb $0x1, -0x84(%rbp)
jne 0x18459
jmp 0x18462
leaq -0x60(%rbp), %rdi
callq 0x4688
jmp 0x18464
testb $0x1, -0x83(%rbp)
jne 0x1846f
jmp 0x18478
leaq -0x80(%rbp), %rdi
callq 0x4688
jmp 0x1847a
testb $0x1, -0x82(%rbp)
jne 0x18485
jmp 0x18491
leaq -0x81(%rbp), %rdi
callq 0x4380
jmp 0x184a3
movq -0x108(%rbp), %rax
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq -0x38(%rbp), %rdi
callq 0x45e0
nopl (%rax)