// File: /workspace/github_cpp_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rdx, %r15
movq %rsi, %r14
leaq 0x10(%rdi), %rax
movq %rax, -0x58(%rbp)
movq %rax, (%rdi)
movq $0x0, 0x8(%rdi)
movq %rdi, -0x30(%rbp)
movb $0x0, 0x10(%rdi)
leaq -0x68(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0xf033(%rip), %rsi      # 0x48804
leaq 0xf031(%rip), %rdx      # 0x48809
leaq -0x78(%rbp), %rdi
callq 0xf65c
movq (%r15), %r12
callq 0x4060
movq %rax, %r15
movl (%rax), %ebx
movl $0x0, (%rax)
leaq -0x50(%rbp), %r13
movq %r12, %rdi
movq %r13, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r12, (%r13)
je 0x399f8
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x39a04
movl (%r15), %ecx
cmpl $0x22, %ecx
je 0x39a04
testl %ecx, %ecx
movq -0x30(%rbp), %r13
jne 0x39835
movl %ebx, (%r15)
movslq %eax, %rcx
movq 0x100(%r14), %rsi
leaq 0xf8(%r14), %rax
movq %rax, %rdx
testq %rsi, %rsi
je 0x39869
movq %rax, %rdx
xorl %edi, %edi
cmpq %rcx, 0x20(%rsi)
setb %dil
cmovaeq %rsi, %rdx
movq 0x10(%rsi,%rdi,8), %rsi
testq %rsi, %rsi
jne 0x39851
movq %rax, %rsi
cmpq %rax, %rdx
je 0x3987c
cmpq 0x20(%rdx), %rcx
cmovbq %rax, %rdx
movq %rdx, %rsi
cmpq %rax, %rsi
je 0x398dc
movq 0x28(%rsi), %r14
movl $0x1, %esi
cmpq $0xa, %r14
jb 0x39920
movl $0x4, %esi
movabsq $0x346dc5d63886594b, %rdi # imm = 0x346DC5D63886594B
movq %r14, %rcx
cmpq $0x63, %rcx
jbe 0x39919
cmpq $0x3e7, %rcx            # imm = 0x3E7
jbe 0x3991e
cmpq $0x2710, %rcx           # imm = 0x2710
jb 0x39920
movq %rcx, %rax
mulq %rdi
shrq $0xb, %rdx
addl $0x4, %esi
cmpq $0x1869f, %rcx          # imm = 0x1869F
movq %rdx, %rcx
ja 0x398a6
addl $-0x3, %esi
jmp 0x39920
leaq -0x40(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0xefb6(%rip), %rsi      # 0x488a1
leaq 0xefc7(%rip), %rdx      # 0x488b9
leaq -0x50(%rbp), %rdi
callq 0xf65c
leaq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x37a40
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x399cf
jmp 0x399d4
addl $-0x2, %esi
jmp 0x39920
decl %esi
movl %esi, %esi
leaq -0x88(%rbp), %r12
movq %r12, -0x10(%r12)
leaq -0x98(%rbp), %rdi
xorl %edx, %edx
callq 0x4360
leaq -0x98(%rbp), %r15
movq (%r15), %rdi
movl 0x8(%r15), %esi
movq %r14, %rdx
callq 0xede8
movq -0x78(%rbp), %rcx
movq -0x70(%rbp), %r8
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq -0x40(%rbp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3998a
movq %rdx, -0x50(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x40(%rbp)
jmp 0x39990
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
leaq -0x50(%rbp), %r14
movq %rdx, 0x8(%r14)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r13, %rdi
movq %r14, %rsi
callq 0x43a0
movq (%r14), %rdi
cmpq %rbx, %rdi
je 0x399c3
callq 0x42b0
movq -0x98(%rbp), %rdi
cmpq %r12, %rdi
je 0x399d4
callq 0x42b0
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x399e6
callq 0x42b0
movq %r13, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xeee8(%rip), %rdi      # 0x488e7
callq 0x41e0
leaq 0xeedc(%rip), %rdi      # 0x488e7
callq 0x4430
movq %rax, %r14
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x39a2f
jmp 0x39a4c
jmp 0x39a36
movq %rax, %r14
movq -0x98(%rbp), %rdi
cmpq %r12, %rdi
je 0x39a4c
callq 0x42b0
jmp 0x39a4c
movq %rax, %r14
jmp 0x39a4c
movq %rax, %r14
jmp 0x39a5e
movq %rax, %r14
cmpl $0x0, (%r15)
jne 0x39a4c
movl %ebx, (%r15)
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x39a5e
callq 0x42b0
movq -0x30(%rbp), %rax
movq (%rax), %rdi
cmpq -0x58(%rbp), %rdi
je 0x39a70
callq 0x42b0
movq %r14, %rdi
callq 0x4560