// File: /workspace/github_c_makefile_star2_O3/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_input
void
aiger_add_input (aiger * public, unsigned lit, const char *name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  aiger_type *type;

  assert (!aiger_error (public));

  assert (lit);
  assert (!aiger_sign (lit));

  type = aiger_import_literal (private, lit);

  assert (!type->input);
  assert (!type->latch);
  assert (!type->and);

  type->input = 1;
  type->idx = public->num_inputs;

  CLR (symbol);
  symbol.lit = lit;
  symbol.name = aiger_copy_str (private, name);

  PUSH (public->inputs, public->num_inputs, private->size_inputs, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
cmpq $0x0, 0xd0(%rdi)
jne 0x2115
movl %esi, %ebx
testl %esi, %esi
je 0x2134
testb $0x1, %bl
jne 0x2153
movq %rdx, %r15
movq %rdi, %r14
movl %ebx, %esi
callq 0x21dc
movb (%rax), %cl
testb $0x1, %cl
jne 0x2172
testb $0x2, %cl
jne 0x2191
testb $0x4, %cl
jne 0x21b0
orb $0x1, %cl
movb %cl, (%rax)
movl 0x4(%r14), %ecx
movl %ecx, 0x4(%rax)
movq %r14, %rdi
movq %r15, %rsi
callq 0x22a9
movl 0x4(%r14), %r12d
cmpl 0x8c(%r14), %r12d
jne 0x20d6
movq %rax, -0x40(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testl %r12d, %r12d
movl $0x1, %r15d
cmovneq %rax, %r15
shlq $0x5, %r12
movq %r15, -0x38(%rbp)
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %rbx
cmovbq %r12, %rbx
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq %rax, %r13
movq 0x28(%r14), %rsi
movq %rax, %rdi
movq %rbx, %rdx
callq 0x1150
subq %r12, %r15
jbe 0x20a5
movq %r13, %rdi
addq %r12, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x28(%r14), %rsi
movq 0xb8(%r14), %rdi
movq %r12, %rdx
callq *0xc8(%r14)
movq %r13, 0x28(%r14)
movq -0x38(%rbp), %rax
movl %eax, 0x8c(%r14)
movl 0x4(%r14), %r12d
movl -0x2c(%rbp), %ebx
movq -0x40(%rbp), %rax
jmp 0x20da
movq 0x28(%r14), %r13
leal 0x1(%r12), %ecx
movl %ecx, 0x4(%r14)
movl %r12d, %ecx
shlq $0x5, %rcx
movl %ebx, (%r13,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%r13,%rcx)
movl $0x0, 0x14(%r13,%rcx)
movq %rax, 0x18(%r13,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x6225(%rip), %rdi      # 0x8341
leaq 0x61d0(%rip), %rsi      # 0x82f3
leaq 0x622d(%rip), %rcx      # 0x8357
movl $0x168, %edx            # imm = 0x168
callq 0x10f0
leaq 0x62ec(%rip), %rdi      # 0x8427
leaq 0x61b1(%rip), %rsi      # 0x82f3
leaq 0x620e(%rip), %rcx      # 0x8357
movl $0x16a, %edx            # imm = 0x16A
callq 0x10f0
leaq 0x6237(%rip), %rdi      # 0x8391
leaq 0x6192(%rip), %rsi      # 0x82f3
leaq 0x61ef(%rip), %rcx      # 0x8357
movl $0x16b, %edx            # imm = 0x16B
callq 0x10f0
leaq 0x622a(%rip), %rdi      # 0x83a3
leaq 0x6173(%rip), %rsi      # 0x82f3
leaq 0x61d0(%rip), %rcx      # 0x8357
movl $0x16f, %edx            # imm = 0x16F
callq 0x10f0
leaq 0x6218(%rip), %rdi      # 0x83b0
leaq 0x6154(%rip), %rsi      # 0x82f3
leaq 0x61b1(%rip), %rcx      # 0x8357
movl $0x170, %edx            # imm = 0x170
callq 0x10f0
leaq 0x6206(%rip), %rdi      # 0x83bd
leaq 0x6135(%rip), %rsi      # 0x82f3
leaq 0x6192(%rip), %rcx      # 0x8357
movl $0x171, %edx            # imm = 0x171
callq 0x10f0