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

```asm
<atovm>:
  endbr64
  push   %r15
  movsd  D15(%rip),%xmm6
  push   %r14
  push   %r13
  mov    $0xfffffffffffffff8,%r13
  push   %r12
  movslq %esi,%r12
  mov    %r12d,%eax
  lea    0x0(,%r12,8),%rsi
  push   %rbp
  imul   %r12d,%eax
  sub    %rsi,%r13
  push   %rbx
  cltq
  lea    -0x8(%rdi,%rax,8),%rdx
  sub    %r12,%rax
  sub    %r12,%rax
  movsd  %xmm6,(%rdx)
  lea    (%rdx,%r13,1),%rbp
  shl    $0x3,%rax
  lea    -0x8(%rdi,%rax,1),%r9
  cmp    $0x1,%r12d
  jle    L146
  mov    %r12,%rbx
  add    %rax,%rdi
  lea    -0x8(%rdx),%rax
  shl    $0x4,%r12
  mov    %rax,-0x18(%rsp)
  lea    -0x1(%rbx),%eax
  lea    0x10(%rbp),%r11
  xor    %r15d,%r15d
  mov    %eax,-0xc(%rsp)
  movq   D6(%rip),%xmm5
  mov    $0x1,%r10d
  pxor   %xmm4,%xmm4
L65:
  lea    (%rsi,%rbp,1),%rax
  cmp    %r10d,-0xc(%rsp)
  je     L104
  movsd  -0x8(%r9),%xmm3
  ucomisd %xmm4,%xmm3
  jp     L133
  je     L104
L133:
  lea    -0x8(%rdi),%rcx
  movapd %xmm6,%xmm0
  movapd %xmm3,%xmm1
  xor    %edx,%edx
  test   %rsi,%rsi
  subsd  %xmm3,%xmm0
  xorpd  %xmm5,%xmm1
  cmovs  %r15,%rdx
  add    %rsi,%rdx
  movsd  %xmm0,0x0(%rbp)
  add    %rbp,%rdx
  cmp    %rcx,%rdx
  seta   %cl
  xor    %edx,%edx
  test   %rsi,%rsi
  cmovns %r15,%rdx
  add    %rsi,%rdx
  add    %rbp,%rdx
  cmp    %rdx,%r9
  seta   %dl
  or     %cl,%dl
  je     L66
  lea    -0x1(%r10),%edx
  cmp    $0x8,%edx
  jbe    L66
  mov    %r10d,%edx
  movapd %xmm1,%xmm2
  mov    %r9,%rcx
  shr    %edx
  unpcklpd %xmm2,%xmm2
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x10(%r9,%rdx,1),%r8
  mov    -0x18(%rsp),%rdx
  nopw   0x0(%rax,%rax,1)
L159:
  movupd (%rcx),%xmm0
  add    $0x10,%rcx
  mulpd  %xmm2,%xmm0
  movlpd %xmm0,(%rdx)
  movhpd %xmm0,(%rdx,%rsi,1)
  add    %r12,%rdx
  cmp    %r8,%rcx
  jne    L159
  mov    %r10d,%r8d
  and    $0xfffffffe,%r8d
  mov    %r8d,%edx
  lea    (%r9,%rdx,8),%rcx
  imul   %rsi,%rdx
  add    %rax,%rdx
  cmp    %r10d,%r8d
  je     L92
  mulsd  (%rcx),%xmm1
  movsd  %xmm1,(%rdx)
L92:
  mov    %ebx,%eax
  lea    0x8(%rbp),%r8
  sub    %r10d,%eax
  cmp    %eax,%ebx
  jle    L32
  lea    0x1(%r10),%eax
  mov    %rax,%r10
  lea    0x0(%rbp,%rax,8),%r14
  nopl   0x0(%rax)
L39:
  lea    (%r8,%rsi,1),%rax
  mov    %r9,%rdx
  movapd %xmm4,%xmm1
  mov    %rax,%rcx
  xchg   %ax,%ax
L72:
  add    $0x8,%rdx
  movsd  (%rcx),%xmm0
  add    %rsi,%rcx
  mulsd  -0x8(%rdx),%xmm0
  addsd  %xmm0,%xmm1
  cmp    %rdi,%rdx
  jne    L72
  mulsd  %xmm3,%xmm1
  mov    %r9,%rdx
L17:
  movsd  (%rdx),%xmm2
  movsd  (%rax),%xmm0
  add    $0x8,%rdx
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movsd  %xmm0,(%rax)
  add    %rsi,%rax
  cmp    %rdi,%rdx
  jne    L17
  add    $0x8,%r8
  xorpd  %xmm5,%xmm1
  movsd  %xmm1,-0x8(%r8)
  cmp    %r14,%r8
  jne    L39
L154:
  add    %r13,-0x18(%rsp)
  add    %r13,%r9
  add    %r13,%rbp
  sub    %rsi,%r11
  sub    %rsi,%rdi
  add    %rsi,%r15
  cmp    %r10d,%ebx
  jne    L65
L146:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L104:
  movsd  %xmm6,0x0(%rbp)
  lea    0x8(%rbp),%rdx
  nopl   0x0(%rax)
L77:
  add    $0x8,%rdx
  movq   $0x0,-0x8(%rdx)
  movq   $0x0,(%rax)
  add    %rsi,%rax
  cmp    %r11,%rdx
  jne    L77
L32:
  add    $0x1,%r10d
  jmp    L154
L66:
  mov    %r9,%rdx
L97:
  movsd  (%rdx),%xmm0
  add    $0x8,%rdx
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    %rsi,%rax
  cmp    %rdi,%rdx
  jne    L97
  jmp    L92
```

tool_calls: name: disassemble_data
arguments: label: D15
type_infered: f64
name: disassemble_data
arguments: label: D6
type_infered: f32[2]

tool: D15: 1

tool: {"D6": [0.0,-0.0]}

assistant: ```c
void atovm(double *v, int n) {
  double *p0, *q0, *p, *q, *qq;
  double h, s;
  int i, j, k, mm;
  q0 = v + n * n - 1;
  *q0 = 1.;
  q0 -= n + 1;
  p0 = v + n * n - n - n - 1;
  for (i = n - 2, mm = 1; i >= 0; --i, p0 -= n + 1, q0 -= n + 1, ++mm) {
    if (i && *(p0 - 1) != 0.) {
      for (j = 0, p = p0, h = 1.; j < mm; ++j, ++p)
        h += *p * *p;
      h = *(p0 - 1);
      *q0 = 1. - h;
      for (j = 0, q = q0 + n, p = p0; j < mm; ++j, q += n)
        *q = -h * *p++;
      for (k = i + 1, q = q0 + 1; k < n; ++k) {
        for (j = 0, qq = q + n, p = p0, s = 0.; j < mm; ++j, qq += n)
          s += *qq * *p++;
        s *= h;
        for (j = 0, qq = q + n, p = p0; j < mm; ++j, qq += n)
          *qq -= s * *p++;
        *q++ = -s;
      }
    } else {
      *q0 = 1.;
      for (j = 0, p = q0 + 1, q = q0 + n; j < mm; ++j, q += n)
        *q = *p++ = 0.;
    }
  }
}
```