// File: /workspace/github_cpp_makefile_star2_O1/acliusBackHome[P]kamaya/dist/x86.cpp
// Function: x86::Assembler::quaADD(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::quaADD(const Qua &qua) {
  // 2	(+,[esp+8],1,[esp+13])
  const string &x = get<1>(qua);
  const string &y = get<2>(qua);
  const string &z = get<3>(qua);
  mov("eax", x);
  mov("ebx", y);
  add("eax", "ebx");
  mov(z, "eax");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x100, %rsp            # imm = 0x100
movq %rsi, %r14
movq %rdi, %rbx
leaq -0x110(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x10cf7(%rip), %rsi     # 0x487a9
leaq 0x10cf3(%rip), %rdx     # 0x487ac
leaq -0x120(%rbp), %rdi
callq 0xf65c
leaq -0xf0(%rbp), %r12
movq %r12, -0x10(%r12)
movq 0x40(%r14), %rsi
movq 0x48(%r14), %rdx
addq %rsi, %rdx
leaq -0x100(%rbp), %rdi
callq 0xf5c2
leaq -0x120(%rbp), %rsi
leaq -0x100(%rbp), %rdx
movq %rbx, %rdi
callq 0x3b202
movq -0x100(%rbp), %rdi
cmpq %r12, %rdi
je 0x37b0f
callq 0x42b0
movq -0x120(%rbp), %rdi
cmpq %r15, %rdi
je 0x37b20
callq 0x42b0
leaq -0xd0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x10c7b(%rip), %rsi     # 0x487ad
leaq 0x10c77(%rip), %rdx     # 0x487b0
leaq -0xe0(%rbp), %rdi
callq 0xf65c
leaq -0xb0(%rbp), %r12
movq %r12, -0x10(%r12)
movq 0x20(%r14), %rsi
movq 0x28(%r14), %rdx
addq %rsi, %rdx
leaq -0xc0(%rbp), %rdi
callq 0xf5c2
leaq -0xe0(%rbp), %rsi
leaq -0xc0(%rbp), %rdx
movq %rbx, %rdi
callq 0x3b202
movq -0xc0(%rbp), %rdi
cmpq %r12, %rdi
je 0x37b8f
callq 0x42b0
movq -0xe0(%rbp), %rdi
cmpq %r15, %rdi
je 0x37ba0
callq 0x42b0
leaq -0x90(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x10bf7(%rip), %rsi     # 0x487a9
leaq 0x10bf3(%rip), %rdx     # 0x487ac
leaq -0xa0(%rbp), %rdi
callq 0xf65c
leaq -0x70(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x10bd8(%rip), %rsi     # 0x487ad
leaq 0x10bd4(%rip), %rdx     # 0x487b0
leaq -0x80(%rbp), %rdi
callq 0xf65c
leaq -0xa0(%rbp), %rsi
leaq -0x80(%rbp), %rdx
movq %rbx, %rdi
callq 0x3b338
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x37c06
callq 0x42b0
movq -0xa0(%rbp), %rdi
cmpq %r15, %rdi
je 0x37c17
callq 0x42b0
leaq -0x50(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
leaq -0x60(%rbp), %rdi
callq 0xf5c2
leaq -0x30(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x10b68(%rip), %rsi     # 0x487a9
leaq 0x10b64(%rip), %rdx     # 0x487ac
leaq -0x40(%rbp), %rdi
callq 0xf65c
leaq -0x60(%rbp), %rsi
leaq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x3b202
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x37c6f
callq 0x42b0
movq -0x60(%rbp), %rdi
cmpq %r15, %rdi
je 0x37c7d
callq 0x42b0
addq $0x100, %rsp            # imm = 0x100
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x37ca3
callq 0x42b0
jmp 0x37ca3
movq %rax, %rbx
movq -0x60(%rbp), %rdi
jmp 0x37d0a
movq %rax, %rbx
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x37cbf
callq 0x42b0
jmp 0x37cbf
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
jmp 0x37d0a
movq %rax, %rbx
movq -0xc0(%rbp), %rdi
cmpq %r12, %rdi
je 0x37ce1
callq 0x42b0
jmp 0x37ce1
movq %rax, %rbx
movq -0xe0(%rbp), %rdi
jmp 0x37d0a
movq %rax, %rbx
movq -0x100(%rbp), %rdi
cmpq %r12, %rdi
je 0x37d03
callq 0x42b0
jmp 0x37d03
movq %rax, %rbx
movq -0x120(%rbp), %rdi
cmpq %r15, %rdi
je 0x37d14
callq 0x42b0
movq %rbx, %rdi
callq 0x4560