user: Converte this assembly snippet into its equivalent C code:

```asm
<cftmdl>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,-0x10(%rsp)
  mov    %esi,%r13d
  mov    %rdx,%r12
  mov    %rcx,%r8
  lea    0x0(,%rsi,4),%ecx
  test   %esi,%esi
  jle    L38
  mov    %rdx,%rax
  movslq %esi,%r9
  shl    $0x3,%r9
  lea    (%rdx,%r9,1),%rdx
  mov    %rdx,%rdi
  add    %r9,%rdx
  mov    %rdx,%rsi
  add    %r9,%rdx
  lea    -0x1(%r13),%r9d
  shr    %r9d
  mov    %r9d,%r9d
  shl    $0x4,%r9
  lea    0x10(%r12,%r9,1),%r9
L9:
  movsd  (%rax),%xmm2
  movsd  (%rdi),%xmm5
  movapd %xmm2,%xmm4
  addsd  %xmm5,%xmm4
  movsd  0x8(%rax),%xmm0
  movsd  0x8(%rdi),%xmm1
  movapd %xmm0,%xmm3
  addsd  %xmm1,%xmm3
  subsd  %xmm5,%xmm2
  movapd %xmm2,%xmm9
  subsd  %xmm1,%xmm0
  movsd  (%rsi),%xmm1
  movsd  (%rdx),%xmm8
  movapd %xmm1,%xmm6
  addsd  %xmm8,%xmm6
  movsd  0x8(%rsi),%xmm2
  movsd  0x8(%rdx),%xmm7
  movapd %xmm2,%xmm5
  addsd  %xmm7,%xmm5
  subsd  %xmm8,%xmm1
  subsd  %xmm7,%xmm2
  movapd %xmm4,%xmm7
  addsd  %xmm6,%xmm7
  movsd  %xmm7,(%rax)
  movapd %xmm3,%xmm7
  addsd  %xmm5,%xmm7
  movsd  %xmm7,0x8(%rax)
  subsd  %xmm6,%xmm4
  movsd  %xmm4,(%rsi)
  subsd  %xmm5,%xmm3
  movsd  %xmm3,0x8(%rsi)
  movapd %xmm9,%xmm3
  subsd  %xmm2,%xmm3
  movsd  %xmm3,(%rdi)
  movapd %xmm0,%xmm3
  addsd  %xmm1,%xmm3
  movsd  %xmm3,0x8(%rdi)
  addsd  %xmm9,%xmm2
  movsd  %xmm2,(%rdx)
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rdx)
  add    $0x10,%rax
  add    $0x10,%rdi
  add    $0x10,%rsi
  add    $0x10,%rdx
  cmp    %r9,%rax
  jne    L9
L38:
  movsd  0x10(%r8),%xmm7
  lea    0x0(%r13,%rcx,1),%eax
  cmp    %eax,%ecx
  jge    L17
  movslq %ecx,%r9
  lea    (%r12,%r9,8),%rax
  movslq %r13d,%r10
  lea    (%r9,%r10,1),%rdx
  lea    (%r12,%rdx,8),%rdi
  lea    (%r10,%r10,1),%rdx
  lea    (%rdx,%r9,1),%rsi
  lea    (%r12,%rsi,8),%rsi
  add    %r10,%rdx
  add    %r9,%rdx
  lea    (%r12,%rdx,8),%rdx
  lea    -0x1(%r13),%r10d
  shr    %r10d
  mov    %r10d,%r10d
  lea    (%r9,%r10,2),%r9
  lea    0x10(%r12,%r9,8),%r9
L50:
  movsd  (%rax),%xmm0
  movsd  (%rdi),%xmm2
  movapd %xmm0,%xmm5
  addsd  %xmm2,%xmm5
  movsd  0x8(%rax),%xmm3
  movsd  0x8(%rdi),%xmm1
  movapd %xmm3,%xmm9
  addsd  %xmm1,%xmm9
  subsd  %xmm2,%xmm0
  subsd  %xmm1,%xmm3
  movsd  (%rsi),%xmm1
  movsd  (%rdx),%xmm11
  movapd %xmm1,%xmm8
  addsd  %xmm11,%xmm8
  movsd  0x8(%rsi),%xmm4
  movsd  0x8(%rdx),%xmm10
  movapd %xmm4,%xmm6
  addsd  %xmm10,%xmm6
  movapd %xmm1,%xmm2
  subsd  %xmm11,%xmm2
  subsd  %xmm10,%xmm4
  movapd %xmm5,%xmm1
  addsd  %xmm8,%xmm1
  movsd  %xmm1,(%rax)
  movapd %xmm9,%xmm1
  addsd  %xmm6,%xmm1
  movsd  %xmm1,0x8(%rax)
  subsd  %xmm9,%xmm6
  movsd  %xmm6,(%rsi)
  subsd  %xmm8,%xmm5
  movsd  %xmm5,0x8(%rsi)
  movapd %xmm0,%xmm1
  subsd  %xmm4,%xmm1
  movapd %xmm3,%xmm6
  addsd  %xmm2,%xmm6
  movapd %xmm1,%xmm5
  subsd  %xmm6,%xmm5
  mulsd  %xmm7,%xmm5
  movsd  %xmm5,(%rdi)
  addsd  %xmm6,%xmm1
  mulsd  %xmm7,%xmm1
  movsd  %xmm1,0x8(%rdi)
  addsd  %xmm4,%xmm0
  subsd  %xmm3,%xmm2
  movapd %xmm2,%xmm1
  subsd  %xmm0,%xmm2
  mulsd  %xmm7,%xmm2
  movsd  %xmm2,(%rdx)
  addsd  %xmm1,%xmm0
  mulsd  %xmm7,%xmm0
  movsd  %xmm0,0x8(%rdx)
  add    $0x10,%rax
  add    $0x10,%rdi
  add    $0x10,%rsi
  add    $0x10,%rdx
  cmp    %r9,%rax
  jne    L50
L17:
  lea    (%rcx,%rcx,1),%r9d
  mov    %r9d,-0xc(%rsp)
  cmp    -0x10(%rsp),%r9d
  jge    L48
  lea    0x10(%r8),%rbx
  add    $0x20,%r8
  lea    (%rcx,%r9,1),%r11d
  movslq %r9d,%rbp
  mov    %rbp,-0x8(%rsp)
  movslq %ecx,%rcx
  lea    (%rcx,%rbp,1),%r10
  movslq %r13d,%rax
  lea    (%r12,%rax,8),%rdi
  mov    %rdi,-0x30(%rsp)
  mov    %rax,%rdx
  shl    $0x4,%rdx
  lea    (%r12,%rdx,1),%rdi
  mov    %rdi,-0x28(%rsp)
  lea    (%rax,%rax,2),%rax
  lea    (%r12,%rax,8),%rax
  mov    %rax,-0x20(%rsp)
  lea    -0x1(%r13),%eax
  shr    %eax
  mov    %eax,%eax
  add    %rax,%rax
  mov    %rax,-0x18(%rsp)
  lea    0x10(%r12),%r15
L63:
  movsd  (%rbx),%xmm2
  movsd  0x8(%rbx),%xmm4
  mov    %r8,%r14
  movsd  (%r8),%xmm6
  movsd  0x8(%r8),%xmm7
  movapd %xmm4,%xmm5
  addsd  %xmm4,%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm7,%xmm0
  movapd %xmm6,%xmm8
  subsd  %xmm0,%xmm8
  mulsd  %xmm6,%xmm5
  subsd  %xmm7,%xmm5
  lea    (%r9,%r13,1),%eax
  cmp    %eax,%r9d
  jge    L68
  lea    0x0(,%rbp,8),%rdx
  lea    (%r12,%rdx,1),%rax
  mov    -0x30(%rsp),%rdi
  lea    (%rdx,%rdi,1),%rsi
  mov    -0x28(%rsp),%rdi
  lea    (%rdx,%rdi,1),%rcx
  add    -0x20(%rsp),%rdx
  mov    -0x18(%rsp),%rdi
  add    %rbp,%rdi
  lea    (%r15,%rdi,8),%rdi
L75:
  movsd  (%rax),%xmm3
  movsd  (%rsi),%xmm11
  movapd %xmm3,%xmm9
  addsd  %xmm11,%xmm9
  movsd  0x8(%rax),%xmm0
  movsd  0x8(%rsi),%xmm10
  movapd %xmm0,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm11,%xmm3
  subsd  %xmm10,%xmm0
  movsd  (%rcx),%xmm10
  movsd  (%rdx),%xmm15
  movapd %xmm10,%xmm13
  addsd  %xmm15,%xmm13
  movsd  0x8(%rcx),%xmm11
  movsd  0x8(%rdx),%xmm14
  movapd %xmm11,%xmm12
  addsd  %xmm14,%xmm12
  subsd  %xmm15,%xmm10
  subsd  %xmm14,%xmm11
  movapd %xmm9,%xmm14
  addsd  %xmm13,%xmm14
  movsd  %xmm14,(%rax)
  movapd %xmm1,%xmm14
  addsd  %xmm12,%xmm14
  movsd  %xmm14,0x8(%rax)
  subsd  %xmm13,%xmm9
  subsd  %xmm12,%xmm1
  movapd %xmm2,%xmm12
  mulsd  %xmm9,%xmm12
  movapd %xmm4,%xmm13
  mulsd  %xmm1,%xmm13
  subsd  %xmm13,%xmm12
  movsd  %xmm12,(%rcx)
  mulsd  %xmm2,%xmm1
  mulsd  %xmm4,%xmm9
  addsd  %xmm9,%xmm1
  movsd  %xmm1,0x8(%rcx)
  movapd %xmm3,%xmm9
  subsd  %xmm11,%xmm9
  movapd %xmm0,%xmm1
  addsd  %xmm10,%xmm1
  movapd %xmm6,%xmm12
  mulsd  %xmm9,%xmm12
  movapd %xmm7,%xmm13
  mulsd  %xmm1,%xmm13
  subsd  %xmm13,%xmm12
  movsd  %xmm12,(%rsi)
  mulsd  %xmm6,%xmm1
  mulsd  %xmm7,%xmm9
  addsd  %xmm9,%xmm1
  movsd  %xmm1,0x8(%rsi)
  addsd  %xmm11,%xmm3
  movapd %xmm3,%xmm1
  subsd  %xmm10,%xmm0
  movapd %xmm8,%xmm3
  mulsd  %xmm1,%xmm3
  movapd %xmm5,%xmm9
  mulsd  %xmm0,%xmm9
  subsd  %xmm9,%xmm3
  movsd  %xmm3,(%rdx)
  mulsd  %xmm8,%xmm0
  mulsd  %xmm5,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rdx)
  add    $0x10,%rax
  add    $0x10,%rsi
  add    $0x10,%rcx
  add    $0x10,%rdx
  cmp    %rdi,%rax
  jne    L75
L68:
  movsd  0x10(%r14),%xmm6
  movsd  0x18(%r14),%xmm7
  movapd %xmm2,%xmm5
  addsd  %xmm2,%xmm5
  movapd %xmm5,%xmm0
  mulsd  %xmm7,%xmm0
  movapd %xmm6,%xmm8
  subsd  %xmm0,%xmm8
  mulsd  %xmm6,%xmm5
  subsd  %xmm7,%xmm5
  lea    (%r11,%r13,1),%eax
  cmp    %eax,%r11d
  jge    L51
  lea    0x0(,%r10,8),%rdx
  lea    (%r12,%rdx,1),%rax
  mov    -0x30(%rsp),%rdi
  lea    (%rdi,%rdx,1),%rsi
  mov    -0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%rcx
  add    -0x20(%rsp),%rdx
  mov    -0x18(%rsp),%rdi
  add    %r10,%rdi
  lea    (%r15,%rdi,8),%rdi
  xorpd  D7(%rip),%xmm4
L5:
  movsd  (%rax),%xmm3
  movsd  (%rsi),%xmm11
  movapd %xmm3,%xmm9
  addsd  %xmm11,%xmm9
  movsd  0x8(%rax),%xmm0
  movsd  0x8(%rsi),%xmm10
  movapd %xmm0,%xmm1
  addsd  %xmm10,%xmm1
  subsd  %xmm11,%xmm3
  subsd  %xmm10,%xmm0
  movsd  (%rcx),%xmm10
  movsd  (%rdx),%xmm15
  movapd %xmm10,%xmm13
  addsd  %xmm15,%xmm13
  movsd  0x8(%rcx),%xmm11
  movsd  0x8(%rdx),%xmm14
  movapd %xmm11,%xmm12
  addsd  %xmm14,%xmm12
  subsd  %xmm15,%xmm10
  subsd  %xmm14,%xmm11
  movapd %xmm9,%xmm14
  addsd  %xmm13,%xmm14
  movsd  %xmm14,(%rax)
  movapd %xmm1,%xmm14
  addsd  %xmm12,%xmm14
  movsd  %xmm14,0x8(%rax)
  subsd  %xmm13,%xmm9
  subsd  %xmm12,%xmm1
  movapd %xmm4,%xmm12
  mulsd  %xmm9,%xmm12
  movapd %xmm2,%xmm13
  mulsd  %xmm1,%xmm13
  subsd  %xmm13,%xmm12
  movsd  %xmm12,(%rcx)
  mulsd  %xmm4,%xmm1
  mulsd  %xmm2,%xmm9
  addsd  %xmm9,%xmm1
  movsd  %xmm1,0x8(%rcx)
  movapd %xmm3,%xmm9
  subsd  %xmm11,%xmm9
  movapd %xmm0,%xmm1
  addsd  %xmm10,%xmm1
  movapd %xmm6,%xmm12
  mulsd  %xmm9,%xmm12
  movapd %xmm7,%xmm13
  mulsd  %xmm1,%xmm13
  subsd  %xmm13,%xmm12
  movsd  %xmm12,(%rsi)
  mulsd  %xmm6,%xmm1
  mulsd  %xmm7,%xmm9
  addsd  %xmm9,%xmm1
  movsd  %xmm1,0x8(%rsi)
  addsd  %xmm11,%xmm3
  movapd %xmm3,%xmm1
  subsd  %xmm10,%xmm0
  movapd %xmm8,%xmm3
  mulsd  %xmm1,%xmm3
  movapd %xmm5,%xmm9
  mulsd  %xmm0,%xmm9
  subsd  %xmm9,%xmm3
  movsd  %xmm3,(%rdx)
  mulsd  %xmm8,%xmm0
  mulsd  %xmm5,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rdx)
  add    $0x10,%rax
  add    $0x10,%rsi
  add    $0x10,%rcx
  add    $0x10,%rdx
  cmp    %rdi,%rax
  jne    L5
L51:
  mov    -0xc(%rsp),%eax
  add    %eax,%r9d
  add    $0x10,%rbx
  add    $0x20,%r8
  add    %eax,%r11d
  mov    -0x8(%rsp),%rax
  add    %rax,%rbp
  add    %rax,%r10
  cmp    %r9d,-0x10(%rsp)
  jg     L63
L48:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D7
datatype: byte[16]

tool: {"D7": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

assistant: ```c
void cftmdl(int n, int l, double *a, double const *w) {
  int j, j1, j2, j3, k, k1, k2, m, m2;
  double wk1r, wk1i, wk2r, wk2i, wk3r, wk3i;
  double x0r, x0i, x1r, x1i, x2r, x2i, x3r, x3i;
  m = l << 2;
  for (j = 0; j < l; j += 2) {
    j1 = j + l;
    j2 = j1 + l;
    j3 = j2 + l;
    x0r = a[j] + a[j1];
    x0i = a[j + 1] + a[j1 + 1];
    x1r = a[j] - a[j1];
    x1i = a[j + 1] - a[j1 + 1];
    x2r = a[j2] + a[j3];
    x2i = a[j2 + 1] + a[j3 + 1];
    x3r = a[j2] - a[j3];
    x3i = a[j2 + 1] - a[j3 + 1];
    a[j] = x0r + x2r;
    a[j + 1] = x0i + x2i;
    a[j2] = x0r - x2r;
    a[j2 + 1] = x0i - x2i;
    a[j1] = x1r - x3i;
    a[j1 + 1] = x1i + x3r;
    a[j3] = x1r + x3i;
    a[j3 + 1] = x1i - x3r;
  }
  wk1r = w[2];
  for (j = m; j < l + m; j += 2) {
    j1 = j + l;
    j2 = j1 + l;
    j3 = j2 + l;
    x0r = a[j] + a[j1];
    x0i = a[j + 1] + a[j1 + 1];
    x1r = a[j] - a[j1];
    x1i = a[j + 1] - a[j1 + 1];
    x2r = a[j2] + a[j3];
    x2i = a[j2 + 1] + a[j3 + 1];
    x3r = a[j2] - a[j3];
    x3i = a[j2 + 1] - a[j3 + 1];
    a[j] = x0r + x2r;
    a[j + 1] = x0i + x2i;
    a[j2] = x2i - x0i;
    a[j2 + 1] = x0r - x2r;
    x0r = x1r - x3i;
    x0i = x1i + x3r;
    a[j1] = wk1r * (x0r - x0i);
    a[j1 + 1] = wk1r * (x0r + x0i);
    x0r = x3i + x1r;
    x0i = x3r - x1i;
    a[j3] = wk1r * (x0i - x0r);
    a[j3 + 1] = wk1r * (x0i + x0r);
  }
  k1 = 0;
  m2 = 2 * m;
  for (k = m2; k < n; k += m2) {
    k1 += 2;
    k2 = 2 * k1;
    wk2r = w[k1];
    wk2i = w[k1 + 1];
    wk1r = w[k2];
    wk1i = w[k2 + 1];
    wk3r = wk1r - 2 * wk2i * wk1i;
    wk3i = 2 * wk2i * wk1r - wk1i;
    for (j = k; j < l + k; j += 2) {
      j1 = j + l;
      j2 = j1 + l;
      j3 = j2 + l;
      x0r = a[j] + a[j1];
      x0i = a[j + 1] + a[j1 + 1];
      x1r = a[j] - a[j1];
      x1i = a[j + 1] - a[j1 + 1];
      x2r = a[j2] + a[j3];
      x2i = a[j2 + 1] + a[j3 + 1];
      x3r = a[j2] - a[j3];
      x3i = a[j2 + 1] - a[j3 + 1];
      a[j] = x0r + x2r;
      a[j + 1] = x0i + x2i;
      x0r -= x2r;
      x0i -= x2i;
      a[j2] = wk2r * x0r - wk2i * x0i;
      a[j2 + 1] = wk2r * x0i + wk2i * x0r;
      x0r = x1r - x3i;
      x0i = x1i + x3r;
      a[j1] = wk1r * x0r - wk1i * x0i;
      a[j1 + 1] = wk1r * x0i + wk1i * x0r;
      x0r = x1r + x3i;
      x0i = x1i - x3r;
      a[j3] = wk3r * x0r - wk3i * x0i;
      a[j3 + 1] = wk3r * x0i + wk3i * x0r;
    }
    wk1r = w[k2 + 2];
    wk1i = w[k2 + 3];
    wk3r = wk1r - 2 * wk2r * wk1i;
    wk3i = 2 * wk2r * wk1r - wk1i;
    for (j = k + m; j < l + (k + m); j += 2) {
      j1 = j + l;
      j2 = j1 + l;
      j3 = j2 + l;
      x0r = a[j] + a[j1];
      x0i = a[j + 1] + a[j1 + 1];
      x1r = a[j] - a[j1];
      x1i = a[j + 1] - a[j1 + 1];
      x2r = a[j2] + a[j3];
      x2i = a[j2 + 1] + a[j3 + 1];
      x3r = a[j2] - a[j3];
      x3i = a[j2 + 1] - a[j3 + 1];
      a[j] = x0r + x2r;
      a[j + 1] = x0i + x2i;
      x0r -= x2r;
      x0i -= x2i;
      a[j2] = -wk2i * x0r - wk2r * x0i;
      a[j2 + 1] = -wk2i * x0i + wk2r * x0r;
      x0r = x1r - x3i;
      x0i = x1i + x3r;
      a[j1] = wk1r * x0r - wk1i * x0i;
      a[j1 + 1] = wk1r * x0i + wk1i * x0r;
      x0r = x1r + x3i;
      x0i = x1i - x3r;
      a[j3] = wk3r * x0r - wk3i * x0i;
      a[j3 + 1] = wk3r * x0i + wk3i * x0r;
    }
  }
}
```