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

```asm
<mat4_invert>:
  endbr64
  movss  (%rdi),%xmm5
  movss  0x4(%rdi),%xmm2
  mov    %rdi,%rax
  movss  0x10(%rdi),%xmm9
  movss  0x14(%rdi),%xmm4
  movaps %xmm5,%xmm1
  movaps %xmm2,%xmm0
  movss  0x8(%rdi),%xmm15
  movss  0x18(%rdi),%xmm8
  mulss  %xmm9,%xmm0
  movss  0xc(%rdi),%xmm12
  movss  0x1c(%rdi),%xmm13
  movss  %xmm5,-0x4(%rsp)
  mulss  %xmm4,%xmm1
  movss  0x24(%rdi),%xmm6
  movss  0x28(%rdi),%xmm7
  movss  %xmm2,-0xc(%rsp)
  movss  0x20(%rdi),%xmm14
  movss  0x34(%rdi),%xmm3
  movss  %xmm15,-0x14(%rsp)
  movss  %xmm6,-0x20(%rsp)
  movss  0x38(%rdi),%xmm6
  movss  0x2c(%rdi),%xmm10
  movss  %xmm7,-0x3c(%rsp)
  movss  0x30(%rdi),%xmm7
  movss  0x3c(%rdi),%xmm11
  movss  %xmm6,-0x40(%rsp)
  movaps %xmm12,%xmm6
  subss  %xmm0,%xmm1
  movaps %xmm15,%xmm0
  movss  %xmm14,-0x8(%rsp)
  mulss  %xmm9,%xmm0
  mulss  %xmm8,%xmm6
  movss  %xmm1,-0x1c(%rsp)
  movaps %xmm5,%xmm1
  mulss  %xmm8,%xmm1
  mulss  %xmm13,%xmm5
  subss  %xmm0,%xmm1
  movaps %xmm12,%xmm0
  mulss  %xmm9,%xmm0
  movss  %xmm1,-0x38(%rsp)
  movaps %xmm2,%xmm1
  mulss  %xmm8,%xmm1
  mulss  %xmm13,%xmm2
  subss  %xmm0,%xmm5
  movaps %xmm15,%xmm0
  mulss  %xmm4,%xmm0
  mulss  %xmm13,%xmm15
  movss  %xmm5,-0x18(%rsp)
  movss  -0x20(%rsp),%xmm5
  subss  %xmm0,%xmm1
  movss  %xmm1,-0x34(%rsp)
  movaps %xmm2,%xmm1
  movaps %xmm12,%xmm2
  mulss  %xmm4,%xmm2
  movaps %xmm2,%xmm0
  movaps %xmm1,%xmm2
  movaps %xmm14,%xmm1
  subss  %xmm0,%xmm2
  mulss  %xmm3,%xmm1
  movaps %xmm5,%xmm0
  mulss  %xmm7,%xmm0
  movss  %xmm2,-0x30(%rsp)
  movaps %xmm15,%xmm2
  subss  %xmm6,%xmm2
  movaps %xmm10,%xmm6
  mulss  %xmm7,%xmm6
  movaps %xmm1,%xmm15
  movss  -0x40(%rsp),%xmm1
  subss  %xmm0,%xmm15
  movss  %xmm2,-0x2c(%rsp)
  mulss  %xmm14,%xmm1
  mulss  %xmm11,%xmm14
  movss  %xmm15,-0x10(%rsp)
  movss  -0x3c(%rsp),%xmm15
  movaps %xmm15,%xmm0
  mulss  %xmm7,%xmm0
  movaps %xmm1,%xmm2
  movaps %xmm14,%xmm1
  movss  -0x40(%rsp),%xmm14
  subss  %xmm6,%xmm1
  movaps %xmm10,%xmm6
  mulss  %xmm3,%xmm6
  subss  %xmm0,%xmm2
  movaps %xmm15,%xmm0
  mulss  %xmm3,%xmm0
  mulss  %xmm11,%xmm15
  movss  %xmm2,-0x28(%rsp)
  movaps %xmm5,%xmm2
  mulss  %xmm11,%xmm5
  mulss  %xmm14,%xmm2
  subss  %xmm6,%xmm5
  movaps %xmm10,%xmm6
  mulss  %xmm14,%xmm6
  subss  %xmm0,%xmm2
  movss  -0x1c(%rsp),%xmm14
  movss  -0x38(%rsp),%xmm0
  mulss  %xmm5,%xmm0
  movss  %xmm2,-0x24(%rsp)
  movaps %xmm15,%xmm2
  subss  %xmm6,%xmm2
  mulss  %xmm2,%xmm14
  subss  %xmm0,%xmm14
  movss  -0x18(%rsp),%xmm0
  mulss  -0x24(%rsp),%xmm0
  addss  %xmm14,%xmm0
  movss  -0x34(%rsp),%xmm14
  mulss  %xmm1,%xmm14
  addss  %xmm14,%xmm0
  movss  -0x30(%rsp),%xmm14
  mulss  -0x28(%rsp),%xmm14
  subss  %xmm14,%xmm0
  movss  -0x2c(%rsp),%xmm14
  mulss  -0x10(%rsp),%xmm14
  addss  %xmm0,%xmm14
  ucomiss D13(%rip),%xmm14
  jp     L16
  je     L0
L16:
  movss  D17(%rip),%xmm0
  movaps %xmm8,%xmm15
  movss  -0x24(%rsp),%xmm6
  mulss  %xmm5,%xmm15
  divss  %xmm14,%xmm0
  movaps %xmm4,%xmm14
  mulss  %xmm2,%xmm14
  subss  %xmm15,%xmm14
  movaps %xmm6,%xmm15
  mulss  %xmm13,%xmm15
  addss  %xmm15,%xmm14
  movss  -0x14(%rsp),%xmm15
  mulss  %xmm5,%xmm15
  mulss  %xmm0,%xmm14
  movss  %xmm14,(%rax)
  movss  -0xc(%rsp),%xmm14
  mulss  %xmm2,%xmm14
  subss  %xmm14,%xmm15
  movaps %xmm6,%xmm14
  movss  -0x30(%rsp),%xmm6
  mulss  %xmm12,%xmm14
  subss  %xmm14,%xmm15
  movss  -0x2c(%rsp),%xmm14
  mulss  %xmm3,%xmm14
  mulss  %xmm0,%xmm15
  movss  %xmm15,0x4(%rax)
  movss  -0x40(%rsp),%xmm15
  mulss  %xmm6,%xmm15
  subss  %xmm15,%xmm14
  movss  -0x34(%rsp),%xmm15
  mulss  %xmm11,%xmm15
  addss  %xmm15,%xmm14
  mulss  %xmm0,%xmm14
  movss  %xmm14,0x8(%rax)
  movss  -0x3c(%rsp),%xmm14
  mulss  %xmm6,%xmm14
  movss  -0x20(%rsp),%xmm6
  mulss  -0x2c(%rsp),%xmm6
  movaps %xmm14,%xmm15
  movss  -0x34(%rsp),%xmm14
  subss  %xmm6,%xmm15
  movaps %xmm8,%xmm6
  mulss  %xmm10,%xmm14
  mulss  %xmm1,%xmm6
  subss  %xmm14,%xmm15
  movss  -0x28(%rsp),%xmm14
  mulss  %xmm13,%xmm14
  mulss  %xmm0,%xmm15
  movss  %xmm15,0xc(%rax)
  movaps %xmm6,%xmm15
  movaps %xmm9,%xmm6
  mulss  %xmm2,%xmm6
  subss  %xmm6,%xmm15
  movss  -0x4(%rsp),%xmm6
  mulss  %xmm6,%xmm2
  subss  %xmm14,%xmm15
  movss  -0x14(%rsp),%xmm14
  mulss  %xmm1,%xmm14
  mulss  %xmm0,%xmm15
  subss  %xmm14,%xmm2
  movss  %xmm15,0x10(%rax)
  movss  -0x28(%rsp),%xmm15
  mulss  %xmm12,%xmm15
  addss  %xmm15,%xmm2
  movss  -0x2c(%rsp),%xmm15
  mulss  %xmm0,%xmm2
  movss  %xmm2,0x14(%rax)
  movss  -0x18(%rsp),%xmm2
  mulss  -0x40(%rsp),%xmm2
  movaps %xmm2,%xmm14
  movaps %xmm15,%xmm2
  mulss  %xmm7,%xmm2
  subss  %xmm2,%xmm14
  movss  -0x38(%rsp),%xmm2
  mulss  %xmm11,%xmm2
  subss  %xmm2,%xmm14
  movss  -0x8(%rsp),%xmm2
  mulss  %xmm15,%xmm2
  movss  -0x18(%rsp),%xmm15
  mulss  %xmm0,%xmm14
  movss  %xmm14,0x18(%rax)
  movss  -0x3c(%rsp),%xmm14
  mulss  %xmm15,%xmm14
  subss  %xmm14,%xmm2
  movss  -0x38(%rsp),%xmm14
  mulss  %xmm10,%xmm14
  addss  %xmm14,%xmm2
  movaps %xmm4,%xmm14
  mulss  %xmm1,%xmm14
  mulss  %xmm0,%xmm2
  movss  %xmm2,0x1c(%rax)
  movaps %xmm9,%xmm2
  mulss  %xmm5,%xmm2
  mulss  %xmm6,%xmm5
  subss  %xmm14,%xmm2
  movss  -0x10(%rsp),%xmm14
  mulss  -0x1c(%rsp),%xmm11
  mulss  %xmm14,%xmm13
  mulss  %xmm14,%xmm12
  mulss  %xmm14,%xmm8
  addss  %xmm13,%xmm2
  movss  -0xc(%rsp),%xmm13
  mulss  %xmm13,%xmm1
  mulss  %xmm0,%xmm2
  subss  %xmm5,%xmm1
  movss  -0x30(%rsp),%xmm5
  movss  %xmm2,0x20(%rax)
  movaps %xmm15,%xmm2
  mulss  %xmm3,%xmm2
  subss  %xmm12,%xmm1
  movss  -0x8(%rsp),%xmm12
  mulss  %xmm0,%xmm1
  movss  %xmm1,0x24(%rax)
  movaps %xmm5,%xmm1
  mulss  %xmm7,%xmm1
  mulss  %xmm12,%xmm5
  subss  %xmm2,%xmm1
  addss  %xmm11,%xmm1
  movss  -0x20(%rsp),%xmm11
  mulss  %xmm11,%xmm15
  mulss  %xmm0,%xmm1
  movaps %xmm15,%xmm2
  movss  -0x1c(%rsp),%xmm15
  subss  %xmm5,%xmm2
  movss  %xmm1,0x28(%rax)
  movss  -0x24(%rsp),%xmm5
  mulss  %xmm15,%xmm10
  mulss  %xmm5,%xmm6
  mulss  %xmm5,%xmm9
  movaps %xmm2,%xmm1
  movss  -0x14(%rsp),%xmm2
  movss  -0x38(%rsp),%xmm5
  mulss  %xmm14,%xmm2
  subss  %xmm10,%xmm1
  movss  -0x28(%rsp),%xmm10
  mulss  %xmm5,%xmm3
  mulss  %xmm5,%xmm11
  mulss  %xmm10,%xmm4
  mulss  %xmm0,%xmm1
  mulss  %xmm10,%xmm13
  subss  %xmm9,%xmm4
  movss  %xmm1,0x2c(%rax)
  movaps %xmm6,%xmm1
  movss  -0x40(%rsp),%xmm6
  subss  %xmm13,%xmm1
  subss  %xmm8,%xmm4
  mulss  %xmm15,%xmm6
  addss  %xmm2,%xmm1
  movss  -0x3c(%rsp),%xmm2
  mulss  %xmm0,%xmm4
  mulss  %xmm15,%xmm2
  mulss  %xmm0,%xmm1
  movss  %xmm4,0x30(%rax)
  movss  -0x34(%rsp),%xmm4
  movss  %xmm1,0x34(%rax)
  mulss  %xmm4,%xmm7
  movaps %xmm12,%xmm1
  mulss  %xmm4,%xmm1
  subss  %xmm7,%xmm3
  subss  %xmm11,%xmm1
  subss  %xmm6,%xmm3
  addss  %xmm2,%xmm1
  mulss  %xmm0,%xmm3
  mulss  %xmm0,%xmm1
  movss  %xmm3,0x38(%rax)
  movss  %xmm1,0x3c(%rax)
L0:
  ret
```

