// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rsi, %r14
leaq 0xa0(%rsi), %rax
cmpq %rax, 0xa0(%rsi)
je 0x1ed04
movq %rdi, %rbx
movq 0x20(%r14), %rax
movq 0x28(%r14), %rcx
movabsq $-0x5555555555555555, %r15 # imm = 0xAAAAAAAAAAAAAAAB
subq %rax, %rcx
je 0x1ebdd
movq %rcx, %rdx
sarq $0x3, %rdx
imulq %r15, %rdx
addq $-0x6, %rdx
cmpq $-0x4, %rdx
ja 0x1ebdd
addq $0x30, %rax
jmp 0x1ebe4
addq %rcx, %rax
addq $-0x48, %rax
cmpb $0x1, 0x10(%rax)
leaq -0x30(%rbp), %r12
jne 0x1ec03
movq (%rax), %rsi
movq 0x8(%rax), %rdx
leaq -0x40(%rbp), %rdi
movq %r12, (%rdi)
callq 0x16c24
jmp 0x1ec13
movq %r12, -0x40(%rbp)
movq $0x0, -0x38(%rbp)
movb $0x0, -0x30(%rbp)
leaq -0x40(%rbp), %rsi
movq %rbx, %rdi
callq 0x1f908
movq 0x20(%r14), %rcx
movq 0x28(%r14), %rdx
subq %rcx, %rdx
je 0x1ec47
movq %rdx, %rsi
sarq $0x3, %rsi
imulq %r15, %rsi
addq $-0x7, %rsi
cmpq $-0x5, %rsi
ja 0x1ec47
addq $0x48, %rcx
jmp 0x1ec4e
addq %rdx, %rcx
addq $-0x48, %rcx
movl (%rax), %r15d
cmpb $0x1, 0x10(%rcx)
jne 0x1ec71
movq (%rcx), %rsi
movq 0x8(%rcx), %rdx
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
leaq -0x60(%rbp), %rdi
callq 0x16c24
jmp 0x1ec84
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0xeabd(%rip), %rdi      # 0x2d748
leaq -0x60(%rbp), %rdx
movl %r15d, %esi
callq 0x16888
movq %rax, 0x60(%rbx)
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ecad
callq 0x6340
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x1ecbb
callq 0x6340
movq 0xa8(%r14), %rax
movq 0x10(%rax), %rsi
movq %rsi, 0x68(%rbx)
movq 0x60(%rbx), %rdi
movq (%rdi), %rax
callq *0x38(%rax)
testb %al, %al
je 0x1ed47
movq $0x0, 0x68(%rbx)
movq 0x60(%rbx), %rdi
testq %rdi, %rdi
je 0x1ecef
movq (%rdi), %rax
callq *0x60(%rax)
movq $0x0, 0x60(%rbx)
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x28, %edi
callq 0x61d0
movq %rax, %r15
movq 0x20(%r14), %rsi
movq 0x28(%r14), %rax
subq %rsi, %rax
je 0x1edad
movq %rax, %rcx
sarq $0x3, %rcx
movabsq $-0x5555555555555555, %rdx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rdx
addq $-0x5, %rdx
cmpq $-0x3, %rdx
ja 0x1edad
addq $0x18, %rsi
jmp 0x1edb4
movq 0x68(%rbx), %rdi
movq (%rdi), %rax
callq *0x50(%rax)
leaq -0x40(%rbp), %rdi
movq %r12, (%rdi)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x88b2
movq $0x0, 0x68(%rbx)
movl $0x28, %edi
callq 0x61d0
movq %rax, %r14
movq 0x60(%rbx), %rdi
movq (%rdi), %rax
callq *0x50(%rax)
leaq -0x40(%rbp), %rdx
movq %r14, %rdi
movq %rax, %rsi
callq 0x7084
leaq 0xd964(%rip), %rsi      # 0x2c700
leaq -0x17303(%rip), %rdx    # 0x7aa0
movq %r14, %rdi
callq 0x6550
jmp 0x1ede5
addq %rax, %rsi
addq $-0x48, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1f8c0
movb $0x1, %r14b
leaq -0x40(%rbp), %rsi
movq %r15, %rdi
callq 0x72a6
xorl %r14d, %r14d
leaq 0xd942(%rip), %rsi      # 0x2c718
leaq -0x172cd(%rip), %rdx    # 0x7b10
movq %r15, %rdi
callq 0x6550
jmp 0x1ee36
jmp 0x1ee36
movq %rax, %rbx
leaq -0x30(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1edfe
callq 0x6340
testb %r14b, %r14b
jne 0x1ee08
jmp 0x1ee47
movq %rax, %rbx
movq %r15, %rdi
callq 0x62b0
jmp 0x1ee47
movq %rax, %rbx
movq %r14, %rdi
callq 0x62b0
jmp 0x1ee39
movq %rax, %rbx
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ee39
callq 0x6340
jmp 0x1ee39
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x1ee47
callq 0x6340
movq %rbx, %rdi
callq 0x6560
nop