user: 请从给定的汇编指令推导出C源代码：

```asm
<interp3_table0_real_per_adj>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x100,%rsp
  mov    %rdi,-0xd8(%rbp)
  mov    %rsi,-0xe0(%rbp)
  mov    %edx,-0xe4(%rbp)
  mov    %ecx,-0xe8(%rbp)
  mov    %r8d,-0xec(%rbp)
  mov    %r9,-0xf8(%rbp)
  mov    0x20(%rbp),%eax
  imul   0x38(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0xb0(%rbp)
  mov    -0xb0(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0xf8(%rbp)
  mov    0x28(%rbp),%eax
  imul   0x40(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0xac(%rbp)
  mov    -0xac(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,0x10(%rbp)
  mov    0x30(%rbp),%eax
  imul   0x48(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0xa8(%rbp)
  mov    -0xa8(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,0x18(%rbp)
  mov    -0xe4(%rbp),%eax
  imul   -0xe8(%rbp),%eax
  imul   -0xec(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0xe4(%rbp),%eax
  imul   -0xe8(%rbp),%eax
  imul   -0xec(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edx
  mov    -0xe0(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  movl   $0x0,-0xcc(%rbp)
  jmp    L43
L78:
  mov    0x58(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    0x58(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    0x50(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x50(%rbp)
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    0x60(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x60(%rbp)
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    0x68(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x68(%rbp)
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x20(%rbp),%xmm0
  movsd  D55(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  add    $0x1,%eax
  mov    %eax,-0xa4(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x28(%rbp),%xmm0
  movsd  D55(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x68(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  add    $0x1,%eax
  mov    %eax,-0xa0(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x30(%rbp),%xmm0
  movsd  D55(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x70(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  add    $0x1,%eax
  mov    %eax,-0xbc(%rbp)
  movl   $0x0,-0xc0(%rbp)
  jmp    L55
L18:
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0xbc(%rbp),%xmm2
  movsd  -0x70(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x48(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x48(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x9c(%rbp)
  mov    -0x9c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0xbc(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0xec(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x98(%rbp)
  mov    -0xec(%rbp),%eax
  imul   -0x98(%rbp),%eax
  mov    %eax,%edx
  mov    -0xbc(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x94(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0xa0(%rbp),%eax
  mov    %eax,-0xb8(%rbp)
  movl   $0x0,-0xc4(%rbp)
  jmp    L51
L53:
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0xb8(%rbp),%xmm2
  movsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x90(%rbp)
  mov    -0x90(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0xb8(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0xe8(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x8c(%rbp)
  mov    -0xe8(%rbp),%eax
  imul   -0x8c(%rbp),%eax
  mov    %eax,%edx
  mov    -0xb8(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x88(%rbp)
  mov    -0x94(%rbp),%eax
  imul   -0xe8(%rbp),%eax
  mov    %eax,%edx
  mov    -0x88(%rbp),%eax
  add    %eax,%edx
  mov    -0xe4(%rbp),%eax
  imul   %edx,%eax
  mov    %eax,-0x84(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0xa4(%rbp),%eax
  mov    %eax,-0xb4(%rbp)
  movl   $0x0,-0xc8(%rbp)
  jmp    L6
L60:
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0xb4(%rbp),%xmm2
  movsd  -0x60(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x38(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x80(%rbp)
  mov    -0x80(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xf8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0x100(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0xb4(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0xe4(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x7c(%rbp)
  mov    -0xe4(%rbp),%eax
  imul   -0x7c(%rbp),%eax
  mov    %eax,%edx
  mov    -0xb4(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x78(%rbp)
  mov    -0x84(%rbp),%edx
  mov    -0x78(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x74(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x100(%rbp),%xmm3
  movapd %xmm3,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x10(%rbp),%xmm3
  movapd %xmm3,%xmm0
  mov    -0x74(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe0(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0xc8(%rbp)
  addl   $0x1,-0xb4(%rbp)
L6:
  mov    -0xc8(%rbp),%eax
  cmp    0x20(%rbp),%eax
  jl     L60
  addl   $0x1,-0xc4(%rbp)
  addl   $0x1,-0xb8(%rbp)
L51:
  mov    -0xc4(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L53
  addl   $0x1,-0xc0(%rbp)
  addl   $0x1,-0xbc(%rbp)
L55:
  mov    -0xc0(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L18
  addl   $0x1,-0xcc(%rbp)
L43:
  mov    -0xcc(%rbp),%eax
  cmp    0x58(%rbp),%eax
  jl     L78
  nop
  nop
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: label: D55
type_infered: f64
name: retrieve_data
arguments: label: D20
type_infered: f64

tool: D55: 2

tool: D20: 0.5

assistant: ```c
void interp3_table0_real_per_adj(double *r_ck, double *i_ck, const int K1, const int K2, const int K3, const double *r_h1, const double *r_h2, const double *r_h3, const int J1, const int J2, const int J3, const int L1, const int L2, const int L3, const double *p_tm, const int M, const double *r_fm, const double *i_fm) {
  int mm;
  {
    const int ncenter1 = floor(J1 * L1 / 2);
    r_h1 += ncenter1;
  }
  {
    const int ncenter2 = floor(J2 * L2 / 2);
    r_h2 += ncenter2;
  }
  {
    const int ncenter3 = floor(J3 * L3 / 2);
    r_h3 += ncenter3;
  }
  (void)memset((void *)r_ck, 0, K1 * K2 * K3 * sizeof(*r_ck));
  (void)memset((void *)i_ck, 0, K1 * K2 * K3 * sizeof(*i_ck));
  for (mm = 0; mm < M; mm++) {
    int jj1, jj2, jj3;
    const double t3 = p_tm[2 * M];
    const double t2 = p_tm[M];
    const double t1 = *p_tm++;
    const double fmr = *r_fm++;
    const double fmi = *i_fm++;
    const int koff1 = 1 + floor(t1 - J1 / 2.);
    const int koff2 = 1 + floor(t2 - J2 / 2.);
    int k3 = 1 + floor(t3 - J3 / 2.);
    for (jj3 = 0; jj3 < J3; jj3++, k3++) {
      const double p3 = (t3 - k3) * L3;
      const int n3 = floor(p3 + 0.5);
      double coef3r = r_h3[n3];
      const int wrap3 = floor(k3 / (double)K3);
      const int k3mod = k3 - K3 * wrap3;
      const double v3r = coef3r * fmr;
      const double v3i = coef3r * fmi;
      int k2 = koff2;
      for (jj2 = 0; jj2 < J2; jj2++, k2++) {
        const double p2 = (t2 - k2) * L2;
        const int n2 = floor(p2 + 0.5);
        double coef2r = r_h2[n2];
        const int wrap2 = floor(k2 / (double)K2);
        const int k2mod = k2 - K2 * wrap2;
        const int k23mod = (k3mod * K2 + k2mod) * K1;
        const double v2r = coef2r * v3r;
        const double v2i = coef2r * v3i;
        int k1 = koff1;
        for (jj1 = 0; jj1 < J1; jj1++, k1++) {
          const double p1 = (t1 - k1) * L1;
          const int n1 = floor(p1 + 0.5);
          register double coef1r = r_h1[n1];
          const int wrap1 = floor(k1 / (double)K1);
          const int k1mod = k1 - K1 * wrap1;
          const int kk = k23mod + k1mod;
          r_ck[kk] += coef1r * v2r;
          i_ck[kk] += coef1r * v2i;
        }
      }
    }
  }
}
```