// File: /workspace/github_cpp_makefile_star2_O1/vsklad[P]cgen/./bal/cnf/cnf/cnfclausescontainer.hpp
// Function: bal::CnfClausesIndexedContainer<false>::append_clause(unsigned int const*, unsigned short)
inline void append_clause(const literalid_t* const literals, const clause_size_t literals_size) {
            this->reserve(_clauses_offset_size_memory_size(literals_size));
            uint32_t* const p_clause = _clauses_offset_clause(this->data_, this->size_);
            std::copy(literals, literals + literals_size, _clause_literals(p_clause));
            
            const clause_size_t clause_size = normalize_clause_literals(_clause_literals(p_clause), literals_size);
            clause_flags_t clause_flags = 0;
            
            // if necessary, unnegate the literals and calculate the aggregated flag
            if (_clause_size_is_aggregated(clause_size)) {
                uint16_t clause_bitmap = 0;
                for (auto i = 0; i < clause_size; i++) {
                    if (literal_t__is_unnegated(_clause_literal(p_clause, i))) {
                        clause_bitmap |= 0x1 << i;
                    } else {
                        literal_t__unnegate(_clause_literal(p_clause, i));
                    };
                };
                clause_flags = 0x1 << clause_bitmap;
            };
            _clause_header_set(p_clause, clause_flags, clause_size);
            
            insertion_point_t insertion_point;
            __insertion_point_t_init(insertion_point);
            append<false>(p_clause, insertion_point);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %edx, %r15d
movq %rdi, %rbx
movl 0x10(%rdi), %ecx
movl 0x20(%rdi), %eax
leal (%r15,%rcx), %r12d
addl $0x4, %r12d
cmpl %r12d, %eax
jae 0x110b1
movl %eax, %ecx
shrl %ecx
addl %ecx, %r12d
cmpl %r12d, %eax
je 0x110b1
movq 0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x11056
movq %rsi, %r14
testl %r12d, %r12d
je 0x11096
movl %r12d, %esi
shlq $0x2, %rsi
callq 0xc470
testq %rax, %rax
je 0x11169
movq %rax, 0x8(%rbx)
jmp 0x110aa
testl %r12d, %r12d
je 0x1115d
movq %rsi, %r14
movl %r12d, %edi
shlq $0x2, %rdi
callq 0xc380
movq %rax, 0x8(%rbx)
testq %rax, %rax
jne 0x110a3
leaq 0x307a7(%rip), %rdi     # 0x41825
leaq 0x30732(%rip), %rsi     # 0x417b7
leaq 0x30743(%rip), %rcx     # 0x417cf
movl $0x38, %edx
callq 0xc180
callq 0xc350
movq $0x0, 0x8(%rbx)
movl $0x0, 0x10(%rbx)
movq %r14, %rsi
movl %r12d, 0x20(%rbx)
movq 0x8(%rbx), %r14
movq %rbx, -0x30(%rbp)
movl 0x10(%rbx), %ebx
leaq (%r14,%rbx,4), %r12
addq $0x10, %r12
movzwl %r15w, %r13d
testw %r15w, %r15w
je 0x110de
leal (,%r13,4), %edx
movq %r12, %rdi
callq 0xc450
leaq (%r14,%rbx,4), %r14
movq %r12, %rdi
movl %r13d, %esi
callq 0x112c2
xorl %esi, %esi
movzwl %ax, %edx
cmpw $0x4, %ax
movq -0x30(%rbp), %rdi
ja 0x11131
testw %ax, %ax
je 0x11128
xorl %eax, %eax
xorl %ecx, %ecx
movl (%r12,%rax,4), %esi
testb $0x1, %sil
jne 0x11118
orl $0x1, %esi
movl %esi, (%r12,%rax,4)
jmp 0x1111b
btsl %eax, %ecx
incq %rax
cmpq %rax, %rdx
jne 0x11105
movzwl %cx, %ecx
jmp 0x1112a
xorl %ecx, %ecx
movl $0x10000, %esi          # imm = 0x10000
shll %cl, %esi
orl %edx, %esi
movl %esi, 0xc(%r14)
addq $0xc, %r14
leaq -0x40(%rbp), %rdx
movl $0xffffffff, 0x4(%rdx)  # imm = 0xFFFFFFFF
movq %r14, %rsi
callq 0x113ba
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x0, 0x10(%rbx)
jmp 0x110ad
leaq 0x30633(%rip), %rdi     # 0x417a3
leaq 0x30640(%rip), %rsi     # 0x417b7
leaq 0x30651(%rip), %rcx     # 0x417cf
movl $0x33, %edx
callq 0xc180