user: What would the C source look like for the assembly code provided here:

```asm
<makewt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    -0x40(%rbp),%rax
  mov    -0x34(%rbp),%edx
  mov    %edx,(%rax)
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  movl   $0x1,(%rax)
  cmpl   $0x2,-0x34(%rbp)
  jle    L2
  mov    -0x34(%rbp),%eax
  sar    %eax
  mov    %eax,-0x20(%rbp)
  mov    D15(%rip),%rax
  movq   %rax,%xmm0
  call   <atanf@plt>
  movd   %xmm0,%eax
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x20(%rbp),%xmm1
  movd   %eax,%xmm0
  divss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x48(%rbp),%rax
  movss  D14(%rip),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  pxor   %xmm0,%xmm0
  cvtsi2ssl -0x20(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  movd   %xmm0,%eax
  mov    -0x20(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,4),%rcx
  mov    -0x48(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  movd   %eax,%xmm0
  call   <cosf@plt>
  movd   %xmm0,%eax
  mov    %eax,(%rbx)
  mov    -0x20(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rcx
  mov    -0x48(%rbp),%rax
  add    %rcx,%rax
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  cmpl   $0x2,-0x20(%rbp)
  jle    L2
  movl   $0x2,-0x24(%rbp)
  jmp    L23
L29:
  pxor   %xmm0,%xmm0
  cvtsi2ssl -0x24(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <cosf@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2ssl -0x24(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sinf@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x24(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  -0x18(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x24(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  -0x14(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x34(%rbp),%eax
  sub    -0x24(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  -0x14(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x34(%rbp),%eax
  sub    -0x24(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  -0x18(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x2,-0x24(%rbp)
L23:
  mov    -0x24(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  jl     L29
  mov    -0x40(%rbp),%rax
  lea    0x8(%rax),%rcx
  mov    -0x48(%rbp),%rdx
  mov    -0x34(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <bitrv2@plt>
L2:
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D15
data_type: f64
name: extract_symbolic_data
arguments: label: D14
data_type: byte[4]

tool: D15: 1

tool: {"D14": [0x00,0x00,0x80,0x3f]}

assistant: ```c
void makewt(int nw, int *ip, float *w) {
  int j, nwh;
  float delta, x, y;
  ip[0] = nw;
  ip[1] = 1;
  if (nw > 2) {
    nwh = nw >> 1;
    delta = atanf(1.0) / (float)nwh;
    w[0] = 1;
    w[1] = 0;
    w[nwh] = cosf(delta * (float)nwh);
    w[nwh + 1] = w[nwh];
    if (nwh > 2) {
      for (j = 2; j < nwh; j += 2) {
        x = cosf(delta * (float)j);
        y = sinf(delta * (float)j);
        w[j] = x;
        w[j + 1] = y;
        w[nw - j] = y;
        w[nw - j + 1] = x;
      }
      bitrv2(nw, ip + 2, w);
    }
  }
}
```