// File: /workspace/github_cpp_makefile_star2_O1/vsklad[P]cgen/./bal/cnf/processor/cnfprocessor.hpp
// Function: void bal::CnfProcessor::rebuild_clauses<bal::CnfOptimizer, &bal::CnfOptimizer::_normalize_clause(unsigned int*) const>(bal::CnfOptimizer const*, bool) const
inline void rebuild_clauses(const CALLER_T* const p_caller, const bool b_safe_mode) const {
            _assert_level_1(!cnf_.transaction_is_in());
            if (b_safe_mode) {
                // make a sorted list of all used container offsets
                // then basically d the same thing as unsafe while limiting to these offsets
                std::vector<container_offset_t> offsets;
                for (auto it: cnf_.clauses()) {
                    offsets.push_back((container_offset_t)(it - clauses_data_));
                };
                std::sort(offsets.begin(), offsets.end());
                // rollback after collecting the offsets
                cnf_.rollback(0, 0, 0);
                // add the clauses back
                for (auto i = 0; i < offsets.size(); i++) {
                    uint32_t* const p_clause = _clauses_offset_clause(clauses_data_, offsets[i]);
                    if ((p_caller->*p_update_clause)(p_clause)) {
                        Cnf::insertion_point_t insertion_point;
                        __insertion_point_t_init(insertion_point);
                        clauses_.append<false>(p_clause, insertion_point);
                    };
                };
            } else {
                const container_size_t original_size_ = cnf_.size_;
                cnf_.rollback(0, 0, 0);
                uint32_t offset = 0;
                while (offset < original_size_) {
                    uint32_t* const p_clause = _clauses_offset_clause(clauses_data_, offset);
                    // p_clause size may change
                    const clause_size_t clause_size = _clause_size(p_clause);
                    if ((p_caller->*p_update_clause)(p_clause)) {
                        Cnf::insertion_point_t insertion_point;
                        __insertion_point_t_init(insertion_point);
                        clauses_.append<false>(p_clause, insertion_point);
                    };
                    _clauses_offset_size_next(offset, clause_size);
                };
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rsi, -0x50(%rbp)
movq 0x8(%rdi), %rbx
cmpl $-0x1, 0xc8(%rbx)
jne 0x1403a
movq %rdi, %r14
leaq 0x78(%rbx), %rsi
testb %dl, %dl
je 0x13e3a
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
movq $0x0, -0x60(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x1, %edx
callq 0x14afa
movl 0xb0(%rbx), %r15d
cmpl %r15d, -0x30(%rbp)
jne 0x13d01
cmpl $-0x1, -0x2c(%rbp)
je 0x13eee
leaq -0x48(%rbp), %rdi
callq 0x14148
movq 0x18(%r14), %rcx
subq (%rcx), %rax
shrq $0x2, %rax
movl %eax, -0x74(%rbp)
movq -0x68(%rbp), %rsi
cmpq -0x60(%rbp), %rsi
je 0x13d2e
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x68(%rbp)
jmp 0x13d3b
leaq -0x70(%rbp), %rdi
leaq -0x74(%rbp), %rdx
callq 0xfb44
movq -0x48(%rbp), %rcx
movl 0x38(%rcx), %eax
testq %rax, %rax
je 0x13cf1
movl -0x34(%rbp), %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
cmpq %rdx, %rsi
je 0x13d98
movq -0x40(%rbp), %rdx
movq 0x8(%rdx), %rdx
movl 0x4(%rdx,%rsi,4), %edi
cmpl $-0x1, %edi
je 0x13d75
movl %edi, -0x34(%rbp)
movl %edi, %esi
movl 0x8(%rdx,%rsi,4), %edi
cmpl $-0x1, %edi
jne 0x13d65
jmp 0x13d98
movl (%rdx,%rsi,4), %edi
cmpl $-0x1, %edi
je 0x13d95
movl %esi, %r8d
movl %edi, %esi
movl %edi, %edi
cmpl %r8d, 0x4(%rdx,%rdi,4)
jne 0x13d93
movl %esi, -0x34(%rbp)
movl (%rdx,%rdi,4), %edi
jmp 0x13d78
movl %esi, %edi
movl %edi, -0x34(%rbp)
movl -0x34(%rbp), %edx
movl %edx, -0x2c(%rbp)
cmpl $-0x1, %edx
jne 0x13cf1
movl -0x30(%rbp), %esi
incl %esi
movl %esi, -0x30(%rbp)
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
cmpl %eax, %esi
jae 0x13e32
movq 0x30(%rcx), %r8
movl %esi, %edi
movb $0x1, %r9b
cmpl $-0x1, (%r8,%rdi,4)
je 0x13dcd
movq %rdi, %rcx
jmp 0x13df4
leaq -0x1(%rax), %rsi
leal 0x1(%rdi), %ecx
movl %ecx, -0x30(%rbp)
cmpq %rdi, %rsi
je 0x13e32
leaq 0x1(%rdi), %rcx
cmpl $-0x1, 0x4(%r8,%rdi,4)
movq %rcx, %rdi
je 0x13dd1
cmpq %rax, %rcx
setb %r9b
movl %ecx, %esi
testb %r9b, %r9b
je 0x13e32
movl %esi, -0x38(%rbp)
movq -0x40(%rbp), %rax
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
cmpl %esi, 0x38(%rax)
jbe 0x13e11
movq 0x30(%rax), %rdx
movl (%rdx,%rcx,4), %edx
movl %edx, -0x34(%rbp)
cmpl $-0x1, %edx
je 0x13e2f
movq 0x8(%rax), %rax
movl %edx, %ecx
movl 0x8(%rax,%rcx,4), %ecx
cmpl $-0x1, %ecx
je 0x13e2f
movl %ecx, -0x34(%rbp)
movl %ecx, %ecx
jmp 0x13e1f
movl -0x34(%rbp), %edx
movl %edx, -0x2c(%rbp)
jmp 0x13cf1
movl 0x88(%rbx), %r13d
movq 0x78(%rbx), %rax
xorl %r15d, %r15d
movq %rsi, %rdi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq *(%rax)
testl %r13d, %r13d
je 0x13fed
movq 0x18(%r14), %rax
movq (%rax), %rax
movl %r15d, %ecx
leaq (%rax,%rcx,4), %r12
addq $0xc, %r12
movl (%r12), %ebx
movl $0x7fff, %eax           # imm = 0x7FFF
andl %eax, %ebx
cmpl $0x4, %ebx
ja 0x13e8f
movq -0x50(%rbp), %rdi
movq %r12, %rsi
movq %r12, %rdx
callq 0x141ac
jmp 0x13e9e
movq -0x50(%rbp), %rdi
movq %r12, %rsi
movq %r12, %rdx
callq 0x143c8
cmpl $0x3, %eax
je 0x13ed9
cmpl $0x4, %eax
je 0x13ffc
movzwl (%r12), %ecx
testl $0x7fff, %ecx           # imm = 0x7FFF
je 0x1401b
cmpl $0x3, %eax
je 0x13ed9
movl $0xffffffff, -0x44(%rbp) # imm = 0xFFFFFFFF
movq 0x10(%r14), %rdi
movq %r12, %rsi
leaq -0x48(%rbp), %rdx
callq 0x113ba
addl %ebx, %r15d
addl $0x4, %r15d
cmpl %r13d, %r15d
jb 0x13e5c
jmp 0x13fed
movq -0x70(%rbp), %r15
movq -0x68(%rbp), %r12
cmpq %r12, %r15
je 0x13f28
movq %r12, %rax
subq %r15, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %r12, %rsi
callq 0x14bb8
movq %r15, %rdi
movq %r12, %rsi
callq 0x14c99
movq 0x8(%r14), %rdi
movq 0x78(%rdi), %rax
addq $0x78, %rdi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq *(%rax)
movq -0x70(%rbp), %rdi
cmpq %rdi, -0x68(%rbp)
je 0x13fe3
xorl %r13d, %r13d
movl $0x7fff, %r15d          # imm = 0x7FFF
leaq -0x48(%rbp), %rbx
movq 0x18(%r14), %rax
movq (%rax), %rax
movl (%rdi,%r13,4), %ecx
leaq (%rax,%rcx,4), %r12
addq $0xc, %r12
movl (%r12), %eax
andl %r15d, %eax
cmpl $0x4, %eax
ja 0x13f87
movq -0x50(%rbp), %rdi
movq %r12, %rsi
movq %r12, %rdx
callq 0x141ac
jmp 0x13f96
movq -0x50(%rbp), %rdi
movq %r12, %rsi
movq %r12, %rdx
callq 0x143c8
cmpl $0x3, %eax
je 0x13fc8
cmpl $0x4, %eax
je 0x13ffc
movzwl (%r12), %ecx
testl $0x7fff, %ecx           # imm = 0x7FFF
je 0x1401b
cmpl $0x3, %eax
je 0x13fc8
movl $0xffffffff, -0x44(%rbp) # imm = 0xFFFFFFFF
movq 0x10(%r14), %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x113ba
incq %r13
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rax
subq %rdi, %rax
sarq $0x2, %rax
cmpq %r13, %rax
ja 0x13f57
testq %rdi, %rdi
je 0x13fed
callq 0xc280
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x30359(%rip), %rdi     # 0x4435c
leaq 0x2fdee(%rip), %rsi     # 0x43df8
leaq 0x30360(%rip), %rcx     # 0x44371
movl $0x472, %edx            # imm = 0x472
callq 0xc180
leaq 0x30390(%rip), %rdi     # 0x443b2
leaq 0x2fdcf(%rip), %rsi     # 0x43df8
leaq 0x30341(%rip), %rcx     # 0x44371
movl $0x473, %edx            # imm = 0x473
callq 0xc180
leaq 0x30233(%rip), %rdi     # 0x44274
leaq 0x30246(%rip), %rsi     # 0x4428e
leaq 0x30264(%rip), %rcx     # 0x442b3
movl $0x52, %edx
callq 0xc180
jmp 0x14061
jmp 0x14061
jmp 0x14061
jmp 0x14061
movq %rax, %rbx
movq -0x70(%rbp), %rdi
testq %rdi, %rdi
je 0x14072
callq 0xc280
movq %rbx, %rdi
callq 0xc4e0