tool_calls: name: read_data
arguments: data_label: D13
type_guessed: f32
name: read_data
arguments: data_label: D17
type_guessed: f32

tool: D13: 0

tool: D17: 1

assistant: ```c
void mat4_invert(float *dst) {
  float a00 = dst[0], a01 = dst[1], a02 = dst[2], a03 = dst[3];
  float a10 = dst[4], a11 = dst[5], a12 = dst[6], a13 = dst[7];
  float a20 = dst[8], a21 = dst[9], a22 = dst[10], a23 = dst[11];
  float a30 = dst[12], a31 = dst[13], a32 = dst[14], a33 = dst[15];
  float b00 = (a00 * a11) - (a01 * a10);
  float b01 = (a00 * a12) - (a02 * a10);
  float b02 = (a00 * a13) - (a03 * a10);
  float b03 = (a01 * a12) - (a02 * a11);
  float b04 = (a01 * a13) - (a03 * a11);
  float b05 = (a02 * a13) - (a03 * a12);
  float b06 = (a20 * a31) - (a21 * a30);
  float b07 = (a20 * a32) - (a22 * a30);
  float b08 = (a20 * a33) - (a23 * a30);
  float b09 = (a21 * a32) - (a22 * a31);
  float b10 = (a21 * a33) - (a23 * a31);
  float b11 = (a22 * a33) - (a23 * a32);
  float det = (b00 * b11) - (b01 * b10) + (b02 * b09) + (b03 * b08) - (b04 * b07) + (b05 * b06);
  if (!det) {
    return;
  }
  det = 1.0 / det;
  dst[0] = (a11 * b11 - a12 * b10 + a13 * b09) * det;
  dst[1] = (a02 * b10 - a01 * b11 - a03 * b09) * det;
  dst[2] = (a31 * b05 - a32 * b04 + a33 * b03) * det;
  dst[3] = (a22 * b04 - a21 * b05 - a23 * b03) * det;
  dst[4] = (a12 * b08 - a10 * b11 - a13 * b07) * det;
  dst[5] = (a00 * b11 - a02 * b08 + a03 * b07) * det;
  dst[6] = (a32 * b02 - a30 * b05 - a33 * b01) * det;
  dst[7] = (a20 * b05 - a22 * b02 + a23 * b01) * det;
  dst[8] = (a10 * b10 - a11 * b08 + a13 * b06) * det;
  dst[9] = (a01 * b08 - a00 * b10 - a03 * b06) * det;
  dst[10] = (a30 * b04 - a31 * b02 + a33 * b00) * det;
  dst[11] = (a21 * b02 - a20 * b04 - a23 * b00) * det;
  dst[12] = (a11 * b07 - a10 * b09 - a12 * b06) * det;
  dst[13] = (a00 * b09 - a01 * b07 + a02 * b06) * det;
  dst[14] = (a31 * b01 - a30 * b03 - a32 * b00) * det;
  dst[15] = (a20 * b03 - a21 * b01 + a22 * b00) * det;
}
```