// File: martinda3[P]Compiler/src/JVM/JVMgenUtils.cpp
// Function: toyc::JVMgenUtils::gen_AND(toyc::TCtoken, toyc::JVMtargetCode*)
void JVMgenUtils::gen_AND(TCtoken tok, JVMtargetCode *tc) {
    label *l0 = new label(), *l1 = new label(), *l2 = new label();
    tc->add(new SWAP());
    tc->add(new IFNE(l0));
    tc->add(new POP());
    tc->add(new ICONST_0());
    tc->add(new GOTO(l2));
    tc->add(new codeLabel(l0->toString()));
    tc->add(new IFNE(l1));
    tc->add(new ICONST_0());
    tc->add(new GOTO(l2));
    tc->add(new codeLabel(l1->toString()));
    tc->add(new ICONST_1());
    tc->add(new codeLabel(l2->toString()));
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xb8(%rbp)
callq 0x212a0
jmp 0x29741
movq -0xb8(%rbp), %rax
movq %rax, -0x18(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xc0(%rbp)
callq 0x212a0
jmp 0x2976a
movq -0xc0(%rbp), %rax
movq %rax, -0x30(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xc8(%rbp)
callq 0x212a0
jmp 0x29793
movq -0xc8(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xd8(%rbp)
movl $0x10, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xd0(%rbp)
callq 0x24d00
jmp 0x297c7
movq -0xd0(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0xe0(%rbp)
je 0x297ef
movq -0xd0(%rbp), %rax
addq $0x8, %rax
movq %rax, -0xe0(%rbp)
movq -0xd8(%rbp), %rdi
movq -0xe0(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0xf0(%rbp)
movl $0x18, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xe8(%rbp)
movq -0x18(%rbp), %rsi
callq 0x21c70
jmp 0x29832
movq -0xe8(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0xf8(%rbp)
je 0x2985a
movq -0xe8(%rbp), %rax
addq $0x8, %rax
movq %rax, -0xf8(%rbp)
movq -0xf0(%rbp), %rdi
movq -0xf8(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x108(%rbp)
movl $0x10, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x100(%rbp)
callq 0x234c0
jmp 0x29899
movq -0x100(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x110(%rbp)
je 0x298c1
movq -0x100(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x110(%rbp)
movq -0x108(%rbp), %rdi
movq -0x110(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x120(%rbp)
movl $0x10, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x118(%rbp)
callq 0x236a0
jmp 0x29900
movq -0x118(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x128(%rbp)
je 0x29928
movq -0x118(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x128(%rbp)
movq -0x120(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x138(%rbp)
movl $0x18, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x130(%rbp)
movq -0x38(%rbp), %rsi
callq 0x23de0
jmp 0x2996b
movq -0x130(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x140(%rbp)
je 0x29993
movq -0x130(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x140(%rbp)
movq -0x138(%rbp), %rdi
movq -0x140(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x150(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, -0x148(%rbp)
movb $0x1, -0x59(%rbp)
movq -0x18(%rbp), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x58(%rbp), %rdi
callq *%rax
jmp 0x299db
movq -0x148(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x21560
jmp 0x299ed
movq -0x148(%rbp), %rsi
movq -0x150(%rbp), %rdi
movb $0x0, -0x59(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x29a09
leaq -0x58(%rbp), %rdi
callq 0x9658
movq -0x10(%rbp), %rax
movq %rax, -0x160(%rbp)
movl $0x18, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x158(%rbp)
movq -0x30(%rbp), %rsi
callq 0x21c70
jmp 0x29a3f
movq -0x158(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x168(%rbp)
je 0x29a67
movq -0x158(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x168(%rbp)
movq -0x160(%rbp), %rdi
movq -0x168(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x178(%rbp)
movl $0x10, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x170(%rbp)
callq 0x236a0
jmp 0x29aa6
movq -0x170(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x180(%rbp)
je 0x29ace
movq -0x170(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x180(%rbp)
movq -0x178(%rbp), %rdi
movq -0x180(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x190(%rbp)
movl $0x18, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x188(%rbp)
movq -0x38(%rbp), %rsi
callq 0x23de0
jmp 0x29b11
movq -0x188(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x198(%rbp)
je 0x29b39
movq -0x188(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x198(%rbp)
movq -0x190(%rbp), %rdi
movq -0x198(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x1a8(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, -0x1a0(%rbp)
movb $0x1, -0x81(%rbp)
movq -0x30(%rbp), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x80(%rbp), %rdi
callq *%rax
jmp 0x29b84
movq -0x1a0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x21560
jmp 0x29b96
movq -0x1a0(%rbp), %rsi
movq -0x1a8(%rbp), %rdi
movb $0x0, -0x81(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x29bb5
leaq -0x80(%rbp), %rdi
callq 0x9658
movq -0x10(%rbp), %rax
movq %rax, -0x1b8(%rbp)
movl $0x10, %edi
callq 0x9350
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x1b0(%rbp)
callq 0x24730
jmp 0x29be7
movq -0x1b0(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x1c0(%rbp)
je 0x29c0f
movq -0x1b0(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x1c0(%rbp)
movq -0x1b8(%rbp), %rdi
movq -0x1c0(%rbp), %rsi
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
movq -0x10(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movl $0x30, %edi
callq 0x9350
movq %rax, -0x1c8(%rbp)
movb $0x1, -0xa9(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0xa8(%rbp), %rdi
callq *%rax
jmp 0x29c5d
movq -0x1c8(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x21560
jmp 0x29c72
movq -0x1c8(%rbp), %rsi
movq -0x1d0(%rbp), %rdi
movb $0x0, -0xa9(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x29c91
leaq -0xa8(%rbp), %rdi
callq 0x9658
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
movq -0xb8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0xc0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0xc8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0xd0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29f01
movq -0xe8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29f01
movq -0x100(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29f01
movq -0x118(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29f01
movq -0x130(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29f01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x29dd9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x9658
testb $0x1, -0x59(%rbp)
jne 0x29de1
jmp 0x29df2
movq -0x148(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0x158(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29f01
movq -0x170(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29f01
movq -0x188(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29f01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x29e80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x9658
testb $0x1, -0x81(%rbp)
jne 0x29e8b
jmp 0x29e9c
movq -0x1a0(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0x1b0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29f01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x29ee3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x9658
testb $0x1, -0xa9(%rbp)
jne 0x29eee
jmp 0x29eff
movq -0x1c8(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29f01
movq -0x20(%rbp), %rdi
callq 0x95b0
nopw (%rax,%rax)