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

```asm
<spf>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  movsd  %xmm0,-0x28(%rbp)
  mov    %rdi,-0x30(%rbp)
  mov    %rsi,-0x38(%rbp)
  mov    %rdx,-0x40(%rbp)
  mov    %ecx,-0x44(%rbp)
  mov    %r8d,-0x48(%rbp)
  mov    -0x44(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x44(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x44(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  subss  %xmm1,%xmm0
  divss  -0x20(%rbp),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x20(%rbp),%xmm1
  movsd  -0x28(%rbp),%xmm0
  divsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D43(%rip),%xmm0
  subss  -0x18(%rbp),%xmm0
  movss  %xmm0,-0x14(%rbp)
  mov    -0x44(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  subss  -0x1c(%rbp),%xmm0
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  mov    -0x44(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  subss  -0x1c(%rbp),%xmm0
  movss  -0x18(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  cmpl   $0x0,-0x48(%rbp)
  jne    L17
  mov    -0x44(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  mov    -0x44(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mulss  -0x14(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x14(%rbp),%xmm2
  movss  -0x10(%rbp),%xmm0
  subss  -0xc(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  jmp    L6
L17:
  pxor   %xmm1,%xmm1
  cvtss2sd -0x1c(%rbp),%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd -0x10(%rbp),%xmm2
  pxor   %xmm3,%xmm3
  cvtss2sd -0x18(%rbp),%xmm3
  movsd  D26(%rip),%xmm0
  mulsd  %xmm0,%xmm3
  movsd  D13(%rip),%xmm0
  subsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd -0xc(%rbp),%xmm2
  pxor   %xmm3,%xmm3
  cvtss2sd -0x18(%rbp),%xmm3
  movsd  D26(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movsd  D20(%rip),%xmm1
  subsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
L6:
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D43
data_type: f32
name: retrieve_data
arguments: tag: D26
data_type: f64
name: retrieve_data
arguments: tag: D13
data_type: byte[8]
name: retrieve_data
arguments: tag: D20
data_type: f64

tool: D43: 1

tool: D26: 3

tool: {"D13": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: D20: 2

assistant: ```c
double spf(dx, x, y, k, m, key)
double dx;
float *x, *y, *k;
int m, key;
{
  float h, t, d, tm, a, b;
  double val;
  h = *(x + m) - *(x + m - 1);
  d = (*(y + m) - *(y + m - 1)) / h;
  t = dx / h;
  tm = 1. - t;
  a = (*(k + m - 1) - d) * tm;
  b = (*(k + m) - d) * t;
  if (!key) {
    val = t * *(y + m) + tm * *(y + m - 1) + h * t * tm * (a - b);
  } else {
    val = d + a * (1. - 3. * t) - b * (2. - 3. * t);
  }
  return val;
}
```