// File: martinda3[P]Compiler/src/JVM/JVMgenUtils.cpp
// Function: toyc::JVMgenUtils::gen_OR(toyc::TCtoken, toyc::JVMtargetCode*)
void JVMgenUtils::gen_OR(TCtoken tok, JVMtargetCode *tc) {
    label *l0 = new label(), *l1 = new label(), *l2 = new label();
    tc->add(new SWAP());
    tc->add(new IFEQ(l0));
    tc->add(new POP());
    tc->add(new ICONST_1());
    tc->add(new GOTO(l2));
    tc->add(new codeLabel(l0->toString()));
    tc->add(new IFEQ(l1));
    tc->add(new ICONST_1());
    tc->add(new GOTO(l2));
    tc->add(new codeLabel(l1->toString()));
    tc->add(new ICONST_0());
    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 0x28f41
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 0x28f6a
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 0x28f93
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 0x28fc7
movq -0xd0(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0xe0(%rbp)
je 0x28fef
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 0x24ff0
jmp 0x29032
movq -0xe8(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0xf8(%rbp)
je 0x2905a
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 0x29099
movq -0x100(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x110(%rbp)
je 0x290c1
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 0x24730
jmp 0x29100
movq -0x118(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x128(%rbp)
je 0x29128
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 0x2916b
movq -0x130(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x140(%rbp)
je 0x29193
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 0x291db
movq -0x148(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x21560
jmp 0x291ed
movq -0x148(%rbp), %rsi
movq -0x150(%rbp), %rdi
movb $0x0, -0x59(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x29209
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 0x24ff0
jmp 0x2923f
movq -0x158(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x168(%rbp)
je 0x29267
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 0x24730
jmp 0x292a6
movq -0x170(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x180(%rbp)
je 0x292ce
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 0x29311
movq -0x188(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x198(%rbp)
je 0x29339
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 0x29384
movq -0x1a0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x21560
jmp 0x29396
movq -0x1a0(%rbp), %rsi
movq -0x1a8(%rbp), %rdi
movb $0x0, -0x81(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x293b5
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 0x236a0
jmp 0x293e7
movq -0x1b0(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movq %rax, -0x1c0(%rbp)
je 0x2940f
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 0x2945d
movq -0x1c8(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x21560
jmp 0x29472
movq -0x1c8(%rbp), %rsi
movq -0x1d0(%rbp), %rdi
movb $0x0, -0xa9(%rbp)
movq (%rdi), %rax
movq (%rax), %rax
callq *%rax
jmp 0x29491
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 0x29701
movq -0xc0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x30, %esi
callq 0x9360
jmp 0x29701
movq -0xc8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x30, %esi
callq 0x9360
jmp 0x29701
movq -0xd0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29701
movq -0xe8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29701
movq -0x100(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29701
movq -0x118(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29701
movq -0x130(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29701
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x295d9
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 0x295e1
jmp 0x295f2
movq -0x148(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29701
movq -0x158(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29701
movq -0x170(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29701
movq -0x188(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x18, %esi
callq 0x9360
jmp 0x29701
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x29680
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 0x2968b
jmp 0x2969c
movq -0x1a0(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29701
movq -0x1b0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl $0x10, %esi
callq 0x9360
jmp 0x29701
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x296e3
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 0x296ee
jmp 0x296ff
movq -0x1c8(%rbp), %rdi
movl $0x30, %esi
callq 0x9360
jmp 0x29701
movq -0x20(%rbp), %rdi
callq 0x95b0
nopw (%rax,%rax)