// File: /workspace/github_cpp_makefile_star2_O1/ricbit[P]dlx/cover_mrv.cc
// Function: ExactCover::run()
long run() {
    long count = 0;
    int p, i, value;
  //d1:
    int l = 0;
  d2:
    if (header[0].rlink == 0) {
      count++;
      goto d8;
    }
  //d3:
    i = header[0].rlink;
    value = nodes[i].top;
    for (int p = header[i].rlink; p != 0; p = header[p].rlink) {
      if (nodes[p].top < value) {
        i = p;
        value = nodes[p].top;
        if (value == 0) {
          break;
        }
      }
    }
  //d4:
    cover(i);
    solution[l] = nodes[i].dlink;
  d5:
    if (solution[l] == i) {
      goto d7;
    }
    p = solution[l] + 1;
    while (p != solution[l]) {
      int j = nodes[p].top;
      if (j <= 0) {
        p = nodes[p].ulink;
      } else {
        cover(j);
        p++;
      }
    }
    l++;
    goto d2;
  d6:
    p = solution[l] - 1;
    while (p != solution[l]) {
      int j = nodes[p].top;
      if (j <= 0) {
        p = nodes[p].dlink;
      } else {
        uncover(j);
        p--;
      }
    }
    i = nodes[solution[l]].top;
    solution[l] = nodes[solution[l]].dlink;
    goto d5;
  d7:
    uncover(i);
  d8:
    if (l == 0) {
      return count;
    }
    l--;
    if (nodes[solution[l]].top == 0) {
      goto d5;
    }
    goto d6;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r12d, %r12d
xorl %r14d, %r14d
movq (%rbx), %rax
movslq 0x24(%rax), %r15
testq %r15, %r15
je 0x28e9
leaq (%r15,%r15,4), %rcx
movl 0x24(%rax,%rcx,8), %esi
testl %esi, %esi
je 0x28c0
movq 0x18(%rbx), %rcx
leaq (%r15,%r15,2), %rdx
movl (%rcx,%rdx,4), %edx
movslq %esi, %rdi
leaq (%rdi,%rdi,2), %r8
movl (%rcx,%r8,4), %r8d
cmpl %edx, %r8d
jge 0x28b4
movl %esi, %r15d
movl %r8d, %edx
testl %r8d, %r8d
je 0x28c0
leaq (%rdi,%rdi,4), %rsi
movl 0x24(%rax,%rsi,8), %esi
testl %esi, %esi
jne 0x2899
movq %rbx, %rdi
movl %r15d, %esi
callq 0x3b5a
movslq %r15d, %rax
leaq (%rax,%rax,2), %rax
movq 0x18(%rbx), %rcx
movq 0x30(%rbx), %rdx
movl 0x8(%rcx,%rax,4), %eax
movslq %r12d, %rcx
movl %eax, (%rdx,%rcx,4)
movl %r15d, %ebp
jmp 0x2962
incq %r14
testl %r12d, %r12d
je 0x29bc
movslq %r12d, %r15
decl %r12d
movq 0x18(%rbx), %rax
movq 0x30(%rbx), %rcx
movslq -0x4(%rcx,%r15,4), %r13
leaq (%r13,%r13,2), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0x2962
decq %r15
decl %r13d
movq 0x30(%rbx), %rax
movl (%rax,%r15,4), %ecx
cmpl %ecx, %r13d
je 0x294c
movslq %r13d, %rcx
movq 0x18(%rbx), %rax
leaq (%rcx,%rcx,2), %rcx
movl (%rax,%rcx,4), %esi
testl %esi, %esi
jg 0x2942
leaq (%rax,%rcx,4), %rax
movl 0x8(%rax), %r13d
jmp 0x2919
movq %rbx, %rdi
callq 0x3bc8
jmp 0x2916
movslq %ecx, %rcx
movq 0x18(%rbx), %rdx
leaq (%rcx,%rcx,2), %rcx
movl (%rdx,%rcx,4), %ebp
movl 0x8(%rdx,%rcx,4), %ecx
movl %ecx, (%rax,%r15,4)
movslq %r12d, %r15
movq 0x30(%rbx), %rax
movl (%rax,%r15,4), %r13d
cmpl %ebp, %r13d
jne 0x2981
movq %rbx, %rdi
movl %ebp, %esi
callq 0x3bc8
jmp 0x28ec
incl %r13d
movq 0x30(%rbx), %rax
cmpl (%rax,%r15,4), %r13d
je 0x29b4
movslq %r13d, %rcx
movq 0x18(%rbx), %rax
leaq (%rcx,%rcx,2), %rcx
movl (%rax,%rcx,4), %esi
testl %esi, %esi
jg 0x29aa
leaq (%rax,%rcx,4), %rax
movl 0x4(%rax), %r13d
jmp 0x2984
movq %rbx, %rdi
callq 0x3b5a
jmp 0x2981
incl %r12d
jmp 0x2876
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq