LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: satisfied
static int
satisfied (PS * ps)
{
  assert (!ps->mtcls);
  assert (!ps->failed_assumption);
  if (ps->alstail < ps->alshead)
    return 0;
  assert (!ps->conflict);
  assert (bcp_queue_is_empty (ps));
  return ps->thead == ps->trail + ps->max_var;	/* all assigned */
}

// Assembly:
pushq %rax
cmpq $0x0, 0x248(%rdi)
jne 0xcac8
cmpq $0x0, 0x1b8(%rdi)
jne 0xcae7
movq 0x108(%rdi), %rcx
xorl %eax, %eax
cmpq 0x100(%rdi), %rcx
jb 0xcac6
cmpq $0x0, 0x250(%rdi)
jne 0xcb25
movq 0xe0(%rdi), %rcx
cmpq 0xd0(%rdi), %rcx
jne 0xcb06
cmpq %rcx, 0xe8(%rdi)
jne 0xcb06
movl 0x2c(%rdi), %edx
shlq $0x3, %rdx
addq 0xc8(%rdi), %rdx
xorl %eax, %eax
cmpq %rdx, %rcx
sete %al
popq %rcx
retq
leaq 0x77a7(%rip), %rdi      # 0x14276
leaq 0x67a6(%rip), %rsi      # 0x1327c
leaq 0x78ee(%rip), %rcx      # 0x143cb
movl $0xd47, %edx            # imm = 0xD47
callq 0x10b0
leaq 0x78f1(%rip), %rdi      # 0x143df
leaq 0x6787(%rip), %rsi      # 0x1327c
leaq 0x78cf(%rip), %rcx      # 0x143cb
movl $0xd48, %edx            # imm = 0xD48
callq 0x10b0
leaq 0x78f7(%rip), %rdi      # 0x14404
leaq 0x6768(%rip), %rsi      # 0x1327c
leaq 0x78b0(%rip), %rcx      # 0x143cb
movl $0xd4c, %edx            # imm = 0xD4C
callq 0x10b0
leaq 0x78ca(%rip), %rdi      # 0x143f6
leaq 0x6749(%rip), %rsi      # 0x1327c
leaq 0x7891(%rip), %rcx      # 0x143cb
movl $0xd4b, %edx            # imm = 0xD4B
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: clause_is_toplevel_satisfied
static int
clause_is_toplevel_satisfied (PS * ps, Cls * c)
{
  Lit *lit, **p, **eol = end_of_lits (c);
  Var *v;

  for (p = c->lits; p < eol; p++)
    {
      lit = *p;
      if (lit->val == TRUE)
	{
	  v = LIT2VAR (lit);
	  if (!v->level)
	    return 1;
	}
    }

  return 0;
}

