// File: /workspace/github_cpp_makefile_star2_O1/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, %r14
leaq -0x48(%rbp), %rax
movq %rax, -0x10(%rax)
movq 0x40(%rsi), %rsi
movq 0x48(%rbx), %rdx
addq %rsi, %rdx
leaq -0x58(%rbp), %rdi
callq 0xf5c2
leaq -0x70(%rbp), %rax
movq %rax, -0x10(%rax)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
addq %rsi, %rdx
leaq -0x80(%rbp), %rdi
callq 0xf5c2
movq -0x58(%rbp), %r15
callq 0x4060
movq %rax, %rbx
movl (%rax), %r13d
movl $0x0, (%rax)
leaq -0x38(%rbp), %r12
movq %r15, %rdi
movq %r12, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r15, (%r12)
je 0x38db2
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x38dbe
movl (%rbx), %ecx
cmpl $0x22, %ecx
je 0x38dbe
testl %ecx, %ecx
jne 0x38c31
movl %r13d, (%rbx)
movq %r14, -0x60(%rbp)
movl 0x2485c(%rip), %r13d    # 0x5d498
cmpl %eax, %r13d
cmovlel %eax, %r13d
movl %r13d, 0x2484e(%rip)    # 0x5d498
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 0x38dca
movabsq $-0x100000000, %r14     # imm = 0xFFFFFFFF00000000
leaq -0x80000000(%rax), %rcx
cmpq %r14, %rcx
jb 0x38dd6
movl (%rbx), %ecx
cmpl $0x22, %ecx
je 0x38dd6
testl %ecx, %ecx
jne 0x38ca1
movl -0x2c(%rbp), %ecx
movl %ecx, (%rbx)
cmpl %eax, %r13d
jge 0x38d7c
movq -0x58(%rbp), %r15
movl (%rbx), %r13d
movl $0x0, (%rbx)
movq %r15, %rdi
movq %r12, %rsi
movl $0xa, %edx
callq 0x4400
cmpq %r15, (%r12)
je 0x38de2
leaq -0x80000000(%rax), %rcx
cmpq %r14, %rcx
jb 0x38dee
movl (%rbx), %ecx
cmpl $0x22, %ecx
je 0x38dee
testl %ecx, %ecx
movq -0x60(%rbp), %r14
jne 0x38cf7
movl %r13d, (%rbx)
movl %eax, 0x2479b(%rip)     # 0x5d498
leaq -0xb0(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0xfaaa(%rip), %rsi      # 0x487b9
leaq 0xfaa6(%rip), %rdx      # 0x487bc
leaq -0xc0(%rbp), %rdi
callq 0xf65c
leaq -0x90(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x80(%rbp), %rsi
movq -0x78(%rbp), %rdx
addq %rsi, %rdx
leaq -0xa0(%rbp), %rdi
callq 0xf5c2
leaq -0xc0(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
movq %r14, %rdi
callq 0x3b46e
movq -0xa0(%rbp), %rdi
cmpq %r15, %rdi
je 0x38d6b
callq 0x42b0
movq -0xc0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x38d7c
callq 0x42b0
movq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rax
cmpq %rax, %rdi
je 0x38d8e
callq 0x42b0
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x38da0
callq 0x42b0
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xfb2e(%rip), %rdi      # 0x488e7
callq 0x41e0
leaq 0xfb22(%rip), %rdi      # 0x488e7
callq 0x4430
leaq 0xfb16(%rip), %rdi      # 0x488e7
callq 0x41e0
leaq 0xfb0a(%rip), %rdi      # 0x488e7
callq 0x4430
leaq 0xfafe(%rip), %rdi      # 0x488e7
callq 0x41e0
leaq 0xfaf2(%rip), %rdi      # 0x488e7
callq 0x4430
movq %rax, %r14
movq -0xa0(%rbp), %rdi
cmpq %r15, %rdi
je 0x38e13
callq 0x42b0
jmp 0x38e13
movq %rax, %r14
movq -0xc0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x38e4c
callq 0x42b0
jmp 0x38e4c
movq %rax, %r14
jmp 0x38e4c
jmp 0x38e41
movq %rax, %r14
jmp 0x38e5e
movq %rax, %r14
cmpl $0x0, (%rbx)
jne 0x38e4c
movl -0x2c(%rbp), %eax
movl %eax, (%rbx)
jmp 0x38e4c
movq %rax, %r14
cmpl $0x0, (%rbx)
jne 0x38e4c
movl %r13d, (%rbx)
movq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rax
cmpq %rax, %rdi
je 0x38e5e
callq 0x42b0
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x38e70
callq 0x42b0
movq %r14, %rdi
callq 0x4560