// File: /workspace/github_c_makefile_star2_O0/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 %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq $0x5d2954, %rax         # imm = 0x5D2954
testb $0x1, (%rax)
jne 0x401b84
movq $0x5d2955, %rax         # imm = 0x5D2955
testb $0x1, (%rax)
je 0x401c6e
callq 0x4a9f50
movq %rax, %xmm0
movaps 0x17549b(%rip), %xmm1   # 0x577030
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x17549f(%rip), %xmm1   # 0x577040
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x175458(%rip), %xmm1   # 0x577010
mulsd %xmm1, %xmm0
movsd %xmm0, -0x8(%rbp)
movsd -0x8(%rbp), %xmm0
subsd 0x1d0802(%rip), %xmm0   # 0x5d23d0
movsd 0x175432(%rip), %xmm1   # 0x577008
mulsd %xmm1, %xmm0
movsd %xmm0, -0x10(%rbp)
movq $0x5d2954, %rax         # imm = 0x5D2954
testb $0x1, (%rax)
je 0x401c44
movsd -0x10(%rbp), %xmm0
leaq 0x1d07e1(%rip), %rdi    # 0x5d23d8
callq 0x4035d0
movsd -0x10(%rbp), %xmm0
movsd 0x17540f(%rip), %xmm1   # 0x577018
ucomisd %xmm1, %xmm0
jbe 0x401c42
movq $0x5d07a8, %rax         # imm = 0x5D07A8
movq (%rax), %rdi
movsd -0x10(%rbp), %xmm0
leaq 0x17542b(%rip), %rsi    # 0x577050
leaq 0x19e2e1(%rip), %rdx    # 0x59ff0d
movb $0x1, %al
callq 0x4b40c0
movq $0x5d07a8, %rax         # imm = 0x5D07A8
movq (%rax), %rdi
callq 0x4c2800
jmp 0x401c44
movq $0x5d2955, %rax         # imm = 0x5D2955
testb $0x1, (%rax)
je 0x401c61
movsd -0x10(%rbp), %xmm0
leaq 0x1d0c74(%rip), %rdi    # 0x5d28d0
callq 0x404b30
movsd -0x8(%rbp), %xmm0
movsd %xmm0, 0x1d0762(%rip)   # 0x5d23d0
movl 0x1d0c74(%rip), %eax    # 0x5d28e8
addl $0x1, %eax
movl %eax, 0x1d0c6b(%rip)    # 0x5d28e8
movl 0x1d0c65(%rip), %eax    # 0x5d28e8
cmpl 0x1d0c63(%rip), %eax    # 0x5d28ec
jl 0x401d9c
cmpl $0x3e8, 0x1d0c53(%rip)  # imm = 0x3E8
jge 0x401caf
movl 0x1d0c4b(%rip), %eax    # 0x5d28ec
addl $0x64, %eax
movl %eax, 0x1d0c42(%rip)    # 0x5d28ec
jmp 0x401d68
cmpl $0x1388, 0x1d0c33(%rip) # imm = 0x1388
jge 0x401cd1
movl 0x1d0c2b(%rip), %eax    # 0x5d28ec
addl $0x1f4, %eax            # imm = 0x1F4
movl %eax, 0x1d0c20(%rip)    # 0x5d28ec
jmp 0x401d66
cmpl $0x2710, 0x1d0c11(%rip) # imm = 0x2710
jge 0x401cf0
movl 0x1d0c09(%rip), %eax    # 0x5d28ec
addl $0x3e8, %eax            # imm = 0x3E8
movl %eax, 0x1d0bfe(%rip)    # 0x5d28ec
jmp 0x401d64
cmpl $0xc350, 0x1d0bf2(%rip) # imm = 0xC350
jge 0x401d0f
movl 0x1d0bea(%rip), %eax    # 0x5d28ec
addl $0x1388, %eax           # imm = 0x1388
movl %eax, 0x1d0bdf(%rip)    # 0x5d28ec
jmp 0x401d62
cmpl $0x186a0, 0x1d0bd3(%rip) # imm = 0x186A0
jge 0x401d2e
movl 0x1d0bcb(%rip), %eax    # 0x5d28ec
addl $0x2710, %eax           # imm = 0x2710
movl %eax, 0x1d0bc0(%rip)    # 0x5d28ec
jmp 0x401d60
cmpl $0x7a120, 0x1d0bb4(%rip) # imm = 0x7A120
jge 0x401d4d
movl 0x1d0bac(%rip), %eax    # 0x5d28ec
addl $0xc350, %eax           # imm = 0xC350
movl %eax, 0x1d0ba1(%rip)    # 0x5d28ec
jmp 0x401d5e
movl 0x1d0b99(%rip), %eax    # 0x5d28ec
addl $0x186a0, %eax          # imm = 0x186A0
movl %eax, 0x1d0b8e(%rip)    # 0x5d28ec
jmp 0x401d60
jmp 0x401d62
jmp 0x401d64
jmp 0x401d66
jmp 0x401d68
movq $0x5d07a8, %rax         # imm = 0x5D07A8
movq (%rax), %rdi
movl 0x1d0b70(%rip), %edx    # 0x5d28e8
leaq 0x1752eb(%rip), %rsi    # 0x57706a
leaq 0x19e187(%rip), %rcx    # 0x59ff0d
movb $0x0, %al
callq 0x4b40c0
movq $0x5d07a8, %rax         # imm = 0x5D07A8
movq (%rax), %rdi
callq 0x4c2800
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)