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

```asm
<radb4>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %esi,%ebp
  push   %rbx
  mov    %edi,%ebx
  mov    0x38(%rsp),%rsi
  mov    %rdx,-0x30(%rsp)
  mov    %rcx,-0x28(%rsp)
  test   %ebp,%ebp
  jle    L85
  lea    -0x1(%rbx),%eax
  mov    -0x30(%rsp),%rcx
  lea    0x0(,%rdi,4),%r10d
  movslq %edi,%rdi
  cltq
  lea    0x0(,%rdi,8),%r14
  movslq %r10d,%r10
  add    %rdi,%rax
  neg    %rdi
  shl    $0x3,%r10
  lea    (%rcx,%rax,8),%rdx
  mov    %ebp,%ecx
  mov    %rdi,%r11
  mov    -0x28(%rsp),%rax
  imul   %ebx,%ecx
  shl    $0x4,%r11
  mov    %r11,%r15
  neg    %r15
  lea    (%rcx,%rcx,1),%edi
  movslq %ecx,%r13
  movslq %edi,%r12
  add    %ecx,%edi
  xor    %ecx,%ecx
  movslq %edi,%rdi
  xchg   %ax,%ax
L81:
  movsd  (%rdx,%r15,1),%xmm1
  movsd  0x8(%rdx,%r11,1),%xmm0
  add    $0x1,%ecx
  movsd  (%rdx),%xmm2
  movapd %xmm0,%xmm3
  addsd  %xmm1,%xmm0
  addsd  %xmm2,%xmm2
  subsd  %xmm1,%xmm3
  movsd  0x8(%rdx),%xmm1
  add    %r10,%rdx
  movapd %xmm0,%xmm4
  addsd  %xmm1,%xmm1
  addsd  %xmm2,%xmm4
  subsd  %xmm2,%xmm0
  movsd  %xmm4,(%rax)
  movapd %xmm3,%xmm4
  subsd  %xmm1,%xmm4
  addsd  %xmm3,%xmm1
  movsd  %xmm4,(%rax,%r13,8)
  movsd  %xmm0,(%rax,%r12,8)
  movsd  %xmm1,(%rax,%rdi,8)
  add    %r14,%rax
  cmp    %ecx,%ebp
  jne    L81
L85:
  cmp    $0x1,%ebx
  jle    L103
  cmp    $0x2,%ebx
  je     L14
  mov    %ebx,%eax
  and    $0x1,%eax
  mov    %eax,-0xc(%rsp)
  test   %ebp,%ebp
  jle    L103
  lea    0x0(%rbp,%rbp,1),%edx
  mov    %ebp,%r11d
  mov    -0x30(%rsp),%r15
  mov    %ebp,-0x20(%rsp)
  imul   %ebx,%r11d
  lea    (%rdx,%rbp,1),%eax
  mov    %edx,-0x10(%rsp)
  mov    %eax,-0x1c(%rsp)
  lea    0x0(,%rbx,4),%eax
  mov    %r15,%r14
  cltq
  movl   $0x0,-0x34(%rsp)
  lea    0x0(,%rax,8),%rdi
  lea    (%rbx,%rbx,2),%eax
  mov    %rdi,-0x8(%rsp)
  movslq %ebx,%rdi
  cltq
  mov    -0x8(%rsp),%rbp
  mov    %rdi,%rcx
  add    %rdi,%rax
  mov    %rdi,-0x18(%rsp)
  shl    $0x4,%rcx
  lea    (%r15,%rax,8),%r13
  movslq %r11d,%rax
  add    %r15,%rcx
  lea    0x0(,%rdi,8),%r15
  mov    -0x28(%rsp),%rdi
  lea    (%rdi,%rax,8),%r11
  mov    %edx,%eax
  mov    %rdi,%r12
  imul   %ebx,%eax
  cltq
  lea    (%rdi,%rax,8),%r10
  mov    -0x1c(%rsp),%eax
  imul   %ebx,%eax
  cltq
  lea    (%rdi,%rax,8),%rdi
  nopl   0x0(%rax)
L100:
  xor    %edx,%edx
  mov    $0x2,%eax
  nopw   0x0(%rax,%rax,1)
L79:
  movsd  (%r14,%rax,8),%xmm1
  movsd  -0x10(%r13,%rdx,1),%xmm2
  movsd  -0x10(%rcx,%rdx,1),%xmm3
  movsd  -0x8(%r14,%rax,8),%xmm4
  movapd %xmm1,%xmm0
  subsd  %xmm2,%xmm1
  movsd  -0x18(%rcx,%rdx,1),%xmm5
  addsd  %xmm2,%xmm0
  movsd  (%rcx,%rax,8),%xmm2
  movapd %xmm4,%xmm6
  movapd %xmm2,%xmm8
  addsd  %xmm3,%xmm2
  subsd  %xmm3,%xmm8
  movsd  -0x18(%r13,%rdx,1),%xmm3
  sub    $0x10,%rdx
  subsd  %xmm3,%xmm6
  addsd  %xmm3,%xmm4
  movsd  -0x8(%rcx,%rax,8),%xmm3
  movapd %xmm3,%xmm7
  addsd  %xmm5,%xmm3
  subsd  %xmm5,%xmm7
  movapd %xmm4,%xmm5
  addsd  %xmm3,%xmm5
  subsd  %xmm3,%xmm4
  movapd %xmm1,%xmm3
  addsd  %xmm8,%xmm3
  subsd  %xmm8,%xmm1
  movsd  %xmm5,-0x8(%r12,%rax,8)
  movapd %xmm6,%xmm5
  addsd  %xmm2,%xmm6
  subsd  %xmm2,%xmm5
  movapd %xmm0,%xmm2
  movsd  %xmm3,(%r12,%rax,8)
  subsd  %xmm7,%xmm0
  addsd  %xmm7,%xmm2
  movsd  -0x10(%r8,%rax,8),%xmm3
  movsd  -0x8(%r8,%rax,8),%xmm7
  mulsd  %xmm5,%xmm3
  mulsd  %xmm2,%xmm7
  subsd  %xmm7,%xmm3
  movsd  %xmm3,-0x8(%r11,%rax,8)
  mulsd  -0x8(%r8,%rax,8),%xmm5
  mulsd  -0x10(%r8,%rax,8),%xmm2
  addsd  %xmm5,%xmm2
  movsd  %xmm2,(%r11,%rax,8)
  movsd  -0x10(%r9,%rax,8),%xmm2
  movsd  -0x8(%r9,%rax,8),%xmm5
  mulsd  %xmm4,%xmm2
  mulsd  %xmm1,%xmm5
  subsd  %xmm5,%xmm2
  movsd  %xmm2,-0x8(%r10,%rax,8)
  mulsd  -0x10(%r9,%rax,8),%xmm1
  mulsd  -0x8(%r9,%rax,8),%xmm4
  addsd  %xmm4,%xmm1
  movsd  %xmm1,(%r10,%rax,8)
  movsd  -0x10(%rsi,%rax,8),%xmm1
  movsd  -0x8(%rsi,%rax,8),%xmm2
  mulsd  %xmm6,%xmm1
  mulsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movsd  %xmm1,-0x8(%rdi,%rax,8)
  mulsd  -0x10(%rsi,%rax,8),%xmm0
  mulsd  -0x8(%rsi,%rax,8),%xmm6
  addsd  %xmm6,%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  add    $0x2,%rax
  cmp    %eax,%ebx
  jg     L79
  addl   $0x1,-0x34(%rsp)
  add    %rbp,%r14
  mov    -0x34(%rsp),%eax
  add    %rbp,%r13
  add    %rbp,%rcx
  add    %r15,%r12
  add    %r15,%r11
  add    %r15,%r10
  add    %r15,%rdi
  cmp    %eax,-0x20(%rsp)
  jne    L100
  mov    -0xc(%rsp),%eax
  mov    -0x20(%rsp),%ebp
  test   %eax,%eax
  jne    L103
L50:
  mov    -0x10(%rsp),%r9d
  mov    %ebp,%r8d
  mov    -0x18(%rsp),%rdi
  xor    %r10d,%r10d
  imul   %ebx,%r8d
  mov    -0x30(%rsp),%rdx
  lea    0x0(,%rbx,4),%ecx
  mov    -0x28(%rsp),%rax
  imul   %ebx,%r9d
  lea    0x0(,%rdi,8),%rsi
  movslq %ecx,%rcx
  movsd  D5(%rip),%xmm7
  imul   -0x1c(%rsp),%ebx
  shl    $0x3,%rcx
  add    %rsi,%rdx
  shl    $0x4,%rdi
  movsd  D16(%rip),%xmm6
  lea    -0x8(%rax,%rsi,1),%rax
  movslq %r8d,%r8
  movslq %r9d,%r9
  movslq %ebx,%r11
  nopw   0x0(%rax,%rax,1)
L1:
  movsd  -0x8(%rdx),%xmm1
  movsd  -0x8(%rdx,%rdi,1),%xmm5
  add    $0x1,%r10d
  movsd  (%rdx),%xmm4
  movsd  (%rdx,%rdi,1),%xmm0
  add    %rcx,%rdx
  movapd %xmm1,%xmm3
  addsd  %xmm5,%xmm1
  subsd  %xmm5,%xmm3
  movapd %xmm4,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm4,%xmm0
  addsd  %xmm1,%xmm1
  addsd  %xmm0,%xmm0
  movsd  %xmm1,(%rax)
  movapd %xmm3,%xmm1
  subsd  %xmm2,%xmm1
  addsd  %xmm3,%xmm2
  mulsd  %xmm7,%xmm1
  mulsd  %xmm6,%xmm2
  movsd  %xmm1,(%rax,%r8,8)
  movsd  %xmm0,(%rax,%r9,8)
  movsd  %xmm2,(%rax,%r11,8)
  add    %rsi,%rax
  cmp    %r10d,%ebp
  jg     L1
L103:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L14:
  test   %ebp,%ebp
  jle    L103
  movq   $0x2,-0x18(%rsp)
  lea    0x0(%rbp,%rbp,1),%eax
  mov    %eax,-0x10(%rsp)
  add    %ebp,%eax
  mov    %eax,-0x1c(%rsp)
  jmp    L50
```

