LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/koendv[P]stm32duino-raspberrypi/Arduino_Tools/src/stm32flash/parsers/binary.c
// Function: binary_read
parser_err_t binary_read(void *storage, void *data, unsigned int *len) {
	binary_t *st = storage;
	unsigned int left = *len;
	unsigned char *d = data;

	if (st->write) return PARSER_ERR_WRONLY;

	ssize_t r;
	while(left > 0) {
		r = read(st->fd, d, left);
		/* If there is no data to read at all, return OK, but with zero read */
		if (r == 0 && left == *len) {
			*len = 0;
			return PARSER_ERR_OK;
		}
		if (r <= 0) return PARSER_ERR_SYSTEM;
		left -= r;
		d += r;
	}

	*len = *len - left;
	return PARSER_ERR_OK;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl $0x3, %ebx
cmpb $0x0, 0x4(%rdi)
je 0x6db6
movl %ebx, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rdx, %r14
movl (%rdx), %ebp
xorl %ebx, %ebx
testl %ebp, %ebp
je 0x6dab
movq %rsi, %r15
movq %rdi, %r12
movl (%r12), %edi
movl %ebp, %edx
movq %r15, %rsi
callq 0x2140
testq %rax, %rax
jne 0x6ddf
cmpl (%r14), %ebp
je 0x6df4
testq %rax, %rax
jle 0x6ded
addq %rax, %r15
subl %eax, %ebp
jne 0x6dc7
jmp 0x6dab
movl $0x1, %ebx
jmp 0x6dab
movl $0x0, (%r14)
jmp 0x6dab
// File: /workspace/github_c_makefile_star2_O1/koendv[P]stm32duino-raspberrypi/Arduino_Tools/src/stm32flash/parsers/binary.c
// Function: binary_write
parser_err_t binary_write(void *storage, void *data, unsigned int len) {
	binary_t *st = storage;
	unsigned char *d = data;

	if (!st->write) return PARSER_ERR_RDONLY;

	ssize_t r;
	while(len > 0) {
		r = write(st->fd, d, len);
		if (r < 1) return PARSER_ERR_SYSTEM;
		st->stat.st_size += r;

		len  -= r;
		d += r;
	}

	return PARSER_ERR_OK;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
cmpb $0x0, 0x4(%rdi)
je 0x6e37
movl %edx, %ebp
xorl %ebx, %ebx
testl %edx, %edx
je 0x6e43
movq %rsi, %r14
movq %rdi, %r15
movl (%r15), %edi
movl %ebp, %edx
movq %r14, %rsi
callq 0x2090
testq %rax, %rax
jle 0x6e3e
addq %rax, 0x38(%r15)
addq %rax, %r14
subl %eax, %ebp
jne 0x6e18
jmp 0x6e43
movl $0x4, %ebx
jmp 0x6e43
movl $0x1, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/koendv[P]stm32duino-raspberrypi/Arduino_Tools/src/stm32flash/parsers/hex.c
// Function: hex_close
parser_err_t hex_close(void *storage) {
	hex_t *st = storage;
	if (st) free(st->data);
	free(st);
	return PARSER_ERR_OK;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
testq %rdi, %rdi
je 0x7263
movq 0x10(%rbx), %rdi
callq 0x2030
movq %rbx, %rdi
callq 0x2030
xorl %eax, %eax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/koendv[P]stm32duino-raspberrypi/Arduino_Tools/src/stm32flash/parsers/hex.c
// Function: hex_read
parser_err_t hex_read(void *storage, void *data, unsigned int *len) {
	hex_t *st = storage;
	unsigned int left = st->data_len - st->offset;
	unsigned int get  = left > *len ? *len : left;

	memcpy(data, &st->data[st->offset], get);
	st->offset += get;

	*len = get;
	return PARSER_ERR_OK;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %rax
movq %rdi, %r14
movl (%rdi), %r15d
movq 0x8(%rdi), %rsi
subl %esi, %r15d
movl (%rdx), %ecx
cmpl %r15d, %ecx
cmovbl %ecx, %r15d
addq 0x10(%rdi), %rsi
movq %rax, %rdi
movq %r15, %rdx
callq 0x21a0
addq %r15, 0x8(%r14)
movl %r15d, (%rbx)
xorl %eax, %eax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/main.c
// Function: main
int main(int argc, const char* argv[]) {
    
    if (argc < 2) {
        fprintf(stderr, "Expect at least one input\n");
        print_usage(argv[0]);
        return 1;
    }
    
    const char* monitor_file_name;
    const char* implementation_file_name;
    if (argc == 3) {
        monitor_file_name = argv[1];
        implementation_file_name = argv[2];
    } else {
        assert(argc == 2);
        // monitor is given via stdin
        monitor_file_name = NULL;
        implementation_file_name = argv[1];
    }
    
    aiger* monitor = aiger_init();
    if (monitor == NULL) {
        return 1;
    }
    
    if (monitor_file_name != NULL) {
        if (aiger_open_and_read_from_file(monitor, monitor_file_name) != NULL) {
            fprintf(stderr, "error: cannot read monitor file\n");
            return 1;
        }
    } else {
        if (aiger_read_from_file(monitor, stdin) != NULL) {
            fprintf(stderr, "error: cannot read monitor file\n");
            return 1;
        }
    }
    
    aiger* implementation = aiger_init();
    if (implementation == NULL) {
        return 1;
    }
    
    if (aiger_open_and_read_from_file(implementation, implementation_file_name) != NULL) {
        fprintf(stderr, "error: cannot read implementation file\n");
        return 1;
    }
    
    aiger* combination = combine(monitor, implementation);
    if (combination == NULL) {
        return 1;
    }
    
    assert(!aiger_check(combination));

    //aiger_reencode(combination);
    aiger_write_to_file(combination, aiger_binary_mode, stdout);
    
    return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
cmpl $0x1, %edi
jle 0x1474
cmpl $0x2, %edi
je 0x13c7
cmpl $0x3, %edi
jne 0x149d
movq 0x8(%rsi), %r12
movl $0x10, %eax
jmp 0x13cf
movl $0x8, %eax
xorl %r12d, %r12d
movq (%rsi,%rax), %r15
callq 0x1d35
movl $0x1, %ebx
testq %rax, %rax
je 0x148f
movq %rax, %r14
testq %r12, %r12
je 0x1408
movq %r14, %rdi
movq %r12, %rsi
callq 0x6599
testq %rax, %rax
je 0x141f
callq 0x11d0
jmp 0x148f
movq 0xabc9(%rip), %rax      # 0xbfd8
movq (%rax), %rsi
movq %r14, %rdi
callq 0x6556
testq %rax, %rax
jne 0x148a
callq 0x1d35
testq %rax, %rax
je 0x148f
movq %rax, %r12
movq %rax, %rdi
movq %r15, %rsi
callq 0x6599
testq %rax, %rax
jne 0x1483
movq %r14, %rdi
movq %r12, %rsi
callq 0x14dc
testq %rax, %rax
je 0x148f
movq %rax, %r14
movq %rax, %rdi
callq 0x30c6
testq %rax, %rax
jne 0x14bc
movq 0xab6d(%rip), %rax      # 0xbfd0
movq (%rax), %rdx
xorl %ebx, %ebx
movq %r14, %rdi
xorl %esi, %esi
callq 0x504c
jmp 0x148f
movq %rsi, %rdi
callq 0x1224
movl $0x1, %ebx
jmp 0x148f
callq 0x1208
jmp 0x148f
callq 0x11ec
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x6bdd(%rip), %rdi      # 0x8081
leaq 0x6be0(%rip), %rsi      # 0x808b
leaq 0x6be0(%rip), %rcx      # 0x8092
movl $0x20, %edx
callq 0x10f0
leaq 0x6c35(%rip), %rdi      # 0x80f8
leaq 0x6bc1(%rip), %rsi      # 0x808b
leaq 0x6bc1(%rip), %rcx      # 0x8092
movl $0x46, %edx
callq 0x10f0
nop
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/combine.c
// Function: names_do_match
static bool names_do_match(const char* monitor_input, const char* impl_output) {
    const unsigned monitor_input_len = strlen(monitor_input);
    const unsigned impl_output_len = strlen(impl_output);
    const unsigned prefix_len = strlen("AIGER_NEXT_");
    
    if (strncmp(monitor_input, "AIGER_NEXT_", prefix_len) != 0) {
        // special case if input is not contained in LTL formula
        return strcmp(monitor_input, impl_output) == 0;
    }
    assert(monitor_input_len > prefix_len);
    
    if (prefix_len + impl_output_len > monitor_input_len) {
        return false;
    }
    // do a case-insensitive comparision because of different translations
    if (strcasecmp(monitor_input + prefix_len, impl_output) == 0) {
        return true;
    }
    return false;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x10b0
movq %rax, %r15
movq %rbx, %rdi
callq 0x10b0
movq %rax, %r12
leaq 0x6726(%rip), %rsi      # 0x81ce
movl $0xb, %edx
movq %r14, %rdi
callq 0x1070
testl %eax, %eax
je 0x1ac6
movq %r14, %rdi
movq %rbx, %rsi
callq 0x1110
jmp 0x1ae8
cmpl $0xb, %r15d
jbe 0x1af9
addl $0xb, %r12d
cmpl %r15d, %r12d
jbe 0x1ad9
xorl %eax, %eax
jmp 0x1aed
addq $0xb, %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x1040
testl %eax, %eax
sete %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x66da(%rip), %rdi      # 0x81da
leaq 0x6637(%rip), %rsi      # 0x813e
leaq 0x66eb(%rip), %rcx      # 0x81f9
movl $0x1b, %edx
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/combine.c
// Function: translate_literal
static unsigned translate_literal(const aiger* implementation, unsigned literal, unsigned offset) {
    unsigned tag = aiger_lit2tag(implementation, literal);
    if (tag == 0) {
        // constant
        return literal;
    } else if (tag == 1) {
        // input
        aiger_symbol* input = aiger_is_input(implementation, aiger_strip(literal));
        assert(input != NULL);
        assert(input->next != 0);
        return literal % 2 == 1 ? aiger_not(input->next) : input->next;
    } else if (tag == 2) {
        // latch
        return literal + offset * 2;
    } else {
        assert(tag == 3);
        // and
        return literal + offset * 2;
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movl %edx, %r14d
movl %esi, %ebx
movq %rdi, %r15
callq 0x6853
cmpl $0x3, %eax
ja 0x1b6d
movl %eax, %eax
leaq 0x65dc(%rip), %rcx      # 0x8114
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leal (%rbx,%r14,2), %ebx
jmp 0x1b65
movl %ebx, %esi
andl $-0x2, %esi
movq %r15, %rdi
callq 0x68d7
testq %rax, %rax
je 0x1b8c
movl 0x4(%rax), %eax
testl %eax, %eax
je 0x1bab
andl $0x1, %ebx
xorl %eax, %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %r15
retq
leaq 0x671f(%rip), %rdi      # 0x8293
leaq 0x65c3(%rip), %rsi      # 0x813e
leaq 0x66b6(%rip), %rcx      # 0x8238
movl $0x96, %edx
callq 0x10f0
leaq 0x6697(%rip), %rdi      # 0x822a
leaq 0x65a4(%rip), %rsi      # 0x813e
leaq 0x6697(%rip), %rcx      # 0x8238
movl $0x8f, %edx
callq 0x10f0
leaq 0x66d0(%rip), %rdi      # 0x8282
leaq 0x6585(%rip), %rsi      # 0x813e
leaq 0x6678(%rip), %rcx      # 0x8238
movl $0x90, %edx
callq 0x10f0
nop
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_init_mem
aiger *
aiger_init_mem (void *memory_mgr,
		aiger_malloc external_malloc, aiger_free external_free)
{
  aiger_private *private;
  aiger *public;

  assert (external_malloc);
  assert (external_free);
  private = external_malloc (memory_mgr, sizeof (*private));
  CLR (*private);
  private->memory_mgr = memory_mgr;
  private->malloc_callback = external_malloc;
  private->free_callback = external_free;
  public = &private->public;
  PUSH (public->comments, private->num_comments, private->size_comments, 0);

  return public;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
testq %rsi, %rsi
je 0x1cf7
movq %rdx, %r14
testq %rdx, %rdx
je 0x1d16
movq %rsi, %r15
movq %rdi, %r12
movl $0xd8, %esi
callq *%r15
movq %rax, %rbx
movl $0xd8, %edx
movq %rax, %rdi
xorl %esi, %esi
callq 0x1100
movq %r12, 0xb8(%rbx)
movq %r15, 0xc0(%rbx)
movq %r14, 0xc8(%rbx)
movl 0xb0(%rbx), %r14d
cmpl %r14d, 0xac(%rbx)
jne 0x1cca
leaq (%r14,%r14), %rax
testq %r14, %r14
movl $0x1, %ecx
cmovneq %rax, %rcx
shlq $0x3, %r14
movq %rcx, -0x30(%rbp)
leaq (,%rcx,8), %r13
cmpq %r13, %r14
movq %r12, %rdi
movq %r13, %r12
cmovbq %r14, %r12
movq %r13, %rsi
callq *%r15
movq %rax, %r15
movq 0x68(%rbx), %rsi
movq %rax, %rdi
movq %r12, %rdx
callq 0x1140
subq %r14, %r13
jbe 0x1ca8
movq %r15, %rdi
addq %r14, %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x1100
movq 0x68(%rbx), %rsi
movq 0xb8(%rbx), %rdi
movq %r14, %rdx
callq *0xc8(%rbx)
movq %r15, 0x68(%rbx)
movq -0x30(%rbp), %rax
movl %eax, 0xb0(%rbx)
movq 0x68(%rbx), %rax
movl 0xac(%rbx), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0xac(%rbx)
movq $0x0, (%rax,%rcx,8)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x65e5(%rip), %rdi      # 0x82e3
leaq 0x65ee(%rip), %rsi      # 0x82f3
leaq 0x65ef(%rip), %rcx      # 0x82fb
movl $0xd4, %edx
callq 0x10f0
leaq 0x6616(%rip), %rdi      # 0x8333
leaq 0x65cf(%rip), %rsi      # 0x82f3
leaq 0x65d0(%rip), %rcx      # 0x82fb
movl $0xd5, %edx
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_delete_comments
static unsigned
aiger_delete_comments (aiger * public)
{
  char **start = (char **) public->comments, ** end, ** p;
  IMPORT_private_FROM (public);

  end = start + private->num_comments;
  for (p = start; p < end; p++)
    aiger_delete_str (private, *p);

  private->num_comments = 0;
  public->comments[0] = 0;

  return private->num_comments;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
movl 0xac(%rdi), %eax
testq %rax, %rax
je 0x210c
movq 0x68(%rbx), %r15
leaq (%r15,%rax,8), %r12
movq (%r15), %r14
testq %r14, %r14
je 0x2103
movq %r14, %rdi
callq 0x10b0
leaq 0x1(%rax), %rdx
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
callq *0xc8(%rbx)
addq $0x8, %r15
cmpq %r12, %r15
jb 0x20df
movl $0x0, 0xac(%rbx)
movq 0x68(%rbx), %rax
movq $0x0, (%rax)
xorl %eax, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2275
movl %esi, %ebx
testl %esi, %esi
je 0x2294
testb $0x1, %bl
jne 0x22b3
movq %rdx, %r15
movq %rdi, %r14
movl %ebx, %esi
callq 0x233c
movb (%rax), %cl
testb $0x1, %cl
jne 0x22d2
testb $0x2, %cl
jne 0x22f1
testb $0x4, %cl
jne 0x2310
orb $0x1, %cl
movb %cl, (%rax)
movl 0x4(%r14), %ecx
movl %ecx, 0x4(%rax)
movq %r14, %rdi
movq %r15, %rsi
callq 0x2404
movl 0x8c(%r14), %r12d
cmpl %r12d, 0x4(%r14)
jne 0x223b
movq %rax, -0x38(%rbp)
leaq (%r12,%r12), %rax
testq %r12, %r12
movl $0x1, %r15d
cmovneq %rax, %r15
shlq $0x5, %r12
movq %r15, -0x30(%rbp)
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %r13
cmovbq %r12, %r13
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq 0x28(%r14), %rsi
movq %rax, %rdi
movq %r13, %rdx
movq %rax, %r13
callq 0x1140
subq %r12, %r15
jbe 0x2213
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 -0x30(%rbp), %rax
movl %eax, 0x8c(%r14)
movq -0x38(%rbp), %rax
movq 0x28(%r14), %rsi
movl 0x4(%r14), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x4(%r14)
shlq $0x5, %rcx
movl %ebx, (%rsi,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%rsi,%rcx)
movl $0x0, 0x14(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x60c5(%rip), %rdi      # 0x8341
leaq 0x6070(%rip), %rsi      # 0x82f3
leaq 0x60cd(%rip), %rcx      # 0x8357
movl $0x168, %edx            # imm = 0x168
callq 0x10f0
leaq 0x618c(%rip), %rdi      # 0x8427
leaq 0x6051(%rip), %rsi      # 0x82f3
leaq 0x60ae(%rip), %rcx      # 0x8357
movl $0x16a, %edx            # imm = 0x16A
callq 0x10f0
leaq 0x60d7(%rip), %rdi      # 0x8391
leaq 0x6032(%rip), %rsi      # 0x82f3
leaq 0x608f(%rip), %rcx      # 0x8357
movl $0x16b, %edx            # imm = 0x16B
callq 0x10f0
leaq 0x60ca(%rip), %rdi      # 0x83a3
leaq 0x6013(%rip), %rsi      # 0x82f3
leaq 0x6070(%rip), %rcx      # 0x8357
movl $0x16f, %edx            # imm = 0x16F
callq 0x10f0
leaq 0x60b8(%rip), %rdi      # 0x83b0
leaq 0x5ff4(%rip), %rsi      # 0x82f3
leaq 0x6051(%rip), %rcx      # 0x8357
movl $0x170, %edx            # imm = 0x170
callq 0x10f0
leaq 0x60a6(%rip), %rdi      # 0x83bd
leaq 0x5fd5(%rip), %rsi      # 0x82f3
leaq 0x6032(%rip), %rcx      # 0x8357
movl $0x171, %edx            # imm = 0x171
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_import_literal
static aiger_type *
aiger_import_literal (aiger_private * private, unsigned lit)
{
  unsigned var = aiger_lit2var (lit);
  EXPORT_public_FROM (private);

  if (var > public->maxvar)
    public->maxvar = var;

  while (var >= private->size_types)
    ENLARGE (private->types, private->size_types);

  return private->types + var;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
shrl %esi
cmpl (%rdi), %esi
jbe 0x2355
movl %esi, (%rbx)
movl 0x78(%rbx), %eax
cmpl %eax, %esi
jb 0x23eb
movl %esi, -0x2c(%rbp)
movl %eax, %r15d
leaq (%r15,%r15), %r12
testl %eax, %eax
movl $0x1, %eax
cmoveq %rax, %r12
shlq $0x3, %r15
leaq (,%r12,8), %r13
cmpq %r13, %r15
movq %r13, %r14
cmovbq %r15, %r14
movq 0xb8(%rbx), %rdi
movq %r13, %rsi
callq *0xc0(%rbx)
movq 0x70(%rbx), %rsi
movq %rax, %rdi
movq %r14, %rdx
movq %rax, %r14
callq 0x1140
subq %r15, %r13
jbe 0x23c0
leaq (%r14,%r15), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x1100
movq 0x70(%rbx), %rsi
movq 0xb8(%rbx), %rdi
movq %r15, %rdx
callq *0xc8(%rbx)
movq %r14, 0x70(%rbx)
movl %r12d, 0x78(%rbx)
movl %r12d, %eax
movl -0x2c(%rbp), %esi
cmpl %r12d, %esi
jae 0x2363
movl %esi, %eax
shlq $0x3, %rax
addq 0x70(%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_copy_str
static char *
aiger_copy_str (aiger_private * private, const char *str)
{
  char *res;

  if (!str || !str[0])
    return 0;

  NEWN (res, strlen (str) + 1);
  strcpy (res, str);

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
testq %rsi, %rsi
je 0x2460
movq %rsi, %rbx
cmpb $0x0, (%rsi)
je 0x2460
movq %rdi, %r14
movq %rbx, %rdi
callq 0x10b0
leaq 0x1(%rax), %r15
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq %rax, %r14
movq %rax, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x1080
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_reset
void
aiger_add_reset (aiger * public, unsigned lit, unsigned reset) 
{
  IMPORT_private_FROM (public);
  aiger_type * type;
  assert (reset <= 1 || reset == lit);
  assert (!aiger_error (public));
  assert (lit);
  assert (!aiger_sign (lit));
  type = aiger_import_literal (private, lit);
  assert (type->latch);
  assert (type->idx < public->num_latches);
  public->latches[type->idx].reset = reset;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x2, %edx
setb %al
cmpl %esi, %edx
sete %cl
orb %al, %cl
je 0x26e7
movq %rdi, %r14
cmpq $0x0, 0xd0(%rdi)
jne 0x2706
testl %esi, %esi
je 0x2725
testb $0x1, %sil
jne 0x2744
movl %edx, %ebx
movq %r14, %rdi
callq 0x233c
testb $0x2, (%rax)
je 0x2763
movl 0x4(%rax), %eax
cmpl 0x8(%r14), %eax
jae 0x2782
movq 0x30(%r14), %rcx
shlq $0x5, %rax
movl %ebx, 0x8(%rcx,%rax)
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x5d22(%rip), %rdi      # 0x8410
leaq 0x5bfe(%rip), %rsi      # 0x82f3
leaq 0x5d2f(%rip), %rcx      # 0x842b
movl $0x1a4, %edx            # imm = 0x1A4
callq 0x10f0
leaq 0x5c34(%rip), %rdi      # 0x8341
leaq 0x5bdf(%rip), %rsi      # 0x82f3
leaq 0x5d10(%rip), %rcx      # 0x842b
movl $0x1a5, %edx            # imm = 0x1A5
callq 0x10f0
leaq 0x5cfb(%rip), %rdi      # 0x8427
leaq 0x5bc0(%rip), %rsi      # 0x82f3
leaq 0x5cf1(%rip), %rcx      # 0x842b
movl $0x1a6, %edx            # imm = 0x1A6
callq 0x10f0
leaq 0x5c46(%rip), %rdi      # 0x8391
leaq 0x5ba1(%rip), %rsi      # 0x82f3
leaq 0x5cd2(%rip), %rcx      # 0x842b
movl $0x1a7, %edx            # imm = 0x1A7
callq 0x10f0
leaq 0x66d6(%rip), %rdi      # 0x8e40
leaq 0x5b82(%rip), %rsi      # 0x82f3
leaq 0x5cb3(%rip), %rcx      # 0x842b
movl $0x1a9, %edx            # imm = 0x1A9
callq 0x10f0
leaq 0x5cdc(%rip), %rdi      # 0x8465
leaq 0x5b63(%rip), %rsi      # 0x82f3
leaq 0x5c94(%rip), %rcx      # 0x842b
movl $0x1aa, %edx            # imm = 0x1AA
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_output
void
aiger_add_output (aiger * public, unsigned lit, const char *name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  aiger_import_literal (private, lit);
  CLR (symbol);
  symbol.lit = lit;
  symbol.name = aiger_copy_str (private, name);
  PUSH (public->outputs, public->num_outputs, private->size_outputs, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r15
movl %esi, %ebx
movq %rdi, %r14
callq 0x233c
movq %r14, %rdi
movq %r15, %rsi
callq 0x2404
movl 0x94(%r14), %r12d
cmpl %r12d, 0xc(%r14)
jne 0x2867
movq %rax, -0x38(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testq %r12, %r12
movl $0x1, %r13d
cmovneq %rax, %r13
shlq $0x5, %r12
movq %r13, %r15
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %rbx
cmovbq %r12, %rbx
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq 0x38(%r14), %rsi
movq %rax, %rdi
movq %rbx, %rdx
movq %rax, %rbx
callq 0x1140
subq %r12, %r15
jbe 0x2840
movq %rbx, %rdi
addq %r12, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x38(%r14), %rsi
movq 0xb8(%r14), %rdi
movq %r12, %rdx
callq *0xc8(%r14)
movq %rbx, 0x38(%r14)
movl %r13d, 0x94(%r14)
movl -0x2c(%rbp), %ebx
movq -0x38(%rbp), %rax
movq 0x38(%r14), %rsi
movl 0xc(%r14), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0xc(%r14)
shlq $0x5, %rcx
movl %ebx, (%rsi,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%rsi,%rcx)
movl $0x0, 0x14(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_bad
void
aiger_add_bad (aiger * public, unsigned lit, const char *name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  aiger_import_literal (private, lit);
  CLR (symbol);
  symbol.lit = lit;
  symbol.name = aiger_copy_str (private, name);
  PUSH (public->bad, public->num_bad, private->size_bad, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r15
movl %esi, %ebx
movq %rdi, %r14
callq 0x233c
movq %r14, %rdi
movq %r15, %rsi
callq 0x2404
movl 0x9c(%r14), %r12d
cmpl %r12d, 0x14(%r14)
jne 0x2967
movq %rax, -0x38(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testq %r12, %r12
movl $0x1, %r13d
cmovneq %rax, %r13
shlq $0x5, %r12
movq %r13, %r15
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %rbx
cmovbq %r12, %rbx
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq 0x40(%r14), %rsi
movq %rax, %rdi
movq %rbx, %rdx
movq %rax, %rbx
callq 0x1140
subq %r12, %r15
jbe 0x2940
movq %rbx, %rdi
addq %r12, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x40(%r14), %rsi
movq 0xb8(%r14), %rdi
movq %r12, %rdx
callq *0xc8(%r14)
movq %rbx, 0x40(%r14)
movl %r13d, 0x9c(%r14)
movl -0x2c(%rbp), %ebx
movq -0x38(%rbp), %rax
movq 0x40(%r14), %rsi
movl 0x14(%r14), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x14(%r14)
shlq $0x5, %rcx
movl %ebx, (%rsi,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%rsi,%rcx)
movl $0x0, 0x14(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_constraint
void
aiger_add_constraint (aiger * public, unsigned lit, const char *name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  aiger_import_literal (private, lit);
  CLR (symbol);
  symbol.lit = lit;
  symbol.name = aiger_copy_str (private, name);
  PUSH (public->constraints, 
        public->num_constraints, private->size_constraints, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r15
movl %esi, %ebx
movq %rdi, %r14
callq 0x233c
movq %r14, %rdi
movq %r15, %rsi
callq 0x2404
movl 0xa0(%r14), %r12d
cmpl %r12d, 0x18(%r14)
jne 0x2a67
movq %rax, -0x38(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testq %r12, %r12
movl $0x1, %r13d
cmovneq %rax, %r13
shlq $0x5, %r12
movq %r13, %r15
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %rbx
cmovbq %r12, %rbx
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq 0x48(%r14), %rsi
movq %rax, %rdi
movq %rbx, %rdx
movq %rax, %rbx
callq 0x1140
subq %r12, %r15
jbe 0x2a40
movq %rbx, %rdi
addq %r12, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x48(%r14), %rsi
movq 0xb8(%r14), %rdi
movq %r12, %rdx
callq *0xc8(%r14)
movq %rbx, 0x48(%r14)
movl %r13d, 0xa0(%r14)
movl -0x2c(%rbp), %ebx
movq -0x38(%rbp), %rax
movq 0x48(%r14), %rsi
movl 0x18(%r14), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x18(%r14)
shlq $0x5, %rcx
movl %ebx, (%rsi,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%rsi,%rcx)
movl $0x0, 0x14(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_justice
void
aiger_add_justice (aiger * public, 
                   unsigned size, unsigned * lits,
		   const char * name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  unsigned i, lit;
  CLR (symbol);
  symbol.size = size;
  NEWN (symbol.lits, size);
  for (i = 0; i < size; i++)
    {
      lit = lits[i];
      aiger_import_literal (private, lit);
      symbol.lits[i] = lit;
    }
  symbol.name = aiger_copy_str (private, name);
  PUSH (public->justice, 
        public->num_justice, private->size_justice, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, -0x30(%rbp)
movq %rdx, -0x38(%rbp)
movl %esi, %r15d
movq %rdi, %r13
movl %esi, %r12d
leaq (,%r12,4), %rbx
movq 0xb8(%rdi), %rdi
movq %rbx, %rsi
callq *0xc0(%r13)
movq %rax, %r14
movq %rax, %rdi
xorl %esi, %esi
movq %rbx, %rdx
callq 0x1100
movl %r15d, -0x3c(%rbp)
testl %r15d, %r15d
je 0x2b16
xorl %r15d, %r15d
movq -0x38(%rbp), %rax
movl (%rax,%r15,4), %ebx
movq %r13, %rdi
movl %ebx, %esi
callq 0x233c
movl %ebx, (%r14,%r15,4)
incq %r15
cmpq %r15, %r12
jne 0x2af8
movq %r13, %rdi
movq -0x30(%rbp), %rsi
callq 0x2404
movl 0xa4(%r13), %r15d
cmpl %r15d, 0x1c(%r13)
jne 0x2bbd
movq %rax, -0x38(%rbp)
leaq (%r15,%r15), %rax
testq %r15, %r15
movl $0x1, %ebx
cmovneq %rax, %rbx
shlq $0x5, %r15
movq %rbx, -0x30(%rbp)
shlq $0x5, %rbx
cmpq %rbx, %r15
movq %rbx, %r12
cmovbq %r15, %r12
movq 0xb8(%r13), %rdi
movq %rbx, %rsi
callq *0xc0(%r13)
movq 0x50(%r13), %rsi
movq %rax, %rdi
movq %r12, %rdx
movq %rax, %r12
callq 0x1140
subq %r15, %rbx
jbe 0x2b95
movq %r12, %rdi
addq %r15, %rdi
xorl %esi, %esi
movq %rbx, %rdx
callq 0x1100
movq 0x50(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r15, %rdx
callq *0xc8(%r13)
movq %r12, 0x50(%r13)
movq -0x30(%rbp), %rax
movl %eax, 0xa4(%r13)
movq -0x38(%rbp), %rax
movq 0x50(%r13), %rsi
movl 0x1c(%r13), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x1c(%r13)
shlq $0x5, %rcx
movl $0x0, 0x8(%rsi,%rcx)
movq $0x0, (%rsi,%rcx)
movl -0x3c(%rbp), %edx
movl %edx, 0xc(%rsi,%rcx)
movq %r14, 0x10(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_add_fairness
void
aiger_add_fairness (aiger * public, unsigned lit, const char *name)
{
  IMPORT_private_FROM (public);
  aiger_symbol symbol;
  aiger_import_literal (private, lit);
  CLR (symbol);
  symbol.lit = lit;
  symbol.name = aiger_copy_str (private, name);
  PUSH (public->fairness, 
        public->num_fairness, private->size_fairness, symbol);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r15
movl %esi, %ebx
movq %rdi, %r14
callq 0x233c
movq %r14, %rdi
movq %r15, %rsi
callq 0x2404
movl 0xa8(%r14), %r12d
cmpl %r12d, 0x20(%r14)
jne 0x2cc6
movq %rax, -0x38(%rbp)
movl %ebx, -0x2c(%rbp)
leaq (%r12,%r12), %rax
testq %r12, %r12
movl $0x1, %r13d
cmovneq %rax, %r13
shlq $0x5, %r12
movq %r13, %r15
shlq $0x5, %r15
cmpq %r15, %r12
movq %r15, %rbx
cmovbq %r12, %rbx
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc0(%r14)
movq 0x58(%r14), %rsi
movq %rax, %rdi
movq %rbx, %rdx
movq %rax, %rbx
callq 0x1140
subq %r12, %r15
jbe 0x2c9f
movq %rbx, %rdi
addq %r12, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x58(%r14), %rsi
movq 0xb8(%r14), %rdi
movq %r12, %rdx
callq *0xc8(%r14)
movq %rbx, 0x58(%r14)
movl %r13d, 0xa8(%r14)
movl -0x2c(%rbp), %ebx
movq -0x38(%rbp), %rax
movq 0x58(%r14), %rsi
movl 0x20(%r14), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x20(%r14)
shlq $0x5, %rcx
movl %ebx, (%rsi,%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x4(%rsi,%rcx)
movl $0x0, 0x14(%rsi,%rcx)
movq %rax, 0x18(%rsi,%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
cmpq $0x0, 0xd0(%rdi)
jne 0x304a
movq %rsi, %r14
movq %rdi, %rbx
movq %rsi, %rdi
movl $0xa, %esi
callq 0x10c0
testq %rax, %rax
jne 0x3069
movl 0xac(%rbx), %r15d
testq %r15, %r15
je 0x3088
movq 0x68(%rbx), %r12
cmpq $0x0, -0x8(%r12,%r15,8)
jne 0x30a7
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2404
movq %rax, -0x8(%r12,%r15,8)
movl 0xb0(%rbx), %r14d
cmpl %r14d, 0xac(%rbx)
jne 0x3020
leaq (%r14,%r14), %rax
testq %r14, %r14
movl $0x1, %r15d
cmovneq %rax, %r15
shlq $0x3, %r14
leaq (,%r15,8), %r12
cmpq %r12, %r14
movq %r12, %r13
cmovbq %r14, %r13
movq 0xb8(%rbx), %rdi
movq %r12, %rsi
callq *0xc0(%rbx)
movq 0x68(%rbx), %rsi
movq %rax, %rdi
movq %r13, %rdx
movq %rax, %r13
callq 0x1140
subq %r14, %r12
jbe 0x3001
movq %r13, %rdi
addq %r14, %rdi
xorl %esi, %esi
movq %r12, %rdx
callq 0x1100
movq 0x68(%rbx), %rsi
movq 0xb8(%rbx), %rdi
movq %r14, %rdx
callq *0xc8(%rbx)
movq %r13, 0x68(%rbx)
movl %r15d, 0xb0(%rbx)
movq 0x68(%rbx), %rax
movl 0xac(%rbx), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0xac(%rbx)
movq $0x0, (%rax,%rcx,8)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x52f0(%rip), %rdi      # 0x8341
leaq 0x529b(%rip), %rsi      # 0x82f3
leaq 0x5486(%rip), %rcx      # 0x84e5
movl $0x220, %edx            # imm = 0x220
callq 0x10f0
leaq 0x54a3(%rip), %rdi      # 0x8513
leaq 0x527c(%rip), %rsi      # 0x82f3
leaq 0x5467(%rip), %rcx      # 0x84e5
movl $0x222, %edx            # imm = 0x222
callq 0x10f0
leaq 0x549c(%rip), %rdi      # 0x852b
leaq 0x525d(%rip), %rsi      # 0x82f3
leaq 0x5448(%rip), %rcx      # 0x84e5
movl $0x223, %edx            # imm = 0x223
callq 0x10f0
leaq 0x5493(%rip), %rdi      # 0x8541
leaq 0x523e(%rip), %rsi      # 0x82f3
leaq 0x5429(%rip), %rcx      # 0x84e5
movl $0x225, %edx            # imm = 0x225
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_write_symbols
static int
aiger_write_symbols (aiger * public, void *state, aiger_put put)
{
  if (!aiger_write_symbols_aux (public, state, put,
				"i", public->inputs, public->num_inputs))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"l", public->latches, public->num_latches))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"o", public->outputs, public->num_outputs))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"b", public->bad, public->num_bad))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"c", public->constraints,
				public->num_constraints))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"j", public->justice, public->num_justice))
    return 0;

  if (!aiger_write_symbols_aux (public, state, put,
				"f", public->fairness, public->num_fairness))
    return 0;

  return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq 0x28(%rdi), %rcx
movl 0x4(%rdi), %r8d
leaq 0x5357(%rip), %rdx      # 0x8cc2
movq %rsi, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x30(%r15), %rcx
movl 0x8(%r15), %r8d
leaq 0x589e(%rip), %rdx      # 0x922b
movq %r14, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x38(%r15), %rcx
movl 0xc(%r15), %r8d
leaq 0x5315(%rip), %rdx      # 0x8cc4
movq %r14, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x40(%r15), %rcx
movl 0x14(%r15), %r8d
leaq 0x4f0c(%rip), %rdx      # 0x88d9
movq %r14, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x48(%r15), %rcx
movl 0x18(%r15), %r8d
leaq 0x475b(%rip), %rdx      # 0x8146
movq %r14, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x50(%r15), %rcx
movl 0x1c(%r15), %r8d
leaq 0x529e(%rip), %rdx      # 0x8ca7
movq %r14, %rdi
movq %rbx, %rsi
callq 0x6c66
testl %eax, %eax
je 0x3a3c
movq 0x58(%r15), %rcx
movl 0x20(%r15), %r8d
leaq 0x529f(%rip), %rdx      # 0x8cc6
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x6c66
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_is_reencoded
int
aiger_is_reencoded (aiger * public)
{
  unsigned i, tmp, max, lhs;
  aiger_and *and;

  max = 0;
  for (i = 0; i < public->num_inputs; i++)
    {
      max += 2;
      tmp = public->inputs[i].lit;
      if (max != tmp)
	return 0;
    }

  for (i = 0; i < public->num_latches; i++)
    {
      max += 2;
      tmp = public->latches[i].lit;
      if (max != tmp)
	return 0;
    }

  lhs = aiger_max_input_or_latch (public) + 2;
  for (i = 0; i < public->num_ands; i++)
    {
      and = public->ands + i;

      if (and->lhs <= max)
	return 0;

      if (and->lhs != lhs)
	return 0;

      if (and->lhs < and->rhs0)
	return 0;

      if (and->rhs0 < and->rhs1)
	return 0;

      lhs += 2;
    }

  return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movl 0x4(%rdi), %ecx
testl %ecx, %ecx
je 0x3b39
movq 0x28(%rbx), %rdx
leal (%rcx,%rcx), %r14d
xorl %eax, %eax
xorl %esi, %esi
addl $0x2, %esi
cmpl (%rdx), %esi
jne 0x3bad
decl %ecx
addq $0x20, %rdx
testl %ecx, %ecx
jne 0x3b22
jmp 0x3b3c
xorl %r14d, %r14d
movl 0x8(%rbx), %eax
testl %eax, %eax
je 0x3b61
movq 0x30(%rbx), %rcx
leal (%r14,%rax,2), %edx
addl $0x2, %r14d
cmpl (%rcx), %r14d
jne 0x3bab
decl %eax
addq $0x20, %rcx
testl %eax, %eax
jne 0x3b4b
movl %edx, %r14d
movq %rbx, %rdi
callq 0x3bb2
movl 0x10(%rbx), %edx
testl %edx, %edx
je 0x3ba4
movl %eax, %ecx
movq 0x60(%rbx), %rsi
addl $0x2, %ecx
addq $0x8, %rsi
xorl %eax, %eax
movl -0x8(%rsi), %edi
cmpl %r14d, %edi
jbe 0x3bad
cmpl %edi, %ecx
jne 0x3bad
movl -0x4(%rsi), %r8d
cmpl %r8d, %edi
jb 0x3bad
cmpl (%rsi), %r8d
jb 0x3bad
addl $0x2, %ecx
addq $0xc, %rsi
decl %edx
jne 0x3b7f
movl $0x1, %eax
jmp 0x3bad
xorl %eax, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_max_input_or_latch
static unsigned
aiger_max_input_or_latch (aiger * public)
{
  unsigned i, tmp, res;

  res = 0;

  for (i = 0; i < public->num_inputs; i++)
    {
      tmp = public->inputs[i].lit;
      assert (!aiger_sign (tmp));
      if (tmp > res)
	res = tmp;
    }

  for (i = 0; i < public->num_latches; i++)
    {
      tmp = public->latches[i].lit;
      assert (!aiger_sign (tmp));
      if (tmp > res)
	res = tmp;
    }

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x4(%rdi), %ecx
testl %ecx, %ecx
je 0x3bda
movq 0x28(%rdi), %rdx
xorl %eax, %eax
movl (%rdx), %esi
testb $0x1, %sil
jne 0x3bfe
cmpl %eax, %esi
cmoval %esi, %eax
addq $0x20, %rdx
decl %ecx
jne 0x3bc3
jmp 0x3bdc
xorl %eax, %eax
movl 0x8(%rdi), %ecx
testl %ecx, %ecx
je 0x3bfc
movq 0x30(%rdi), %rdx
movl (%rdx), %esi
testb $0x1, %sil
jne 0x3c1d
cmpl %eax, %esi
cmoval %esi, %eax
addq $0x20, %rdx
decl %ecx
jne 0x3be7
popq %rbp
retq
leaq 0x513a(%rip), %rdi      # 0x8d3f
leaq 0x46e7(%rip), %rsi      # 0x82f3
leaq 0x513e(%rip), %rcx      # 0x8d51
movl $0x50b, %edx            # imm = 0x50B
callq 0x10f0
leaq 0x511b(%rip), %rdi      # 0x8d3f
leaq 0x46c8(%rip), %rsi      # 0x82f3
leaq 0x511f(%rip), %rcx      # 0x8d51
movl $0x513, %edx            # imm = 0x513
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_coi
const unsigned char *
aiger_coi (aiger * public)
{
  IMPORT_private_FROM (public);
  private->size_coi = public->maxvar + 1;
  NEWN (private->coi, private->size_coi);
  memset (private->coi, 1, private->size_coi);
  return private->coi;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movl (%rdi), %r14d
incl %r14d
movl %r14d, 0x88(%rdi)
movq 0xb8(%rdi), %rdi
movq %r14, %rsi
callq *0xc0(%rbx)
movq %rax, 0x80(%rbx)
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movq 0x80(%rbx), %rdi
movl 0x88(%rbx), %edx
movl $0x1, %esi
callq 0x1100
movq 0x80(%rbx), %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_strip_symbols_and_comments
unsigned
aiger_strip_symbols_and_comments (aiger * public)
{
  IMPORT_private_FROM (public);
  unsigned res;

  assert (!aiger_error (public));

  res = aiger_delete_comments (public);

  res += aiger_delete_symbols_aux (private,
				   public->inputs,
				   private->size_inputs);
  res += aiger_delete_symbols_aux (private,
				   public->latches,
				   private->size_latches);
  res += aiger_delete_symbols_aux (private,
				   public->outputs,
				   private->size_outputs);
  res += aiger_delete_symbols_aux (private,
				   public->bad, 
				   private->size_bad);
  res += aiger_delete_symbols_aux (private,
				   public->constraints,
				   private->size_constraints);
  res += aiger_delete_symbols_aux (private,
				   public->justice,
				   private->size_justice);
  res += aiger_delete_symbols_aux (private,
				   public->fairness,
				   private->size_fairness);
  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
cmpq $0x0, 0xd0(%rdi)
jne 0x4a91
movq %rdi, %rbx
callq 0x20be
movl %eax, %r14d
movq 0x28(%rbx), %rsi
movl 0x8c(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r15d
addl %r14d, %r15d
movq 0x30(%rbx), %rsi
movl 0x90(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r12d
movq 0x38(%rbx), %rsi
movl 0x94(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r14d
addl %r12d, %r14d
addl %r15d, %r14d
movq 0x40(%rbx), %rsi
movl 0x9c(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r15d
movq 0x48(%rbx), %rsi
movl 0xa0(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r12d
addl %r15d, %r12d
movq 0x50(%rbx), %rsi
movl 0xa4(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
movl %eax, %r15d
addl %r12d, %r15d
addl %r14d, %r15d
movq 0x58(%rbx), %rsi
movl 0xa8(%rbx), %edx
movq %rbx, %rdi
callq 0x4ab0
addl %r15d, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x38a9(%rip), %rdi      # 0x8341
leaq 0x3854(%rip), %rsi      # 0x82f3
leaq 0x3c15(%rip), %rcx      # 0x86bb
movl $0x6bb, %edx            # imm = 0x6BB
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_delete_symbols_aux
static unsigned
aiger_delete_symbols_aux (aiger_private * private,
			  aiger_symbol * symbols, unsigned size)
{
  unsigned i, res;

  res = 0;
  for (i = 0; i < size; i++)
    {
      aiger_symbol *s = symbols + i;
      if (!s->name)
	continue;

      aiger_delete_str (private, s->name);
      s->name = 0;
      res++;
    }

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
testl %edx, %edx
je 0x4b17
movq %rsi, %rbx
movq %rdi, %r14
movl %edx, %eax
shlq $0x5, %rax
movq %rax, -0x30(%rbp)
xorl %r13d, %r13d
xorl %r15d, %r15d
movq 0x18(%rbx,%r13), %r12
testq %r12, %r12
je 0x4b0b
movq %r12, %rdi
callq 0x10b0
leaq 0x1(%rax), %rdx
movq 0xb8(%r14), %rdi
movq %r12, %rsi
callq *0xc8(%r14)
movq $0x0, 0x18(%rbx,%r13)
incl %r15d
addq $0x20, %r13
cmpq %r13, -0x30(%rbp)
jne 0x4ad8
jmp 0x4b1a
xorl %r15d, %r15d
movl %r15d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_write_to_string
int
aiger_write_to_string (aiger * public, aiger_mode mode, char *str, size_t len)
{
  aiger_buffer buffer;
  int res;

  assert (!aiger_error (public));

  buffer.start = str;
  buffer.cursor = str;
  buffer.end = str + len;
  res = aiger_write_generic (public,
			     mode, &buffer, (aiger_put) aiger_string_put);

  if (!res)
    return 0;

  if (aiger_string_put (0, &buffer) == EOF)
    return 0;

  return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
cmpq $0x0, 0xd0(%rdi)
jne 0x50e6
leaq -0x18(%rbp), %rax
movq %rdx, (%rax)
movq %rdx, 0x8(%rax)
addq %rdx, %rcx
movq %rcx, 0x10(%rax)
leaq 0x55(%rip), %rcx        # 0x5105
movq %rax, %rdx
callq 0x4b2c
testl %eax, %eax
je 0x50de
movq -0x10(%rbp), %rcx
movq -0x8(%rbp), %rdx
cmpq %rdx, %rcx
je 0x50d4
leaq 0x1(%rcx), %rax
movq %rax, -0x10(%rbp)
movb $0x0, (%rcx)
xorl %eax, %eax
cmpq %rdx, %rcx
setne %al
jmp 0x50e0
xorl %eax, %eax
addq $0x20, %rsp
popq %rbp
retq
leaq 0x3254(%rip), %rdi      # 0x8341
leaq 0x31ff(%rip), %rsi      # 0x82f3
leaq 0x366f(%rip), %rcx      # 0x876a
movl $0x70b, %edx            # imm = 0x70B
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_open_and_write_to_file
int
aiger_open_and_write_to_file (aiger * public, const char *file_name)
{
  IMPORT_private_FROM (public);
  int res, pclose_file;
  char *cmd, size_cmd;
  aiger_mode mode;
  FILE *file;

  assert (!aiger_error (public));

  assert (file_name);

  if (aiger_has_suffix (file_name, ".gz"))
    {
      size_cmd = strlen (file_name) + strlen (GZIP);
      NEWN (cmd, size_cmd);
      sprintf (cmd, GZIP, file_name);
      file = popen (cmd, "w");
      DELETEN (cmd, size_cmd);
      pclose_file = 1;
    }
  else
    {
      file = fopen (file_name, "w");
      pclose_file = 0;
    }

  if (!file)
    return 0;

  if (aiger_has_suffix (file_name, ".aag") ||
      aiger_has_suffix (file_name, ".aag.gz"))
    mode = aiger_ascii_mode;
  else
    mode = aiger_binary_mode;

  res = aiger_write_to_file (public, mode, file);

  if (pclose_file)
    pclose (file);
  else
    fclose (file);

  if (!res)
    unlink (file_name);

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
cmpq $0x0, 0xd0(%rdi)
jne 0x5260
movq %rsi, %rbx
testq %rsi, %rsi
je 0x527f
movq %rdi, %r14
leaq 0x36b1(%rip), %rsi      # 0x880d
movq %rbx, %rdi
callq 0x529e
movl %eax, -0x2c(%rbp)
testl %eax, %eax
je 0x51d6
movq %rbx, %rdi
callq 0x10b0
addb $0x18, %al
movsbq %al, %r13
movq 0xb8(%r14), %rdi
movq %r13, %rsi
callq *0xc0(%r14)
movq %rax, %r15
movq %rax, %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x1100
leaq 0x364a(%rip), %rsi      # 0x87eb
movq %r15, %rdi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x1180
leaq 0x3ca0(%rip), %rsi      # 0x8e55
movq %r15, %rdi
callq 0x1160
movq %rax, %r12
movq 0xb8(%r14), %rdi
movq %r15, %rsi
movq %r13, %rdx
callq *0xc8(%r14)
jmp 0x51e8
leaq 0x3c78(%rip), %rsi      # 0x8e55
movq %rbx, %rdi
callq 0x1170
movq %rax, %r12
testq %r12, %r12
je 0x5234
leaq 0x3610(%rip), %rsi      # 0x8804
movq %rbx, %rdi
callq 0x529e
movl $0x1, %esi
testl %eax, %eax
jne 0x5216
leaq 0x35fd(%rip), %rsi      # 0x8809
movq %rbx, %rdi
callq 0x529e
movl %eax, %esi
movq %r14, %rdi
movq %r12, %rdx
callq 0x504c
movl %eax, %r14d
cmpl $0x0, -0x2c(%rbp)
je 0x5239
movq %r12, %rdi
callq 0x10e0
jmp 0x5241
xorl %r14d, %r14d
jmp 0x524e
movq %r12, %rdi
callq 0x10a0
testl %r14d, %r14d
jne 0x524e
movq %rbx, %rdi
callq 0x1060
movl %r14d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x30da(%rip), %rdi      # 0x8341
leaq 0x3085(%rip), %rsi      # 0x82f3
leaq 0x3534(%rip), %rcx      # 0x87a9
movl $0x72e, %edx            # imm = 0x72E
callq 0x10f0
leaq 0x355b(%rip), %rdi      # 0x87e1
leaq 0x3066(%rip), %rsi      # 0x82f3
leaq 0x3515(%rip), %rcx      # 0x87a9
movl $0x730, %edx            # imm = 0x730
callq 0x10f0
// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_open_and_read_from_file
const char *
aiger_open_and_read_from_file (aiger * public, const char *file_name)
{
  IMPORT_private_FROM (public);
  char *cmd, size_cmd;
  const char *res;
  int pclose_file;
  FILE *file;

  assert (!aiger_error (public));

  if (aiger_has_suffix (file_name, ".gz"))
    {
      size_cmd = strlen (file_name) + strlen (GUNZIP);
      NEWN (cmd, size_cmd);
      sprintf (cmd, GUNZIP, file_name);
      file = popen (cmd, "r");
      DELETEN (cmd, size_cmd);
      pclose_file = 1;
    }
  else
    {
      file = fopen (file_name, "rb");
      pclose_file = 0;
    }

  if (!file)
    return aiger_error_s (private, "can not read '%s'", file_name);

  res = aiger_read_from_file (public, file);

  if (pclose_file)
    pclose (file);
  else
    fclose (file);

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
cmpq $0x0, 0xd0(%rdi)
jne 0x6740
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x224b(%rip), %rsi      # 0x880d
movq %r14, %rdi
callq 0x529e
movl %eax, %r15d
testl %eax, %eax
je 0x6642
movq %r14, %rdi
callq 0x10b0
addb $0x18, %al
movsbq %al, %r12
movq 0xb8(%rbx), %rdi
movq %r12, %rsi
callq *0xc0(%rbx)
movl %r15d, -0x2c(%rbp)
movq %rax, %r15
movq %rax, %rdi
xorl %esi, %esi
movq %r12, %rdx
callq 0x1100
leaq 0x22b5(%rip), %rsi      # 0x88bf
movq %r15, %rdi
movq %r14, %rdx
xorl %eax, %eax
callq 0x1180
leaq 0x27ee(%rip), %rsi      # 0x8e0c
movq %r15, %rdi
callq 0x1160
movq %rax, %r13
movq 0xb8(%rbx), %rdi
movq %r15, %rsi
movl -0x2c(%rbp), %r15d
movq %r12, %rdx
callq *0xc8(%rbx)
jmp 0x6654
leaq 0x228f(%rip), %rsi      # 0x88d8
movq %r14, %rdi
callq 0x1170
movq %rax, %r13
testq %r13, %r13
je 0x667d
movq %rbx, %rdi
movq %r13, %rsi
callq 0x6556
movq %rax, %rbx
movq %r13, %rdi
testl %r15d, %r15d
je 0x6729
callq 0x10e0
jmp 0x672e
cmpq $0x0, 0xd0(%rbx)
jne 0x675f
movq %r14, %rdi
callq 0x10b0
leal 0x12(%rax), %r15d
movq 0xb8(%rbx), %rdi
movq %r15, %rsi
callq *0xc0(%rbx)
movq %rax, %r12
movq %rax, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
leaq 0x221d(%rip), %rsi      # 0x88db
movq %r12, %rdi
movq %r14, %rdx
xorl %eax, %eax
callq 0x1180
movq %r12, %rdi
callq 0x10b0
leal 0x1(%rax), %r14d
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
callq *0xc0(%rbx)
movq %rax, 0xd0(%rbx)
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movq 0xd0(%rbx), %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x1140
movq 0xb8(%rbx), %rdi
movq %r12, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0xd0(%rbx), %rbx
jmp 0x672e
callq 0x10a0
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1bfa(%rip), %rdi      # 0x8341
leaq 0x1ba5(%rip), %rsi      # 0x82f3
leaq 0x2129(%rip), %rcx      # 0x887e
movl $0xa1d, %edx            # imm = 0xA1D
callq 0x10f0
leaq 0x233d(%rip), %rdi      # 0x8aa3
leaq 0x1b86(%rip), %rsi      # 0x82f3
leaq 0x2eab(%rip), %rcx      # 0x961f
movl $0x22f, %edx            # imm = 0x22F
callq 0x10f0