// File: /workspace/github_cpp_makefile_star2_O1/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: picosat_failed_assumptions
const int *
picosat_failed_assumptions (PS * ps)
{
  Lit ** p, * lit;
  Var * v;
  int ilit;

  ps->falshead = ps->fals;
  check_ready (ps);
  check_unsat_state (ps);
  if (!ps->mtcls) 
    {
      assert (ps->failed_assumption);
      if (!ps->extracted_all_failed_assumptions)
	extract_all_failed_assumptions (ps);

      for (p = ps->als; p < ps->alshead; p++)
	{
	  lit = *p;
	  v = LIT2VAR (*p);
	  if (!v->failed)
	    continue;
	  ilit = LIT2INT (lit);
	  if (ps->falshead == ps->eofals)
	    ENLARGE (ps->fals, ps->falshead, ps->eofals);
	  *ps->falshead++ = ilit;
	}
    }
  if (ps->falshead == ps->eofals)
    ENLARGE (ps->fals, ps->falshead, ps->eofals);
  *ps->falshead++ = 0;
  return ps->fals;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x160(%rdi), %rax
movq %rax, 0x168(%rdi)
callq 0x4264
movq %rbx, %rdi
callq 0x8ce0
cmpq $0x0, 0x248(%rbx)
jne 0x9234
cmpq $0x0, 0x1b8(%rbx)
je 0x92f8
cmpl $0x0, 0x1c0(%rbx)
jne 0x915c
movq %rbx, %rdi
callq 0x8e1d
movq 0xf8(%rbx), %r14
cmpq 0x100(%rbx), %r14
jae 0x9234
movabsq $0x3fffffffc, %r15      # imm = 0x3FFFFFFFC
movl (%r14), %eax
movq 0x40(%rbx), %rdx
subl 0x38(%rbx), %eax
movl %eax, %ecx
shrl %ecx
movq %rcx, %rsi
shlq $0x4, %rsi
testb $0x20, (%rdx,%rsi)
je 0x9223
movl %ecx, %ebp
negl %ebp
testb $0x1, %al
cmovel %ecx, %ebp
movq 0x168(%rbx), %r13
movq 0x170(%rbx), %rdx
cmpq %rdx, %r13
jne 0x920f
movq 0x160(%rbx), %rsi
cmpq %rdx, %rsi
ja 0x92d9
subq %rsi, %r13
subq %rsi, %rdx
movq %rdx, %rax
shrq %rax
andq %r15, %rdx
movl %eax, %r12d
movl $0x1, %eax
cmoveq %rax, %r12
leaq (,%r12,4), %rcx
movq %rbx, %rdi
callq 0x4593
movq %rax, 0x160(%rbx)
andq %r15, %r13
addq %rax, %r13
movq %r13, 0x168(%rbx)
leaq (%rax,%r12,4), %rax
movq %rax, 0x170(%rbx)
movq 0x168(%rbx), %rax
leaq 0x4(%rax), %rcx
movq %rcx, 0x168(%rbx)
movl %ebp, (%rax)
addq $0x8, %r14
cmpq 0x100(%rbx), %r14
jb 0x917a
movq 0x168(%rbx), %r14
movq 0x170(%rbx), %rdx
cmpq %rdx, %r14
jne 0x92ab
movq 0x160(%rbx), %rsi
cmpq %rdx, %rsi
ja 0x9317
subq %rsi, %r14
subq %rsi, %rdx
movq %rdx, %rax
shrq %rax
movabsq $0x3fffffffc, %r15      # imm = 0x3FFFFFFFC
andq %r15, %rdx
movl %eax, %eax
movl $0x1, %r12d
cmovneq %rax, %r12
leaq (,%r12,4), %rcx
movq %rbx, %rdi
callq 0x4593
movq %rax, 0x160(%rbx)
andq %r15, %r14
addq %rax, %r14
movq %r14, 0x168(%rbx)
leaq (%rax,%r12,4), %rax
movq %rax, 0x170(%rbx)
movq 0x168(%rbx), %rax
leaq 0x4(%rax), %rcx
movq %rcx, 0x168(%rbx)
movl $0x0, (%rax)
movq 0x160(%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x94a7(%rip), %rdi      # 0x12787
leaq 0x8fc5(%rip), %rsi      # 0x122ac
leaq 0x946d(%rip), %rcx      # 0x1275b
movl $0x1ca8, %edx           # imm = 0x1CA8
callq 0x10b0
leaq 0x928b(%rip), %rdi      # 0x1258a
leaq 0x8fa6(%rip), %rsi      # 0x122ac
leaq 0x944e(%rip), %rcx      # 0x1275b
movl $0x1c9c, %edx           # imm = 0x1C9C
callq 0x10b0
leaq 0x9469(%rip), %rdi      # 0x12787
leaq 0x8f87(%rip), %rsi      # 0x122ac
leaq 0x942f(%rip), %rcx      # 0x1275b
movl $0x1cad, %edx           # imm = 0x1CAD
callq 0x10b0