user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<radf3>:
  endbr64
  test   %esi,%esi
  jle    L42
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,%ebx
  mov    %esi,%r10d
  mov    %rdx,%rbp
  mov    %rcx,%r12
  movslq %edi,%r11
  lea    0x0(,%r11,4),%r15
  mov    %rdx,%rax
  lea    (%rdi,%rdi,2),%r13d
  movslq %r13d,%r13
  shl    $0x2,%r13
  lea    (%rcx,%r11,8),%rdx
  mov    %esi,%ecx
  imul   %edi,%ecx
  movslq %ecx,%rdi
  add    %ecx,%ecx
  movslq %ecx,%rsi
  mov    %r11,%r14
  neg    %r14
  shl    $0x3,%r14
  mov    $0x0,%ecx
  movss  D14(%rip),%xmm3
  movss  D6(%rip),%xmm2
L78:
  movss  (%rax,%rdi,4),%xmm0
  addss  (%rax,%rsi,4),%xmm0
  movaps %xmm0,%xmm1
  addss  (%rax),%xmm1
  movss  %xmm1,(%rdx,%r14,1)
  movss  (%rax,%rsi,4),%xmm1
  subss  (%rax,%rdi,4),%xmm1
  mulss  %xmm3,%xmm1
  movss  %xmm1,(%rdx)
  mulss  %xmm2,%xmm0
  addss  (%rax),%xmm0
  movss  %xmm0,-0x4(%rdx)
  mov    %ecx,-0x14(%rsp)
  add    $0x1,%ecx
  add    %r15,%rax
  add    %r13,%rdx
  cmp    %ecx,%r10d
  jne    L78
  cmp    $0x1,%ebx
  je     L46
  imul   %ebx,%ecx
  mov    %ecx,%r13d
  mov    %ecx,-0x10(%rsp)
  lea    (%rbx,%rbx,1),%eax
  mov    %eax,-0xc(%rsp)
  mov    $0x0,%r14d
  mov    $0x0,%r15d
  lea    -0x3(%r11),%rax
  mov    %rax,-0x8(%rsp)
  movss  D6(%rip),%xmm5
  movss  D14(%rip),%xmm4
  jmp    L63
L32:
  lea    (%r14,%r14,2),%eax
  movslq %r14d,%rdx
  lea    0x0(%rbp,%rdx,4),%rdx
  lea    (%rbx,%rax,1),%ecx
  movslq %ecx,%rcx
  add    -0x8(%rsp),%rcx
  lea    (%r12,%rcx,4),%rcx
  movslq %r13d,%rsi
  lea    0x0(%rbp,%rsi,4),%r11
  mov    -0x10(%rsp),%edi
  lea    0x0(%r13,%rdi,1),%esi
  movslq %esi,%rsi
  lea    0x0(%rbp,%rsi,4),%r10
  movslq %eax,%rsi
  lea    (%r12,%rsi,4),%rdi
  add    -0xc(%rsp),%eax
  cltq
  lea    (%r12,%rax,4),%rsi
  mov    $0x2,%eax
