// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/tests/autotest.cpp
// Function: countStructures(std::vector<lois::term, std::allocator<lois::term>>&, lois::RelTree&, lois::lsetof<lois::term> const&, lois::rbool, int)
int countStructures(vector<term>& v, RelTree& tree, const lsetof<term>& A, rbool phi, int expected) {
  numstruct = 0;
  If(phi) analyzeStructure(v, tree, A);
  if(numstruct == expected)
    std::cout << "passed: found " << numstruct << " trees for " << phi << std::endl;
  else {
    std::cout << "failed: " << phi << " (" << numstruct << ")" << std::endl;
    exit(1);
    }
  showTimeElapsed(); cout<<endl;
  return numstruct;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movl %r8d, %ebp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
movl $0x0, 0x49b17(%rip)     # 0x52740
movq (%rcx), %rax
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
je 0x8c4f
movq 0x4938c(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x8c66
incl 0x8(%rdi)
movq %rax, (%rsp)
movq %rdi, 0x8(%rsp)
jmp 0x8c7c
movq %rax, (%rsp)
movq $0x0, 0x8(%rsp)
movl $0x0, 0x10(%rsp)
jmp 0x8c8c
lock
incl 0x8(%rdi)
cmpb $0x0, (%rcx)
movq %rax, (%rsp)
movq %rdi, 0x8(%rsp)
je 0x8e33
incl 0x8(%rdi)
movl $0x0, 0x10(%rsp)
callq 0x133fc
leaq 0x38(%rsp), %rdi
movq %rsp, %rsi
callq 0x293a0
leaq 0x68(%rsp), %rdi
movq %rsp, %rsi
callq 0x29427
leaq 0x38(%rsp), %r13
movl 0x60(%rsp), %eax
cmpl 0x90(%rsp), %eax
je 0x8cdd
addl $-0x4, %eax
cmpl $-0x2, %eax
jae 0x8cd3
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x8583
movq %r13, %rdi
callq 0x2938c
jmp 0x8cab
leaq 0x47624(%rip), %r14     # 0x50308
movq %r14, 0x68(%rsp)
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x8cfb
callq 0x133fc
leaq 0x68(%rsp), %rdi
callq 0x1349e
movq %r14, 0x38(%rsp)
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x8d19
callq 0x133fc
leaq 0x38(%rsp), %rdi
callq 0x1349e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x8d32
callq 0x133fc
cmpl %ebp, 0x49a08(%rip)     # 0x52740
jne 0x8e3c
movq 0x4928b(%rip), %r14     # 0x51fd0
leaq 0x36330(%rip), %rsi     # 0x3f07c
movl $0xe, %edx
movq %r14, %rdi
callq 0x72c0
movl 0x499e1(%rip), %esi     # 0x52740
movq %r14, %rdi
callq 0x7410
movq %rax, %r15
leaq 0x3631a(%rip), %rsi     # 0x3f08b
movl $0xb, %edx
movq %rax, %rdi
callq 0x72c0
movq (%rbx), %rax
movq %rax, 0x28(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x8da9
movq 0x4922d(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x8da5
incl 0x8(%rax)
jmp 0x8da9
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rsi
movq %r15, %rdi
callq 0x297cc
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x8def
callq 0x133fc
callq 0x7ecf
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movl 0x4991f(%rip), %eax     # 0x52740
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
lock
incl 0x8(%rdi)
jmp 0x8c7f
movq 0x4918d(%rip), %rdi     # 0x51fd0
leaq 0x36229(%rip), %rsi     # 0x3f073
movl $0x8, %edx
callq 0x72c0
movq (%rbx), %rax
movq %rax, 0x18(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x8e7f
movq 0x49157(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
jne 0x8e7c
lock
incl 0x8(%rax)
jmp 0x8e7f
incl 0x8(%rax)
movq 0x4914a(%rip), %rdi     # 0x51fd0
leaq 0x18(%rsp), %rsi
callq 0x297cc
movq %rax, %rbx
leaq 0x37059(%rip), %rsi     # 0x3fef3
movl $0x2, %edx
movq %rax, %rdi
callq 0x72c0
movl 0x49893(%rip), %esi     # 0x52740
movq %rbx, %rdi
callq 0x7410
movq %rax, %rbx
leaq 0x377f3(%rip), %rsi     # 0x406b2
movl $0x1, %edx
movq %rax, %rdi
callq 0x72c0
movq %rbx, %rdi
callq 0x7140
leaq 0x18(%rsp), %rdi
callq 0x1058a
movl $0x1, %edi
callq 0x72f0
movq %rax, %rbx
movq 0x20(%rsp), %rdi
jmp 0x8f24
movq %rax, %rbx
jmp 0x8f15
movq %rax, %rbx
jmp 0x8f1f
movq %rax, %rbx
movq 0x30(%rsp), %rdi
jmp 0x8f24
jmp 0x8f08
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x10598
leaq 0x38(%rsp), %rdi
callq 0x10598
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x8f2e
callq 0x133fc
movq %rbx, %rdi
callq 0x7430