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

```asm
<vec4_slerp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  comiss -0x10(%rbp),%xmm0
  jbe    L26
  movss  D55(%rip),%xmm0
  jmp    L39
L26:
  movss  D43(%rip),%xmm0
L39:
  movss  %xmm0,-0xc(%rbp)
  movss  -0xc(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <acosf@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  movd   %eax,%xmm0
  call   <sinf@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabs@plt>
  movd   %xmm0,%eax
  movd   %eax,%xmm3
  comiss D11(%rip),%xmm3
  jbe    L16
  movss  -0x3c(%rbp),%xmm0
  comiss D50(%rip),%xmm0
  jbe    L16
  movss  D43(%rip),%xmm0
  comiss -0x3c(%rbp),%xmm0
  jbe    L16
  movss  D43(%rip),%xmm0
  subss  -0x3c(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sinf@plt>
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  -0x8(%rbp),%xmm0
  mulss  -0x3c(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sinf@plt>
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,-0x14(%rbp)
  jmp    L56
L16:
  movss  D43(%rip),%xmm0
  subss  -0x3c(%rbp),%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  -0x3c(%rbp),%xmm0
  movss  %xmm0,-0x14(%rbp)
L56:
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x14(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  -0x14(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  -0x14(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x18(%rbp),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  -0x14(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  movd   %eax,%xmm0
  call   <sqrtf@plt>
  movaps %xmm0,%xmm1
  movss  D43(%rip),%xmm0
  divss  %xmm1,%xmm0
  movss  %xmm0,-0x8(%rbp)
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x8(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0xc,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D55
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D43
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D11
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D50
datatype: byte[4]

tool: {"D55": [0x00,0x00,0x80,0xbf]}

tool: {"D43": [0x00,0x00,0x80,0x3f]}

tool: {"D11": [0xac,0xc5,0x27,0x37]}

tool: {"D50": [0x17,0xb7,0xd1,0x38]}

assistant: ```c
void vec4_slerp(float ret[4], float q1[4], float q2[4], float t) {
  float cos_fi, sin_fi, fi, k1, k2, sign;
  cos_fi = q1[3] * q2[3] + q1[0] * q2[0] + q1[1] * q2[1] + q1[2] * q2[2];
  sign = (cos_fi < 0.0f) ? (-1.0f) : (1.0f);
  fi = acosf(sign * cos_fi);
  sin_fi = sinf(fi);
  if ((fabs(sin_fi) > 0.00001f) && (t > 0.0001f) && (t < 1.0f)) {
    k1 = sinf(fi * (1.0f - t)) / sin_fi;
    k2 = sinf(fi * t * sign) / sin_fi;
  } else {
    k1 = 1.0f - t;
    k2 = t;
  }
  ret[0] = k1 * q1[0] + k2 * q2[0];
  ret[1] = k1 * q1[1] + k2 * q2[1];
  ret[2] = k1 * q1[2] + k2 * q2[2];
  ret[3] = k1 * q1[3] + k2 * q2[3];
  fi = 1.0f / (sqrtf((ret)[0] * (ret)[0] + (ret)[1] * (ret)[1] + (ret)[2] * (ret)[2] + (ret)[3] * (ret)[3]));
  ret[0] *= fi;
  ret[1] *= fi;
  ret[2] *= fi;
  ret[3] *= fi;
}
```