// File: acliusBackHome[P]kamaya/dist/x86.cpp
// Function: x86::Assembler::quaLOGICAND(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::quaLOGICAND(const Qua &qua) {
  // (||,[ebp+28],[ebp+29],[ebp+30])
  const string &a = get<1>(qua);
  const string &b = get<2>(qua);
  const string &c = get<3>(qua);
  mov("eax", a);
  mov("ebx", b);
  _and("eax", "ebx");
  mov(c, "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 0x133c4(%rip), %rsi     # 0x91847
leaq -0x48(%rbp), %rdi
callq 0x4450
jmp 0x7e48e
movq -0x18(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x4190
jmp 0x7e49d
movq -0x170(%rbp), %rdi
leaq -0x48(%rbp), %rsi
leaq -0x80(%rbp), %rdx
callq 0x80b50
jmp 0x7e4b3
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 0x1335c(%rip), %rsi     # 0x9184b
leaq -0xa0(%rbp), %rdi
callq 0x4450
jmp 0x7e4fd
movq -0x20(%rbp), %rsi
leaq -0xc8(%rbp), %rdi
callq 0x4190
jmp 0x7e50f
movq -0x170(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0xc8(%rbp), %rdx
callq 0x80b50
jmp 0x7e52b
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 0x132d7(%rip), %rsi     # 0x91847
leaq -0xe8(%rbp), %rdi
callq 0x4450
jmp 0x7e57e
leaq -0x111(%rbp), %rdi
movq %rdi, -0x188(%rbp)
callq 0x45f0
movq -0x188(%rbp), %rdx
leaq 0x132ac(%rip), %rsi     # 0x9184b
leaq -0x110(%rbp), %rdi
callq 0x4450
jmp 0x7e5ad
movq -0x170(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
leaq -0x110(%rbp), %rdx
callq 0x81300
jmp 0x7e5c9
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 0x1321d(%rip), %rsi     # 0x91847
leaq -0x158(%rbp), %rdi
callq 0x4450
jmp 0x7e638
movq -0x170(%rbp), %rdi
leaq -0x138(%rbp), %rsi
leaq -0x158(%rbp), %rdx
callq 0x80b50
jmp 0x7e654
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 0x7e6bb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e6b2
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 0x7e7b2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e709
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e6fd
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 0x7e7b2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e766
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e74e
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 0x7e7b2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x7e79a
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)