// File: /workspace/github_cpp_makefile_star2_O3/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, %r14
testl %edx, %edx
je 0x11039
movl %edx, %ebx
movl %esi, %r12d
movq 0x8(%r14), %rdi
addq $0x78, %rdi
callq 0x11708
movl %eax, %r15d
movzbl %r12b, %esi
movq %r14, %rdi
movl %ebx, %edx
callq 0x118ca
testb %al, %al
je 0x1104f
movq 0x4b105(%rip), %rbx     # 0x5bfb0
leaq 0x30fa4(%rip), %rsi     # 0x41e56
movl $0xb, %edx
movq %rbx, %rdi
callq 0xb320
movq (%rbx), %rax
movq -0x18(%rax), %rax
movl 0x18(%rbx,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%rbx,%rax)
leaq 0x30f87(%rip), %r12     # 0x41e62
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0xb320
movq 0xb8(%r14), %rax
movl 0x8(%rax), %esi
movq %rbx, %rdi
callq 0xb190
movq %rax, %r13
leaq 0x354cf(%rip), %rsi     # 0x463d6
movl $0x2, %edx
movq %rax, %rdi
callq 0xb320
movl %r15d, %r15d
movq %r13, %rdi
movq %r15, %rsi
callq 0xb190
leaq 0x30f3b(%rip), %r13     # 0x41e64
movl $0x5, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0xb320
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0xb320
movq 0x8(%r14), %rdi
movq (%rdi), %rax
callq *0x58(%rax)
movl %eax, %esi
movq 0xb8(%r14), %rax
movl 0x8(%rax), %eax
subq %rax, %rsi
movq %rbx, %rdi
callq 0xb290
movl $0x2, %edx
movq %rax, %rdi
leaq 0x3545d(%rip), %rsi     # 0x463d6
callq 0xb320
movq 0x8(%r14), %rdi
addq $0x78, %rdi
callq 0x11708
movl %eax, %esi
subq %r15, %rsi
movq %rbx, %rdi
callq 0xb290
movl $0x5, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0xb320
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0xb320
movq 0x8(%r14), %rdi
movq (%rdi), %rax
callq *0x58(%rax)
movl %eax, %esi
movq %rbx, %rdi
callq 0xb190
movq %rax, %r15
movl $0x2, %edx
movq %rax, %rdi
leaq 0x353f8(%rip), %rsi     # 0x463d6
callq 0xb320
movq 0x8(%r14), %rdi
addq $0x78, %rdi
callq 0x11708
movl %eax, %esi
movq %r15, %rdi
callq 0xb190
leaq 0x3affa(%rip), %rsi     # 0x4bffb
movl $0x1, %edx
movq %rax, %rdi
callq 0xb320
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movb $0x1, %al
jmp 0x11051
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1141a
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq