// File: /workspace/github_cpp_makefile_star2_O1/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 0x1ed0c
movq %rdi, %rbx
movq 0x20(%r14), %rcx
movq 0x28(%r14), %rax
movabsq $-0x5555555555555555, %r15 # imm = 0xAAAAAAAAAAAAAAAB
cmpq %rax, %rcx
je 0x1ebd1
movq %rax, %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
imulq %r15, %rdx
addq $-0x6, %rdx
cmpq $-0x3, %rdx
setb %dl
jmp 0x1ebd3
xorl %edx, %edx
addq $0x30, %rcx
addq $-0x48, %rax
testb %dl, %dl
cmovneq %rcx, %rax
cmpb $0x1, 0x10(%rax)
leaq -0x30(%rbp), %r12
jne 0x1ec00
movq (%rax), %rsi
movq 0x8(%rax), %rdx
leaq -0x40(%rbp), %rdi
movq %r12, (%rdi)
callq 0x16be2
jmp 0x1ec10
movq %r12, -0x40(%rbp)
movq $0x0, -0x38(%rbp)
movb $0x0, -0x30(%rbp)
leaq -0x40(%rbp), %rsi
movq %rbx, %rdi
callq 0x1f95e
movq 0x20(%r14), %rdx
movq 0x28(%r14), %rcx
cmpq %rcx, %rdx
je 0x1ec45
movq %rcx, %rsi
subq %rdx, %rsi
sarq $0x3, %rsi
imulq %r15, %rsi
addq $-0x7, %rsi
cmpq $-0x4, %rsi
setb %sil
jmp 0x1ec47
xorl %esi, %esi
movl (%rax), %r15d
addq $0x48, %rdx
addq $-0x48, %rcx
testb %sil, %sil
cmovneq %rdx, %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x1ec79
movq (%rcx), %rsi
movq 0x8(%rcx), %rdx
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
leaq -0x60(%rbp), %rdi
callq 0x16be2
jmp 0x1ec8c
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0xeab5(%rip), %rdi      # 0x2d748
leaq -0x60(%rbp), %rdx
movl %r15d, %esi
callq 0x16850
movq %rax, 0x60(%rbx)
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ecb5
callq 0x6340
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x1ecc3
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 0x1ed2d
movq $0x0, 0x68(%rbx)
movq 0x60(%rbx), %rdi
testq %rdi, %rdi
je 0x1ecf7
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), %rax
movq 0x28(%r14), %rsi
cmpq %rsi, %rax
jne 0x1ed93
xorl %ecx, %ecx
jmp 0x1edb6
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 0x88c0
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 0x7094
leaq 0xd94e(%rip), %rsi      # 0x2c6d0
leaq -0x172d9(%rip), %rdx    # 0x7ab0
movq %r14, %rdi
callq 0x6550
jmp 0x1edf5
movq %rsi, %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movabsq $-0x5555555555555555, %rdx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rdx
addq $-0x5, %rdx
cmpq $-0x2, %rdx
setb %cl
addq $0x18, %rax
addq $-0x48, %rsi
testb %cl, %cl
cmovneq %rax, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1f916
movb $0x1, %r14b
leaq -0x40(%rbp), %rsi
movq %r15, %rdi
callq 0x72b6
xorl %r14d, %r14d
leaq 0xd902(%rip), %rsi      # 0x2c6e8
leaq -0x172cd(%rip), %rdx    # 0x7b20
movq %r15, %rdi
callq 0x6550
jmp 0x1ee49
jmp 0x1ee49
movq %rax, %rbx
leaq -0x30(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ee16
callq 0x6340
jmp 0x1ee16
movq %rax, %rbx
movb $0x1, %r14b
testb %r14b, %r14b
je 0x1ee5a
movq %r15, %rdi
callq 0x62b0
jmp 0x1ee5a
movq %rax, %rbx
movq %r14, %rdi
callq 0x62b0
jmp 0x1ee4c
movq %rax, %rbx
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ee4c
callq 0x6340
jmp 0x1ee4c
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x1ee5a
callq 0x6340
movq %rbx, %rdi
callq 0x6560