// File: acliusBackHome[P]kamaya/dist/x86.cpp
// Function: x86::Assembler::getBlockName(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
string Assembler::getBlockName(string jto) {
  string blockName;
  const string &block = "block";
  size_t linenum = stoi(jto);
  map<size_t, size_t> &lineToBlockID = get<1>(bbla);
  map<size_t, size_t>::iterator iter = lineToBlockID.find(linenum);
  if (iter != lineToBlockID.end()) {
    blockName = block + to_string(iter->second);
  } else {
    log("cannot find this linenum");
  }
  return blockName;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdx, -0x110(%rbp)
movq %rdi, -0x108(%rbp)
movq %rdi, %rax
movq %rax, -0x100(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xf8(%rbp)
movb $0x0, -0x19(%rbp)
callq 0x4460
leaq -0x49(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0x45f0
movq -0xf0(%rbp), %rdx
leaq 0x12be1(%rip), %rsi     # 0x918a2
leaq -0x48(%rbp), %rdi
callq 0x4450
jmp 0x7eccc
leaq -0x49(%rbp), %rdi
callq 0x4380
movq -0x110(%rbp), %rdi
leaq -0x48(%rbp), %rax
movq %rax, -0x28(%rbp)
xorl %eax, %eax
movl %eax, %esi
movl $0xa, %edx
callq 0x812c0
movl %eax, -0x114(%rbp)
jmp 0x7ecfa
movq -0xf8(%rbp), %rdi
movl -0x114(%rbp), %eax
cltq
movq %rax, -0x68(%rbp)
addq $0xf0, %rdi
callq 0x82200
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x4c240
movq %rax, -0x120(%rbp)
jmp 0x7ed33
movq -0x120(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x70(%rbp), %rdi
callq 0x4c2a0
movq %rax, -0x80(%rbp)
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x4c270
testb $0x1, %al
jne 0x7ed61
jmp 0x7ee1b
movq -0x28(%rbp), %rax
movq %rax, -0x128(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x53460
movq 0x8(%rax), %rsi
leaq -0xc0(%rbp), %rdi
callq 0x15db0
jmp 0x7ed87
movq -0x128(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
leaq -0xc0(%rbp), %rdx
callq 0x6d2c0
jmp 0x7eda3
movq -0x108(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0x43e0
leaq -0xa0(%rbp), %rdi
callq 0x4688
leaq -0xc0(%rbp), %rdi
callq 0x4688
jmp 0x7eead
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x49(%rbp), %rdi
callq 0x4380
jmp 0x7eee9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7eec2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x4688
jmp 0x7eec2
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x130(%rbp)
callq 0x45f0
movq -0x130(%rbp), %rdx
leaq 0x12b03(%rip), %rsi     # 0x9193f
leaq -0xe0(%rbp), %rdi
callq 0x4450
jmp 0x7ee4a
movq -0xf8(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x7c5b0
jmp 0x7ee5f
leaq -0xe0(%rbp), %rdi
callq 0x4688
leaq -0xe1(%rbp), %rdi
callq 0x4380
jmp 0x7eead
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7ee9f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x4688
leaq -0xe1(%rbp), %rdi
callq 0x4380
jmp 0x7eec2
movb $0x1, -0x19(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x4688
testb $0x1, -0x19(%rbp)
jne 0x7eed9
jmp 0x7eecd
leaq -0x48(%rbp), %rdi
callq 0x4688
jmp 0x7eee9
movq -0x108(%rbp), %rdi
callq 0x4688
movq -0x100(%rbp), %rax
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq -0x108(%rbp), %rdi
callq 0x4688
movq -0x58(%rbp), %rdi
callq 0x45e0
nop