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

```asm
<interp2_table0_real_per>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xc0,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    %rsi,-0x90(%rbp)
  mov    %edx,-0x94(%rbp)
  mov    %ecx,-0x98(%rbp)
  mov    %r8,-0xa0(%rbp)
  mov    %r9,-0xa8(%rbp)
  mov    0x10(%rbp),%eax
  imul   0x20(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x64(%rbp)
  mov    -0x64(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0xa0(%rbp)
  mov    0x18(%rbp),%eax
  imul   0x28(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x60(%rbp)
  mov    -0x60(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0xa8(%rbp)
  movl   $0x0,-0x78(%rbp)
  jmp    L19
L17:
  mov    0x38(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    0x30(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x30(%rbp)
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  movsd  D28(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  add    $0x1,%eax
  mov    %eax,-0x5c(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x18(%rbp),%xmm0
  movsd  D28(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  add    $0x1,%eax
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x70(%rbp)
  jmp    L30
L0:
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x6c(%rbp),%xmm2
  movsd  -0x28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x28(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D21(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x58(%rbp)
  mov    -0x58(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x6c(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x98(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x54(%rbp)
  mov    -0x98(%rbp),%eax
  imul   -0x54(%rbp),%eax
  mov    %eax,%edx
  mov    -0x6c(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  imul   -0x94(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  pxor   %xmm4,%xmm4
  movsd  %xmm4,-0xb0(%rbp)
  pxor   %xmm5,%xmm5
  movsd  %xmm5,-0xb8(%rbp)
  mov    -0x5c(%rbp),%eax
  mov    %eax,-0x68(%rbp)
  movl   $0x0,-0x74(%rbp)
  jmp    L40
L57:
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x68(%rbp),%xmm2
  movsd  -0x20(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x20(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm1
  movsd  D21(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0xc0(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x68(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x94(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <floor@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0x94(%rbp),%eax
  imul   -0x44(%rbp),%eax
  mov    %eax,%edx
  mov    -0x68(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x4c(%rbp),%edx
  mov    -0x40(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0xc0(%rbp),%xmm3
  mulsd  %xmm3,%xmm0
  addsd  -0xb0(%rbp),%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  addl   $0x1,-0x74(%rbp)
  addl   $0x1,-0x68(%rbp)
L40:
  mov    -0x74(%rbp),%eax
  cmp    0x10(%rbp),%eax
  jl     L57
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  -0x38(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  addl   $0x1,-0x70(%rbp)
  addl   $0x1,-0x6c(%rbp)
L30:
  mov    -0x70(%rbp),%eax
  cmp    0x18(%rbp),%eax
  jl     L0
  mov    0x40(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x40(%rbp)
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    0x48(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,0x48(%rbp)
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x78(%rbp)
L19:
  mov    -0x78(%rbp),%eax
  cmp    0x38(%rbp),%eax
  jl     L17
  nop
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D28
type_infered: f64
name: extract_symbolic_data
arguments: tag: D21
type_infered: f64

tool: D28: 2

tool: D21: 0.5

assistant: ```c
void interp2_table0_real_per(const double *r_ck, const double *i_ck, const int K1, const int K2, const double *r_h1, const double *r_h2, const int J1, const int J2, const int L1, const int L2, const double *p_tm, const int M, double *r_fm, 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;
  }
  for (mm = 0; mm < M; mm++) {
    int jj1, jj2;
    const double t2 = p_tm[M];
    const double t1 = *p_tm++;
    double sum2r = 0;
    double sum2i = 0;
    const int koff1 = 1 + floor(t1 - J1 / 2.);
    int k2 = 1 + floor(t2 - J2 / 2.);
    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 k12mod = k2mod * K1;
      register double sum1r = 0;
      register double sum1i = 0;
      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 = k12mod + k1mod;
        sum1r += coef1r * r_ck[kk];
        sum1i += coef1r * i_ck[kk];
      }
      sum2r += coef2r * sum1r;
      sum2i += coef2r * sum1i;
    }
    *r_fm++ = sum2r;
    *i_fm++ = sum2i;
  }
}
```