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

```asm
<rdft>:
  endbr64
  push   %r15
  push   %r14
  mov    %esi,%r14d
  push   %r13
  mov    %r8,%r13
  push   %r12
  mov    %edi,%r12d
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x18,%rsp
  mov    (%rcx),%r15d
  lea    0x0(,%r15,4),%eax
  cmp    %edi,%eax
  jl     L49
L95:
  mov    0x4(%rbx),%r8d
  lea    0x0(,%r8,4),%eax
  cmp    %r12d,%eax
  jl     L46
L92:
  test   %r14d,%r14d
  js     L64
  cmp    $0x4,%r12d
  jg     L38
  je     L88
L105:
  movss  0x0(%rbp),%xmm0
  movss  0x4(%rbp),%xmm1
  movaps %xmm0,%xmm2
  subss  %xmm1,%xmm0
  addss  %xmm1,%xmm2
  movss  %xmm0,0x4(%rbp)
  movss  %xmm2,0x0(%rbp)
L32:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L64:
  movss  0x0(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  0x4(%rbp),%xmm1
  mulss  D2(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm1,0x4(%rbp)
  movss  %xmm0,0x0(%rbp)
  cmp    $0x4,%r12d
  jg     L109
  jne    L32
  add    $0x18,%rsp
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    $0x4,%edi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10f0 <cftfsub@plt>
  nopl   (%rax)
L46:
  mov    %r12d,%r8d
  movslq %r15d,%rax
  mov    %rbx,%rsi
  sar    $0x2,%r8d
  lea    0x0(%r13,%rax,4),%rdx
  mov    %r8d,%edi
  mov    %r8d,0xc(%rsp)
  call   <makect@plt>
  mov    0xc(%rsp),%r8d
  jmp    L92
  nopl   0x0(%rax)
L49:
  mov    %edi,%r15d
  mov    %r8,%rdx
  mov    %rcx,%rsi
  sar    $0x2,%r15d
  mov    %r15d,%edi
  call   <makewt@plt>
  jmp    L95
  nopw   0x0(%rax,%rax,1)
L38:
  lea    0x8(%rbx),%rsi
  mov    %rbp,%rdx
  mov    %r12d,%edi
  mov    %r8d,0xc(%rsp)
  call   <bitrv2@plt>
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    %r12d,%edi
  call   <cftfsub@plt>
  movslq %r15d,%r15
  mov    0xc(%rsp),%edx
  mov    %rbp,%rsi
  lea    0x0(%r13,%r15,4),%rcx
  mov    %r12d,%edi
  call   <rftfsub@plt>
  jmp    L105
  xchg   %ax,%ax
L109:
  movslq %r15d,%r15
  mov    %r8d,%edx
  mov    %rbp,%rsi
  mov    %r12d,%edi
  lea    0x0(%r13,%r15,4),%rcx
  call   <rftbsub@plt>
  lea    0x8(%rbx),%rsi
  mov    %rbp,%rdx
  mov    %r12d,%edi
  call   <bitrv2@plt>
  add    $0x18,%rsp
  mov    %r13,%rdx
  mov    %rbp,%rsi
  pop    %rbx
  mov    %r12d,%edi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10d0 <cftbsub@plt>
  nopl   0x0(%rax)
L88:
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    $0x4,%edi
  call   <cftfsub@plt>
  jmp    L105
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D2
type_infered: f32

tool: D2: 0.5

assistant: ```c
void rdft(int n, int isgn, float *a, int *ip, float *w) {
  void makewt(int nw, int *ip, float *w);
  void makect(int nc, int *ip, float *c);
  void bitrv2(int n, int *ip, float *a);
  void cftfsub(int n, float *a, float *w);
  void cftbsub(int n, float *a, float *w);
  void rftfsub(int n, float *a, int nc, float *c);
  void rftbsub(int n, float *a, int nc, float *c);
  int nw, nc;
  float xi;
  nw = ip[0];
  if (n > (nw << 2)) {
    nw = n >> 2;
    makewt(nw, ip, w);
  }
  nc = ip[1];
  if (n > (nc << 2)) {
    nc = n >> 2;
    makect(nc, ip, w + nw);
  }
  if (isgn >= 0) {
    if (n > 4) {
      bitrv2(n, ip + 2, a);
      cftfsub(n, a, w);
      rftfsub(n, a, nc, w + nw);
    } else if (n == 4) {
      cftfsub(n, a, w);
    }
    xi = a[0] - a[1];
    a[0] += a[1];
    a[1] = xi;
  } else {
    a[1] = 0.5 * (a[0] - a[1]);
    a[0] -= a[1];
    if (n > 4) {
      rftbsub(n, a, nc, w + nw);
      bitrv2(n, ip + 2, a);
      cftbsub(n, a, w);
    } else if (n == 4) {
      cftfsub(n, a, w);
    }
  }
}
```