tool_calls: name: extract_symbolic_data
arguments: label: D5
datatype: f64
name: extract_symbolic_data
arguments: label: D16
datatype: byte[8]

tool: D5: 1.414213562373095

tool: {"D16": [0xcc,0x3b,0x7f,0x66,0x9e,0xa0,0xf6,0xbf]}

assistant: ```c
void radb4(int ido, int l1, const double cc[], double ch[], const double wa1[], const double wa2[], const double wa3[]) {
  static const double sqrt2 = 1.414213562373095;
  int i, k, ic;
  double ci2, ci3, ci4, cr2, cr3, cr4, ti1, ti2, ti3, ti4, tr1, tr2, tr3, tr4;
  for (k = 0; k < l1; k++) {
    tr1 = cc[4 * k * ido] - cc[ido - 1 + (4 * k + 3) * ido];
    tr2 = cc[4 * k * ido] + cc[ido - 1 + (4 * k + 3) * ido];
    tr3 = cc[ido - 1 + (4 * k + 1) * ido] + cc[ido - 1 + (4 * k + 1) * ido];
    tr4 = cc[(4 * k + 2) * ido] + cc[(4 * k + 2) * ido];
    ch[k * ido] = tr2 + tr3;
    ch[(k + l1) * ido] = tr1 - tr4;
    ch[(k + 2 * l1) * ido] = tr2 - tr3;
    ch[(k + 3 * l1) * ido] = tr1 + tr4;
  }
  if (ido < 2)
    return;
  if (ido != 2) {
    for (k = 0; k < l1; ++k) {
      for (i = 2; i < ido; i += 2) {
        ic = ido - i;
        ti1 = cc[i + 4 * k * ido] + cc[ic + (4 * k + 3) * ido];
        ti2 = cc[i + 4 * k * ido] - cc[ic + (4 * k + 3) * ido];
        ti3 = cc[i + (4 * k + 2) * ido] - cc[ic + (4 * k + 1) * ido];
        tr4 = cc[i + (4 * k + 2) * ido] + cc[ic + (4 * k + 1) * ido];
        tr1 = cc[i - 1 + 4 * k * ido] - cc[ic - 1 + (4 * k + 3) * ido];
        tr2 = cc[i - 1 + 4 * k * ido] + cc[ic - 1 + (4 * k + 3) * ido];
        ti4 = cc[i - 1 + (4 * k + 2) * ido] - cc[ic - 1 + (4 * k + 1) * ido];
        tr3 = cc[i - 1 + (4 * k + 2) * ido] + cc[ic - 1 + (4 * k + 1) * ido];
        ch[i - 1 + k * ido] = tr2 + tr3;
        cr3 = tr2 - tr3;
        ch[i + k * ido] = ti2 + ti3;
        ci3 = ti2 - ti3;
        cr2 = tr1 - tr4;
        cr4 = tr1 + tr4;
        ci2 = ti1 + ti4;
        ci4 = ti1 - ti4;
        ch[i - 1 + (k + l1) * ido] = wa1[i - 2] * cr2 - wa1[i - 1] * ci2;
        ch[i + (k + l1) * ido] = wa1[i - 2] * ci2 + wa1[i - 1] * cr2;
        ch[i - 1 + (k + 2 * l1) * ido] = wa2[i - 2] * cr3 - wa2[i - 1] * ci3;
        ch[i + (k + 2 * l1) * ido] = wa2[i - 2] * ci3 + wa2[i - 1] * cr3;
        ch[i - 1 + (k + 3 * l1) * ido] = wa3[i - 2] * cr4 - wa3[i - 1] * ci4;
        ch[i + (k + 3 * l1) * ido] = wa3[i - 2] * ci4 + wa3[i - 1] * cr4;
      }
    }
    if (ido % 2 == 1)
      return;
  }
  for (k = 0; k < l1; k++) {
    ti1 = cc[(4 * k + 1) * ido] + cc[(4 * k + 3) * ido];
    ti2 = cc[(4 * k + 3) * ido] - cc[(4 * k + 1) * ido];
    tr1 = cc[ido - 1 + 4 * k * ido] - cc[ido - 1 + (4 * k + 2) * ido];
    tr2 = cc[ido - 1 + 4 * k * ido] + cc[ido - 1 + (4 * k + 2) * ido];
    ch[ido - 1 + k * ido] = tr2 + tr2;
    ch[ido - 1 + (k + l1) * ido] = sqrt2 * (tr1 - ti1);
    ch[ido - 1 + (k + 2 * l1) * ido] = ti2 + ti2;
    ch[ido - 1 + (k + 3 * l1) * ido] = -sqrt2 * (tr1 + ti1);
  }
}
```