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

```asm
<DFT256>:
  endbr64
  mov    %rdi,%rcx
  lea    0x400(%rdi),%rdx
  mov    %rdi,%rax
  nopl   0x0(%rax)
L26:
  movss  (%rax),%xmm0
  movss  0x4(%rax),%xmm3
  add    $0x10,%rax
  movss  -0x8(%rax),%xmm1
  movss  -0x4(%rax),%xmm4
  movaps %xmm0,%xmm2
  subss  %xmm3,%xmm0
  addss  %xmm3,%xmm2
  movaps %xmm1,%xmm3
  subss  %xmm4,%xmm1
  addss  %xmm4,%xmm3
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,-0x8(%rax)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm4,-0x10(%rax)
  movss  %xmm0,-0x4(%rax)
  movss  %xmm2,-0xc(%rax)
  cmp    %rax,%rdx
  jne    L26
  movss  D8(%rip),%xmm4
  mov    %rcx,%rax
  nop
L25:
  movss  0x10(%rax),%xmm1
  movss  (%rax),%xmm0
  add    $0x20,%rax
  movss  -0x4(%rax),%xmm3
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  -0x8(%rax),%xmm1
  movss  %xmm0,-0x10(%rax)
  movss  -0x18(%rax),%xmm0
  movss  %xmm2,-0x20(%rax)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  -0x1c(%rax),%xmm1
  movss  %xmm0,-0x8(%rax)
  movss  -0xc(%rax),%xmm0
  movss  %xmm2,-0x18(%rax)
  movaps %xmm0,%xmm2
  subss  %xmm3,%xmm0
  addss  %xmm3,%xmm2
  movaps %xmm1,%xmm3
  mulss  %xmm4,%xmm0
  mulss  %xmm4,%xmm2
  subss  %xmm2,%xmm1
  addss  %xmm2,%xmm3
  movaps %xmm0,%xmm2
  movss  %xmm1,-0xc(%rax)
  movss  -0x14(%rax),%xmm1
  movss  %xmm3,-0x1c(%rax)
  addss  %xmm1,%xmm2
  subss  %xmm0,%xmm1
  movss  %xmm2,-0x14(%rax)
  movss  %xmm1,-0x4(%rax)
  cmp    %rax,%rdx
  jne    L25
  mov    %rcx,%r9
  xor    %r10d,%r10d
  lea    0x140(%rsi),%r11
  lea    0x200(%rsi),%r8
  nop
L89:
  movss  0x20(%r9),%xmm1
  mov    %r11,%rdi
  mov    %r9,%rdx
  mov    %r9,%rax
  movss  (%r9),%xmm0
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  0x30(%r9),%xmm1
  movss  %xmm0,0x20(%r9)
  movss  0x10(%r9),%xmm0
  movss  %xmm2,(%r9)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x30(%r9)
  movss  %xmm2,0x10(%r9)
L105:
  movss  0x24(%rax),%xmm0
  movss  (%rdi),%xmm5
  add    $0x40,%rdi
  add    $0x4,%rax
  movss  0x3c(%rdx),%xmm4
  movss  (%rax),%xmm2
  sub    $0x4,%rdx
  movss  -0x140(%rdi),%xmm6
  movaps %xmm0,%xmm3
  movss  0x20(%rdx),%xmm1
  mulss  %xmm5,%xmm3
  movaps %xmm4,%xmm7
  mulss  %xmm6,%xmm7
  mulss  %xmm5,%xmm4
  mulss  %xmm6,%xmm0
  addss  %xmm7,%xmm3
  subss  %xmm4,%xmm0
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,0x20(%rax)
  movaps %xmm1,%xmm2
  subss  %xmm0,%xmm1
  addss  %xmm0,%xmm2
  movss  %xmm4,(%rax)
  movss  %xmm1,0x40(%rdx)
  movss  %xmm2,0x20(%rdx)
  cmp    %rdi,%r8
  jne    L105
  add    $0x10,%r10d
  add    $0x40,%r9
  cmp    $0x100,%r10d
  jne    L89
  mov    %rcx,%r9
  xor    %r10d,%r10d
  lea    0x120(%rsi),%r11
  cs nopw 0x0(%rax,%rax,1)
L37:
  movss  0x40(%r9),%xmm1
  mov    %r11,%rdi
  mov    %r9,%rdx
  mov    %r9,%rax
  movss  (%r9),%xmm0
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  0x60(%r9),%xmm1
  movss  %xmm0,0x40(%r9)
  movss  0x20(%r9),%xmm0
  movss  %xmm2,(%r9)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x60(%r9)
  movss  %xmm2,0x20(%r9)
  nopl   (%rax)
L14:
  movss  0x44(%rax),%xmm0
  movss  (%rdi),%xmm5
  add    $0x20,%rdi
  add    $0x4,%rax
  movss  0x7c(%rdx),%xmm4
  movss  (%rax),%xmm2
  sub    $0x4,%rdx
  movss  -0x120(%rdi),%xmm6
  movaps %xmm0,%xmm3
  movss  0x40(%rdx),%xmm1
  mulss  %xmm5,%xmm3
  movaps %xmm4,%xmm7
  mulss  %xmm6,%xmm7
  mulss  %xmm5,%xmm4
  mulss  %xmm6,%xmm0
  addss  %xmm7,%xmm3
  subss  %xmm4,%xmm0
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,0x40(%rax)
  movaps %xmm1,%xmm2
  subss  %xmm0,%xmm1
  addss  %xmm0,%xmm2
  movss  %xmm4,(%rax)
  movss  %xmm1,0x80(%rdx)
  movss  %xmm2,0x40(%rdx)
  cmp    %rdi,%r8
  jne    L14
  add    $0x20,%r10d
  sub    $0xffffffffffffff80,%r9
  cmp    $0x100,%r10d
  jne    L37
  lea    0x40(%rcx),%r8
  xor    %r9d,%r9d
  lea    0x10(%rsi),%r10
L20:
  movss  0x40(%r8),%xmm1
  mov    %r10,%rdi
  lea    -0x3c(%r8),%rax
  lea    0x3c(%r8),%rdx
  movss  -0x40(%r8),%xmm0
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  0x80(%r8),%xmm1
  movss  %xmm0,0x40(%r8)
  movss  (%r8),%xmm0
  movss  %xmm2,-0x40(%r8)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x80(%r8)
  movss  %xmm2,(%r8)
  nop
L66:
  movss  (%rdi),%xmm6
  movss  (%rax),%xmm2
  add    $0x4,%rax
  add    $0x10,%rdi
  movss  0x80(%rdx),%xmm4
  movss  0x7c(%rax),%xmm0
  sub    $0x4,%rdx
  movss  0xf0(%rdi),%xmm5
  movss  0x4(%rdx),%xmm1
  movaps %xmm0,%xmm3
  movaps %xmm4,%xmm7
  mulss  %xmm5,%xmm3
  mulss  %xmm6,%xmm7
  mulss  %xmm5,%xmm4
  mulss  %xmm6,%xmm0
  addss  %xmm7,%xmm3
  subss  %xmm4,%xmm0
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,0x7c(%rax)
  movaps %xmm1,%xmm2
  subss  %xmm0,%xmm1
  addss  %xmm0,%xmm2
  movss  %xmm4,-0x4(%rax)
  movss  %xmm1,0x84(%rdx)
  movss  %xmm2,0x4(%rdx)
  cmp    %rax,%r8
  jne    L66
  add    $0x40,%r9d
  add    $0x100,%r8
  cmp    $0x100,%r9d
  jne    L20
  lea    0x80(%rcx),%r8
  xor    %r9d,%r9d
  lea    0x8(%rsi),%r10
L27:
  movss  0x80(%r8),%xmm1
  mov    %r10,%rdi
  lea    -0x7c(%r8),%rax
  lea    0x7c(%r8),%rdx
  movss  -0x80(%r8),%xmm0
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  0x100(%r8),%xmm1
  movss  %xmm0,0x80(%r8)
  movss  (%r8),%xmm0
  movss  %xmm2,-0x80(%r8)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x100(%r8)
  movss  %xmm2,(%r8)
  nop
L32:
  movss  (%rdi),%xmm6
  movss  (%rax),%xmm2
  add    $0x4,%rax
  add    $0x8,%rdi
  movss  0x100(%rdx),%xmm4
  movss  0xfc(%rax),%xmm0
  sub    $0x4,%rdx
  movss  0xf8(%rdi),%xmm5
  movss  0x4(%rdx),%xmm1
  movaps %xmm0,%xmm3
  movaps %xmm4,%xmm7
  mulss  %xmm5,%xmm3
  mulss  %xmm6,%xmm7
  mulss  %xmm5,%xmm4
  mulss  %xmm6,%xmm0
  addss  %xmm7,%xmm3
  subss  %xmm4,%xmm0
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,0xfc(%rax)
  movaps %xmm1,%xmm2
  subss  %xmm0,%xmm1
  addss  %xmm0,%xmm2
  movss  %xmm4,-0x4(%rax)
  movss  %xmm1,0x104(%rdx)
  movss  %xmm2,0x4(%rdx)
  cmp    %rax,%r8
  jne    L32
  sub    $0xffffff80,%r9d
  add    $0x200,%r8
  cmp    $0x100,%r9d
  jne    L27
  movss  0x200(%rcx),%xmm1
  movss  (%rcx),%xmm0
  lea    0x1fc(%rcx),%rax
  lea    0x204(%rcx),%rdx
  add    $0x104,%rsi
  add    $0x100,%rcx
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  0x200(%rcx),%xmm1
  movss  %xmm0,0x100(%rcx)
  movss  (%rcx),%xmm0
  movss  %xmm2,-0x100(%rcx)
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x200(%rcx)
  movss  %xmm2,(%rcx)
  cs nopw 0x0(%rax,%rax,1)
L81:
  movss  (%rdx),%xmm0
  movss  (%rsi),%xmm5
  sub    $0x4,%rax
  add    $0x4,%rsi
  movss  0x204(%rax),%xmm4
  movss  0x4(%rax),%xmm1
  add    $0x4,%rdx
  movss  -0x104(%rsi),%xmm6
  movaps %xmm0,%xmm3
  movss  -0x204(%rdx),%xmm2
  mulss  %xmm5,%xmm3
  movaps %xmm4,%xmm7
  mulss  %xmm6,%xmm7
  mulss  %xmm5,%xmm4
  mulss  %xmm6,%xmm0
  addss  %xmm7,%xmm3
  subss  %xmm4,%xmm0
  movaps %xmm2,%xmm4
  subss  %xmm3,%xmm2
  addss  %xmm3,%xmm4
  movss  %xmm2,-0x4(%rdx)
  movaps %xmm1,%xmm2
  subss  %xmm0,%xmm1
  addss  %xmm0,%xmm2
  movss  %xmm4,-0x204(%rdx)
  movss  %xmm1,0x204(%rax)
  movss  %xmm2,0x4(%rax)
  cmp    %rax,%rcx
  jne    L81
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D8
datatype: byte[4]

tool: {"D8": [0xf3,0x04,0x35,0x3f]}

assistant: ```c
void DFT256(float *A, const float *sinTab) {
  int i, j, theta;
  float alpha, beta, beta1, beta2, y0, y1, y2, y3;
  for (i = 0; i < 256; i += 4) {
    alpha = A[i];
    beta = A[i + 1];
    beta1 = A[i + 2];
    beta2 = A[i + 3];
    y0 = alpha + beta;
    y1 = alpha - beta;
    y2 = beta1 + beta2;
    y3 = beta1 - beta2;
    A[i] = y0 + y2;
    A[i + 2] = y0 - y2;
    A[i + 1] = y1 + y3;
    A[i + 3] = y1 - y3;
  }
  for (i = 0; i < 256; i += 8) {
    alpha = A[i];
    beta = A[i + 4];
    A[i] = alpha + beta;
    A[i + 4] = alpha - beta;
    alpha = A[i + 2];
    beta = A[i + 6];
    A[i + 2] = alpha + beta;
    A[i + 6] = alpha - beta;
    alpha = A[i + 1];
    beta1 = 0.70710678118654752440084436210485f * (A[i + 5] + A[i + 7]);
    beta2 = 0.70710678118654752440084436210485f * (A[i + 5] - A[i + 7]);
    A[i + 1] = alpha + beta1;
    A[i + 5] = alpha - beta1;
    alpha = A[i + 3];
    A[i + 3] = alpha + beta2;
    A[i + 7] = alpha - beta2;
  }
  for (i = 0; i < 256; i += 16) {
    theta = 16;
    alpha = A[i];
    beta = A[i + 8];
    A[i] = alpha + beta;
    A[i + 8] = alpha - beta;
    alpha = A[i + 4];
    beta = A[i + 12];
    A[i + 4] = alpha + beta;
    A[i + 12] = alpha - beta;
    for (j = 1; j < 4; j++) {
      y0 = sinTab[theta];
      y1 = sinTab[theta + 64];
      alpha = A[i + j];
      beta = A[i - j + 8];
      beta1 = A[i + j + 8] * y1 + A[i - j + 16] * y0;
      beta2 = A[i + j + 8] * y0 - A[i - j + 16] * y1;
      theta += 16;
      A[i + j] = alpha + beta1;
      A[i + j + 8] = alpha - beta1;
      A[i - j + 8] = beta + beta2;
      A[i - j + 16] = beta - beta2;
    }
  }
  for (i = 0; i < 256; i += 32) {
    theta = 8;
    alpha = A[i];
    beta = A[i + 16];
    A[i] = alpha + beta;
    A[i + 16] = alpha - beta;
    alpha = A[i + 8];
    beta = A[i + 24];
    A[i + 8] = alpha + beta;
    A[i + 24] = alpha - beta;
    for (j = 1; j < 8; j++) {
      y0 = sinTab[theta];
      y1 = sinTab[theta + 64];
      alpha = A[i + j];
      beta = A[i - j + 16];
      beta1 = A[i + j + 16] * y1 + A[i - j + 32] * y0;
      beta2 = A[i + j + 16] * y0 - A[i - j + 32] * y1;
      theta += 8;
      A[i + j] = alpha + beta1;
      A[i + j + 16] = alpha - beta1;
      A[i - j + 16] = beta + beta2;
      A[i - j + 32] = beta - beta2;
    }
  }
  for (i = 0; i < 256; i += 64) {
    theta = 4;
    alpha = A[i];
    beta = A[i + 32];
    A[i] = alpha + beta;
    A[i + 32] = alpha - beta;
    alpha = A[i + 16];
    beta = A[i + 48];
    A[i + 16] = alpha + beta;
    A[i + 48] = alpha - beta;
    for (j = 1; j < 16; j++) {
      y0 = sinTab[theta];
      y1 = sinTab[theta + 64];
      alpha = A[i + j];
      beta = A[i - j + 32];
      beta1 = A[i + j + 32] * y1 + A[i - j + 64] * y0;
      beta2 = A[i + j + 32] * y0 - A[i - j + 64] * y1;
      theta += 4;
      A[i + j] = alpha + beta1;
      A[i + j + 32] = alpha - beta1;
      A[i - j + 32] = beta + beta2;
      A[i - j + 64] = beta - beta2;
    }
  }
  for (i = 0; i < 256; i += 128) {
    theta = 2;
    alpha = A[i];
    beta = A[i + 64];
    A[i] = alpha + beta;
    A[i + 64] = alpha - beta;
    alpha = A[i + 32];
    beta = A[i + 96];
    A[i + 32] = alpha + beta;
    A[i + 96] = alpha - beta;
    for (j = 1; j < 32; j++) {
      y0 = sinTab[theta];
      y1 = sinTab[theta + 64];
      alpha = A[i + j];
      beta = A[i - j + 64];
      beta1 = A[i + j + 64] * y1 + A[i - j + 128] * y0;
      beta2 = A[i + j + 64] * y0 - A[i - j + 128] * y1;
      theta += 2;
      A[i + j] = alpha + beta1;
      A[i + j + 64] = alpha - beta1;
      A[i - j + 64] = beta + beta2;
      A[i - j + 128] = beta - beta2;
    }
  }
  theta = 1;
  alpha = A[0];
  beta = A[128];
  A[0] = alpha + beta;
  A[128] = alpha - beta;
  alpha = A[64];
  beta = A[192];
  A[64] = alpha + beta;
  A[192] = alpha - beta;
  for (j = 1; j < 64; j++) {
    y0 = sinTab[theta];
    y1 = sinTab[theta + 64];
    alpha = A[j];
    beta = A[-j + 128];
    beta1 = A[j + 128] * y1 + A[-j + 256] * y0;
    beta2 = A[j + 128] * y0 - A[-j + 256] * y1;
    theta += 1;
    A[j] = alpha + beta1;
    A[j + 128] = alpha - beta1;
    A[-j + 128] = beta + beta2;
    A[-j + 256] = beta - beta2;
  }
}
```