// File: /workspace/github_cpp_makefile_star2_O2/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
movq $0x0, (%rsp)
movq (%rbx), %rax
movslq 0x24(%rax), %r15
testq %r15, %r15
je 0x270b
movq 0x18(%rbx), %rcx
imulq $0xc, %r15, %rdx
movl (%rcx,%rdx), %esi
movl %r15d, %edx
imulq $0x28, %r15, %rdi
movslq 0x24(%rax,%rdi), %r15
testq %r15, %r15
je 0x26e2
imulq $0xc, %r15, %rdi
movl (%rcx,%rdi), %edi
cmpl %esi, %edi
jge 0x26bb
movl %r15d, %edx
movl %edi, %esi
movl %r15d, %ebp
testl %edi, %edi
jne 0x26bb
jmp 0x26e7
movslq %edx, %r15
movl %edx, %ebp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x3894
movq 0x18(%rbx), %rcx
imulq $0xc, %r15, %rax
movq 0x30(%rbx), %rdx
movslq %r12d, %r13
movl 0x8(%rcx,%rax), %r15d
movl %r15d, (%rdx,%r13,4)
jmp 0x2785
incq (%rsp)
testl %r12d, %r12d
je 0x27dd
movq 0x30(%rbx), %rax
movslq %r12d, %r13
movq 0x18(%rbx), %rcx
decl %r12d
movslq -0x4(%rax,%r13,4), %r15
decq %r13
imulq $0xc, %r15, %rdx
cmpl $0x0, (%rcx,%rdx)
je 0x2785
movl %r15d, %ebp
movq 0x18(%rbx), %rcx
decl %ebp
cmpl %r15d, %ebp
je 0x276e
movslq %ebp, %rdx
imulq $0xc, %rdx, %rdx
movl (%rcx,%rdx), %esi
testl %esi, %esi
jg 0x275c
addq %rcx, %rdx
movl 0x8(%rdx), %ebp
jmp 0x2741
movq %rbx, %rdi
callq 0x38f2
movq 0x30(%rbx), %rax
movl (%rax,%r13,4), %r15d
jmp 0x273b
movq 0x18(%rbx), %rdx
movslq %r15d, %rcx
imulq $0xc, %rcx, %rcx
movl 0x8(%rdx,%rcx), %r15d
movl (%rdx,%rcx), %ebp
movl %r15d, (%rax,%r13,4)
cmpl %ebp, %r15d
jne 0x279d
movq %rbx, %rdi
movl %r15d, %esi
callq 0x38f2
movl %r15d, %ebp
jmp 0x270f
movl %r15d, %r14d
movq 0x18(%rbx), %rax
incl %r14d
cmpl %r15d, %r14d
je 0x27d5
movslq %r14d, %rcx
imulq $0xc, %rcx, %rcx
movl (%rax,%rcx), %esi
testl %esi, %esi
jg 0x27c3
addq %rax, %rcx
movl 0x4(%rcx), %r14d
jmp 0x27a7
movq %rbx, %rdi
callq 0x3894
movq 0x30(%rbx), %rax
movl (%rax,%r13,4), %r15d
jmp 0x27a0
incl %r12d
jmp 0x26a1
movq (%rsp), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq