// File: /workspace/github_c_makefile_star2_O0/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_comment
void
aiger_add_comment (aiger * public, const char *comment)
{
  IMPORT_private_FROM (public);
  char **p;

  assert (!aiger_error (public));

  assert (!strchr (comment, '\n'));
  assert (private->num_comments);
  p = public->comments + private->num_comments - 1;
  assert (!*p);
  *p = aiger_copy_str (private, comment);
  PUSH (public->comments, private->num_comments, private->size_comments, 0);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x8(%rbp), %rdi
callq 0x2a70
cmpq $0x0, %rax
jne 0x3d89
jmp 0x3da8
leaq 0x8567(%rip), %rdi      # 0xc2f7
leaq 0x8512(%rip), %rsi      # 0xc2a9
movl $0x220, %edx            # imm = 0x220
leaq 0x86f8(%rip), %rcx      # 0xc49b
callq 0x10f0
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x10c0
cmpq $0x0, %rax
jne 0x3dbe
jmp 0x3ddd
leaq 0x8704(%rip), %rdi      # 0xc4c9
leaq 0x84dd(%rip), %rsi      # 0xc2a9
movl $0x222, %edx            # imm = 0x222
leaq 0x86c3(%rip), %rcx      # 0xc49b
callq 0x10f0
movq -0x18(%rbp), %rax
cmpl $0x0, 0xac(%rax)
je 0x3dec
jmp 0x3e0b
leaq 0x86ee(%rip), %rdi      # 0xc4e1
leaq 0x84af(%rip), %rsi      # 0xc2a9
movl $0x223, %edx            # imm = 0x223
leaq 0x8695(%rip), %rcx      # 0xc49b
callq 0x10f0
movq -0x8(%rbp), %rax
movq 0x68(%rax), %rax
movq -0x18(%rbp), %rcx
movl 0xac(%rcx), %ecx
shlq $0x3, %rcx
addq %rcx, %rax
addq $-0x8, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x3e38
jmp 0x3e57
leaq 0x86b8(%rip), %rdi      # 0xc4f7
leaq 0x8463(%rip), %rsi      # 0xc2a9
movl $0x225, %edx            # imm = 0x225
leaq 0x8649(%rip), %rcx      # 0xc49b
callq 0x10f0
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x2c00
movq %rax, %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
movl 0xac(%rax), %eax
movq -0x18(%rbp), %rcx
cmpl 0xb0(%rcx), %eax
jne 0x3f93
jmp 0x3e8a
movq -0x18(%rbp), %rax
movl 0xb0(%rax), %eax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x3eac
movq -0x28(%rbp), %rax
shlq %rax
movq %rax, -0x58(%rbp)
jmp 0x3eb7
movl $0x1, %eax
movq %rax, -0x58(%rbp)
jmp 0x3eb7
movq -0x58(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
shlq $0x3, %rax
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rax
shlq $0x3, %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x40(%rbp), %rax
jae 0x3eeb
movq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
jmp 0x3ef3
movq -0x40(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rax
movq 0xc0(%rax), %rax
movq -0x18(%rbp), %rcx
movq 0xb8(%rcx), %rdi
movq -0x40(%rbp), %rsi
callq *%rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x68(%rax), %rsi
movq -0x48(%rbp), %rdx
callq 0x1140
movq -0x40(%rbp), %rax
cmpq -0x38(%rbp), %rax
jbe 0x3f51
movq -0x50(%rbp), %rdi
addq -0x38(%rbp), %rdi
movq -0x40(%rbp), %rdx
subq -0x38(%rbp), %rdx
xorl %esi, %esi
callq 0x1100
movq -0x18(%rbp), %rax
movq 0xc8(%rax), %rax
movq -0x18(%rbp), %rcx
movq 0xb8(%rcx), %rdi
movq -0x8(%rbp), %rcx
movq 0x68(%rcx), %rsi
movq -0x38(%rbp), %rdx
callq *%rax
movq -0x50(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x30(%rbp), %rax
movl %eax, %ecx
movq -0x18(%rbp), %rax
movl %ecx, 0xb0(%rax)
jmp 0x3f93
movq -0x8(%rbp), %rax
movq 0x68(%rax), %rax
movq -0x18(%rbp), %rdx
movl 0xac(%rdx), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, 0xac(%rdx)
movl %ecx, %ecx
movq $0x0, (%rax,%rcx,8)
addq $0x60, %rsp
popq %rbp
retq