// File: /workspace/github_c_makefile_star2_O0/reactive-systems[P]aiger-ltl-model-checker/combine.c
// Function: add_constraints_from_monitor
static void add_constraints_from_monitor(aiger* combination, const aiger* monitor, const aiger* implementation) {
    // bad
    for (unsigned i = 0; i < monitor->num_bad; i++) {
        aiger_symbol bad = monitor->bad[i];
        aiger_add_bad(combination, bad.lit, bad.name);
    }
    // constraint
    for (unsigned i = 0; i < monitor->num_constraints; i++) {
        aiger_symbol constraint = monitor->constraints[i];
        aiger_add_constraint(combination, constraint.lit, constraint.name);
    }
    // justice
    for (unsigned i = 0; i < monitor->num_justice; i++) {
        aiger_symbol justice = monitor->justice[i];
        aiger_add_justice(combination, justice.size, justice.lits, justice.name);
    }
    // fairness
    for (unsigned i = 0; i < monitor->num_fairness; i++) {
        aiger_symbol fairness = monitor->fairness[i];
        aiger_add_fairness(combination, fairness.lit, fairness.name);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x14(%rcx), %eax
jae 0x1a66
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movl -0x1c(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x40(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rdi
movl -0x40(%rbp), %esi
movq -0x28(%rbp), %rdx
callq 0x32e0
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x1a0e
movl $0x0, -0x44(%rbp)
movl -0x44(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x18(%rcx), %eax
jae 0x1ac5
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
movl -0x44(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x68(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x58(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rdi
movl -0x68(%rbp), %esi
movq -0x50(%rbp), %rdx
callq 0x34a0
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0x1a6d
movl $0x0, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x1c(%rcx), %eax
jae 0x1b31
movq -0x10(%rbp), %rax
movq 0x50(%rax), %rax
movl -0x6c(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x90(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x88(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x80(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x78(%rbp)
movq -0x8(%rbp), %rdi
movl -0x84(%rbp), %esi
movq -0x80(%rbp), %rdx
movq -0x78(%rbp), %rcx
callq 0x3660
movl -0x6c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x6c(%rbp)
jmp 0x1acc
movl $0x0, -0x94(%rbp)
movl -0x94(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jae 0x1bb1
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movl -0x94(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0xb8(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0xb0(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0xa8(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rdi
movl -0xb8(%rbp), %esi
movq -0xa0(%rbp), %rdx
callq 0x38b0
movl -0x94(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x94(%rbp)
jmp 0x1b3b
addq $0xc0, %rsp
popq %rbp
retq
nopw (%rax,%rax)