user: Demonstrate the C code that generates the assembly output below:

```asm
<lib3ds_quat_slerp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  movss  %xmm0,-0x4c(%rbp)
  movss  D37(%rip),%xmm0
  movss  %xmm0,-0x30(%rbp)
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x48(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x48(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L45
  movss  D40(%rip),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movq   D23(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
L45:
  mov    -0x28(%rbp),%rax
  movq   %rax,%xmm0
  call   <acos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x10(%rbp)
  pxor   %xmm3,%xmm3
  cvtsd2ss -0x10(%rbp),%xmm3
  movd   %xmm3,%eax
  movd   %eax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movq   %rax,%xmm0
  call   <fabs@plt>
  test   %eax,%eax
  jle    L15
  movss  D37(%rip),%xmm0
  subss  -0x4c(%rbp),%xmm0
  cvtss2sd %xmm0,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  pxor   %xmm4,%xmm4
  cvtsd2ss %xmm0,%xmm4
  movd   %xmm4,%eax
  movd   %eax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x4c(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  pxor   %xmm5,%xmm5
  cvtsd2ss %xmm0,%xmm5
  movd   %xmm5,%eax
  movd   %eax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L10
L15:
  movss  D37(%rip),%xmm0
  subss  -0x4c(%rbp),%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x4c(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
L10:
  pxor   %xmm0,%xmm0
  cvtss2sd -0x30(%rbp),%xmm0
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L8
L9:
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  cvtss2sd %xmm0,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x2c(%rbp)
L8:
  cmpl   $0x3,-0x2c(%rbp)
  jle    L9
  nop
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D37
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D40
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D23
type: byte[8]

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

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

tool: {"D23": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

assistant: ```c
void lib3ds_quat_slerp(float c[4], float a[4], float b[4], float t) {
  double l;
  double om, sinom;
  double sp, sq;
  float flip = 1.0f;
  int i;
  l = a[0] * b[0] + a[1] * b[1] + a[2] * b[2] + a[3] * b[3];
  if (l < 0) {
    flip = -1.0f;
    l = -l;
  }
  om = acos(l);
  sinom = sin(om);
  if (fabs(sinom) > (1e-5)) {
    sp = sin((1.0f - t) * om) / sinom;
    sq = sin(t * om) / sinom;
  } else {
    sp = 1.0f - t;
    sq = t;
  }
  sq *= flip;
  for (i = 0; i < 4; ++i) {
    c[i] = (float)(sp * a[i] + sq * b[i]);
  }
}
```