user: 这段汇编代码用C语言表示是什么样的：

```asm
<print_summary>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %rcx,-0x40(%rbp)
  mov    %r8,-0x48(%rbp)
  movsd  D68(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x30(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  lea    D14(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  cmpq   $0x0,-0x30(%rbp)
  je     L8
  pxor   %xmm0,%xmm0
  cvtsi2sdq -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  sub    -0x48(%rbp),%rax
  pxor   %xmm2,%xmm2
  cvtsi2sd %rax,%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D12(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  movq   %xmm0,%rax
  movsd  D68(%rip),%xmm1
  movq   %rax,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdq -0x40(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  sub    -0x48(%rbp),%rax
  pxor   %xmm2,%xmm2
  cvtsi2sd %rax,%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D12(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  movq   %xmm0,%rax
  movsd  D68(%rip),%xmm1
  movq   %rax,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdq -0x48(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  cvtsi2sdq -0x30(%rbp),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D12(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  movq   %xmm0,%rax
  movsd  D68(%rip),%xmm1
  movq   %rax,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
L8:
  movsd  -0x8(%rbp),%xmm1
  mov    -0x48(%rbp),%rdi
  movsd  -0x10(%rbp),%xmm0
  mov    -0x40(%rbp),%rcx
  mov    -0x18(%rbp),%rsi
  mov    -0x38(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  movapd %xmm1,%xmm2
  mov    %rdi,%r8
  movapd %xmm0,%xmm1
  movq   %rsi,%xmm0
  lea    D63(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x3,%eax
  call   <fprintf@plt>
  mov    $0x0,%eax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D68
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D14
type_infered: string
name: extract_symbolic_data
arguments: data_label: D12
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D63
type_infered: string

tool: D68: 100

tool: D14: Total:  %ld


tool: D12: 10000

tool: D63: 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;
}
```