// File: /workspace/github_cpp_makefile_star2_O3/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 0x7282
xorl %eax, %eax
movb %al, 0x7c(%rsp)
movb %al, 0x1f0(%rsp)
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rcx
subq %rax, %rcx
je 0x7c29
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 0x7c62
incq %rbx
addq $0x10, %r12
cmpq %rbx, %rcx
jne 0x7c0d
movq 0x73a8(%rip), %rax      # 0xefd8
movq (%rax), %rdi
leaq 0x38b7(%rip), %rsi      # 0xb4f1
movq %r15, %rdx
xorl %eax, %eax
callq 0x3340
leaq 0x80(%rsp), %rdi
callq 0x5f6e
addq $0x6f0, %rsp            # imm = 0x6F0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq 0x736f(%rip), %r13      # 0xefd8
movq (%r13), %rdi
leaq 0x3819(%rip), %rsi      # 0xb48d
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 0x7def
movq (%rax,%r12), %rax
movq 0x170(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x7928
movq 0x1b0(%r14), %rax
movq 0x1b8(%r14), %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7def
movq (%rax,%r12), %rax
movq 0x178(%rax), %rsi
leaq 0x80(%rsp), %rdi
callq 0x758e
leaq 0x80(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x1b0(%rsp), %rdx
callq 0x58a4
leaq 0x2f0(%rsp), %rdi
leaq 0x8(%rsp), %rdx
movl $0x400, %esi            # imm = 0x400
movl $0x14, %ecx
callq 0x9bb4
movq (%r13), %rdi
testl %eax, %eax
jne 0x7ddb
leaq 0x377d(%rip), %rsi      # 0xb4b0
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 0x9bb4
movq (%r13), %rdi
testl %eax, %eax
jne 0x7de5
leaq 0x3ac2(%rip), %rsi      # 0xb830
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 0x7e00
movq (%r13), %rdi
movq (%rax,%r12), %rax
movq 0x170(%rax), %rdx
leaq 0x3720(%rip), %rsi      # 0xb4cd
xorl %eax, %eax
callq 0x3340
movq 0x1b0(%r14), %rdi
movq 0x1b8(%r14), %rdx
subq %rdi, %rdx
sarq $0x4, %rdx
cmpq %rbx, %rdx
jbe 0x7e00
movq %rbx, %rsi
callq 0x36e4
jmp 0x7c44
callq 0x36ae
jmp 0x7c44
callq 0x36c9
jmp 0x7c44
leaq 0x364d(%rip), %rdi      # 0xb443
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3390
leaq 0x363c(%rip), %rdi      # 0xb443
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3390
jmp 0x7e13
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x5f6e
movq %rbx, %rdi
callq 0x3480
nop