// File: /workspace/github_cpp_makefile_star2_O3/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 0xe98b(%rip), %rsi      # 0x47804
leaq 0xe989(%rip), %rdx      # 0x47809
leaq -0x78(%rbp), %rdi
callq 0xf868
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 0x39089
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x39095
movl (%r15), %ecx
cmpl $0x22, %ecx
je 0x39095
testl %ecx, %ecx
movq -0x30(%rbp), %r13
jne 0x38edd
movl %ebx, (%r15)
movq 0x100(%r14), %rdx
testq %rdx, %rdx
je 0x38f16
leaq 0xf8(%r14), %rsi
movq %rsi, %rcx
xorl %edi, %edi
cmpq %rax, 0x20(%rdx)
setb %dil
cmovaeq %rdx, %rcx
movq 0x10(%rdx,%rdi,8), %rdx
testq %rdx, %rdx
jne 0x38ef3
cmpq %rsi, %rcx
je 0x38f16
cmpq 0x20(%rcx), %rax
jae 0x38f73
leaq -0x40(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0xe97c(%rip), %rsi      # 0x478a1
leaq 0xe98d(%rip), %rdx      # 0x478b9
leaq -0x50(%rbp), %rdi
callq 0xf868
leaq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x370da
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
je 0x38f4f
callq 0x42b0
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x38f61
callq 0x42b0
movq %r13, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x28(%rcx), %r14
movl $0x1, %esi
cmpq $0xa, %r14
jb 0x38fd1
movl $0x4, %esi
movabsq $0x346dc5d63886594b, %rdi # imm = 0x346DC5D63886594B
movq %r14, %rcx
cmpq $0x63, %rcx
jbe 0x38fca
cmpq $0x3e7, %rcx            # imm = 0x3E7
jbe 0x38fcf
cmpq $0x2710, %rcx           # imm = 0x2710
jb 0x38fd1
movq %rcx, %rax
mulq %rdi
shrq $0xb, %rdx
addl $0x4, %esi
cmpq $0x1869f, %rcx          # imm = 0x1869F
movq %rdx, %rcx
ja 0x38f94
addl $-0x3, %esi
jmp 0x38fd1
addl $-0x2, %esi
jmp 0x38fd1
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 0xefce
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 0x3903b
movq %rdx, -0x50(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x40(%rbp)
jmp 0x39041
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 0x39074
callq 0x42b0
movq -0x98(%rbp), %rdi
cmpq %r12, %rdi
jne 0x38f4a
jmp 0x38f4f
leaq 0xe857(%rip), %rdi      # 0x478e7
callq 0x41e0
leaq 0xe84b(%rip), %rdi      # 0x478e7
callq 0x4430
movq %rax, %r14
movq -0x98(%rbp), %rdi
cmpq %r12, %rdi
jne 0x390c0
jmp 0x390dd
jmp 0x390c7
movq %rax, %r14
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
je 0x390dd
callq 0x42b0
jmp 0x390dd
movq %rax, %r14
jmp 0x390dd
movq %rax, %r14
jmp 0x390ef
movq %rax, %r14
cmpl $0x0, (%r15)
jne 0x390dd
movl %ebx, (%r15)
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x390ef
callq 0x42b0
movq -0x30(%rbp), %rax
movq (%rax), %rdi
cmpq -0x58(%rbp), %rdi
je 0x39101
callq 0x42b0
movq %r14, %rdi
callq 0x4560
nop