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

```asm
<rotate_model_openmp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %rsi,-0x80(%rbp)
  mov    %edx,-0x84(%rbp)
  mov    %rcx,-0x90(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x84(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,-0x60(%rbp)
  mov    -0x60(%rbp),%eax
  neg    %eax
  mov    %eax,-0x6c(%rbp)
  jmp    L89
L36:
  mov    -0x60(%rbp),%eax
  neg    %eax
  mov    %eax,-0x68(%rbp)
  jmp    L128
L55:
  mov    -0x60(%rbp),%eax
  neg    %eax
  mov    %eax,-0x64(%rbp)
  jmp    L117
L0:
  movl   $0x0,-0x70(%rbp)
  jmp    L106
L1:
  mov    -0x70(%rbp),%eax
  cltq
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp,%rax,8)
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm1
  mov    -0x70(%rbp),%eax
  movslq %eax,%rdx
  mov    %rdx,%rax
  add    %rax,%rax
  add    %rdx,%rax
  shl    $0x3,%rax
  mov    %rax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x6c(%rbp),%xmm0
  mulsd  %xmm0,%xmm2
  mov    -0x70(%rbp),%eax
  movslq %eax,%rdx
  mov    %rdx,%rax
  add    %rax,%rax
  add    %rdx,%rax
  shl    $0x3,%rax
  mov    %rax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  movsd  0x8(%rax),%xmm3
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x68(%rbp),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  mov    -0x70(%rbp),%eax
  movslq %eax,%rdx
  mov    %rdx,%rax
  add    %rax,%rax
  add    %rdx,%rax
  shl    $0x3,%rax
  mov    %rax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  movsd  0x10(%rax),%xmm3
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x64(%rbp),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x70(%rbp),%eax
  cltq
  movsd  %xmm0,-0x20(%rbp,%rax,8)
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x60(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x70(%rbp),%eax
  cltq
  movsd  %xmm0,-0x20(%rbp,%rax,8)
  addl   $0x1,-0x70(%rbp)
L106:
  cmpl   $0x2,-0x70(%rbp)
  jle    L1
  movsd  -0x20(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  ja     L133
  movsd  -0x20(%rbp),%xmm0
  mov    -0x84(%rbp),%eax
  sub    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  comisd %xmm1,%xmm0
  jae    L133
  movsd  -0x18(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  ja     L48
  movsd  -0x18(%rbp),%xmm0
  mov    -0x84(%rbp),%eax
  sub    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  comisd %xmm1,%xmm0
  jae    L48
  movsd  -0x10(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  ja     L110
  movsd  -0x10(%rbp),%xmm0
  mov    -0x84(%rbp),%eax
  sub    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  comisd %xmm1,%xmm0
  jae    L110
  movsd  -0x20(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x5c(%rbp)
  movsd  -0x18(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x58(%rbp)
  movsd  -0x10(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x54(%rbp)
  movsd  -0x20(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x5c(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x18(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x58(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x10(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x54(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  D8(%rip),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D8(%rip),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D8(%rip),%xmm0
  subsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x6c(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x68(%rbp),%ecx
  mov    -0x60(%rbp),%eax
  add    %ecx,%eax
  imul   -0x84(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  mov    -0x5c(%rbp),%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  imul   -0x84(%rbp),%eax
  add    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm2
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  imul   -0x84(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x54(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x28(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  lea    (%rcx,%rax,1),%edx
  mov    -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  add    %eax,%ecx
  mov    -0x54(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x28(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  imul   -0x84(%rbp),%eax
  add    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  imul   -0x84(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x54(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x28(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  lea    (%rcx,%rax,1),%edx
  mov    -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm0,%xmm2
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x58(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  imul   -0x84(%rbp),%eax
  add    %eax,%ecx
  mov    -0x54(%rbp),%eax
  add    $0x1,%eax
  cltd
  idivl  -0x84(%rbp)
  mov    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  imul   -0x84(%rbp),%eax
  imul   -0x84(%rbp),%eax
  mov    %eax,%edx
  mov    -0x68(%rbp),%ecx
  mov    -0x60(%rbp),%eax
  add    %ecx,%eax
  imul   -0x84(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L113
L133:
  nop
  jmp    L113
L48:
  nop
  jmp    L113
L110:
  nop
L113:
  addl   $0x1,-0x64(%rbp)
L117:
  mov    -0x84(%rbp),%eax
  sub    -0x60(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x64(%rbp)
  jl     L0
  addl   $0x1,-0x68(%rbp)
L128:
  mov    -0x84(%rbp),%eax
  sub    -0x60(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x68(%rbp)
  jl     L55
  addl   $0x1,-0x6c(%rbp)
L89:
  mov    -0x84(%rbp),%eax
  sub    -0x60(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x6c(%rbp)
  jl     L36
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L47
  call   <__stack_chk_fail@plt>
L47:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D8
datatype: f64

tool: D8: 1

assistant: ```c
void rotate_model_openmp(double rot[3][3], double *m, int s, double *rotmodel) {
#pragma omp parallel default(shared)
  {
    int x, y, z, i, c = s / 2, vx, vy, vz;
    double fx, fy, fz, cx, cy, cz;
    double rot_vox[3];
#pragma omp for schedule(static, 1)
    for (vx = -c; vx < s - c - 1; ++vx)
      for (vy = -c; vy < s - c - 1; ++vy)
        for (vz = -c; vz < s - c - 1; ++vz) {
          for (i = 0; i < 3; ++i) {
            rot_vox[i] = 0.;
            rot_vox[i] += rot[i][0] * vx + rot[i][1] * vy + rot[i][2] * vz;
            rot_vox[i] += c;
          }
          if (rot_vox[0] < 0 || rot_vox[0] >= s - 1)
            continue;
          if (rot_vox[1] < 0 || rot_vox[1] >= s - 1)
            continue;
          if (rot_vox[2] < 0 || rot_vox[2] >= s - 1)
            continue;
          x = (int)rot_vox[0];
          y = (int)rot_vox[1];
          z = (int)rot_vox[2];
          fx = rot_vox[0] - x;
          fy = rot_vox[1] - y;
          fz = rot_vox[2] - z;
          cx = 1. - fx;
          cy = 1. - fy;
          cz = 1. - fz;
          rotmodel[(vx + c) * s * s + (vy + c) * s + (vz + c)] += cx * cy * cz * m[x * s * s + y * s + z] + cx * cy * fz * m[x * s * s + y * s + ((z + 1) % s)] + cx * fy * cz * m[x * s * s + ((y + 1) % s) * s + z] + cx * fy * fz * m[x * s * s + ((y + 1) % s) * s + ((z + 1) % s)] + fx * cy * cz * m[((x + 1) % s) * s * s + y * s + z] + fx * cy * fz * m[((x + 1) % s) * s * s + y * s + ((z + 1) % s)] + fx * fy * cz * m[((x + 1) % s) * s * s + ((y + 1) % s) * s + z] + fx * fy * fz * m[((x + 1) % s) * s * s + ((y + 1) % s) * s + ((z + 1) % s)];
        }
  }
}
```