// File: /workspace/github_cpp_makefile_star2_O3/acliusBackHome[P]kamaya/dist/x86.cpp
// Function: x86::Assembler::quaALLOC(std::tuple<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>> const&)
void Assembler::quaALLOC(const Qua &qua) {
  static int stackTop = 0;
  // (alloc,1648,4,_2@T2)
  string top = get<1>(qua);
  string sz = get<2>(qua);
  stackTop = max(stackTop, stoi(top));
  if (stackTop < stoi(top)) {
    stackTop = stoi(top);
    sub("esp", sz);
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %rsi, %rbx
movq %rdi, %r13
leaq -0x48(%rbp), %rax
movq %rax, -0x10(%rax)
movq 0x40(%rsi), %rsi
movq 0x48(%rbx), %rdx
addq %rsi, %rdx
leaq -0x58(%rbp), %rdi
callq 0xf7ca
leaq -0x70(%rbp), %rax
movq %rax, -0x10(%rax)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
addq %rsi, %rdx
leaq -0x80(%rbp), %rdi
callq 0xf7ca
movq -0x58(%rbp), %r15
callq 0x4060
movq %rax, %rbx
movl (%rax), %r14d
movl $0x0, (%rax)
leaq -0x38(%rbp), %r12
movq %r15, %rdi
movq %r12, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r15, (%r12)
je 0x3844e
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x3845a
movl (%rbx), %ecx
cmpl $0x22, %ecx
je 0x3845a
testl %ecx, %ecx
jne 0x382cb
movl %r14d, (%rbx)
movq %r13, -0x60(%rbp)
movl 0x241c2(%rip), %r14d    # 0x5c498
cmpl %eax, %r14d
cmovlel %eax, %r14d
movl %r14d, 0x241b4(%rip)    # 0x5c498
movq -0x58(%rbp), %r15
movl (%rbx), %eax
movl %eax, -0x2c(%rbp)
movl $0x0, (%rbx)
movq %r15, %rdi
movq %r12, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r15, (%r12)
je 0x38466
movabsq $-0x100000000, %rdx     # imm = 0xFFFFFFFF00000000
leaq -0x80000000(%rax), %rcx
cmpq %rdx, %rcx
jb 0x38472
movl (%rbx), %r13d
cmpl $0x22, %r13d
je 0x38472
testl %r13d, %r13d
jne 0x38340
movl -0x2c(%rbp), %r13d
movl %r13d, (%rbx)
cmpl %eax, %r14d
jge 0x38418
movq %rdx, %r14
movq -0x58(%rbp), %r15
movl $0x0, (%rbx)
movq %r15, %rdi
movq %r12, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r15, (%r12)
je 0x3847e
leaq -0x80000000(%rax), %rcx
cmpq %r14, %rcx
jb 0x3848a
movl (%rbx), %ecx
cmpl $0x22, %ecx
je 0x3848a
testl %ecx, %ecx
jne 0x38392
movl %r13d, (%rbx)
movl %eax, 0x24100(%rip)     # 0x5c498
leaq -0xb0(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0xf40f(%rip), %rsi      # 0x477b9
leaq 0xf40b(%rip), %rdx      # 0x477bc
leaq -0xc0(%rbp), %rdi
callq 0xf868
leaq -0x90(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0x80(%rbp), %rsi
movq -0x78(%rbp), %rdx
addq %rsi, %rdx
leaq -0xa0(%rbp), %rdi
callq 0xf7ca
movq -0x60(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0x3aa3c
movq -0xa0(%rbp), %rdi
cmpq %r14, %rdi
je 0x38407
callq 0x42b0
movq -0xc0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x38418
callq 0x42b0
movq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rax
cmpq %rax, %rdi
je 0x3842a
callq 0x42b0
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x3843c
callq 0x42b0
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xf492(%rip), %rdi      # 0x478e7
callq 0x41e0
leaq 0xf486(%rip), %rdi      # 0x478e7
callq 0x4430
leaq 0xf47a(%rip), %rdi      # 0x478e7
callq 0x41e0
leaq 0xf46e(%rip), %rdi      # 0x478e7
callq 0x4430
leaq 0xf462(%rip), %rdi      # 0x478e7
callq 0x41e0
leaq 0xf456(%rip), %rdi      # 0x478e7
callq 0x4430
movq %rax, %r15
movq -0xa0(%rbp), %rdi
cmpq %r14, %rdi
je 0x384af
callq 0x42b0
jmp 0x384af
movq %rax, %r15
movq -0xc0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x384f3
callq 0x42b0
jmp 0x384f3
movq %rax, %r15
jmp 0x384f3
movq %rax, %r15
cmpl $0x0, (%rbx)
jne 0x384f3
movl %r13d, (%rbx)
jmp 0x384f3
movq %rax, %r15
jmp 0x38505
movq %rax, %r15
cmpl $0x0, (%rbx)
jne 0x384f3
movl -0x2c(%rbp), %eax
movl %eax, (%rbx)
jmp 0x384f3
movq %rax, %r15
cmpl $0x0, (%rbx)
jne 0x384f3
movl %r14d, (%rbx)
movq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rax
cmpq %rax, %rdi
je 0x38505
callq 0x42b0
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x38517
callq 0x42b0
movq %r15, %rdi
callq 0x4560
nop