user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<frstage>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %esi,-0x7c(%rbp)
  mov    %rdx,-0x88(%rbp)
  movss  D19(%rip),%xmm0
  movss  %xmm0,-0x5c(%rbp)
  mov    -0x7c(%rbp),%eax
  sub    $0x1,%eax
  mov    $0x1,%edx
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    %rdx,%rax
  mov    %eax,-0x58(%rbp)
  mov    -0x58(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x54(%rbp)
  mov    -0x78(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x58(%rbp),%eax
  shr    %eax
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x7c(%rbp),%eax
  sub    $0x3,%eax
  mov    $0x4,%edx
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x64(%rbp)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x50(%rbp)
  mov    -0x20(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x48(%rbp)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x44(%rbp)
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x40(%rbp)
  mov    -0x18(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x5c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x50(%rbp),%xmm1
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x4c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x50(%rbp),%xmm0
  movss  -0x5c(%rbp),%xmm1
  mulss  -0x4c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x48(%rbp),%xmm0
  addss  %xmm0,%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x44(%rbp),%xmm0
  movss  D6(%rip),%xmm1
  xorps  %xmm1,%xmm0
  subss  -0x44(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  -0x40(%rbp),%xmm0
  addss  -0x38(%rbp),%xmm0
  movss  %xmm0,-0x50(%rbp)
  movss  -0x3c(%rbp),%xmm0
  subss  -0x34(%rbp),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  movss  -0x3c(%rbp),%xmm0
  addss  -0x34(%rbp),%xmm0
  movss  %xmm0,-0x48(%rbp)
  movss  -0x38(%rbp),%xmm0
  subss  -0x40(%rbp),%xmm0
  movss  %xmm0,-0x44(%rbp)
  movss  -0x64(%rbp),%xmm0
  mulss  -0x48(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x50(%rbp),%xmm1
  movss  -0x64(%rbp),%xmm0
  mulss  -0x44(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  -0x64(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x48(%rbp),%xmm2
  movss  -0x4c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x64(%rbp),%xmm0
  mulss  -0x44(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x50(%rbp),%xmm0
  subss  -0x40(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  -0x5c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x4c(%rbp),%xmm1
  movss  -0x3c(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x34(%rbp)
  mov    -0x20(%rbp),%rax
  movss  -0x30(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  -0x2c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  -0x28(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  -0x24(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movss  -0x40(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movss  -0x3c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  -0x38(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  -0x34(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x88(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x7c(%rbp),%eax
  sub    $0x2,%eax
  mov    $0x4,%edx
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    %rdx,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x64(%rbp)
  mov    -0x8(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x60(%rbp)
  mov    -0x78(%rbp),%rax
  add    $0x8,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x7c(%rbp),%eax
  sub    $0x2,%eax
  mov    $0x1,%edx
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    %rdx,%rax
  sub    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x7c(%rbp),%eax
  sub    $0x3,%eax
  mov    $0x1,%edx
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    %rdx,%rax
  sub    $0x1,%eax
  mov    %eax,-0x68(%rbp)
  jmp    L0
L18:
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x50(%rbp)
  mov    -0x20(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x34(%rbp)
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x40(%rbp)
  mov    -0x18(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x48(%rbp)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x44(%rbp)
  movss  -0x50(%rbp),%xmm0
  addss  -0x38(%rbp),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x4c(%rbp),%xmm0
  subss  -0x34(%rbp),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x4c(%rbp),%xmm0
  addss  -0x34(%rbp),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x38(%rbp),%xmm0
  subss  -0x50(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  -0x64(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x30(%rbp),%xmm1
  movss  -0x60(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x50(%rbp)
  movss  -0x60(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x28(%rbp),%xmm2
  movss  -0x2c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x64(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x4c(%rbp)
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x30(%rbp),%xmm0
  subss  -0x50(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  -0x5c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  movss  -0x4c(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x40(%rbp),%xmm0
  addss  -0x48(%rbp),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x3c(%rbp),%xmm0
  subss  -0x44(%rbp),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x3c(%rbp),%xmm0
  addss  -0x44(%rbp),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x48(%rbp),%xmm0
  subss  -0x40(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  -0x60(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x30(%rbp),%xmm1
  movss  -0x64(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  -0x64(%rbp),%xmm0
  movaps %xmm0,%xmm2
  mulss  -0x28(%rbp),%xmm2
  movss  -0x2c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x60(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x30(%rbp),%xmm0
  subss  -0x40(%rbp),%xmm0
  movss  %xmm0,-0x48(%rbp)
  movss  -0x5c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  movss  -0x3c(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x44(%rbp)
  mov    -0x20(%rbp),%rax
  movss  -0x50(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  -0x4c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  -0x38(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  -0x34(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addq   $0x4,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x64(%rbp)
  subq   $0x4,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x60(%rbp)
  mov    -0x18(%rbp),%rax
  movss  -0x40(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movss  -0x3c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  -0x48(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x54(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movss  -0x44(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addq   $0x8,-0x20(%rbp)
  subq   $0x8,-0x18(%rbp)
  subl   $0x1,-0x68(%rbp)
L0:
  cmpl   $0x0,-0x68(%rbp)
  jne    L18
  nop
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D19
data_type: f32
name: extract_symbolic_data
arguments: label: D6
data_type: byte[4]

tool: D19: 2

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

assistant: ```c
void frstage(float *ioptr, int M, float *Utbl) {
  unsigned int pos;
  unsigned int posi;
  unsigned int diffUcnt;
  float *p0r, *p1r;
  float *u0r, *u0i;
  float w0r, w0i;
  float f0r, f0i, f1r, f1i, f4r, f4i, f5r, f5i;
  float t0r, t0i, t1r, t1i;
  const float Two = 2.0;
  pos = ((unsigned long)1 << (M - 1));
  posi = pos + 1;
  p0r = ioptr;
  p1r = ioptr + pos / 2;
  u0r = Utbl + ((unsigned long)1 << (M - 3));
  w0r = *u0r, f0r = *(p0r);
  f0i = *(p0r + 1);
  f4r = *(p0r + pos);
  f4i = *(p0r + posi);
  f1r = *(p1r);
  f1i = *(p1r + 1);
  f5r = *(p1r + pos);
  f5i = *(p1r + posi);
  t0r = Two * f0r + Two * f0i;
  t0i = Two * f0r - Two * f0i;
  t1r = f4r + f4r;
  t1i = -f4i - f4i;
  f0r = f1r + f5r;
  f0i = f1i - f5i;
  f4r = f1i + f5i;
  f4i = f5r - f1r;
  f1r = f0r + w0r * f4r + w0r * f4i;
  f1i = f0i - w0r * f4r + w0r * f4i;
  f5r = Two * f0r - f1r;
  f5i = f1i - Two * f0i;
  *(p0r) = t0r;
  *(p0r + 1) = t0i;
  *(p0r + pos) = t1r;
  *(p0r + posi) = t1i;
  *(p1r) = f1r;
  *(p1r + 1) = f1i;
  *(p1r + pos) = f5r;
  *(p1r + posi) = f5i;
  u0r = Utbl + 1;
  u0i = Utbl + (((unsigned long)1 << (M - 2)) - 1);
  w0r = *u0r, w0i = *u0i;
  p0r = (ioptr + 2);
  p1r = (ioptr + (((unsigned long)1 << (M - 2)) - 1) * 2);
  for (diffUcnt = ((unsigned long)1 << (M - 3)) - 1; diffUcnt > 0; diffUcnt--) {
    f0r = *(p0r);
    f0i = *(p0r + 1);
    f5r = *(p1r + pos);
    f5i = *(p1r + posi);
    f1r = *(p1r);
    f1i = *(p1r + 1);
    f4r = *(p0r + pos);
    f4i = *(p0r + posi);
    t0r = f0r + f5r;
    t0i = f0i - f5i;
    t1r = f0i + f5i;
    t1i = f5r - f0r;
    f0r = t0r + w0r * t1r + w0i * t1i;
    f0i = t0i - w0i * t1r + w0r * t1i;
    f5r = Two * t0r - f0r;
    f5i = f0i - Two * t0i;
    t0r = f1r + f4r;
    t0i = f1i - f4i;
    t1r = f1i + f4i;
    t1i = f4r - f1r;
    f1r = t0r + w0i * t1r + w0r * t1i;
    f1i = t0i - w0r * t1r + w0i * t1i;
    f4r = Two * t0r - f1r;
    f4i = f1i - Two * t0i;
    *(p0r) = f0r;
    *(p0r + 1) = f0i;
    *(p1r + pos) = f5r;
    *(p1r + posi) = f5i;
    w0r = *++u0r;
    w0i = *--u0i;
    *(p1r) = f1r;
    *(p1r + 1) = f1i;
    *(p0r + pos) = f4r;
    *(p0r + posi) = f4i;
    p0r += 2;
    p1r -= 2;
  };
}
```