user: 下面的汇编指令对应的C源代码是什么:

```asm
<interp1_table1_real_per>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,%rbp
  mov    %rsi,%r12
  mov    %edx,%r15d
  mov    %rcx,%r14
  mov    %r8d,%r13d
  mov    %r8d,0x3c(%rsp)
  mov    %r9d,0x38(%rsp)
  mov    0x98(%rsp),%ebx
  mov    %r8d,%eax
  imul   %r9d,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  D22(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  cltq
  mov    %rax,0x30(%rsp)
  test   %ebx,%ebx
  jle    L43
  pxor   %xmm0,%xmm0
  cvtsi2sd %r13d,%xmm0
  mulsd  D22(%rip),%xmm0
  movsd  %xmm0,0x40(%rsp)
  mov    %ebx,%ebx
  mov    0x90(%rsp),%rax
  lea    (%rax,%rbx,8),%rax
  mov    %rax,0x48(%rsp)
L35:
  addq   $0x8,0x90(%rsp)
  mov    0x90(%rsp),%rax
  movsd  -0x8(%rax),%xmm6
  movsd  %xmm6,0x28(%rsp)
  movapd %xmm6,%xmm0
  subsd  0x40(%rsp),%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  lea    0x1(%rax),%r13d
  mov    0x3c(%rsp),%ecx
  test   %ecx,%ecx
  jle    L4
  lea    0x1(%rax,%rcx,1),%ebx
  pxor   %xmm7,%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  %xmm7,0x10(%rsp)
L7:
  pxor   %xmm3,%xmm3
  cvtsi2sd %r13d,%xmm3
  movsd  0x28(%rsp),%xmm1
  movsd  %xmm3,0x20(%rsp)
  subsd  %xmm3,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x38(%rsp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rsp)
  cvttsd2si %xmm1,%edi
  call   <floor@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  0x8(%rsp),%xmm0
  subsd  %xmm1,%xmm0
  cltq
  add    0x30(%rsp),%rax
  lea    (%r14,%rax,8),%rax
  movsd  D1(%rip),%xmm1
  subsd  %xmm0,%xmm1
  mulsd  (%rax),%xmm1
  mulsd  0x8(%rax),%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rsp)
  pxor   %xmm1,%xmm1
  cvtsi2sd %r15d,%xmm1
  movsd  0x20(%rsp),%xmm0
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  imul   %r15d,%eax
  mov    %r13d,%edx
  sub    %eax,%edx
  movslq %edx,%rax
  movsd  0x8(%rsp),%xmm2
  movapd %xmm2,%xmm0
  mulsd  0x0(%rbp,%rax,8),%xmm0
  addsd  0x10(%rsp),%xmm0
  movsd  %xmm0,0x10(%rsp)
  mulsd  (%r12,%rax,8),%xmm2
  movapd %xmm2,%xmm0
  addsd  0x18(%rsp),%xmm0
  movsd  %xmm0,0x18(%rsp)
  add    $0x1,%r13d
  cmp    %r13d,%ebx
  jne    L7
L2:
  addq   $0x8,0xa0(%rsp)
  mov    0xa0(%rsp),%rax
  movsd  0x10(%rsp),%xmm7
  movsd  %xmm7,-0x8(%rax)
  addq   $0x8,0xa8(%rsp)
  mov    0xa8(%rsp),%rax
  movsd  0x18(%rsp),%xmm6
  movsd  %xmm6,-0x8(%rax)
  mov    0x48(%rsp),%rax
  cmp    %rax,0x90(%rsp)
  jne    L35
L43:
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L4:
  pxor   %xmm7,%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  %xmm7,0x10(%rsp)
  jmp    L2
```

tool_calls: name: extract_symbolic_data
arguments: label: D22
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1
type_infered: f64

tool: {"D22": [0.0,1.75]}

tool: D1: 1

assistant: ```c
void interp1_table1_real_per(const double *r_ck, const double *i_ck, const int K1, const double *r_h1, const int J1, const int L1, 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;
  }
  for (mm = 0; mm < M; mm++) {
    int jj1;
    const double t1 = *p_tm++;
    register double sum1r = 0;
    register double sum1i = 0;
    int k1 = 1 + floor(t1 - J1 / 2.);
    for (jj1 = 0; jj1 < J1; jj1++, k1++) {
      const double p1 = (t1 - k1) * L1;
      const int n1 = floor(p1);
      const double alf1 = p1 - n1;
      register const double *ph1 = r_h1 + n1;
      register double coef1r = (1 - alf1) * *ph1 + alf1 * *(ph1 + 1);
      const int wrap1 = floor(k1 / (double)K1);
      const int k1mod = k1 - K1 * wrap1;
      sum1r += coef1r * r_ck[k1mod];
      sum1i += coef1r * i_ck[k1mod];
    }
    *r_fm++ = sum1r;
    *i_fm++ = sum1i;
  }
}
```