// File: /workspace/github_cpp_makefile_star2_O1/iamlouk[P]asbi/src/ast.cc
// Function: ast::InfixOperator::to_vmops(asbi::Context*, std::vector<asbi::OpCode, std::allocator<asbi::OpCode>>&) const
void InfixOperator::to_vmops(Context* ctx, std::vector<OpCode> &ops) const {
	switch (type) {
	case InfixOperator::Add:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::ADD);
		return;
	case InfixOperator::Sub:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::SUB);
		return;
	case InfixOperator::Mul:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::MUL);
		return;
	case InfixOperator::Div:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::DIV);
		return;
	case InfixOperator::Or:{
		// a | b <-> if a { true } else { b }
		lhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::IF_TRUE_GOTO);
		auto pos_iftrue = ops.size();
		ops.push_back(OpCode::NOOP);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::GOTO);
		auto pos_end = ops.size();
		ops.push_back(OpCode::NOOP);
		*(ops.data() + pos_iftrue) = static_cast<OpCode>(ops.size());
		ops.push_back(OpCode::PUSH_TRUE);
		*(ops.data() + pos_end) = static_cast<OpCode>(ops.size());
		return;
	}
	case InfixOperator::And:{
		// a & b <-> if a { b } else { false }
		lhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::IF_TRUE_GOTO);
		auto pos_iftrue = ops.size();
		ops.push_back(OpCode::NOOP);
		ops.push_back(OpCode::PUSH_FALSE);
		ops.push_back(OpCode::GOTO);
		auto pos_end = ops.size();
		ops.push_back(OpCode::NOOP);
		*(ops.data() + pos_iftrue) = static_cast<OpCode>(ops.size());
		rhs->to_vmops(ctx, ops);
		*(ops.data() + pos_end) = static_cast<OpCode>(ops.size());
		return;
	}
	case InfixOperator::Equals:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::EQUALS);
		return;
	case InfixOperator::EqualsNot:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::EQUALS_NOT);
		return;
	case InfixOperator::Bigger:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::BIGGER);
		return;
	case InfixOperator::BiggerOrEqual:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::BIGGER_OR_EQUAL);
		return;
	case InfixOperator::Smaller:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::SMALLER);
		return;
	case InfixOperator::SmallerOrEqual:
		lhs->to_vmops(ctx, ops);
		rhs->to_vmops(ctx, ops);
		ops.push_back(OpCode::SMALLER_OR_EQUAL);
		return;
	}
}

// Assembly:
movl 0x8(%rdi), %eax
cmpq $0xb, %rax
ja 0xdd0c
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq 0xa558(%rip), %rcx      # 0x17d08
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x10, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x10, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x18, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x18, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x21, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdad9
movq $0x21, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdae6
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x19, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x19, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x12, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x12, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x13, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x13, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x15, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x15, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x11, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x11, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x21, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdbef
movq $0x21, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdbfc
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x14, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x14, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x16, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x16, (%rsi)
jmp 0xdaba
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x17, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdac7
movq $0x17, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdcff
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
jmp 0xdcff
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x8(%rbx), %rsi
movq %rsi, %r12
subq (%rbx), %r12
movq $0x23, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xdb10
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdb1d
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0x3, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdb41
movq $0x3, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdb4e
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0x20, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdb72
movq $0x20, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdb7f
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x8(%rbx), %rsi
movq %rsi, %r13
subq (%rbx), %r13
movq $0x23, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xdba9
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdbb6
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movq %rcx, (%rax,%r12)
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movq %rcx, (%rax,%r13)
jmp 0xdcff
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x8(%rbx), %rsi
movq %rsi, %r12
subq (%rbx), %r12
movq $0x23, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xdc26
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdc33
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x18(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0x20, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xdc67
movq $0x20, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdc74
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x8(%rbx), %rsi
movq %rsi, %r14
subq (%rbx), %r14
movq $0x23, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xdc9e
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdcab
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq (%rbx), %rax
movq 0x8(%rbx), %rsi
movq %rsi, %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movq %rcx, (%rax,%r12)
movq $0x2, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xdce0
movq $0x2, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xdced
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movq %rcx, (%rax,%r14)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nop