// File: 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:
subq $0x108, %rsp            # imm = 0x108
movq %rdi, 0x100(%rsp)
movq %rsi, 0xf8(%rsp)
movq %rdx, 0xf0(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x20(%rsp)
movl 0x8(%rax), %eax
movq %rax, 0x28(%rsp)
subq $0xb, %rax
ja 0x1e35c
movq 0x28(%rsp), %rax
leaq 0x1b13a(%rip), %rcx     # 0x38e04
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x10, 0xe8(%rsp)
leaq 0xe8(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x11, 0xe0(%rsp)
leaq 0xe0(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x12, 0xd8(%rsp)
leaq 0xd8(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x13, 0xd0(%rsp)
leaq 0xd0(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x21, 0xc8(%rsp)
leaq 0xc8(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0xc0(%rsp)
movq 0xf0(%rsp), %rdi
movq $0x23, 0xb8(%rsp)
leaq 0xb8(%rsp), %rsi
callq 0x1f840
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x20, 0xb0(%rsp)
leaq 0xb0(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0xa8(%rsp)
movq 0xf0(%rsp), %rdi
movq $0x23, 0xa0(%rsp)
leaq 0xa0(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0x10(%rsp)
movq 0xf0(%rsp), %rdi
callq 0x1f980
movq 0x10(%rsp), %rdx
movq 0xc0(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0xf0(%rsp), %rdi
movq $0x2, 0x98(%rsp)
leaq 0x98(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0x18(%rsp)
movq 0xf0(%rsp), %rdi
callq 0x1f980
movq 0x18(%rsp), %rdx
movq 0xa8(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x21, 0x90(%rsp)
leaq 0x90(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0x88(%rsp)
movq 0xf0(%rsp), %rdi
movq $0x23, 0x80(%rsp)
leaq 0x80(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
movq $0x3, 0x78(%rsp)
leaq 0x78(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
movq $0x20, 0x70(%rsp)
leaq 0x70(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0x68(%rsp)
movq 0xf0(%rsp), %rdi
movq $0x23, 0x60(%rsp)
leaq 0x60(%rsp), %rsi
callq 0x1f840
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, (%rsp)
movq 0xf0(%rsp), %rdi
callq 0x1f980
movq (%rsp), %rsi
movq %rax, %rcx
movq 0x20(%rsp), %rax
movq 0x88(%rsp), %rdx
movq %rsi, (%rcx,%rdx,8)
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
callq 0x1d050
movq %rax, 0x8(%rsp)
movq 0xf0(%rsp), %rdi
callq 0x1f980
movq 0x8(%rsp), %rdx
movq 0x68(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x14, 0x58(%rsp)
leaq 0x58(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x15, 0x50(%rsp)
leaq 0x50(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x17, 0x48(%rsp)
leaq 0x48(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x19, 0x40(%rsp)
leaq 0x40(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x16, 0x38(%rsp)
leaq 0x38(%rsp), %rsi
callq 0x1f840
jmp 0x1e35c
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rdi
movq 0xf8(%rsp), %rsi
movq 0xf0(%rsp), %rdx
movq (%rdi), %rax
callq *0x18(%rax)
movq 0xf0(%rsp), %rdi
movq $0x18, 0x30(%rsp)
leaq 0x30(%rsp), %rsi
callq 0x1f840
addq $0x108, %rsp            # imm = 0x108
retq
nopw %cs:(%rax,%rax)