user: What would the C source look like for the assembly code provided here:

```asm
<interp2_table1_real_per>:
  endbr64
  push   %r15
  pxor   %xmm0,%xmm0
  push   %r14
  mov    %rdi,%r14
  push   %r13
  mov    %rsi,%r13
  push   %r12
  mov    %edx,%r12d
  push   %rbp
  push   %rbx
  sub    $0xc8,%rsp
  mov    0x100(%rsp),%eax
  imul   0x110(%rsp),%eax
  mov    %ecx,0x68(%rsp)
  mov    %r8,0x38(%rsp)
  movslq 0x128(%rsp),%rbx
  mov    %r9,0x88(%rsp)
  cvtsi2sd %eax,%xmm0
  mulsd  D12(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  pxor   %xmm0,%xmm0
  movslq %eax,%r15
  mov    0x108(%rsp),%eax
  imul   0x118(%rsp),%eax
  cvtsi2sd %eax,%xmm0
  mulsd  D12(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  cltq
  mov    %rax,0x80(%rsp)
  test   %ebx,%ebx
  jle    L11
  lea    0x0(,%rbx,8),%rax
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  mov    %rax,0x98(%rsp)
  add    0x120(%rsp),%rax
  cvtsi2sdl 0x100(%rsp),%xmm0
  mov    %rax,0xa8(%rsp)
  mov    0x108(%rsp),%eax
  cvtsi2sdl 0x108(%rsp),%xmm6
  mulsd  D12(%rip),%xmm0
  add    $0x1,%eax
  mov    %eax,0xbc(%rsp)
  mov    0x100(%rsp),%eax
  movsd  %xmm6,0xb0(%rsp)
  add    $0x1,%eax
  mov    %eax,0xb8(%rsp)
  movsd  %xmm0,0xa0(%rsp)
  nopw   0x0(%rax,%rax,1)
L61:
  mov    0x120(%rsp),%rax
  mov    0x98(%rsp),%rsi
  addq   $0x8,0x120(%rsp)
  movsd  (%rax,%rsi,1),%xmm6
  mov    0x120(%rsp),%rax
  movsd  -0x8(%rax),%xmm7
  movsd  %xmm6,0x60(%rsp)
  movsd  %xmm7,0x30(%rsp)
  subsd  0xa0(%rsp),%xmm7
  cvttsd2si %xmm7,%edi
  call   <floor@plt>
  movsd  D12(%rip),%xmm1
  mulsd  0xb0(%rsp),%xmm1
  movsd  0x60(%rsp),%xmm0
  mov    %eax,0x90(%rsp)
  add    $0x1,%eax
  mov    %eax,0x94(%rsp)
  subsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%edi
  call   <floor@plt>
  mov    0x108(%rsp),%edx
  lea    0x1(%rax),%esi
  mov    %esi,0x44(%rsp)
  test   %edx,%edx
  jle    L19
  pxor   %xmm6,%xmm6
  add    0xbc(%rsp),%eax
  movq   $0x0,0x50(%rsp)
  cvtsi2sdl 0x118(%rsp),%xmm6
  mov    %eax,0x6c(%rsp)
  movq   $0x0,0x48(%rsp)
  movsd  %xmm6,0x70(%rsp)
  pxor   %xmm6,%xmm6
  cvtsi2sdl 0x68(%rsp),%xmm6
  movsd  %xmm6,0x78(%rsp)
  nopl   0x0(%rax)
L36:
  mov    0x44(%rsp),%ebx
  pxor   %xmm1,%xmm1
  movsd  0x60(%rsp),%xmm0
  cvtsi2sd %ebx,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0x70(%rsp),%xmm0
  movsd  %xmm1,0x8(%rsp)
  cvttsd2si %xmm0,%edi
  movsd  %xmm0,(%rsp)
  call   <floor@plt>
  pxor   %xmm2,%xmm2
  movsd  (%rsp),%xmm0
  mov    0x88(%rsp),%rsi
  cvtsi2sd %eax,%xmm2
  cltq
  add    0x80(%rsp),%rax
  movsd  0x8(%rsp),%xmm1
  lea    (%rsi,%rax,8),%rax
  divsd  0x78(%rsp),%xmm1
  cvttsd2si %xmm1,%edi
  subsd  %xmm2,%xmm0
  movsd  D13(%rip),%xmm2
  subsd  %xmm0,%xmm2
  mulsd  0x8(%rax),%xmm0
  mulsd  (%rax),%xmm2
  addsd  %xmm0,%xmm2
  movsd  %xmm2,0x58(%rsp)
  call   <floor@plt>
  imul   0x68(%rsp),%eax
  sub    %eax,%ebx
  mov    0x100(%rsp),%eax
  imul   %r12d,%ebx
  test   %eax,%eax
  jle    L54
  pxor   %xmm7,%xmm7
  mov    0x94(%rsp),%ebp
  mov    0xb8(%rsp),%eax
  pxor   %xmm4,%xmm4
  cvtsi2sdl 0x110(%rsp),%xmm7
  add    0x90(%rsp),%eax
  movapd %xmm4,%xmm3
  mov    %eax,0x40(%rsp)
  mov    %ebp,%eax
  mov    %ebx,%ebp
  mov    %eax,%ebx
  movsd  %xmm7,0x20(%rsp)
  pxor   %xmm7,%xmm7
  cvtsi2sd %r12d,%xmm7
  movsd  %xmm7,0x28(%rsp)
  xchg   %ax,%ax
L30:
  pxor   %xmm2,%xmm2
  movsd  0x30(%rsp),%xmm0
  movsd  %xmm4,0x18(%rsp)
  cvtsi2sd %ebx,%xmm2
  movsd  %xmm3,0x10(%rsp)
  subsd  %xmm2,%xmm0
  mulsd  0x20(%rsp),%xmm0
  movsd  %xmm2,0x8(%rsp)
  cvttsd2si %xmm0,%edi
  movsd  %xmm0,(%rsp)
  call   <floor@plt>
  pxor   %xmm1,%xmm1
  movsd  (%rsp),%xmm0
  mov    0x38(%rsp),%rdx
  cvtsi2sd %eax,%xmm1
  cltq
  movsd  0x8(%rsp),%xmm2
  divsd  0x28(%rsp),%xmm2
  add    %r15,%rax
  cvttsd2si %xmm2,%edi
  lea    (%rdx,%rax,8),%rax
  subsd  %xmm1,%xmm0
  movsd  D13(%rip),%xmm1
  subsd  %xmm0,%xmm1
  mulsd  0x8(%rax),%xmm0
  mulsd  (%rax),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rsp)
  call   <floor@plt>
  movsd  (%rsp),%xmm0
  movsd  0x10(%rsp),%xmm3
  imul   %r12d,%eax
  movsd  0x18(%rsp),%xmm4
  mov    %eax,%ecx
  mov    %ebx,%eax
  add    $0x1,%ebx
  sub    %ecx,%eax
  add    %ebp,%eax
  cltq
  movsd  (%r14,%rax,8),%xmm1
  mulsd  %xmm0,%xmm1
  mulsd  0x0(%r13,%rax,8),%xmm0
  addsd  %xmm1,%xmm3
  addsd  %xmm0,%xmm4
  cmp    %ebx,0x40(%rsp)
  jne    L30
L78:
  movsd  0x58(%rsp),%xmm7
  movsd  0x50(%rsp),%xmm0
  addl   $0x1,0x44(%rsp)
  mov    0x44(%rsp),%eax
  mulsd  %xmm7,%xmm3
  mulsd  %xmm4,%xmm7
  addsd  0x48(%rsp),%xmm3
  movsd  %xmm3,0x48(%rsp)
  addsd  %xmm7,%xmm0
  movsd  %xmm0,0x50(%rsp)
  cmp    %eax,0x6c(%rsp)
  jne    L36
L3:
  addq   $0x8,0x130(%rsp)
  movsd  0x48(%rsp),%xmm6
  mov    0x130(%rsp),%rax
  addq   $0x8,0x138(%rsp)
  movsd  %xmm6,-0x8(%rax)
  mov    0x138(%rsp),%rax
  movsd  0x50(%rsp),%xmm6
  movsd  %xmm6,-0x8(%rax)
  mov    0xa8(%rsp),%rax
  cmp    0x120(%rsp),%rax
  jne    L61
L11:
  add    $0xc8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L54:
  pxor   %xmm4,%xmm4
  movapd %xmm4,%xmm3
  jmp    L78
L19:
  movq   $0x0,0x50(%rsp)
  movq   $0x0,0x48(%rsp)
  jmp    L3
```

tool_calls: name: extract_symbolic_data
arguments: label: D12
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D13
type_infered: f64

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

tool: D13: 1

assistant: ```c
void interp2_table1_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);
      const double alf2 = p2 - n2;
      register const double *ph2 = r_h2 + n2;
      double coef2r = (1 - alf2) * *ph2 + alf2 * *(ph2 + 1);
      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);
        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;
        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;
  }
}
```