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

```asm
<wigNaiveAnalysis_symX>:
  endbr64
  push   %r15
  mov    %edi,%eax
  mov    %rcx,%r10
  mov    %r9,%rdi
  push   %r14
  mov    %esi,%r14d
  push   %r13
  mov    %edx,%r13d
  mov    %eax,%edx
  push   %r12
  lea    0x0(%r13,%r13,1),%r12d
  push   %rbp
  push   %rbx
  mov    %r8,%rbx
  sub    $0x8,%rsp
  neg    %r14d
  cmovs  %esi,%r14d
  neg    %edx
  mov    0x48(%rsp),%rbp
  cmovs  %eax,%edx
  cmp    %edx,%r14d
  cmovl  %edx,%r14d
  mov    %eax,%edx
  sub    %esi,%eax
  sub    %esi,%edx
  and    $0x1,%eax
  mov    %r10,%rsi
  mov    %edx,%ecx
  and    $0x1,%ecx
  test   %edx,%edx
  mov    %rbp,%rdx
  cmovg  %ecx,%eax
  mov    %r12d,%ecx
  cmp    $0x1,%al
  sbb    %r15d,%r15d
  sub    %r14d,%r13d
  call   <vec_pt_mul_so3@plt>
  and    $0x2,%r15d
  sub    $0x1,%r15d
  test   %r13d,%r13d
  jle    L70
  mov    %r12d,%eax
  movslq %r12d,%r11
  xor    %r10d,%r10d
  mov    0x40(%rsp),%rdi
  sar    $0x1f,%eax
  shl    $0x3,%r11
  pxor   %xmm4,%xmm4
  lea    -0x1(%r12),%esi
  shr    $0x1e,%eax
  cvtsi2sd %r15d,%xmm4
  pxor   %xmm3,%xmm3
  lea    (%r12,%rax,1),%r8d
  and    $0x3,%r8d
  sub    %eax,%r8d
  lea    -0x1(%r13),%eax
  mov    %r8d,%r9d
  lea    0x8(%rdi,%rax,8),%r14
  and    $0xfffffffe,%r9d
  test   %r8d,%r8d
  cmovns %r8d,%r10d
  sub    %r10d,%esi
  movslq %r10d,%r13
  shr    $0x2,%esi
  shl    $0x3,%r13
  add    $0x1,%esi
  lea    0x0(%rbp,%r13,1),%rcx
  nopl   (%rax)
L43:
  movapd %xmm3,%xmm0
  test   %r8d,%r8d
  jle    L17
  cmp    $0x1,%r8d
  je     L12
  movupd 0x0(%rbp),%xmm1
  movupd (%rbx),%xmm5
  movslq %r9d,%rax
  mulpd  %xmm5,%xmm1
  movapd %xmm1,%xmm0
  unpckhpd %xmm1,%xmm1
  addsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  cmp    %r8d,%r9d
  je     L17
L71:
  movsd  0x0(%rbp,%rax,8),%xmm1
  mulsd  (%rbx,%rax,8),%xmm1
  addsd  %xmm1,%xmm0
L17:
  cmp    %r10d,%r12d
  jle    L67
  lea    (%rbx,%r13,1),%r15
  movq   %xmm0,%xmm2
  xor    %eax,%eax
  xor    %edx,%edx
  pxor   %xmm1,%xmm1
L48:
  movupd (%rcx,%rax,1),%xmm0
  movupd (%r15,%rax,1),%xmm6
  add    $0x1,%edx
  movupd 0x10(%r15,%rax,1),%xmm7
  mulpd  %xmm6,%xmm0
  addpd  %xmm0,%xmm2
  movupd 0x10(%rcx,%rax,1),%xmm0
  add    $0x20,%rax
  mulpd  %xmm7,%xmm0
  addpd  %xmm0,%xmm1
  cmp    %esi,%edx
  jb     L48
  movapd %xmm2,%xmm0
  movapd %xmm1,%xmm5
  unpckhpd %xmm2,%xmm2
  unpckhpd %xmm1,%xmm1
L53:
  addsd  %xmm2,%xmm0
  add    $0x8,%rdi
  add    %r11,%rbx
  addsd  %xmm5,%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm4,%xmm0
  movsd  %xmm0,-0x8(%rdi)
  cmp    %r14,%rdi
  jne    L43
L70:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L67:
  movapd %xmm3,%xmm1
  movapd %xmm3,%xmm5
  movapd %xmm3,%xmm2
  jmp    L53
L12:
  movapd %xmm3,%xmm0
  xor    %eax,%eax
  jmp    L71
```

assistant: ```c
void wigNaiveAnalysis_symX(int m1, int m2, int bw, double *signal, double *wigners, double *weights, double *coeffs, double *workspace) {
  int i, j, m, n;
  int fudge;
  double tmp0, tmp1, tmp2, tmp3;
  m = ((((m1) > 0 ? (m1) : (-m1))) > (((m2) > 0 ? (m2) : (-m2))) ? (((m1) > 0 ? (m1) : (-m1))) : (((m2) > 0 ? (m2) : (-m2))));
  n = 2 * bw;
  if (((m1 - m2) > 0 ? (m1 - m2) : (-m1 - m2)) % 2)
    fudge = -1;
  else
    fudge = 1;
  vec_pt_mul_so3(weights, signal, workspace, n);
  for (i = 0; i < bw - m; i++) {
    tmp0 = 0.;
    tmp1 = 0.;
    tmp2 = 0.;
    tmp3 = 0.;
    for (j = 0; j < n % 4; ++j)
      tmp0 += wigners[j] * workspace[j];
    for (; j < n; j += 4) {
      tmp0 += wigners[j] * workspace[j];
      tmp1 += wigners[j + 1] * workspace[j + 1];
      tmp2 += wigners[j + 2] * workspace[j + 2];
      tmp3 += wigners[j + 3] * workspace[j + 3];
    }
    coeffs[i] = fudge * (tmp0 + tmp1 + tmp2 + tmp3);
    wigners += n;
  }
}
```