// File: /workspace/github_cpp_makefile_star2_O1/vsklad[P]cgen/./bal/cnf/processor/cnfoptimizer.cpp
// Function: bal::CnfOptimizer::execute(bool, bal::FormulaProcessingMode)
bool CnfOptimizer::execute(const bool b_reindex_variables, const FormulaProcessingMode mode) {
        if (mode == fpmUnoptimized) {
            return assign_variable_values_unoptimized();
        } else {
            auto original_clauses_size = cnf_.clauses_size();
            
            bool result = base_execute(b_reindex_variables, mode);
            if (result) {
                std::cout << "Optimized: " << std::dec;
                std::cout << "(" << variables_.size() << ", " << original_clauses_size << ") -> ";
                std::cout << "(" << (signed long)cnf_.variables_size() - variables_.size() << ", ";
                std::cout << (signed long)cnf_.clauses_size() - original_clauses_size << ") -> ";
                std::cout << "(" << cnf_.variables_size() << ", " << cnf_.clauses_size() << ")";
                std::cout << std::endl;
            };
            return result;
        };
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r15
testl %edx, %edx
je 0x123da
movl %edx, %ebx
movl %esi, %r14d
movq 0x8(%r15), %rdi
addq $0x78, %rdi
callq 0x12aec
movl %eax, %r12d
movzbl %r14b, %esi
movq %r15, %rdi
movl %ebx, %edx
callq 0x12cb8
testb %al, %al
je 0x123cb
movq 0x4cd73(%rip), %r14     # 0x5efa8
leaq 0x31c0a(%rip), %rsi     # 0x43e46
movl $0xb, %edx
movq %r14, %rdi
movb %al, -0x29(%rbp)
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rax
movl 0x18(%r14,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%r14,%rax)
leaq 0x31be8(%rip), %rsi     # 0x43e52
movl $0x1, %edx
movq %r14, %rdi
callq 0xc320
movq 0xb8(%r15), %rax
movl 0x8(%rax), %esi
movq %r14, %rdi
callq 0xc190
movq %rax, %rbx
leaq 0x36133(%rip), %rsi     # 0x483c6
movl $0x2, %edx
movq %rax, %rdi
callq 0xc320
movl %r12d, %r13d
movq %rbx, %rdi
movq %r13, %rsi
callq 0xc190
leaq 0x31b9f(%rip), %r12     # 0x43e54
movl $0x5, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xc320
movl $0x1, %edx
movq %r14, %rdi
leaq 0x31b7e(%rip), %rbx     # 0x43e52
movq %rbx, %rsi
callq 0xc320
movq 0x8(%r15), %rdi
movq (%rdi), %rax
callq *0x58(%rax)
movl %eax, %esi
movq 0xb8(%r15), %rax
movl 0x8(%rax), %eax
subq %rax, %rsi
movq %r14, %rdi
callq 0xc290
movl $0x2, %edx
movq %rax, %rdi
leaq 0x360ba(%rip), %rsi     # 0x483c6
callq 0xc320
movq 0x8(%r15), %rdi
addq $0x78, %rdi
callq 0x12aec
movl %eax, %esi
subq %r13, %rsi
movq %r14, %rdi
callq 0xc290
movl $0x5, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xc320
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xc320
movq 0x8(%r15), %rdi
movq (%rdi), %rax
callq *0x58(%rax)
movl %eax, %esi
movq %r14, %rdi
callq 0xc190
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
leaq 0x36055(%rip), %rsi     # 0x483c6
callq 0xc320
movq 0x8(%r15), %rdi
addq $0x78, %rdi
callq 0x12aec
movl %eax, %esi
movq %rbx, %rdi
callq 0xc190
leaq 0x3bd67(%rip), %rsi     # 0x4e0fb
movl $0x1, %edx
movq %rax, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movb -0x29(%rbp), %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r15, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x12794