// Assembly:
movl (%rsi), %ecx
xorl %eax, %eax
testq %rcx, %rcx
je 0xcb7f
leaq (%rsi,%rcx,8), %rcx
addq $0x18, %rcx
addq $0x18, %rsi
movq (%rsi), %rdx
cmpb $0x1, (%rdx)
jne 0xcb76
movq 0x40(%rdi), %r8
subl 0x38(%rdi), %edx
shrl %edx
shlq $0x4, %rdx
cmpl $0x0, 0x4(%r8,%rdx)
je 0xcb80
addq $0x8, %rsi
cmpq %rcx, %rsi
jb 0xcb59
retq
movl $0x1, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: cmp_inverse_jwh_rnk
static int
cmp_inverse_jwh_rnk (PS * ps, Rnk * r, Rnk * s)
{
  Flt a = rnk2jwh (ps, r);
  Flt b = rnk2jwh (ps, s);
  int res = cmpflt (a, b);

  if (res)
    return -res;

  return cmp_inverse_rnk (ps, r, s);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r15
movq %rsi, %rax
subq 0x48(%rdi), %rax
movq %rdx, %r14
movq 0x50(%rdi), %rcx
movl (%rcx,%rax), %ebp
movl 0x4(%rcx,%rax), %r12d
movl %ebp, %edi
movl %r12d, %esi
callq 0xc58c
movl %eax, %r13d
movl %ebp, %edi
movl %r12d, %esi
callq 0xc620
movl %eax, %edi
movl $0x5e000000, %esi       # imm = 0x5E000000
callq 0xc58c
movl %r13d, %edi
movl %eax, %esi
callq 0xc620
movq %r14, %rcx
subq 0x48(%r15), %rcx
movl %eax, %ebp
movq 0x50(%r15), %rax
movl (%rax,%rcx), %r15d
movl 0x4(%rax,%rcx), %r12d
movl %r15d, %edi
movl %r12d, %esi
callq 0xc58c
movl %eax, %r13d
movl %r15d, %edi
movl %r12d, %esi
callq 0xc620
movl %eax, %edi
movl $0x5e000000, %esi       # imm = 0x5E000000
callq 0xc58c
movl %r13d, %edi
movl %eax, %esi
callq 0xc620
xorl %ecx, %ecx
cmpl %eax, %ebp
seta %cl
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmovael %ecx, %eax
testl %eax, %eax
jne 0xd069
movq %rbx, %rdi
movq %r14, %rsi
callq 0xdd5c
negl %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: cmp_rnk
static int
cmp_rnk (Rnk * r, Rnk * s)
{
  if (!r->moreimportant && s->moreimportant)
    return -1;

  if (r->moreimportant && !s->moreimportant)
    return 1;

  if (!r->lessimportant && s->lessimportant)
    return 1;

  if (r->lessimportant && !s->lessimportant)
    return -1;

  if (r->score < s->score)
    return -1;

  if (r->score > s->score)
    return 1;

  return -cmp_ptr (0, r, s);
}

// Assembly:
movl 0x4(%rdi), %edx
btl $0x1e, %edx
movl 0x4(%rsi), %ecx
jb 0xdd74
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
btl $0x1e, %ecx
jae 0xdd7f
retq
movl $0x1, %eax
btl $0x1e, %ecx
jae 0xdd73
testl %edx, %edx
js 0xdd8d
testl %ecx, %ecx
jns 0xdd96
movl $0x1, %eax
retq
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testl %ecx, %ecx
jns 0xdd73
movl (%rsi), %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl %ecx, (%rdi)
jb 0xdd73
movl $0x1, %eax
ja 0xdd73
subl %edi, %esi
movl %esi, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: assign
inline static void
assign (PS * ps, Lit * lit, Cls * reason)
{
  Var * v = LIT2VAR (lit);
  assert (lit->val == UNDEF);
#ifdef STATS
  ps->assignments++;
#endif
  v->level = ps->LEVEL;
  assign_phase (ps, lit);
  assign_reason (ps, v, reason);
  tpush (ps, lit);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
cmpb $0x0, (%rsi)
jne 0xdf94
movq %rsi, %rbx
movq %rdi, %r14
movq 0x40(%rdi), %rdi
movq 0x38(%r14), %rsi
movq %rbx, %rcx
subq %rsi, %rcx
movl %ecx, %r8d
shrl %r8d
shlq $0x4, %r8
leaq (%rdi,%r8), %rax
movl 0x28(%r14), %r9d
movl %r9d, 0x4(%rdi,%r8)
testl %r9d, %r9d
je 0xddfb
cmpl $0x0, 0x408(%r14)
jne 0xde71
movl %ecx, %esi
notl %esi
andl $0x1, %esi
testb $0x8, (%rax)
je 0xde59
movl 0x488(%r14), %edi
movl $0xd1b71759, %r8d       # imm = 0xD1B71759
imulq %rdi, %r8
shrq $0x2d, %r8
subl %r8d, %edi
movl %edi, 0x488(%r14)
btl $0x2, (%rax)
movl %esi, %r8d
sbbl $0x0, %r8d
je 0xde59
addl $0x3e8, %edi            # imm = 0x3E8
movl %edi, 0x488(%r14)
incq 0x468(%r14)
shrl %ecx
cmpl 0x49c(%r14), %ecx
jae 0xde59
movl %ecx, 0x49c(%r14)
movl (%rax), %ecx
andl $-0xd, %ecx
leal (%rcx,%rsi,4), %ecx
addl $0x8, %ecx
movw %cx, (%rax)
movq 0x38(%r14), %rsi
movq %rbx, %rcx
subq %rsi, %rcx
movb $0x1, (%rbx)
xorq $0x1, %rcx
movb $-0x1, (%rsi,%rcx)
leaq 0x70(%r14), %rcx
cmpq %rdx, %rcx
je 0xdfb3
movq %rdx, 0x8(%rax)
cmpq %rbx, %rsi
jae 0xdf75
movl 0x2c(%r14), %eax
addl %eax, %eax
addq %rsi, %rax
incq %rax
cmpq %rbx, %rax
jb 0xdf75
movq 0xd0(%r14), %rax
cmpq 0xd8(%r14), %rax
jne 0xdf58
movq 0xc8(%r14), %rsi
cmpq %rax, %rsi
ja 0xdfd2
subq %rsi, %rax
movabsq $0x7fffffff8, %rcx      # imm = 0x7FFFFFFF8
movq %rax, %r15
andq %rcx, %r15
shrq $0x2, %rax
testq %r15, %r15
movl %eax, %eax
movl $0x1, %r13d
cmovneq %rax, %r13
movq 0xe0(%r14), %rbp
movq 0xe8(%r14), %r12
subq %rsi, %rbp
subq %rsi, %r12
leaq (,%r13,8), %rcx
movq %r14, %rdi
movq %r15, %rdx
callq 0x473a
movq %rax, 0xc8(%r14)
addq %rax, %r15
leaq (%rax,%r13,8), %rcx
movq %rcx, 0xd8(%r14)
movabsq $0x7fffffff8, %rcx      # imm = 0x7FFFFFFF8
andq %rcx, %rbp
addq %rax, %rbp
movq %rbp, 0xe0(%r14)
andq %rcx, %r12
addq %rax, %r12
movq %r12, 0xe8(%r14)
movq %r15, %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0xd0(%r14)
movq %rbx, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x6653(%rip), %rdi      # 0x145cf
leaq 0x52f9(%rip), %rsi      # 0x1327c
leaq 0x667c(%rip), %rcx      # 0x14606
movl $0x5f5, %edx            # imm = 0x5F5
callq 0x10b0
leaq 0x6d1d(%rip), %rdi      # 0x14cb8
leaq 0x52da(%rip), %rsi      # 0x1327c
leaq 0x65df(%rip), %rcx      # 0x14588
movl $0x643, %edx            # imm = 0x643
callq 0x10b0
leaq 0x61d0(%rip), %rdi      # 0x1418a
leaq 0x52bb(%rip), %rsi      # 0x1327c
leaq 0x65e0(%rip), %rcx      # 0x145a8
movl $0x60c, %edx            # imm = 0x60C
callq 0x10b0
leaq 0x6645(%rip), %rdi      # 0x1461e
leaq 0x529c(%rip), %rsi      # 0x1327c
leaq 0x661f(%rip), %rcx      # 0x14606
movl $0x5fd, %edx            # imm = 0x5FD
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: setcimpl
static Cls *
setcimpl (PS * ps, Lit * a, Lit * b)
{
  assert (!ps->cimplvalid);
  assert (ps->cimpl.size == 2);

  ps->cimpl.lits[0] = a;
  ps->cimpl.lits[1] = b;

  sorttwolits (ps->cimpl.lits);
  ps->cimplvalid = 1;

  return &ps->cimpl;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
cmpl $0x0, 0xc4(%rdi)
jne 0xea85
movq %rdi, %rbx
cmpl $0x2, 0x98(%rdi)
jne 0xeaa4
leaq 0x98(%rbx), %r14
leaq 0xb0(%rbx), %rdi
movq %rsi, 0xb0(%rbx)
movq %rdx, 0xb8(%rbx)
callq 0xeb4a
movl $0x1, 0xc4(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x6172(%rip), %rdi      # 0x14bfe
leaq 0x47e9(%rip), %rsi      # 0x1327c
leaq 0x6174(%rip), %rcx      # 0x14c0e
movl $0x69c, %edx            # imm = 0x69C
callq 0x10b0
leaq 0x6185(%rip), %rdi      # 0x14c30
leaq 0x47ca(%rip), %rsi      # 0x1327c
leaq 0x6155(%rip), %rcx      # 0x14c0e
movl $0x69d, %edx            # imm = 0x69D
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: setimpl
static Cls *
setimpl (PS * ps, Lit * a, Lit * b)
{
  assert (!ps->implvalid);
  assert (ps->impl.size == 2);

  ps->impl.lits[0] = a;
  ps->impl.lits[1] = b;

  sorttwolits (ps->impl.lits);
  ps->implvalid = 1;

  return &ps->impl;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
cmpl $0x0, 0xc0(%rdi)
jne 0xeb0c
movq %rdi, %rbx
cmpl $0x2, 0x70(%rdi)
jne 0xeb2b
leaq 0x70(%rbx), %r14
leaq 0x88(%rbx), %rdi
movq %rsi, 0x88(%rbx)
movq %rdx, 0x90(%rbx)
callq 0xeb4a
movl $0x1, 0xc0(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x5bc7(%rip), %rdi      # 0x146da
leaq 0x4762(%rip), %rsi      # 0x1327c
leaq 0x5bc8(%rip), %rcx      # 0x146e9
movl $0x687, %edx            # imm = 0x687
callq 0x10b0
leaq 0x5bd8(%rip), %rdi      # 0x1470a
leaq 0x4743(%rip), %rsi      # 0x1327c
leaq 0x5ba9(%rip), %rcx      # 0x146e9
movl $0x688, %edx            # imm = 0x688
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: sorttwolits
static void
sorttwolits (Lit ** v)
{
  Lit * a = v[0], * b = v[1];

  assert (a != b);

  if (a < b)
    return;

  v[0] = b;
  v[1] = a;
}

// Assembly:
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
cmpq %rcx, %rax
je 0xeb60
jb 0xeb5f
movq %rcx, (%rdi)
movq %rax, 0x8(%rdi)
retq
pushq %rax
leaq 0x5bb5(%rip), %rdi      # 0x1471d
leaq 0x470d(%rip), %rsi      # 0x1327c
leaq 0x5bae(%rip), %rcx      # 0x14724
movl $0x671, %edx            # imm = 0x671
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: impl2reason
static Cls *
impl2reason (PS * ps, Lit * lit)
{
  Lit * other;
  Cls * res;
  other = ps->impl.lits[0];
  if (lit == other)
    other = ps->impl.lits[1];
  assert (other->val == FALSE);
  res = LIT2REASON (NOTLIT (other));
  resetimpl (ps);
  return res;
}

// Assembly:
pushq %rax
movq 0x88(%rdi), %rax
cmpq %rsi, %rax
jne 0x102ff
movq 0x90(%rdi), %rax
cmpb $-0x1, (%rax)
jne 0x10329
movq 0x38(%rdi), %rcx
subq %rcx, %rax
xorq $0x1, %rax
cmpb $0x1, (%rcx,%rax)
jne 0x10348
leaq 0x1(,%rax,2), %rax
movl $0x0, 0xc0(%rdi)
popq %rcx
retq
leaq 0x46bf(%rip), %rdi      # 0x149ef
leaq 0x2f45(%rip), %rsi      # 0x1327c
leaq 0x486a(%rip), %rcx      # 0x14ba8
movl $0x738, %edx            # imm = 0x738
callq 0x10b0
leaq 0x46b4(%rip), %rdi      # 0x14a03
leaq 0x2f26(%rip), %rsi      # 0x1327c
leaq 0x484b(%rip), %rcx      # 0x14ba8
movl $0x739, %edx            # imm = 0x739
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: connect_head_tail
static void
connect_head_tail (PS * ps, Lit * lit, Cls * c)
{
  Cls ** s;
  assert (c->size >= 1);
  if (c->size == 2)
    {
#ifdef NO_BINARY_CLAUSES
      lpush (ps, lit, c);
      return;
#else
      s = LIT2IMPLS (lit);
#endif
    }
  else
    s = LIT2HTPS (lit);

  if (c->lits[0] != lit)
    {
      assert (c->size >= 2);
      assert (c->lits[1] == lit);
      c->next[1] = *s;
    }
  else
    c->next[0] = *s;

  *s = c;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r14
movl (%rdx), %edx
cmpl $0x2, %edx
je 0x103d2
testl %edx, %edx
je 0x104bf
movq 0x58(%rdi), %rax
movl 0x38(%rdi), %esi
movl %r14d, %ecx
subl %esi, %ecx
cmpq %r14, 0x18(%rbx)
je 0x104a4
cmpl $0x1, %edx
je 0x104fd
movl $0x10, %edx
cmpq %r14, 0x20(%rbx)
je 0x104a9
leaq 0x4794(%rip), %rdi      # 0x14b4e
leaq 0x2ebb(%rip), %rsi      # 0x1327c
leaq 0x474e(%rip), %rcx      # 0x14b16
movl $0x80e, %edx            # imm = 0x80E
callq 0x10b0
movabsq $-0x100000000, %r15     # imm = 0xFFFFFFFF00000000
movq 0x18(%rbx), %r13
movq 0x68(%rdi), %rcx
movl 0x38(%rdi), %eax
movl %r14d, %edx
subl %eax, %edx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %r12
movq (%rcx,%rdx), %rax
movq 0x8(%rcx,%rdx), %rdx
testq %rax, %rax
je 0x1045d
movq %rdx, %rcx
shrq $0x20, %rcx
movl $0x1, %esi
shll %cl, %esi
cmpl %edx, %esi
jb 0x104de
jne 0x10481
movl $0x2, %r8d
shll %cl, %r8d
movl %esi, %edx
shlq $0x3, %rdx
shlq $0x3, %r8
movq %rax, %rsi
movq %r8, %rcx
callq 0x473a
movq %rax, (%r12)
movq 0x8(%r12), %rcx
movl %ecx, %esi
andq %r15, %rcx
addq %rcx, %rsi
movabsq $0x100000000, %rdx      # imm = 0x100000000
addq %rsi, %rdx
movq %rdx, 0x8(%r12)
jmp 0x10481
testl %edx, %edx
jne 0x1051c
testq %rdx, %rdx
jne 0x1053b
movl $0x8, %esi
callq 0x9cfe
movq %rax, (%r12)
movq 0x8(%r12), %rdx
xorl %ecx, %ecx
cmpq %r14, %r13
sete %cl
movq 0x18(%rbx,%rcx,8), %rcx
leal 0x1(%rdx), %esi
andq %rdx, %r15
orq %rsi, %r15
movq %r15, 0x8(%r12)
movl %edx, %edx
movq %rcx, (%rax,%rdx,8)
jmp 0x104b5
movl $0x8, %edx
movq (%rax,%rcx,8), %rsi
movq %rsi, (%rbx,%rdx)
movq %rbx, (%rax,%rcx,8)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x4643(%rip), %rdi      # 0x14b09
leaq 0x2daf(%rip), %rsi      # 0x1327c
leaq 0x4642(%rip), %rcx      # 0x14b16
movl $0x7fe, %edx            # imm = 0x7FE
callq 0x10b0
leaq 0x46af(%rip), %rdi      # 0x14b94
leaq 0x2d90(%rip), %rsi      # 0x1327c
leaq 0x466d(%rip), %rcx      # 0x14b60
movl $0x7ec, %edx            # imm = 0x7EC
callq 0x10b0
leaq 0x463d(%rip), %rdi      # 0x14b41
leaq 0x2d71(%rip), %rsi      # 0x1327c
leaq 0x4604(%rip), %rcx      # 0x14b16
movl $0x80d, %edx            # imm = 0x80D
callq 0x10b0
leaq 0x465c(%rip), %rdi      # 0x14b7f
leaq 0x2d52(%rip), %rsi      # 0x1327c
leaq 0x462f(%rip), %rcx      # 0x14b60
movl $0x7e5, %edx            # imm = 0x7E5
callq 0x10b0
leaq 0x4647(%rip), %rdi      # 0x14b89
leaq 0x2d33(%rip), %rsi      # 0x1327c
leaq 0x4610(%rip), %rcx      # 0x14b60
movl $0x7e6, %edx            # imm = 0x7E6
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: incjwh
static void
incjwh (PS * ps, Cls * c)
{
  Lit **p, *lit, ** eol;
  Flt * f, inc, sum;
  unsigned size = 0;
  Var * v;
  Val val;

  eol = end_of_lits (c);

  for (p = c->lits; p < eol; p++)
    {
      lit = *p;
      val = lit->val;

      if (val && ps->LEVEL > 0)
	{
	  v = LIT2VAR (lit);
	  if (v->level > 0)
	    val = UNDEF;
	}

      if (val == TRUE)
	return;

      if (val != FALSE)
	size++;
    }

  inc = base2flt (1, -size);

  for (p = c->lits; p < eol; p++)
    {
      lit = *p;
      f = LIT2JWH (lit);
      sum = addflt (*f, inc);
      *f = sum;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x18(%rsi), %r14
movl (%rsi), %r12d
leaq (%rsi,%r12,8), %r15
addq $0x18, %r15
xorl %eax, %eax
testq %r12, %r12
je 0x105bd
movq %r14, %rcx
movq (%rcx), %rsi
movzbl (%rsi), %edx
testl %edx, %edx
je 0x105b2
cmpl $0x0, 0x28(%rbx)
je 0x105a5
movq 0x40(%rbx), %rdi
subl 0x38(%rbx), %esi
shrl %esi
shlq $0x4, %rsi
cmpl $0x0, 0x4(%rdi,%rsi)
jne 0x105b2
cmpl $0xff, %edx
je 0x105b4
cmpl $0x1, %edx
je 0x10612
incl %eax
addq $0x8, %rcx
cmpq %r15, %rcx
jb 0x10581
movl %eax, %ecx
negl %ecx
cmpl $-0x80, %ecx
movl $0xffffff80, %edx       # imm = 0xFFFFFF80
cmovll %ecx, %edx
subl %edx, %ecx
movl $0x1, %ebp
cmpl $0x18, %ecx
jb 0x105e8
movl $0xffffffe8, %esi       # imm = 0xFFFFFFE8
subl %eax, %esi
xorl %edi, %edi
callq 0xc531
movl %eax, %ebp
testl %r12d, %r12d
je 0x10612
movq (%r14), %r12
movq 0x50(%rbx), %r13
subq 0x38(%rbx), %r12
movl (%r13,%r12,4), %edi
movl %ebp, %esi
callq 0xc620
movl %eax, (%r13,%r12,4)
addq $0x8, %r14
cmpq %r15, %r14
jb 0x105ed
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: var2reason
static Cls *
var2reason (PS * ps, Var * var)
{
  Cls * res = var->reason;
#ifdef NO_BINARY_CLAUSES
  Lit * this, * other;
  if (ISLITREASON (res))
    {
      this = VAR2LIT (var);
      if (this->val == FALSE)
	this = NOTLIT (this);

      other = REASON2LIT (res);
      assert (other->val == TRUE);
      assert (this->val == TRUE);
      res = setimpl (ps, NOTLIT (other), this);
    }
#else
  (void) ps;
#endif
  return res;
}

// Assembly:
pushq %rax
movq 0x8(%rsi), %rax
testb $0x1, %al
jne 0x106dd
popq %rcx
retq
movq %rsi, %rcx
movq 0x38(%rdi), %rsi
subq 0x40(%rdi), %rcx
sarq $0x3, %rcx
leaq (%rsi,%rcx), %r8
movq %rcx, %rdx
xorq $0x1, %rdx
addq %rsi, %rdx
cmpb $-0x1, (%rsi,%rcx)
cmovneq %r8, %rdx
shrq %rax
cmpb $0x1, (%rsi,%rax)
jne 0x1071d
cmpb $0x1, (%rdx)
jne 0x1073c
xorq $0x1, %rax
addq %rax, %rsi
popq %rax
jmp 0xeac3
leaq 0x46cf(%rip), %rdi      # 0x14df3
leaq 0x2b51(%rip), %rsi      # 0x1327c
leaq 0x46d4(%rip), %rcx      # 0x14e06
movl $0xbcc, %edx            # imm = 0xBCC
callq 0x10b0
leaq 0x46e0(%rip), %rdi      # 0x14e23
leaq 0x2b32(%rip), %rsi      # 0x1327c
leaq 0x46b5(%rip), %rcx      # 0x14e06
movl $0xbcd, %edx            # imm = 0xBCD
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: init_reduce
static void
init_reduce (PS * ps)
{
  // lreduce = loadded / 2;
  ps->lreduce = 1000;

  if (ps->lreduce < 100)
    ps->lreduce = 100;

  if (ps->verbosity)
     fprintf (ps->out, 
             "%s\n%sinitial reduction limit %u clauses\n%s\n",
	     ps->prefix, ps->prefix, ps->lreduce, ps->prefix);
}

// Assembly:
movl $0x3e8, 0x3a8(%rdi)     # imm = 0x3E8
cmpl $0x0, 0x20(%rdi)
je 0x108aa
movq 0x10(%rdi), %rax
movq 0x18(%rdi), %rcx
leaq 0x49d9(%rip), %rsi      # 0x1526d
movq %rax, %rdi
movq %rcx, %rdx
movl $0x3e8, %r8d            # imm = 0x3E8
movq %rcx, %r9
xorl %eax, %eax
jmp 0x1140
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: iteration
static void
iteration (PS * ps)
{
  assert (!ps->LEVEL);
  assert (bcp_queue_is_empty (ps));
  assert (ps->isimplify < ps->fixed);

  ps->iterations++;
  report (ps, 2, 'i');
#ifdef NLUBY
  ps->drestart = MINRESTART;
  ps->lrestart = ps->conflicts + ps->drestart;
#else
  init_restart (ps);
#endif
  ps->isimplify = ps->fixed;
}

// Assembly:
pushq %rbx
cmpl $0x0, 0x28(%rdi)
jne 0x10948
movq %rdi, %rbx
movq 0xe0(%rdi), %rax
cmpq 0xd0(%rdi), %rax
jne 0x10929
cmpq %rax, 0xe8(%rbx)
jne 0x10929
movl 0x3a0(%rbx), %eax
cmpl 0x3e8(%rbx), %eax
jae 0x10967
incl 0x380(%rbx)
movq %rbx, %rdi
movl $0x2, %esi
movl $0x69, %edx
callq 0x87f9
movq $0x0, 0x3c0(%rbx)
movl $0x0, 0x3c8(%rbx)
movq %rbx, %rdi
xorl %esi, %esi
callq 0x10986
movl 0x3e8(%rbx), %eax
movl %eax, 0x3a0(%rbx)
popq %rbx
retq
leaq 0x3ad4(%rip), %rdi      # 0x14404
leaq 0x2945(%rip), %rsi      # 0x1327c
leaq 0x49dc(%rip), %rcx      # 0x1531a
movl $0x153c, %edx           # imm = 0x153C
callq 0x10b0
leaq 0x3acd(%rip), %rdi      # 0x1441c
leaq 0x2926(%rip), %rsi      # 0x1327c
leaq 0x49bd(%rip), %rcx      # 0x1531a
movl $0x153b, %edx           # imm = 0x153B
callq 0x10b0
leaq 0x49c1(%rip), %rdi      # 0x1532f
leaq 0x2907(%rip), %rsi      # 0x1327c
leaq 0x499e(%rip), %rcx      # 0x1531a
movl $0x153d, %edx           # imm = 0x153D
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: inc_lrestart
static void
inc_lrestart (PS * ps, int skip)
{
  unsigned delta;

  delta = 100 * luby (++ps->lubycnt);
  ps->lrestart = ps->conflicts + delta;

  if (ps->waslubymaxdelta)
    report (ps, 1, skip ? 'N' : 'R');
  else
    report (ps, 2, skip ? 'n' : 'r');

  if (delta > ps->lubymaxdelta)
    {
      ps->lubymaxdelta = delta;
      ps->waslubymaxdelta = 1;
    }
  else
    ps->waslubymaxdelta = 0;
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x3c0(%rdi), %edx
incl %edx
movl %edx, 0x3c0(%rdi)
movl $0x1, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
shll %cl, %eax
xorl %edx, %eax
cmpl $-0x1, %eax
je 0x109e4
incl %ecx
cmpl $0x20, %ecx
jne 0x1099f
movl $0x1, %eax
leal -0x1(%rax), %ecx
movl $0x1, %edi
shll %cl, %edi
cmpl %edx, %edi
jg 0x109da
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
movl %eax, %ecx
shll %cl, %r8d
notl %r8d
cmpl %r8d, %edx
jl 0x109de
incl %eax
jmp 0x109b9
subl %edi, %edx
incl %edx
jmp 0x1099a
movl $0x32, %ebp
shll %cl, %ebp
movl 0x41c(%rbx), %eax
addl %ebp, %eax
movl %eax, 0x3bc(%rbx)
cmpl $0x0, 0x3c8(%rbx)
je 0x10a1a
xorl %eax, %eax
testl %esi, %esi
sete %al
leal 0x4e(,%rax,4), %edx
movq %rbx, %rdi
movl $0x1, %esi
jmp 0x10a30
xorl %eax, %eax
testl %esi, %esi
sete %al
leal 0x6e(,%rax,4), %edx
movq %rbx, %rdi
movl $0x2, %esi
callq 0x87f9
xorl %eax, %eax
cmpl 0x3c4(%rbx), %ebp
jbe 0x10a4a
movl %ebp, 0x3c4(%rbx)
movl $0x1, %eax
movl %eax, 0x3c8(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: rrng
static unsigned
rrng (PS * ps, unsigned low, unsigned high)
{
  unsigned long long tmp;
  unsigned res, elements;
  assert (low <= high);
  elements = high - low + 1;
  tmp = rng (ps);
  tmp *= elements;
  tmp >>= 32;
  tmp += low;
  res = tmp;
  NOLOG ( fprintf (ps->out, "%srrng (ps, %u, %u) = %u\n", ps->prefix, low, high, res));
  assert (low <= res);
  assert (res <= high);
  return res;
}

// Assembly:
pushq %rax
testl %esi, %esi
je 0x10a85
movl 0x320(%rdi), %ecx
imull $0x19660d, %ecx, %eax   # imm = 0x19660D
addl $0x3c6ef35f, %eax       # imm = 0x3C6EF35F
movl %eax, 0x320(%rdi)
movl %esi, %eax
imulq %rcx, %rax
shrq $0x20, %rax
cmpl %esi, %eax
jae 0x10aa4
incl %eax
popq %rcx
retq
leaq 0x497c(%rip), %rdi      # 0x15408
leaq 0x27e9(%rip), %rsi      # 0x1327c
leaq 0x497a(%rip), %rcx      # 0x15414
movl $0x15f4, %edx           # imm = 0x15F4
callq 0x10b0
leaq 0x499d(%rip), %rdi      # 0x15448
leaq 0x27ca(%rip), %rsi      # 0x1327c
leaq 0x495b(%rip), %rcx      # 0x15414
movl $0x15fd, %edx           # imm = 0x15FD
callq 0x10b0
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: push_mcsass
static void
push_mcsass (PS * ps, int lit)
{
  if (ps->nmcsass == ps->szmcsass)
    {
      ps->szmcsass = ps->szmcsass ? 2*ps->szmcsass : 1;
      RESIZEN (ps->mcsass, ps->nmcsass, ps->szmcsass);
    }

  ps->mcsass[ps->nmcsass++] = lit;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %ebx
movq %rdi, %r14
movl 0x1a0(%rdi), %ecx
cmpl 0x1a4(%rdi), %ecx
jne 0x10f1d
movslq %ecx, %rdx
leal (%rcx,%rcx), %eax
testl %ecx, %ecx
movl $0x1, %ecx
cmovnel %eax, %ecx
movl %ecx, 0x1a4(%r14)
shlq $0x2, %rdx
movslq %ecx, %rcx
shlq $0x2, %rcx
movq 0x198(%r14), %rsi
movq %r14, %rdi
callq 0x473a
movq %rax, 0x198(%r14)
movl 0x1a0(%r14), %ecx
jmp 0x10f24
movq 0x198(%r14), %rax
leal 0x1(%rcx), %edx
movl %edx, 0x1a0(%r14)
movslq %ecx, %rcx
movl %ebx, (%rax,%rcx,4)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: cmp_glue_activity_size
static int
cmp_glue_activity_size (PS * ps, Cls * c, Cls * d)
{
  Act a, b, * p, * q;

  (void) ps;

  assert (c->learned);
  assert (d->learned);

  if (c->glue < d->glue)		// smaller glue preferred
    return 1;

  if (c->glue > d->glue)
    return -1;

  p = CLS2ACT (c);
  q = CLS2ACT (d);
  a = *p;
  b = *q;

  if (a < b)				// then higher activity
    return -1;

  if (b < a)
    return 1;

  if (c->size < d->size)		// then smaller size
    return 1;

  if (c->size > d->size)
    return -1;

  return 0;
}

// Assembly:
pushq %rax
movl 0x4(%rdi), %ecx
testb $0x2, %cl
je 0x10fa7
movl 0x4(%rsi), %edx
testb $0x2, %dl
je 0x10fc6
shrl $0x5, %ecx
movl $0x1ffffff, %eax        # imm = 0x1FFFFFF
andl %eax, %ecx
shrl $0x5, %edx
andl %eax, %edx
movl $0x1, %eax
cmpl %edx, %ecx
jb 0x10fa5
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
ja 0x10fa5
movl (%rdi), %ecx
cmpq $0x2, %rcx
jbe 0x10fe5
movl (%rsi), %edx
cmpq $0x2, %rdx
jbe 0x11004
movl 0x18(%rdi,%rcx,8), %edi
movl 0x18(%rsi,%rdx,8), %esi
cmpl %esi, %edi
jb 0x10fa5
seta %al
cmpl %edx, %ecx
setb %sil
orb %al, %sil
movl $0x1, %eax
jne 0x10fa5
xorl %eax, %eax
cmpl %ecx, %edx
sbbl %eax, %eax
popq %rcx
retq
leaq 0x4305(%rip), %rdi      # 0x152b3
leaq 0x22c7(%rip), %rsi      # 0x1327c
leaq 0x4908(%rip), %rcx      # 0x158c4
movl $0x1551, %edx           # imm = 0x1551
callq 0x10b0
leaq 0x4926(%rip), %rdi      # 0x158f3
leaq 0x22a8(%rip), %rsi      # 0x1327c
leaq 0x48e9(%rip), %rcx      # 0x158c4
movl $0x1552, %edx           # imm = 0x1552
callq 0x10b0
leaq 0x3d81(%rip), %rdi      # 0x14d6d
leaq 0x2289(%rip), %rsi      # 0x1327c
leaq 0x48ca(%rip), %rcx      # 0x158c4
movl $0x155a, %edx           # imm = 0x155A
callq 0x10b0
leaq 0x48f3(%rip), %rdi      # 0x158fe
leaq 0x226a(%rip), %rsi      # 0x1327c
leaq 0x48ab(%rip), %rcx      # 0x158c4
movl $0x155b, %edx           # imm = 0x155B
callq 0x10b0
nop
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: newVertexSet(long)
VertexSet* newVertexSet(VertexIdx nVertices)
{
    VertexSet *vs = new VertexSet();
    vs->nVertices = nVertices;
    vs->vertices = new VertexIdx[nVertices];
    return vs;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x10, %edi
callq 0x32c0
movq %rax, %r14
movq %rbx, (%rax)
movq %rbx, %rax
shrq $0x3d, %rax
shlq $0x3, %rbx
xorl %edi, %edi
negq %rax
sbbq %rdi, %rdi
orq %rbx, %rdi
callq 0x3030
movq %rax, 0x8(%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: VertexSet::contains(long) const
bool VertexSet::contains(VertexIdx v) const
{
    for (int i=0; i<nVertices; i++)
        if (vertices[i] == v)
            return true;
    return false;
}

// Assembly:
movq (%rdi), %rcx
testq %rcx, %rcx
jle 0x3dbb
movq 0x8(%rdi), %rdx
movb $0x1, %al
cmpq %rsi, (%rdx)
je 0x3dba
movl $0x1, %edi
movq %rdi, %rax
cmpq %rdi, %rcx
je 0x3db4
leaq 0x1(%rax), %rdi
cmpq %rsi, (%rdx,%rax,8)
jne 0x3da2
cmpq %rax, %rcx
setg %al
retq
xorl %eax, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: delVertexSet(VertexSet*)
void delVertexSet(VertexSet* v)
{
    if (v != NULL)
    {
        if (v->nVertices != 0)
            delete[] v->vertices;
        delete v;
    }
}

// Assembly:
testq %rdi, %rdi
je 0x3e53
pushq %rbx
movq %rdi, %rbx
cmpq $0x0, (%rdi)
je 0x3e45
movq 0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x3e45
callq 0x3370
movl $0x10, %esi
movq %rbx, %rdi
popq %rbx
jmp 0x32d0
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: intersect(VertexSet*, VertexSet*)
VertexSet* intersect(VertexSet* v1, VertexSet* v2) 
{
    VertexSet *s=v2, *l=v1;
    if (v1->nVertices < v2->nVertices)
    {
        s = v1;
        l = v2;
    }

    VertexSet* v = newVertexSet(s->nVertices);
    int j = 0;
    for (int i=0; i<s->nVertices;i++)
    {
        if (l->contains(s->vertices[i]))
        {
            v->vertices[j] = s->vertices[i];
            j++;
        }
    }
    v->nVertices = j;
    return v;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
movq (%rdi), %rbx
movq %rsi, (%rsp)
movq (%rsi), %r12
cmpq %r12, %rbx
movq %r12, %r13
cmovlq %rbx, %r13
movl $0x10, %edi
callq 0x32c0
movq %rax, %r15
movq %r13, %rax
shrq $0x3d, %rax
leaq (,%r13,8), %rcx
xorl %ebp, %ebp
negq %rax
movl $0x0, %edi
sbbq %rdi, %rdi
orq %rcx, %rdi
callq 0x3030
movq %rax, 0x8(%r15)
testq %r13, %r13
jle 0x3f0a
cmpq %r12, %rbx
movq (%rsp), %rdx
movq %rdx, %rcx
cmovlq %r14, %rcx
cmovgq %rbx, %r12
cmovlq %rdx, %r14
movq 0x8(%rcx), %rcx
movq 0x8(%r14), %rdx
xorl %esi, %esi
movq (%rcx,%rsi,8), %rdi
cmpq %rdi, (%rdx)
je 0x3ef6
movl $0x1, %r9d
movq %r9, %r8
cmpq %r9, %r12
je 0x3ef1
leaq 0x1(%r8), %r9
cmpq %rdi, (%rdx,%r8,8)
jne 0x3edf
cmpq %r8, %r12
jle 0x3eff
movslq %ebp, %rbp
movq %rdi, (%rax,%rbp,8)
incl %ebp
incq %rsi
cmpq %r13, %rsi
jne 0x3ed0
movslq %ebp, %rbp
movq %rbp, (%r15)
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: delPartialClique(PartialClique*)
void delPartialClique(PartialClique* pc)
{
    if (pc != NULL)
    {
        delVertexSet(pc->path);
        delVertexSet(pc->nbrs);
        delete pc;
    }
}

// Assembly:
testq %rdi, %rdi
je 0x3f6a
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0x3e28
movq 0x8(%rbx), %rdi
callq 0x3e28
movl $0x10, %esi
movq %rbx, %rdi
popq %rbx
jmp 0x32d0
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: Stack::pop()
StackItem* Stack::pop()
{
    StackItem *si = top;
    if (top == NULL) return NULL;
    top = si->next;
    si->next = NULL;
    i--;
    return si;
}

// Assembly:
movq (%rdi), %rax
testq %rax, %rax
je 0x3ff6
movq 0x8(%rax), %rcx
movq %rcx, (%rdi)
movq $0x0, 0x8(%rax)
decl 0x8(%rdi)
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliqueHelper.h
// Function: isClique(long*, int, Escape::CGraph&)
bool isClique(VertexIdx *vertices, int n, CGraph &CG)
{
    for (int i=0; i<n-1; i++)
    {
        for (int j=i+1; j<n; j++)
            if (CG.isEdge(vertices[i], vertices[j]) == -1)
                return false;
    }
    return true;
}

// Assembly:
movb $0x1, %al
cmpl $0x2, %esi
jl 0x40ab
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %rbx
movq %rdi, %r12
leal -0x1(%rsi), %eax
movq %rax, (%rsp)
movl %esi, %r13d
xorl %ebp, %ebp
movq %rdi, %r14
xorl %eax, %eax
movq %rax, 0x10(%rsp)
leaq 0x1(%rbp), %rax
movq %rax, 0x8(%rsp)
movl $0x1, %r15d
movq (%r12,%rbp,8), %rsi
movq (%r14,%r15,8), %rdx
movq %rbx, %rdi
callq 0x87c2
cmpl $-0x1, %eax
je 0x4098
incq %r15
cmpq %r15, %r13
jne 0x405e
movq (%rsp), %rcx
movq 0x8(%rsp), %rbp
cmpq %rcx, %rbp
setae %al
addq $0x8, %r14
decq %r13
cmpq %rcx, %rbp
jne 0x404a
jmp 0x409d
movq 0x10(%rsp), %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
andb $0x1, %al
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::binarySearch(long*, long, long)
VertexIdx Escape::binarySearch(EdgeIdx* array, VertexIdx end, EdgeIdx val)
{
    VertexIdx low = 0;
    VertexIdx high = end-1;
    VertexIdx mid;

    while (low <= high)
    {
        mid = (low+high)/2;
        if (array[mid] == val)
            return mid;
        if (array[mid] > val)
            high = mid-1;
        if (array[mid] < val)
            low = mid+1;
    }
    return -1;
}

// Assembly:
movq $-0x1, %rax
testq %rsi, %rsi
jle 0x84b0
decq %rsi
xorl %ecx, %ecx
leaq (%rsi,%rcx), %r8
shrq %r8
movq (%rdi,%r8,8), %r9
cmpq %rdx, %r9
je 0x84b1
leaq -0x1(%r8), %r10
incq %r8
cmpq %rdx, %r9
cmovgq %r10, %rsi
cmovlq %r8, %rcx
cmpq %rsi, %rcx
jle 0x8489
retq
movq %r8, %rax
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::copy() const
CGraph CGraph::copy() const
{
  CGraph ret = newCGraph(nVertices, nEdges);
  std::copy(offsets, offsets + nVertices + 1, ret.offsets);
  std::copy(nbors, nbors + nEdges, ret.nbors);
  return ret;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rsi
movq 0x8(%r14), %rdx
callq 0x863b
movq (%r14), %rax
movq 0x10(%r14), %rsi
leaq (%rsi,%rax,8), %rdx
addq $0x8, %rdx
subq %rsi, %rdx
je 0x86d3
movq 0x10(%rbx), %rdi
callq 0x3470
movq 0x8(%r14), %rdx
testq %rdx, %rdx
je 0x86ed
movq 0x18(%r14), %rsi
shlq $0x3, %rdx
movq 0x18(%rbx), %rdi
callq 0x3470
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::print(_IO_FILE*) const
void CGraph::print(FILE *f) const
{
  fprintf(f, "nVertices=%ld nEdges=%ld\n", (int64_t) nVertices, (int64_t) nEdges);
  for (VertexIdx i = 0; i < nVertices; ++i)
  {
    fprintf(f, "%ld: ", (int64_t) i);
    for (EdgeIdx j = offsets[i]; j < offsets[i + 1]; ++j)
      fprintf(f, "%ld ", (int64_t) nbors[j]);
    fprintf(f, "\n");
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq (%rdi), %rdx
movq 0x8(%rdi), %rcx
leaq 0x3e61(%rip), %rsi      # 0xc578
movq %rbx, %rdi
xorl %eax, %eax
callq 0x33c0
cmpq $0x0, (%r14)
jle 0x878d
leaq 0x3e7e(%rip), %r12      # 0xc5ac
xorl %ebp, %ebp
movq %rbp, %r13
movq %rbx, %rdi
leaq 0x3e69(%rip), %rsi      # 0xc5a6
movq %rbp, %rdx
xorl %eax, %eax
callq 0x33c0
movq 0x10(%r14), %rax
movq (%rax,%rbp,8), %r15
incq %rbp
cmpq 0x8(%rax,%r13,8), %r15
jge 0x877b
movq 0x18(%r14), %rax
movq (%rax,%r15,8), %rdx
movq %rbx, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x33c0
incq %r15
movq 0x10(%r14), %rax
cmpq (%rax,%rbp,8), %r15
jl 0x8759
movl $0xa, %edi
movq %rbx, %rsi
callq 0x3360
cmpq (%r14), %rbp
jl 0x8730
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::isEdge(long, long)
int CGraph::isEdge(VertexIdx v1, VertexIdx v2)
{
    if (v1 >= nVertices)
        return -1;
    for (EdgeIdx i=offsets[v1]; i < offsets[v1+1]; ++i)
        if (nbors[i] == v2)
            return i;
    return -1;
}

// Assembly:
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rsi, (%rdi)
jle 0x87f0
movq 0x10(%rdi), %r8
movq (%r8,%rsi,8), %rcx
movq 0x8(%r8,%rsi,8), %rsi
cmpq %rsi, %rcx
jge 0x87f0
movq 0x18(%rdi), %rdi
cmpq %rdx, (%rdi,%rcx,8)
je 0x87f1
incq %rcx
cmpq %rcx, %rsi
jne 0x87e2
retq
movl %ecx, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::getEdgeBinary(long, long) const
EdgeIdx CGraph::getEdgeBinary(VertexIdx v1, VertexIdx v2) const
{
    if (v1 >= nVertices)
        return -1;
    EdgeIdx low = offsets[v1];
    EdgeIdx high = offsets[v1+1]-1;
    EdgeIdx mid;

    while(low <= high)
    {
        mid = (low+high)/2;
        if (nbors[mid] == v2)
            return mid;
        if (nbors[mid] > v2)
            high = mid-1;
        else
            low = mid+1;
    }
    return -1;
}

// Assembly:
movq $-0x1, %rax
cmpq %rsi, (%rdi)
jle 0x8848
movq 0x10(%rdi), %r8
movq (%r8,%rsi,8), %rcx
movq 0x8(%r8,%rsi,8), %rsi
cmpq %rsi, %rcx
jge 0x8848
decq %rsi
movq 0x18(%rdi), %rdi
leaq (%rsi,%rcx), %r9
movq %r9, %r8
shrq $0x3f, %r8
addq %r9, %r8
sarq %r8
movq (%rdi,%r8,8), %r9
cmpq %rdx, %r9
je 0x8849
jg 0x883d
incq %r8
movq %r8, %rcx
jmp 0x8843
decq %r8
movq %r8, %rsi
cmpq %rsi, %rcx
jle 0x8819
retq
movq %r8, %rax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::isEdgeBinary(long, long) const
bool CGraph::isEdgeBinary(VertexIdx v1, VertexIdx v2) const
{
    VertexIdx deg1 = offsets[v1+1] - offsets[v1];
    VertexIdx deg2 = offsets[v2+1] - offsets[v2];

//     if(deg2 < deg1)
//     {
//         VertexIdx swp = v1;
//         v1 = v2;
//         v2 = swp;
//     }
// 
    EdgeIdx low = offsets[v1];
    EdgeIdx high = offsets[v1+1]-1;
    EdgeIdx mid;

    while(low <= high)
    {
        mid = (low+high)/2;

        if (nbors[mid] == v2)
            return true;
        if (nbors[mid] > v2)
            high = mid-1;
        else
            low = mid+1;
    }
    return false;
}

// Assembly:
movq 0x10(%rdi), %rax
movq (%rax,%rsi,8), %rcx
movq 0x8(%rax,%rsi,8), %rsi
cmpq %rsi, %rcx
jge 0x889a
decq %rsi
movq 0x18(%rdi), %rdi
leaq (%rsi,%rcx), %rax
movq %rax, %r8
shrq $0x3f, %r8
addq %rax, %r8
sarq %r8
movq (%rdi,%r8,8), %rax
cmpq %rdx, %rax
sete %al
je 0x8899
jg 0x888e
incq %r8
movq %r8, %rcx
jmp 0x8894
decq %r8
movq %r8, %rsi
cmpq %rsi, %rcx
jle 0x8867
retq
xorl %eax, %eax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::CGraph::getEdge(long, long) const
EdgeIdx CGraph::getEdge(VertexIdx v1, VertexIdx v2) const
{
    if (v1 >= nVertices)
        return -1;
    for (EdgeIdx i=offsets[v1]; i < offsets[v1+1]; ++i)
        if (nbors[i] == v2)
            return i;
    return -1;
}

// Assembly:
movq $-0x1, %rax
cmpq %rsi, (%rdi)
jle 0x88ce
movq 0x10(%rdi), %r8
movq (%r8,%rsi,8), %rcx
movq 0x8(%r8,%rsi,8), %rsi
cmpq %rsi, %rcx
jge 0x88ce
movq 0x18(%rdi), %rdi
cmpq %rdx, (%rdi,%rcx,8)
je 0x88cf
incq %rcx
cmpq %rcx, %rsi
jne 0x88c0
retq
movq %rcx, %rax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/Graph.cpp
// Function: Escape::countWedges(Escape::CGraph&)
double Escape::countWedges(CGraph &g)
{
  double wedges = 0;
  for (VertexIdx i = 0; i < g.nVertices; i++)
  {
    double deg = g.degree(i);
    wedges += deg * (deg - 1) / 2;
  }
  return wedges;
}

// Assembly:
movq (%rdi), %rax
testq %rax, %rax
jle 0x9115
movq 0x10(%rdi), %rcx
xorpd %xmm0, %xmm0
xorl %edx, %edx
movsd 0x2f39(%rip), %xmm1     # 0xc018
movsd 0x3489(%rip), %xmm2     # 0xc570
movq 0x8(%rcx,%rdx,8), %rsi
subq (%rcx,%rdx,8), %rsi
xorps %xmm3, %xmm3
cvtsi2sd %rsi, %xmm3
movapd %xmm3, %xmm4
addsd %xmm1, %xmm4
mulsd %xmm3, %xmm4
mulsd %xmm2, %xmm4
addsd %xmm4, %xmm0
incq %rdx
cmpq %rdx, %rax
jne 0x90e7
retq
xorps %xmm0, %xmm0
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/GraphIO.cpp
// Function: Escape::loadGraph(char const*, Escape::Graph&, int, Escape::IOFormat)
ErrorCode Escape::loadGraph(const char *path, Graph& graph, int undirected, IOFormat fmt)
{
  switch (fmt)
  {
    case IOFormat::escape:
      return loadGraph_Escape(path, graph, undirected);
    
    default:
      return ecUnsupportedFormat;
  }
}

// Assembly:
movl $0x3, %eax
cmpl $0x1, %ecx
jne 0xadd0
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x428, %rsp            # imm = 0x428
movl %edx, %ebp
movq %rsi, %rbx
movq %rdi, %r12
leaq 0x149d(%rip), %rsi      # 0xc103
callq 0x3330
testq %rax, %rax
je 0xadd1
movq %rax, %r15
movq $0x0, (%rbx)
leaq 0x20(%rsp), %rdi
movl $0x400, %esi            # imm = 0x400
movq %rax, %rdx
callq 0x3440
testq %rax, %rax
je 0xada6
xorl %eax, %eax
movl %ebp, 0x4(%rsp)
testl %ebp, %ebp
setne %al
movq %rax, 0x18(%rsp)
leaq 0x21(%rsp), %r14
leaq 0x20(%rsp), %r13
xorl %r12d, %r12d
movzbl 0x20(%rsp), %eax
testl %eax, %eax
je 0xad8b
movq %r14, %rbp
cmpl $0x23, %eax
je 0xad8b
movsbl %al, %edi
callq 0x3070
testl %eax, %eax
je 0xacea
movb (%rbp), %al
incq %rbp
testb %al, %al
jne 0xaccf
jmp 0xad8b
movq %r13, %rdi
leaq 0x1944(%rip), %rsi      # 0xc638
leaq 0x10(%rsp), %rdx
leaq 0x8(%rsp), %rcx
xorl %eax, %eax
callq 0x32a0
cmpq $0x0, (%rbx)
movq 0x10(%rsp), %rcx
je 0xad41
movq 0x10(%rbx), %rax
movq %rcx, (%rax,%r12,8)
movq 0x8(%rsp), %rdx
movq 0x18(%rbx), %rcx
movq %rdx, (%rcx,%r12,8)
cmpl $0x0, 0x4(%rsp)
je 0xad88
movq %rdx, 0x8(%rax,%r12,8)
movq 0x10(%rsp), %rax
movq %rax, 0x8(%rcx,%r12,8)
addq $0x2, %r12
jmp 0xad8b
movq %rcx, (%rbx)
movq 0x8(%rsp), %rax
movq 0x18(%rsp), %rcx
shlq %cl, %rax
movq %rax, 0x8(%rbx)
movq %rax, %rcx
shrq $0x3d, %rcx
shlq $0x3, %rax
negq %rcx
movl $0x0, %ebp
sbbq %rbp, %rbp
orq %rax, %rbp
movq %rbp, %rdi
callq 0x3030
movq %rax, 0x10(%rbx)
movq %rbp, %rdi
callq 0x3030
movq %rax, 0x18(%rbx)
jmp 0xad8b
incq %r12
movq %r13, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r15, %rdx
callq 0x3440
testq %rax, %rax
jne 0xacb6
jmp 0xada9
xorl %r12d, %r12d
movq %r15, %rdi
callq 0x32b0
movq 0x8(%rbx), %rdx
cmpq %rdx, %r12
movl $0x0, %eax
jl 0xadf3
addq $0x428, %rsp            # imm = 0x428
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x5200(%rip), %rax      # 0xffd8
movq (%rax), %rdi
leaq 0x183e(%rip), %rsi      # 0xc620
movq %r12, %rdx
xorl %eax, %eax
callq 0x33c0
movl $0x1, %eax
jmp 0xadbf
movq 0x51de(%rip), %rax      # 0xffd8
movq (%rax), %rdi
leaq 0x183b(%rip), %rsi      # 0xc63f
movq %r12, %rcx
xorl %eax, %eax
callq 0x33c0
movl $0x4, %eax
jmp 0xadbf
// File: /workspace/github_cpp_makefile_star2_O3/yuang-chen[P]paraGCN/src/gcn.cpp
// Function: GCN::train_epoch()
pair<float, float> GCN::train_epoch() {
    set_input();
    set_truth(1);

    for(auto m: modules) {
        m->forward(true);
    }

    float train_loss = loss + get_l2_penalty();
    float train_acc = get_accuracy();

    for(int i = modules.size() - 1; i >= 0; i--) {
        modules[i]->backward();
    }
    optimizer.step();
    return {train_loss, train_acc};
 }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
movq 0x38(%rdi), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
subq %rax, %rcx
je 0x3f4a
sarq $0x2, %rcx
movq (%rbx), %rdx
movq 0x90(%rdx), %rdx
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %esi, %esi
movss (%rdx,%rsi,4), %xmm0
movss %xmm0, (%rax,%rsi,4)
incq %rsi
cmpq %rsi, %rcx
jne 0x3f38
cmpl $0x0, 0x98(%rbx)
jle 0x3f84
movq (%rbx), %rax
movq 0x48(%rbx), %rcx
movq 0x60(%rax), %rdx
xorl %esi, %esi
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
cmpl $0x1, (%rdx,%rsi,4)
jne 0x3f72
movq 0x78(%rax), %rdi
movl (%rdi,%rsi,4), %edi
movl %edi, (%rcx,%rsi,4)
incq %rsi
movslq 0x98(%rbx), %rdi
cmpq %rdi, %rsi
jl 0x3f60
movq 0x8(%rbx), %r14
movq 0x10(%rbx), %r15
cmpq %r15, %r14
je 0x3fa4
movq (%r14), %rdi
movq (%rdi), %rax
movl $0x1, %esi
callq *(%rax)
addq $0x8, %r14
jmp 0x3f8c
movq 0x20(%rbx), %rcx
movq 0x90(%rcx), %rax
movq 0x98(%rcx), %rcx
subq %rax, %rcx
je 0x3fe3
sarq $0x2, %rcx
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorps %xmm1, %xmm1
xorl %edx, %edx
movss (%rax,%rdx,4), %xmm0
mulss %xmm0, %xmm0
addss %xmm0, %xmm1
incq %rdx
cmpq %rdx, %rcx
jne 0x3fcc
jmp 0x3fe6
xorps %xmm1, %xmm1
movss %xmm1, 0xc(%rsp)
movss 0x60(%rbx), %xmm0
movaps %xmm0, 0x10(%rsp)
movss 0xb0(%rbx), %xmm0
movss %xmm0, 0x8(%rsp)
movq %rbx, %rdi
callq 0x3e0a
movaps %xmm0, 0x20(%rsp)
movq 0x10(%rbx), %rax
subq 0x8(%rbx), %rax
shrq $0x3, %rax
decl %eax
js 0x4038
movl %eax, %r14d
movq 0x8(%rbx), %rax
movq (%rax,%r14,8), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
addq $-0x1, %r14
jb 0x4024
movss 0xc(%rsp), %xmm0
mulss 0x8(%rsp), %xmm0
mulss 0x3fe4(%rip), %xmm0     # 0x8030
movaps 0x10(%rsp), %xmm1
addss %xmm0, %xmm1
movaps %xmm1, 0x10(%rsp)
addq $0x68, %rbx
movq %rbx, %rdi
callq 0x708e
movaps 0x10(%rsp), %xmm0
unpcklps 0x20(%rsp), %xmm0       # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
addq $0x30, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/yuang-chen[P]paraGCN/src/gcn.cpp
// Function: GCN::eval(int)
pair<float, float> GCN::eval(int current_split) {
     set_input();
     set_truth(current_split);
     for(auto m: modules) {
         m->forward(false);
     }
     float test_loss = loss + get_l2_penalty();
     float test_acc = get_accuracy();
     return {test_loss, test_acc};
 }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq 0x38(%rdi), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
subq %rax, %rcx
je 0x40c0
sarq $0x2, %rcx
movq (%rbx), %rdx
movq 0x90(%rdx), %rdx
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %edi, %edi
movss (%rdx,%rdi,4), %xmm0
movss %xmm0, (%rax,%rdi,4)
incq %rdi
cmpq %rdi, %rcx
jne 0x40ae
cmpl $0x0, 0x98(%rbx)
jle 0x40fc
movq (%rbx), %rax
movq 0x48(%rbx), %rcx
movq 0x60(%rax), %rdx
xorl %edi, %edi
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
cmpl %esi, (%rdx,%rdi,4)
jne 0x40e9
movq 0x78(%rax), %r8
movl (%r8,%rdi,4), %r8d
movl %r8d, (%rcx,%rdi,4)
incq %rdi
movslq 0x98(%rbx), %r8
cmpq %r8, %rdi
jl 0x40d6
movq 0x8(%rbx), %r14
movq 0x10(%rbx), %r15
cmpq %r15, %r14
je 0x4119
movq (%r14), %rdi
movq (%rdi), %rax
xorl %esi, %esi
callq *(%rax)
addq $0x8, %r14
jmp 0x4104
movss 0x60(%rbx), %xmm2
movq 0x20(%rbx), %rcx
movq 0x90(%rcx), %rax
movq 0x98(%rcx), %rcx
subq %rax, %rcx
je 0x415d
sarq $0x2, %rcx
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorps %xmm0, %xmm0
xorl %edx, %edx
movss (%rax,%rdx,4), %xmm1
mulss %xmm1, %xmm1
addss %xmm1, %xmm0
incq %rdx
cmpq %rdx, %rcx
jne 0x4146
jmp 0x4160
xorps %xmm0, %xmm0
mulss 0xb0(%rbx), %xmm0
mulss 0x3ec0(%rip), %xmm0     # 0x8030
addss %xmm0, %xmm2
movaps %xmm2, (%rsp)
movq %rbx, %rdi
callq 0x3e0a
movaps (%rsp), %xmm1
unpcklps %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movaps %xmm1, %xmm0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/yuang-chen[P]paraGCN/src/parser.cpp
// Function: Parser::parseSplit()
void Parser::parseSplit() {
    auto &split = this->gcnData->split;
    string line;
    while(getline(split_file, line)) {
       split.push_back(stoi(line));
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movq 0x620(%rdi), %r14
leaq 0x60(%r14), %rax
movq %rax, 0x28(%rsp)
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
addq $0x208, %rbx            # imm = 0x208
leaq 0x8(%rsp), %r15
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x31e0
movsbl %al, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x5a55
movq 0x8(%rsp), %r13
callq 0x3050
movq %rax, %rbp
movl (%rax), %r12d
movl $0x0, (%rax)
movq %r13, %rdi
leaq 0x30(%rsp), %rsi
movl $0xa, %edx
callq 0x3280
cmpq %r13, 0x30(%rsp)
je 0x5a80
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x5a8c
movl (%rbp), %ecx
cmpl $0x22, %ecx
je 0x5a8c
testl %ecx, %ecx
jne 0x5a24
movl %r12d, (%rbp)
movl %eax, 0x4(%rsp)
movq 0x68(%r14), %rsi
cmpq 0x70(%r14), %rsi
je 0x5a41
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x68(%r14)
jmp 0x59ad
movq 0x28(%rsp), %rdi
leaq 0x4(%rsp), %rdx
callq 0x5c7e
jmp 0x59ad
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x5a71
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3200
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2724(%rip), %rdi      # 0x81ab
callq 0x3150
leaq 0x2718(%rip), %rdi      # 0x81ab
callq 0x32b0
jmp 0x5aa9
movq %rax, %rbx
cmpl $0x0, (%rbp)
jne 0x5aac
movl %r12d, (%rbp)
jmp 0x5aac
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x5ac8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3200
movq %rbx, %rdi
callq 0x3360
// File: /workspace/github_cpp_makefile_star2_O3/yuang-chen[P]paraGCN/src/parser.cpp
// Function: Parser::parse()
bool Parser::parse() {
    if(!isValidInput()) return false;
    this->parseGraph();
    cout << "parse Graph successfully" << endl;
    this->parseNode();
    cout << "parse Node successfully" << endl;
    this->parseSplit();
    cout << "parse Split successfully" << endl;
    return true;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %r15
callq 0x5ad0
movl %eax, %ebx
testb %al, %al
je 0x5bed
movq %r15, %rdi
callq 0x539e
movq 0x64a4(%rip), %r14      # 0xbfd0
leaq 0x262e(%rip), %rsi      # 0x8161
movl $0x18, %edx
movq %r14, %rdi
callq 0x3220
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x31e0
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3180
movq %r15, %rdi
callq 0x55a6
leaq 0x2604(%rip), %rsi      # 0x817a
movl $0x17, %edx
movq %r14, %rdi
callq 0x3220
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x31e0
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3180
movq %r15, %rdi
callq 0x596c
leaq 0x25d9(%rip), %rsi      # 0x8192
movl $0x18, %edx
movq %r14, %rdi
callq 0x3220
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x31e0
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3180
movl %ebx, %eax
popq %rbx
popq %r14
popq %r15
retq