// File: /workspace/github_cpp_makefile_star2_O2/ndsol[P]git-mine/git-mine.cpp
// Function: MineBoss::dumpMatchAt(unsigned long)
void dumpMatchAt(size_t wantBest) {
    CommitMessage noodle(orig);
    Sha1Hash sha;
    Blake2Hash b2h;
    for (size_t i = 0; i < pool.size(); i++) {
      if (pool.at(i)->best >= wantBest) {
        fprintf(stderr, "Thread %zu says:\n", i);
        noodle.set_atime(pool.at(i)->best_atime);
        noodle.set_ctime(pool.at(i)->best_ctime);
        noodle.hash(sha, b2h);
        char buf[1024];
        if (sha.dump(buf, sizeof(buf))) {
          fprintf(stderr, "sha.dump failed\n");
          return;
        }
        fprintf(stderr, "sha1:   %s\n", buf);
        if (b2h.dump(buf, sizeof(buf))) {
          fprintf(stderr, "b2h.dump failed\n");
          return;
        }
        fprintf(stderr, "blake2: %s\n", buf);
        fprintf(stderr, "author time=%lld\n", pool.at(i)->best_atime);
        fprintf(stderr, "committer  =%lld\n", pool.at(i)->best_ctime);
        return;
      }
    }
    fprintf(stderr, "No best of %zu found.\n", wantBest);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x6f8, %rsp            # imm = 0x6F8
movq %rsi, %r15
movq %rdi, %r12
leaq 0x80(%rsp), %rdi
movq %r12, %rsi
callq 0x5412
xorl %ebx, %ebx
movb %bl, 0x7c(%rsp)
movb %bl, 0x1f0(%rsp)
leaq 0x1b0(%r12), %r14
movq 0x1b8(%r12), %rax
subq 0x1b0(%r12), %rax
sarq $0x4, %rax
cmpq %rax, %rbx
jae 0x5b75
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5ae2
movq (%rax), %rax
movq 0x168(%rax), %rax
cmpq %r15, %rax
jae 0x5b95
incq %rbx
jmp 0x5b3d
movq 0x945c(%rip), %rax      # 0xefd8
movq (%rax), %rdi
leaq 0x4941(%rip), %rsi      # 0xa4c7
movq %r15, %rdx
xorl %eax, %eax
callq 0x33a0
jmp 0x5cf1
movq 0x943c(%rip), %r12      # 0xefd8
movq (%r12), %rdi
leaq 0x48bc(%rip), %rsi      # 0xa463
movq %rbx, %rdx
xorl %eax, %eax
callq 0x33a0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5ae2
movq (%rax), %rax
movq 0x170(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x5916
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5ae2
movq (%rax), %rax
movq 0x178(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x55c0
leaq 0x80(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x1b0(%rsp), %rdx
callq 0x3b5e
leaq 0x8(%rsp), %rdi
leaq 0x2f0(%rsp), %rsi
movl $0x400, %edx            # imm = 0x400
callq 0x3c08
movq (%r12), %rcx
testl %eax, %eax
jne 0x5cd6
leaq 0x484d(%rip), %rsi      # 0xa486
leaq 0x2f0(%rsp), %r15
movq %rcx, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x33a0
leaq 0x1b0(%rsp), %rdi
movl $0x400, %edx            # imm = 0x400
movq %r15, %rsi
callq 0x5da8
movq (%r12), %rcx
testl %eax, %eax
jne 0x5cdf
leaq 0x4b8e(%rip), %rsi      # 0xa800
leaq 0x2f0(%rsp), %rdx
movq %rcx, %rdi
xorl %eax, %eax
callq 0x33a0
movq (%r12), %r15
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5ae2
movq (%rax), %rax
movq 0x170(%rax), %rdx
leaq 0x47ff(%rip), %rsi      # 0xa4a3
movq %r15, %rdi
xorl %eax, %eax
callq 0x33a0
movq (%r12), %r15
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5ae2
movq (%rax), %rax
movq 0x178(%rax), %rdx
leaq 0x47e7(%rip), %rsi      # 0xa4b5
movq %r15, %rdi
jmp 0x5b89
leaq 0x4798(%rip), %rdi      # 0xa475
jmp 0x5ce6
leaq 0x47ac(%rip), %rdi      # 0xa492
pushq $0x10
popq %rsi
pushq $0x1
popq %rdx
callq 0x3510
leaq 0x80(%rsp), %rdi
callq 0x4392
addq $0x6f8, %rsp            # imm = 0x6F8
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x5d11
jmp 0x5d11
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x4392
movq %rbx, %rdi
callq 0x34b0
nop