// File: /workspace/github_c_makefile_star2_O2/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 0x1f0b
movl %esi, %ebx
testl %esi, %esi
je 0x1f2a
testb $0x1, %bl
jne 0x1f49
movq %rdx, %r15
movq %rdi, %r14
movl %ebx, %esi
callq 0x1fd2
movb (%rax), %cl
testb $0x1, %cl
jne 0x1f68
testb $0x2, %cl
jne 0x1f87
testb $0x4, %cl
jne 0x1fa6
orb $0x1, %cl
movb %cl, (%rax)
movl 0x4(%r14), %ecx
movl %ecx, 0x4(%rax)
movq %r14, %rdi
movq %r15, %rsi
callq 0x2092
movl 0x4(%r14), %r12d
cmpl 0x8c(%r14), %r12d
jne 0x1ecf
movq %rax, -0x40(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testl %r12d, %r12d
pushq $0x1
popq %r15
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 0x1140
subq %r12, %r15
jbe 0x1e9e
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 0x1ed3
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)
andl $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 0x642f(%rip), %rdi      # 0x8341
leaq 0x63da(%rip), %rsi      # 0x82f3
leaq 0x6437(%rip), %rcx      # 0x8357
movl $0x168, %edx            # imm = 0x168
callq 0x10f0
leaq 0x64f6(%rip), %rdi      # 0x8427
leaq 0x63bb(%rip), %rsi      # 0x82f3
leaq 0x6418(%rip), %rcx      # 0x8357
movl $0x16a, %edx            # imm = 0x16A
callq 0x10f0
leaq 0x6441(%rip), %rdi      # 0x8391
leaq 0x639c(%rip), %rsi      # 0x82f3
leaq 0x63f9(%rip), %rcx      # 0x8357
movl $0x16b, %edx            # imm = 0x16B
callq 0x10f0
leaq 0x6434(%rip), %rdi      # 0x83a3
leaq 0x637d(%rip), %rsi      # 0x82f3
leaq 0x63da(%rip), %rcx      # 0x8357
movl $0x16f, %edx            # imm = 0x16F
callq 0x10f0
leaq 0x6422(%rip), %rdi      # 0x83b0
leaq 0x635e(%rip), %rsi      # 0x82f3
leaq 0x63bb(%rip), %rcx      # 0x8357
movl $0x170, %edx            # imm = 0x170
callq 0x10f0
leaq 0x6410(%rip), %rdi      # 0x83bd
leaq 0x633f(%rip), %rsi      # 0x82f3
leaq 0x639c(%rip), %rcx      # 0x8357
movl $0x171, %edx            # imm = 0x171
callq 0x10f0