// File: 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
subq $0x190, %rsp            # imm = 0x190
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x170(%rbp)
movq -0x10(%rbp), %rdi
callq 0x78c50
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rdi
callq 0x78c70
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
callq 0x78750
movq %rax, -0x28(%rbp)
leaq -0x49(%rbp), %rdi
movq %rdi, -0x168(%rbp)
callq 0x45f0
movq -0x168(%rbp), %rdx
leaq 0x151e4(%rip), %rsi     # 0x91847
leaq -0x48(%rbp), %rdi
callq 0x4450
jmp 0x7c66e
movq -0x18(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x4190
jmp 0x7c67d
movq -0x170(%rbp), %rdi
leaq -0x48(%rbp), %rsi
leaq -0x80(%rbp), %rdx
callq 0x80b50
jmp 0x7c693
leaq -0x80(%rbp), %rdi
callq 0x4688
leaq -0x48(%rbp), %rdi
callq 0x4688
leaq -0x49(%rbp), %rdi
callq 0x4380
leaq -0xa1(%rbp), %rdi
movq %rdi, -0x178(%rbp)
callq 0x45f0
movq -0x178(%rbp), %rdx
leaq 0x1517c(%rip), %rsi     # 0x9184b
leaq -0xa0(%rbp), %rdi
callq 0x4450
jmp 0x7c6dd
movq -0x20(%rbp), %rsi
leaq -0xc8(%rbp), %rdi
callq 0x4190
jmp 0x7c6ef
movq -0x170(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0xc8(%rbp), %rdx
callq 0x80b50
jmp 0x7c70b
leaq -0xc8(%rbp), %rdi
callq 0x4688
leaq -0xa0(%rbp), %rdi
callq 0x4688
leaq -0xa1(%rbp), %rdi
callq 0x4380
leaq -0xe9(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0x45f0
movq -0x180(%rbp), %rdx
leaq 0x150f7(%rip), %rsi     # 0x91847
leaq -0xe8(%rbp), %rdi
callq 0x4450
jmp 0x7c75e
leaq -0x111(%rbp), %rdi
movq %rdi, -0x188(%rbp)
callq 0x45f0
movq -0x188(%rbp), %rdx
leaq 0x150cc(%rip), %rsi     # 0x9184b
leaq -0x110(%rbp), %rdi
callq 0x4450
jmp 0x7c78d
movq -0x170(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
leaq -0x110(%rbp), %rdx
callq 0x80c80
jmp 0x7c7a9
leaq -0x110(%rbp), %rdi
callq 0x4688
leaq -0x111(%rbp), %rdi
callq 0x4380
leaq -0xe8(%rbp), %rdi
callq 0x4688
leaq -0xe9(%rbp), %rdi
callq 0x4380
movq -0x28(%rbp), %rsi
leaq -0x138(%rbp), %rdi
callq 0x4190
leaq -0x159(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0x45f0
movq -0x190(%rbp), %rdx
leaq 0x1503d(%rip), %rsi     # 0x91847
leaq -0x158(%rbp), %rdi
callq 0x4450
jmp 0x7c818
movq -0x170(%rbp), %rdi
leaq -0x138(%rbp), %rsi
leaq -0x158(%rbp), %rdx
callq 0x80b50
jmp 0x7c834
leaq -0x158(%rbp), %rdi
callq 0x4688
leaq -0x159(%rbp), %rdi
callq 0x4380
leaq -0x138(%rbp), %rdi
callq 0x4688
addq $0x190, %rsp            # imm = 0x190
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c89b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c892
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x4688
leaq -0x48(%rbp), %rdi
callq 0x4688
leaq -0x49(%rbp), %rdi
callq 0x4380
jmp 0x7c992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c8e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c8dd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x4688
leaq -0xa0(%rbp), %rdi
callq 0x4688
leaq -0xa1(%rbp), %rdi
callq 0x4380
jmp 0x7c992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c946
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c92e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x4688
leaq -0x111(%rbp), %rdi
callq 0x4380
leaq -0xe8(%rbp), %rdi
callq 0x4688
leaq -0xe9(%rbp), %rdi
callq 0x4380
jmp 0x7c992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7c97a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x158(%rbp), %rdi
callq 0x4688
leaq -0x159(%rbp), %rdi
callq 0x4380
leaq -0x138(%rbp), %rdi
callq 0x4688
movq -0x58(%rbp), %rdi
callq 0x45e0
nopl (%rax,%rax)