L8:
  movss  -0x8(%r8,%rax,4),%xmm3
  movss  -0x4(%r11,%rax,4),%xmm0
  movss  -0x4(%r8,%rax,4),%xmm1
  movss  (%r11,%rax,4),%xmm2
  movaps %xmm3,%xmm7
  mulss  %xmm0,%xmm7
  movaps %xmm1,%xmm6
  mulss  %xmm2,%xmm6
  addss  %xmm6,%xmm7
  mulss  %xmm2,%xmm3
  mulss  %xmm1,%xmm0
  subss  %xmm0,%xmm3
  movss  -0x8(%r9,%rax,4),%xmm6
  movss  -0x4(%r10,%rax,4),%xmm1
  movss  -0x4(%r9,%rax,4),%xmm2
  movss  (%r10,%rax,4),%xmm8
  movaps %xmm6,%xmm0
  mulss  %xmm1,%xmm0
  movaps %xmm2,%xmm9
  mulss  %xmm8,%xmm9
  addss  %xmm9,%xmm0
  mulss  %xmm8,%xmm6
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm6
  movaps %xmm7,%xmm1
  addss  %xmm0,%xmm1
  movaps %xmm3,%xmm2
  addss  %xmm6,%xmm2
  movaps %xmm1,%xmm8
  addss  0x4(%rdx),%xmm8
  movss  %xmm8,-0x4(%rdi,%rax,4)
  movaps %xmm2,%xmm8
  addss  0x8(%rdx),%xmm8
  movss  %xmm8,(%rdi,%rax,4)
  mulss  %xmm5,%xmm1
  addss  0x4(%rdx),%xmm1
  mulss  %xmm5,%xmm2
  addss  0x8(%rdx),%xmm2
  subss  %xmm6,%xmm3
  mulss  %xmm4,%xmm3
  subss  %xmm7,%xmm0
  mulss  %xmm4,%xmm0
  movaps %xmm1,%xmm6
  addss  %xmm3,%xmm6
  movss  %xmm6,-0x4(%rsi,%rax,4)
  subss  %xmm3,%xmm1
  movss  %xmm1,(%rcx)
  movaps %xmm2,%xmm1
  addss  %xmm0,%xmm1
  movss  %xmm1,(%rsi,%rax,4)
  subss  %xmm2,%xmm0
  movss  %xmm0,0x4(%rcx)
  add    $0x2,%rax
  add    $0x8,%rdx
  sub    $0x8,%rcx
  cmp    %eax,%ebx
  jg     L8
L2:
  lea    0x1(%r15),%eax
  add    %ebx,%r13d
  add    %ebx,%r14d
  cmp    %r15d,-0x14(%rsp)
  je     L46
  mov    %eax,%r15d
L63:
  cmp    $0x2,%ebx
  jg     L32
  jmp    L2
L46:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L42:
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D14
type_infered: f32
name: extract_symbolic_data
arguments: label: D6
type_infered: byte[4]

tool: D14: 0.866025403784439

tool: {"D6": [0x00,0x00,0x00,0xbf]}

assistant: ```c
void radf3(int ido, int l1, const float cc[], float ch[], const float wa1[], const float wa2[]) {
  static const float taur = -0.5;
  static const float taui = 0.866025403784439;
  int i, k, ic;
  float ci2, di2, di3, cr2, dr2, dr3, ti2, ti3, tr2, tr3;
  for (k = 0; k < l1; k++) {
    cr2 = cc[(k + l1) * ido] + cc[(k + 2 * l1) * ido];
    ch[3 * k * ido] = cc[k * ido] + cr2;
    ch[(3 * k + 2) * ido] = taui * (cc[(k + l1 * 2) * ido] - cc[(k + l1) * ido]);
    ch[ido - 1 + (3 * k + 1) * ido] = cc[k * ido] + taur * cr2;
  }
  if (ido == 1)
    return;
  for (k = 0; k < l1; k++) {
    for (i = 2; i < ido; i += 2) {
      ic = ido - i;
      dr2 = wa1[i - 2] * cc[i - 1 + (k + l1) * ido] + wa1[i - 1] * cc[i + (k + l1) * ido];
      di2 = wa1[i - 2] * cc[i + (k + l1) * ido] - wa1[i - 1] * cc[i - 1 + (k + l1) * ido];
      dr3 = wa2[i - 2] * cc[i - 1 + (k + l1 * 2) * ido] + wa2[i - 1] * cc[i + (k + l1 * 2) * ido];
      di3 = wa2[i - 2] * cc[i + (k + l1 * 2) * ido] - wa2[i - 1] * cc[i - 1 + (k + l1 * 2) * ido];
      cr2 = dr2 + dr3;
      ci2 = di2 + di3;
      ch[i - 1 + 3 * k * ido] = cc[i - 1 + k * ido] + cr2;
      ch[i + 3 * k * ido] = cc[i + k * ido] + ci2;
      tr2 = cc[i - 1 + k * ido] + taur * cr2;
      ti2 = cc[i + k * ido] + taur * ci2;
      tr3 = taui * (di2 - di3);
      ti3 = taui * (dr3 - dr2);
      ch[i - 1 + (3 * k + 2) * ido] = tr2 + tr3;
      ch[ic - 1 + (3 * k + 1) * ido] = tr2 - tr3;
      ch[i + (3 * k + 2) * ido] = ti2 + ti3;
      ch[ic + (3 * k + 1) * ido] = ti3 - ti2;
    }
  }
}
```