// File: /workspace/github_cpp_makefile_star2_O1/iamlouk[P]asbi/src/ast.cc
// Function: ast::If::to_vmops(asbi::Context*, std::vector<asbi::OpCode, std::allocator<asbi::OpCode>>&) const
void If::to_vmops(Context* ctx, std::vector<OpCode> &ops) const {
	cond->to_vmops(ctx, ops);
	ops.push_back(OpCode::IF_TRUE_GOTO);
	ops.push_back(OpCode::NOOP);
	auto pos1 = ops.size() - 1;
	ops.push_back(OpCode::ENTER_SCOPE);
	if (elsebody)
		elsebody->to_vmops(ctx, ops);
	else
		ops.push_back(OpCode::PUSH_NIL);
	ops.push_back(OpCode::LEAVE_SCOPE);
	ops.push_back(OpCode::GOTO);
	ops.push_back(OpCode::NOOP);
	auto pos2 = ops.size() - 1;
	*(ops.data() + pos1) = static_cast<OpCode>(ops.size());
	ops.push_back(OpCode::ENTER_SCOPE);
	ifbody->to_vmops(ctx, ops);
	ops.push_back(OpCode::LEAVE_SCOPE);
	*(ops.data() + pos2) = static_cast<OpCode>(ops.size());
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq 0x8(%rdi), %rdi
movq (%rdi), %rax
callq *0x18(%rax)
movq $0x21, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe2b6
movq $0x21, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe2c3
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0x23, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe2e7
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe2f4
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x8(%rbx), %rsi
movq %rsi, %r12
subq (%rbx), %r12
movq $0xa, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xe31e
movq $0xa, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe32b
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x18(%r15), %rdi
testq %rdi, %rdi
je 0xe342
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
jmp 0xe373
movq $0x4, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe366
movq $0x4, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe373
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0xb, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe397
movq $0xb, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe3a4
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0x20, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe3c8
movq $0x20, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe3d5
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq $0x23, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe3f9
movq $0x23, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe406
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq (%rbx), %rax
movq 0x8(%rbx), %rsi
movq %rsi, %r13
subq %rax, %r13
movq %r13, %rcx
sarq $0x3, %rcx
movq %rcx, -0x8(%rax,%r12)
movq $0xa, 0x8(%rsp)
cmpq 0x10(%rbx), %rsi
je 0xe43f
movq $0xa, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe44c
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq 0x10(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %rbx, %rdx
callq *0x18(%rax)
movq $0xb, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0xe480
movq $0xb, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rbx)
jmp 0xe48d
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xedae
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movq %rcx, -0x8(%rax,%r13)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq