user: What is the c source code of the assembly code below:

```asm
<_deBoor_D>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x48(%rbp)
  movsd  %xmm0,-0x50(%rbp)
  mov    %esi,-0x54(%rbp)
  mov    %edx,-0x58(%rbp)
  mov    %ecx,-0x5c(%rbp)
  mov    %r8,-0x68(%rbp)
  mov    -0x54(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x68(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x68(%rbp),%rax
  movsd  D4(%rip),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x34(%rbp)
  jmp    L132
L125:
  mov    -0x34(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%rcx
  mov    -0x28(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  mov    -0x20(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x30(%rbp)
  jmp    L54
L15:
  mov    -0x58(%rbp),%edx
  mov    -0x30(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x2c(%rbp),%eax
  sub    -0x34(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jp     L88
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jne    L88
  mov    -0x30(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L82
L88:
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0x18(%rbp),%xmm1
  subsd  -0x10(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  mov    -0x30(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L82:
  addl   $0x1,-0x30(%rbp)
L54:
  mov    -0x30(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jle    L15
  addl   $0x1,-0x34(%rbp)
L132:
  mov    -0x54(%rbp),%eax
  sub    -0x5c(%rbp),%eax
  cmp    %eax,-0x34(%rbp)
  jle    L125
  mov    -0x54(%rbp),%eax
  sub    -0x5c(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x34(%rbp)
  jmp    L65
L61:
  mov    -0x34(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%rcx
  mov    -0x28(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  mov    -0x20(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x30(%rbp)
  jmp    L52
L110:
  mov    -0x58(%rbp),%edx
  mov    -0x30(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x2c(%rbp),%eax
  sub    -0x34(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jp     L76
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jne    L76
  mov    -0x5c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L17
L76:
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x34(%rbp),%xmm1
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm1
  subsd  -0x10(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x30(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  subsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x30(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L17:
  addl   $0x1,-0x30(%rbp)
L52:
  mov    -0x30(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jle    L110
  addl   $0x1,-0x34(%rbp)
L65:
  mov    -0x34(%rbp),%eax
  cmp    -0x54(%rbp),%eax
  jle    L61
  nop
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D4
type_infered: f64

tool: D4: 1

assistant: ```c
void _deBoor_D(double *t, double x, int k, int ell, int m, double *result) {
  double *hh = result + k + 1;
  double *h = result;
  double xb, xa, w;
  int ind, j, n;
  result[0] = 1.0;
  for (j = 1; j <= k - m; j++) {
    memcpy(hh, h, j * sizeof(double));
    h[0] = 0.0;
    for (n = 1; n <= j; n++) {
      ind = ell + n;
      xb = t[ind];
      xa = t[ind - j];
      if (xb == xa) {
        h[n] = 0.0;
        continue;
      }
      w = hh[n - 1] / (xb - xa);
      h[n - 1] += w * (xb - x);
      h[n] = w * (x - xa);
    }
  }
  for (j = k - m + 1; j <= k; j++) {
    memcpy(hh, h, j * sizeof(double));
    h[0] = 0.0;
    for (n = 1; n <= j; n++) {
      ind = ell + n;
      xb = t[ind];
      xa = t[ind - j];
      if (xb == xa) {
        h[m] = 0.0;
        continue;
      }
      w = j * hh[n - 1] / (xb - xa);
      h[n - 1] -= w;
      h[n] = w;
    }
  }
}
```