// File: /workspace/github_c_makefile_star2_O2/ukontainer[P]sqlite-bench/benchmark.c
// Function: finished_single_op
void finished_single_op() {
  if (FLAGS_histogram || FLAGS_raw) {
    double now = now_micros() * 1e-6;
    double micros = (now - last_op_finish_) * 1e6;
    if (FLAGS_histogram) {
      histogram_add(&hist_, micros);
      if (micros > 20000) {
        fprintf(stderr, "long op: %.1f micros%30s\r", micros, "");
        fflush(stderr);
      }
    }
    if (FLAGS_raw) {
      raw_add(&raw_, micros);
    }
    last_op_finish_ = now;
  }

  done_++;
  if (done_ >= next_report_) {
    if      (next_report_ < 1000)   next_report_ += 100;
    else if (next_report_ < 5000)   next_report_ += 500;
    else if (next_report_ < 10000)  next_report_ += 1000;
    else if (next_report_ < 50000)  next_report_ += 5000;
    else if (next_report_ < 100000) next_report_ += 10000;
    else if (next_report_ < 500000) next_report_ += 50000;
    else                            next_report_ += 100000;
    fprintf(stderr, "... finished %d ops%30s\r", done_, "");
    fflush(stderr);
  }
}

// Assembly:
pushq %rbx
subq $0x20, %rsp
movq $0x597854, %rbx         # imm = 0x597854
cmpb $0x0, (%rbx)
jne 0x401bb9
movq $0x597855, %rax         # imm = 0x597855
cmpb $0x1, (%rax)
jne 0x401c53
callq 0x46ad54
movq %rax, %xmm0
punpckldq 0x136445(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x13644d(%rip), %xmm0   # 0x538020
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
mulsd 0x136449(%rip), %xmm1   # 0x538030
movapd %xmm1, 0x10(%rsp)
movapd %xmm1, %xmm0
subsd 0x1956d7(%rip), %xmm0   # 0x5972d0
mulsd 0x136437(%rip), %xmm0   # 0x538038
cmpb $0x1, (%rbx)
jne 0x401c2e
leaq 0x1956cb(%rip), %rdi    # 0x5972d8
movapd %xmm0, (%rsp)
movaps (%rsp), %xmm0
callq 0x402e82
movapd (%rsp), %xmm0
ucomisd 0x136418(%rip), %xmm0   # 0x538040
ja 0x401cf3
movq $0x597855, %rax         # imm = 0x597855
cmpb $0x1, (%rax)
jne 0x401c46
leaq 0x195b8f(%rip), %rdi    # 0x5977d0
callq 0x403bb8
movaps 0x10(%rsp), %xmm0
movsd %xmm0, 0x19567d(%rip)   # 0x5972d0
movl 0x195b8f(%rip), %edx    # 0x5977e8
incl %edx
movl %edx, 0x195b87(%rip)    # 0x5977e8
movl 0x195b85(%rip), %eax    # 0x5977ec
cmpl %eax, %edx
jge 0x401c71
addq $0x20, %rsp
popq %rbx
retq
cmpl $0x3e8, %eax            # imm = 0x3E8
jge 0x401c7d
pushq $0x64
popq %rcx
jmp 0x401cbf
movl $0x1f4, %ecx            # imm = 0x1F4
cmpl $0x1388, %eax           # imm = 0x1388
jb 0x401cbf
movl $0x3e8, %ecx            # imm = 0x3E8
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x401cbf
movl $0x1388, %ecx           # imm = 0x1388
cmpl $0xc350, %eax           # imm = 0xC350
jb 0x401cbf
movl $0x2710, %ecx           # imm = 0x2710
cmpl $0x186a0, %eax          # imm = 0x186A0
jb 0x401cbf
cmpl $0x7a120, %eax          # imm = 0x7A120
movl $0xc350, %esi           # imm = 0xC350
movl $0x186a0, %ecx          # imm = 0x186A0
cmovbl %esi, %ecx
addl %ecx, %eax
movl %eax, 0x195b25(%rip)    # 0x5977ec
movq $0x5956a8, %rbx         # imm = 0x5956A8
movq (%rbx), %rdi
leaq 0x136392(%rip), %rsi    # 0x53806a
leaq 0x15e5ae(%rip), %rcx    # 0x56028d
xorl %eax, %eax
callq 0x474dd0
movq (%rbx), %rdi
addq $0x20, %rsp
popq %rbx
jmp 0x483510
movq $0x5956a8, %rbx         # imm = 0x5956A8
movq (%rbx), %rdi
leaq 0x13634c(%rip), %rsi    # 0x538050
leaq 0x15e582(%rip), %rdx    # 0x56028d
movaps (%rsp), %xmm0
movb $0x1, %al
callq 0x474dd0
movq (%rbx), %rdi
callq 0x483510
movapd (%rsp), %xmm0
jmp 0x401c2e