user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<print_summary>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbp
  mov    %rsi,%rbx
  mov    %rdx,%r13
  mov    %rcx,%r14
  mov    %r8,%r12
  mov    %rsi,%rdx
  lea    D53(%rip),%rsi
  mov    $0x0,%eax
  call   <fprintf@plt>
  test   %rbx,%rbx
  je     L40
  mov    %rbx,%rax
  sub    %r12,%rax
  pxor   %xmm4,%xmm4
  cvtsi2sd %rax,%xmm4
  pxor   %xmm0,%xmm0
  cvtsi2sd %r13,%xmm0
  divsd  %xmm4,%xmm0
  mulsd  D88(%rip),%xmm0
  movapd %xmm0,%xmm3
  movsd  D47(%rip),%xmm2
  movapd %xmm0,%xmm1
  andpd  %xmm2,%xmm1
  movsd  D59(%rip),%xmm5
  ucomisd %xmm1,%xmm5
  jbe    L42
  cvttsd2si %xmm0,%rax
  pxor   %xmm1,%xmm1
  cvtsi2sd %rax,%xmm1
  movapd %xmm1,%xmm3
  cmpnlesd %xmm0,%xmm3
  movsd  D135(%rip),%xmm5
  andpd  %xmm5,%xmm3
  subsd  %xmm3,%xmm1
  andnpd %xmm0,%xmm2
  movapd %xmm1,%xmm3
  orpd   %xmm2,%xmm3
L42:
  divsd  D111(%rip),%xmm3
  pxor   %xmm0,%xmm0
  cvtsi2sd %r14,%xmm0
  divsd  %xmm4,%xmm0
  mulsd  D88(%rip),%xmm0
  movapd %xmm0,%xmm1
  movsd  D47(%rip),%xmm4
  movapd %xmm0,%xmm2
  andpd  %xmm4,%xmm2
  movsd  D59(%rip),%xmm5
  ucomisd %xmm2,%xmm5
  jbe    L6
  cvttsd2si %xmm0,%rax
  pxor   %xmm2,%xmm2
  cvtsi2sd %rax,%xmm2
  cmpnlesd %xmm2,%xmm1
  movsd  D135(%rip),%xmm5
  andpd  %xmm5,%xmm1
  addsd  %xmm2,%xmm1
  andnpd %xmm0,%xmm4
  orpd   %xmm4,%xmm1
L6:
  divsd  D111(%rip),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %r12,%xmm0
  pxor   %xmm2,%xmm2
  cvtsi2sd %rbx,%xmm2
  divsd  %xmm2,%xmm0
  mulsd  D88(%rip),%xmm0
  movapd %xmm0,%xmm2
  movsd  D47(%rip),%xmm5
  movapd %xmm0,%xmm4
  andpd  %xmm5,%xmm4
  movsd  D59(%rip),%xmm6
  ucomisd %xmm4,%xmm6
  jbe    L17
  cvttsd2si %xmm0,%rax
  pxor   %xmm4,%xmm4
  cvtsi2sd %rax,%xmm4
  cmpnlesd %xmm4,%xmm2
  movsd  D135(%rip),%xmm6
  andpd  %xmm6,%xmm2
  addsd  %xmm4,%xmm2
  andnpd %xmm0,%xmm5
  orpd   %xmm5,%xmm2
L17:
  divsd  D111(%rip),%xmm2
L24:
  mov    %r12,%r8
  mov    %r14,%rcx
  movapd %xmm3,%xmm0
  mov    %r13,%rdx
  lea    D65(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x3,%eax
  call   <fprintf@plt>
  mov    $0x0,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L40:
  pxor   %xmm2,%xmm2
  movapd %xmm2,%xmm1
  movsd  D111(%rip),%xmm3
  jmp    L24
```

tool_calls: name: disassemble_data
arguments: data_tag: D53
type_infered: string
name: disassemble_data
arguments: data_tag: D88
type_infered: f64
name: disassemble_data
arguments: data_tag: D47
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D59
type_infered: f32[2]
name: disassemble_data
arguments: data_tag: D135
type_infered: f32[2]
name: disassemble_data
arguments: data_tag: D111
type_infered: f64
name: disassemble_data
arguments: data_tag: D65
type_infered: string

tool: D53: Total:  %ld


tool: D88: 10000

tool: {"D47": [0xff,0xff,0xff,0xff,0xff,0xff,0xff,0x7f]}

tool: {"D59": [0.0,176.0]}

tool: {"D135": [0.0,1.875]}

tool: D111: 100

tool: D65: Passed: %ld (%0.2lf%%)
Failed: %ld (%0.2lf%%)
Skipped: %ld (%0.2lf%%)



assistant: ```c
int print_summary(FILE *f, long total, long pass, long fail, long skip) {
  double dpass = 100.0, dfail = 0.0, dskip = 0.0;
  fprintf(f, "Total:  %ld\n", total);
  if (total) {
    dpass = ((double)pass / (double)(total - skip)) * 10000.0;
    dpass = floor(dpass) / 100.0;
    dfail = ((double)fail / (double)(total - skip)) * 10000.0;
    dfail = ceil(dfail) / 100.0;
    dskip = ((double)skip / (double)total) * 10000.0;
    dskip = ceil(dskip) / 100.0;
  }
  fprintf(f, "Passed: %ld (%0.2lf%%)\nFailed: %ld (%0.2lf%%)\nSkipped: %ld (%0.2lf%%)\n\n", pass, dpass, fail, dfail, skip, dskip);
  return 0;
}
```