// File: prippa[P]Abstract-VM/source/CommandsExecutor.class.cpp
// Function: CommandsExecutor::ce_assert(Base&)
void	CommandsExecutor::ce_assert(Base & bs)
{
	if (bs.stack_.empty())
		throw Exceptions::EmptyStackError(bs.result_[REGEX_CMD_INDEX]);
	right_ = fac_.createOperand(
		type_[bs.result_[REGEX_TYPE_INDEX]],
		bs.result_[REGEX_VALUE_INDEX]);
	left_ = bs.stack_.back();
	if (!(*right_ == *left_))
	{
		std::string left_str =  left_->toString();
		left_ = nullptr;
		throw Exceptions::AssertError(right_->toString(), left_str);
	}
	left_ = nullptr;
	ce_del_io(&right_);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x10(%rbp), %rdi
addq $0xa0, %rdi
callq 0x3c5f0
testb $0x1, %al
jne 0x3b377
jmp 0x3b42a
movb $0x1, -0x3d(%rbp)
movl $0x28, %edi
callq 0x7200
movq %rax, -0xb8(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
movl $0x1, %esi
callq 0x9be0
movq %rax, -0xb0(%rbp)
jmp 0x3b3a7
movq -0xb0(%rbp), %rsi
leaq -0x30(%rbp), %rdi
callq 0x3c610
jmp 0x3b3b9
movq -0xb8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x8320
jmp 0x3b3cb
movq -0xb8(%rbp), %rdi
movb $0x0, -0x3d(%rbp)
leaq 0x2425b(%rip), %rsi     # 0x5f638
leaq -0x327b4(%rip), %rdx    # 0x8c30
callq 0x76e0
jmp 0x3b64e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x3b411
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x7290
testb $0x1, -0x3d(%rbp)
jne 0x3b419
jmp 0x3b425
movq -0xb8(%rbp), %rdi
callq 0x7340
jmp 0x3b645
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
movl $0x2, %esi
callq 0x9be0
movq %rax, %rsi
leaq -0x60(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x3c610
movq -0xa8(%rbp), %rdi
movq -0xc8(%rbp), %rsi
callq 0x3c950
movq %rax, -0xc0(%rbp)
jmp 0x3b46b
movq -0xc0(%rbp), %rax
movl (%rax), %eax
movl %eax, -0xd4(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
movl $0x3, %esi
callq 0x9be0
movq %rax, -0xd0(%rbp)
jmp 0x3b495
movq -0xd0(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x3c610
jmp 0x3b4a7
movl -0xd4(%rbp), %esi
leaq 0x253a4(%rip), %rdi     # 0x60858
leaq -0x80(%rbp), %rdx
callq 0x33180
movq %rax, -0xe0(%rbp)
jmp 0x3b4c6
movq -0xa8(%rbp), %rax
movq -0xe0(%rbp), %rcx
movq %rcx, 0x60(%rax)
leaq -0x80(%rbp), %rdi
callq 0x7290
leaq -0x60(%rbp), %rdi
callq 0x7290
movq -0x10(%rbp), %rdi
addq $0xa0, %rdi
callq 0x3c640
movq %rax, %rcx
movq -0xa8(%rbp), %rax
movq (%rcx), %rcx
movq %rcx, 0x68(%rax)
movq 0x60(%rax), %rdi
movq 0x68(%rax), %rsi
movq (%rdi), %rax
callq *0x38(%rax)
testb $0x1, %al
jne 0x3b621
movq -0xa8(%rbp), %rax
movq 0x68(%rax), %rdi
movq (%rdi), %rax
movq 0x50(%rax), %rax
callq *%rax
movq %rax, %rsi
leaq -0xa0(%rbp), %rdi
callq 0x71c0
movq -0xa8(%rbp), %rax
movq $0x0, 0x68(%rax)
movl $0x28, %edi
callq 0x7200
movq %rax, %rcx
movq -0xa8(%rbp), %rax
movq %rcx, -0xf0(%rbp)
movq 0x60(%rax), %rdi
movq (%rdi), %rax
movq 0x50(%rax), %rax
callq *%rax
movq %rax, -0xe8(%rbp)
jmp 0x3b584
movq -0xe8(%rbp), %rsi
movq -0xf0(%rbp), %rdi
leaq -0xa0(%rbp), %rdx
callq 0x8180
jmp 0x3b5a0
movq -0xf0(%rbp), %rdi
leaq 0x24072(%rip), %rsi     # 0x5f620
leaq -0x329f5(%rip), %rdx    # 0x8bc0
callq 0x76e0
jmp 0x3b64e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x3b5e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x7290
leaq -0x60(%rbp), %rdi
callq 0x7290
jmp 0x3b645
movq -0xf0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0x7340
jmp 0x3b613
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x7290
jmp 0x3b645
movq -0xa8(%rbp), %rdi
movq $0x0, 0x68(%rdi)
movq %rdi, %rsi
addq $0x60, %rsi
callq 0x3a340
addq $0xf0, %rsp
popq %rbp
retq
movq -0x38(%rbp), %rdi
callq 0x7730
nop