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

```asm
<resfft>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %esi,%r13d
  push   %r12
  shr    $0x1f,%r13d
  push   %rbp
  add    %esi,%r13d
  mov    %esi,%ebp
  push   %rbx
  sar    %r13d
  mov    %rdi,%rbx
  sub    $0x88,%rsp
  mov    %edx,0x8(%rsp)
  mov    %r13d,0x10(%rsp)
  cmp    $0x1,%esi
  jle    L179
  lea    -0x2(%rsi),%eax
  cmp    $0x7,%eax
  jbe    L170
  shr    $0x3,%eax
  pxor   %xmm0,%xmm0
  mov    %eax,%ecx
  lea    0x4(%rdi),%rax
  lea    -0x1(%rcx),%edx
  shl    $0x5,%rdx
  lea    0x24(%rdi,%rdx,1),%rdx
  xchg   %ax,%ax
L223:
  movups (%rax),%xmm3
  movups 0x10(%rax),%xmm2
  add    $0x20,%rax
  addss  %xmm3,%xmm0
  unpckhps %xmm3,%xmm3
  addss  %xmm3,%xmm0
  addss  %xmm2,%xmm0
  unpckhps %xmm2,%xmm2
  addss  %xmm2,%xmm0
  cmp    %rax,%rdx
  jne    L223
  lea    0x1(,%rcx,8),%eax
L209:
  movslq %eax,%rcx
  addss  (%rbx,%rcx,4),%xmm0
  lea    0x0(,%rcx,4),%rdx
  lea    0x2(%rax),%ecx
  cmp    %ecx,%ebp
  jle    L236
  lea    0x4(%rax),%ecx
  addss  0x8(%rbx,%rdx,1),%xmm0
  cmp    %ecx,%ebp
  jle    L236
  add    $0x6,%eax
  addss  0x10(%rbx,%rdx,1),%xmm0
  cmp    %eax,%ebp
  jle    L236
  addss  0x18(%rbx,%rdx,1),%xmm0
L236:
  addss  %xmm0,%xmm0
  movss  %xmm0,0x70(%rsp)
L45:
  lea    0x0(,%rbp,4),%edi
  movslq %ebp,%r12
  call   <malloc@plt>
  movss  (%rbx),%xmm0
  lea    0x0(,%r12,4),%rdi
  mov    %rax,%r15
  lea    (%rbx,%rdi,1),%rsi
  mov    %rdi,0x38(%rsp)
  movss  %xmm0,(%rax)
  movslq 0x10(%rsp),%rax
  movss  (%rsi),%xmm0
  mov    %rsi,0x18(%rsp)
  mov    %rax,%r11
  shl    $0x2,%rax
  lea    (%r15,%rax,1),%rcx
  add    %rbx,%rax
  mov    %rcx,0x28(%rsp)
  mov    %rax,0x30(%rsp)
  movss  %xmm0,(%rcx)
  cmp    $0x3,%ebp
  jle    L20
  lea    -0x1(%r11),%eax
  add    %r15,%rdi
  lea    0x4(%r15),%r13
  mov    $0x4,%ecx
  lea    0x0(,%rax,4),%rdx
  mov    %eax,0x74(%rsp)
  lea    0x4(%rdx),%rsi
  sub    %rdx,%rcx
  mov    %rdi,0x20(%rsp)
  lea    (%r15,%rsi,1),%r14
  mov    %rsi,0x60(%rsp)
  lea    0x8(%rbx,%rax,8),%rsi
  lea    0x4(%rbx),%rax
  mov    %rcx,0x58(%rsp)
  lea    -0x4(%rdi,%rcx,1),%rcx
  cmp    %rax,%rdi
  mov    %rax,0x50(%rsp)
  setbe  0x17(%rsp)
  cmp    %rax,%r14
  movzbl 0x17(%rsp),%r10d
  setbe  %al
  cmp    %rsi,%r13
  mov    %r14,0x40(%rsp)
  setae  %dl
  mov    %rcx,0x48(%rsp)
  or     %edx,%eax
  cmp    $0xb,%ebp
  setg   %dl
  and    %edx,%eax
  cmp    %rcx,%r14
  setbe  %dl
  cmp    %r13,%rdi
  setbe  %r8b
  or     %r8d,%edx
  test   %dl,%al
  je     L2
  cmp    %rsi,%rcx
  setae  %al
  or     %r10b,%al
  je     L2
  lea    -0x2(%r11),%eax
  lea    0xc(%rbx),%rdx
  mov    %eax,%esi
  lea    -0xc(%r15,%rdi,1),%r9
  shr    $0x2,%esi
  sub    $0x1,%esi
  shl    $0x5,%rsi
  lea    0x2c(%rbx,%rsi,1),%r10
  mov    %r13,%rsi
  nopl   0x0(%rax,%rax,1)
L180:
  movups -0x8(%rdx),%xmm0
  movups 0x10(%rdx),%xmm5
  mov    %r9,%rcx
  add    $0x20,%rdx
  movups -0x18(%rdx),%xmm6
  movups -0x20(%rdx),%xmm1
  sub    %rsi,%rcx
  add    $0x10,%rsi
  movaps %xmm0,%xmm2
  shufps $0x88,%xmm5,%xmm1
  shufps $0x88,%xmm6,%xmm2
  subps  %xmm2,%xmm1
  shufps $0xdd,%xmm6,%xmm0
  addps  %xmm1,%xmm0
  movups %xmm0,-0x10(%rsi)
  movups -0x24(%rdx),%xmm0
  movups -0x14(%rdx),%xmm5
  shufps $0x88,%xmm5,%xmm0
  subps  %xmm1,%xmm0
  shufps $0x1b,%xmm0,%xmm0
  movups %xmm0,(%rcx)
  cmp    %rdx,%r10
  jne    L180
  and    $0xfffffffc,%eax
  mov    0x10(%rsp),%edi
  lea    0x1(%rax),%r10d
  lea    (%r10,%r10,1),%edx
  movslq %r10d,%r9
  movslq %edx,%r8
  lea    0x0(,%r9,4),%r11
  lea    0x0(,%r8,4),%rsi
  movss  0x4(%rbx,%r8,4),%xmm0
  subss  -0x4(%rbx,%r8,4),%xmm0
  lea    (%rbx,%rsi,1),%r14
  movss  (%r14),%xmm1
  addss  %xmm0,%xmm1
  movss  %xmm1,(%r15,%r9,4)
  movss  (%r14),%xmm1
  mov    %ebp,%r9d
  sub    %r10d,%r9d
  lea    0x2(%rax),%r10d
  subss  %xmm0,%xmm1
  movslq %r9d,%r9
  movss  %xmm1,(%r15,%r9,4)
  cmp    %edi,%r10d
  jge    L62
  lea    0x3(%rdx),%r9d
  lea    0x8(%rbx,%rsi,1),%r14
  movslq %r9d,%r9
  movss  (%r14),%xmm1
  movss  (%rbx,%r9,4),%xmm0
  subss  0x4(%rbx,%rsi,1),%xmm0
  mov    %ebp,%r9d
  sub    %r10d,%r9d
  movslq %r9d,%r9
  addss  %xmm0,%xmm1
  movss  %xmm1,0x4(%r15,%r11,1)
  movss  (%r14),%xmm1
  subss  %xmm0,%xmm1
  movss  %xmm1,(%r15,%r9,4)
  lea    0x3(%rax),%r9d
  cmp    %r9d,%edi
  jle    L62
  add    $0x5,%edx
  lea    0x10(%rbx,%rsi,1),%r10
  add    $0x4,%eax
  movslq %edx,%rdx
  movss  (%r10),%xmm1
  movss  (%rbx,%rdx,4),%xmm0
  subss  0xc(%rbx,%rsi,1),%xmm0
  mov    %ebp,%edx
  sub    %r9d,%edx
  movslq %edx,%rdx
  addss  %xmm0,%xmm1
  movss  %xmm1,0x8(%r15,%r11,1)
  movss  (%r10),%xmm1
  subss  %xmm0,%xmm1
  movss  %xmm1,(%r15,%rdx,4)
  cmp    %eax,%edi
  jle    L62
  movss  0x1c(%rbx,%r8,4),%xmm0
  lea    0x18(%rbx,%rsi,1),%rdx
  subss  0x14(%rbx,%rsi,1),%xmm0
  mov    %ebp,%esi
  movss  (%rdx),%xmm1
  sub    %eax,%esi
  movslq %esi,%rax
  addss  %xmm0,%xmm1
  movss  %xmm1,0xc(%r15,%r11,1)
  movss  (%rdx),%xmm1
  subss  %xmm0,%xmm1
  movss  %xmm1,(%r15,%rax,4)
L62:
  mov    0x8(%rsp),%edx
  xor    %eax,%eax
  mov    %ebp,%esi
  mov    %r15,%rdi
  call   <rsfft@plt>
  pxor   %xmm0,%xmm0
  lea    -0x4(%r15,%r12,4),%rax
  movsd  D7(%rip),%xmm1
  cvtsi2sd %ebp,%xmm0
  mov    %rax,0x78(%rsp)
  mov    0x10(%rsp),%r14d
  mov    $0x1,%r12d
  mov    %rbx,0x68(%rsp)
  mov    %rax,%rbx
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x8(%rsp)
  nopw   0x0(%rax,%rax,1)
L144:
  pxor   %xmm0,%xmm0
  sub    $0x4,%rbx
  cvtsi2sd %r12d,%xmm0
  mulsd  0x8(%rsp),%xmm0
  add    $0x1,%r12d
  call   <sin@plt>
  pxor   %xmm1,%xmm1
  movss  0x4(%rbx),%xmm0
  add    %eax,%eax
  cvtsi2ss %eax,%xmm1
  divss  %xmm1,%xmm0
  movss  %xmm0,0x4(%rbx)
  cmp    %r12d,%r14d
  jg     L144
  movss  (%r15),%xmm0
  movss  0x70(%rsp),%xmm6
  mov    0x68(%rsp),%rbx
  mov    0x18(%rsp),%rdi
  addss  %xmm6,%xmm0
  mov    0x28(%rsp),%rax
  mov    0x38(%rsp),%r10
  mov    0x58(%rsp),%r9
  mov    0x50(%rsp),%rcx
  lea    0x14(%rbx),%r11
  sub    $0x4,%r10
  movss  %xmm0,(%rbx)
  movss  (%r15),%xmm0
  add    %r10,%r9
  cmp    $0x3,%ebp
  subss  %xmm6,%xmm0
  movss  %xmm0,(%rdi)
  movss  (%rax),%xmm0
  mov    0x30(%rsp),%rax
  movss  %xmm0,(%rax)
  mov    0x20(%rsp),%rax
  lea    -0x8(%rax),%rdx
  mov    $0x8,%eax
  cmovg  0x60(%rsp),%rax
  cmp    %rax,%r9
  setge  %sil
  cmp    %rcx,%rdi
  setbe  %r8b
  or     %esi,%r8d
  cmp    $0x5,%ebp
  setg   %sil
  and    %esi,%r8d
  lea    0x14(%r15),%rsi
  cmp    %rsi,%rcx
  setae  %sil
  cmp    %r11,%r13
  setae  %r11b
  add    %rbx,%r9
  or     %r11d,%esi
  and    %r8d,%esi
  cmp    %r9,0x40(%rsp)
  setbe  %r8b
  cmp    %r13,%rdi
  setbe  %r9b
  add    %rbx,%rax
  or     %r9d,%r8d
  and    %esi,%r8d
  cmp    %rax,0x48(%rsp)
  setae  %al
  or     0x17(%rsp),%al
  test   %al,%r8b
  je     L186
  mov    %rbx,%rax
  sub    %rdx,%rax
  lea    0x8(%rax,%r10,1),%rax
  cmp    $0x8,%rax
  jbe    L186
  cmp    $0x3,%ebp
  mov    $0x1,%r9d
  cmovg  0x74(%rsp),%r9d
  cmp    $0x9,%ebp
  jle    L104
  mov    %r9d,%eax
  mov    %rbx,%rsi
  mov    0x20(%rsp),%r12
  shr    $0x2,%eax
  sub    %r15,%rsi
  sub    $0x1,%eax
  sub    $0x10,%r12
  shl    $0x4,%rax
  lea    0x14(%r15,%rax,1),%r8
  mov    %rsi,%rax
  sub    $0x10,%rax
  nop
L156:
  movups (%r12),%xmm0
  movups 0x0(%r13),%xmm7
  shufps $0x1b,%xmm0,%xmm0
  addps  %xmm7,%xmm0
  movups %xmm0,(%rsi,%r13,1)
  movups (%r12),%xmm1
  movups 0x0(%r13),%xmm0
  add    $0x10,%r13
  shufps $0x1b,%xmm1,%xmm1
  subps  %xmm1,%xmm0
  shufps $0x1b,%xmm0,%xmm0
  movups %xmm0,0x10(%rax,%r12,1)
  sub    $0x10,%r12
  cmp    %r8,%r13
  jne    L156
  mov    %r9d,%eax
  and    $0xfffffffc,%eax
  lea    0x1(%rax),%esi
  cmp    %eax,%r9d
  je     L115
L78:
  mov    %r9d,%ecx
  sub    %eax,%ecx
  cmp    $0x1,%ecx
  je     L88
  lea    0x1(%rax),%r9
  neg    %rax
  mov    0x18(%rsp),%rdi
  shl    $0x2,%rax
  lea    (%r15,%r9,4),%r8
  add    %rax,%rdx
  movq   (%r8),%xmm0
  movq   (%rdx),%xmm1
  shufps $0xe1,%xmm1,%xmm1
  addps  %xmm1,%xmm0
  movlps %xmm0,(%rbx,%r9,4)
  movq   (%rdx),%xmm1
  movq   (%r8),%xmm0
  shufps $0xe1,%xmm1,%xmm1
  subps  %xmm1,%xmm0
  shufps $0xe1,%xmm0,%xmm0
  movlps %xmm0,-0x8(%rax,%rdi,1)
  mov    %ecx,%eax
  and    $0xfffffffe,%eax
  add    %eax,%esi
  cmp    %eax,%ecx
  je     L115
L88:
  sub    %esi,%ebp
  movslq %esi,%rcx
  movslq %ebp,%rbp
  lea    (%r15,%rcx,4),%rdx
  lea    (%r15,%rbp,4),%rax
  movss  (%rdx),%xmm0
  addss  (%rax),%xmm0
  movss  %xmm0,(%rbx,%rcx,4)
  movss  (%rdx),%xmm0
  subss  (%rax),%xmm0
  movss  %xmm0,(%rbx,%rbp,4)
L115:
  add    $0x88,%rsp
  mov    %r15,%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1080 <free@plt>
  nopl   (%rax)
L2:
  lea    (%r15,%r12,2),%r8
  mov    0x10(%rsp),%esi
  mov    %r13,%rdx
  mov    $0x1,%eax
  add    %r8,%r8
  nopl   0x0(%rax,%rax,1)
L197:
  movss  0x4(%rbx,%rax,8),%xmm0
  subss  -0x4(%rbx,%rax,8),%xmm0
  mov    %r8,%rcx
  movss  (%rbx,%rax,8),%xmm1
  sub    %rdx,%rcx
  add    $0x4,%rdx
  addss  %xmm0,%xmm1
  movss  %xmm1,-0x4(%rdx)
  movss  (%rbx,%rax,8),%xmm1
  add    $0x1,%rax
  subss  %xmm0,%xmm1
  movss  %xmm1,(%rcx)
  cmp    %eax,%esi
  jg     L197
  jmp    L62
  cs nopw 0x0(%rax,%rax,1)
L186:
  mov    0x78(%rsp),%rdx
  mov    0x10(%rsp),%ecx
  mov    $0x1,%eax
  sub    %r15,%rbx
  nopl   0x0(%rax)
L224:
  movss  0x0(%r13),%xmm0
  addss  (%rdx),%xmm0
  add    $0x1,%eax
  movss  %xmm0,(%rbx,%r13,1)
  movss  0x0(%r13),%xmm0
  subss  (%rdx),%xmm0
  add    $0x4,%r13
  movss  %xmm0,(%rbx,%rdx,1)
  sub    $0x4,%rdx
  cmp    %eax,%ecx
  jg     L224
  jmp    L115
  nopl   0x0(%rax,%rax,1)
L20:
  mov    0x8(%rsp),%edx
  xor    %eax,%eax
  mov    %ebp,%esi
  mov    %r15,%rdi
  call   <rsfft@plt>
  movss  (%r15),%xmm0
  movss  0x70(%rsp),%xmm7
  mov    0x18(%rsp),%rax
  addss  %xmm7,%xmm0
  movss  %xmm0,(%rbx)
  movss  (%r15),%xmm0
  subss  %xmm7,%xmm0
  movss  %xmm0,(%rax)
  mov    0x28(%rsp),%rax
  movss  (%rax),%xmm0
  mov    0x30(%rsp),%rax
  movss  %xmm0,(%rax)
  jmp    L115
  nopl   0x0(%rax)
L179:
  pxor   %xmm7,%xmm7
  movss  %xmm7,0x70(%rsp)
  jmp    L45
L170:
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  jmp    L209
L104:
  xor    %eax,%eax
  mov    $0x1,%esi
  jmp    L78
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D7
type: f64

tool: D7: 3.141592653589793

assistant: ```c
void resfft(float *x, int n, int m) {
  int n2, n4, i, j, k, nk;
  float b0, yt, *y;
  double e;
  void rsfft();
  n2 = n;
  n4 = n2 / 2;
  for (b0 = 0, i = 1; i < n2; i += 2)
    b0 += x[i];
  b0 *= 2;
  y = (float *)malloc(n2 * sizeof(float));
  y[0] = x[0];
  y[n4] = x[n2];
  for (i = 1; i < n4; i++) {
    j = 2 * i;
    yt = x[j + 1] - x[j - 1];
    y[i] = x[j] + yt;
    y[n2 - i] = x[j] - yt;
  }
  rsfft(y, n2, m);
  e = 3.141592653589793 / n;
  for (k = 1; k < n4; k++)
    y[n2 - k] /= 2 * sin(e * k);
  x[0] = y[0] + b0;
  x[n2] = y[0] - b0;
  x[n4] = y[n4];
  for (k = 1; k < n4; k++) {
    nk = n2 - k;
    x[k] = y[k] + y[nk];
    x[nk] = y[k] - y[nk];
  }
  free(y);
}
```