// File: /workspace/github_cpp_makefile_star2_O1/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 %r13
pushq %r12
pushq %rbx
subq $0x6f0, %rsp            # imm = 0x6F0
movq %rsi, %r15
movq %rdi, %r14
leaq 0x80(%rsp), %rdi
movq %r14, %rsi
callq 0x742c
xorl %eax, %eax
movb %al, 0x7c(%rsp)
movb %al, 0x1f0(%rsp)
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rcx
subq %rax, %rcx
je 0x7e1f
sarq $0x4, %rcx
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %r12d, %r12d
xorl %ebx, %ebx
movq (%rax,%r12), %rdx
movq 0x168(%rdx), %rdx
cmpq %r15, %rdx
jae 0x7e58
incq %rbx
addq $0x10, %r12
cmpq %rbx, %rcx
jne 0x7e03
movq 0x81aa(%rip), %rax      # 0xffd0
movq (%rax), %rdi
leaq 0x46c1(%rip), %rsi      # 0xc4f1
movq %r15, %rdx
xorl %eax, %eax
callq 0x3340
leaq 0x80(%rsp), %rdi
callq 0x60da
addq $0x6f0, %rsp            # imm = 0x6F0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq 0x8171(%rip), %r13      # 0xffd0
movq (%r13), %rdi
leaq 0x4623(%rip), %rsi      # 0xc48d
movq %rbx, %rdx
xorl %eax, %eax
callq 0x3340
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7fe5
movq (%rax,%r12), %rax
movq 0x170(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x7b00
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7fe5
movq (%rax,%r12), %rax
movq 0x178(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x7738
leaq 0x80(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x1b0(%rsp), %rdx
callq 0x59d2
leaq 0x2f0(%rsp), %rdi
leaq 0x8(%rsp), %rdx
movl $0x400, %esi            # imm = 0x400
movl $0x14, %ecx
callq 0xaf20
movq (%r13), %rdi
testl %eax, %eax
jne 0x7fd1
leaq 0x4587(%rip), %rsi      # 0xc4b0
leaq 0x2f0(%rsp), %r15
movq %r15, %rdx
xorl %eax, %eax
callq 0x3340
leaq 0x1b0(%rsp), %rdx
movl $0x400, %esi            # imm = 0x400
movl $0x40, %ecx
movq %r15, %rdi
callq 0xaf20
movq (%r13), %rdi
testl %eax, %eax
jne 0x7fdb
leaq 0x48cc(%rip), %rsi      # 0xc830
leaq 0x2f0(%rsp), %rdx
xorl %eax, %eax
callq 0x3340
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7ff6
movq (%r13), %rdi
movq (%rax,%r12), %rax
movq 0x170(%rax), %rdx
leaq 0x452a(%rip), %rsi      # 0xc4cd
xorl %eax, %eax
callq 0x3340
movq 0x1b0(%r14), %rdi
movq 0x1b8(%r14), %rdx
subq %rdi, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7ff6
movq %rbx, %rsi
callq 0x3721
jmp 0x7e3a
callq 0x36eb
jmp 0x7e3a
callq 0x3706
jmp 0x7e3a
leaq 0x4457(%rip), %rdi      # 0xc443
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3390
leaq 0x4446(%rip), %rdi      # 0xc443
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3390
jmp 0x8009
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x60da
movq %rbx, %rdi
callq 0x3480
nop