user: 请从给定的汇编指令推导出C源代码：

```asm
<mat4_invert>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    -0x88(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x74(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x70(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x8(%rax),%xmm0
  movss  %xmm0,-0x6c(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0xc(%rax),%xmm0
  movss  %xmm0,-0x68(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x10(%rax),%xmm0
  movss  %xmm0,-0x64(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x14(%rax),%xmm0
  movss  %xmm0,-0x60(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x18(%rax),%xmm0
  movss  %xmm0,-0x5c(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x1c(%rax),%xmm0
  movss  %xmm0,-0x58(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x20(%rax),%xmm0
  movss  %xmm0,-0x54(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x24(%rax),%xmm0
  movss  %xmm0,-0x50(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x28(%rax),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x2c(%rax),%xmm0
  movss  %xmm0,-0x48(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x30(%rax),%xmm0
  movss  %xmm0,-0x44(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x34(%rax),%xmm0
  movss  %xmm0,-0x40(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x38(%rax),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x88(%rbp),%rax
  movss  0x3c(%rax),%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  -0x74(%rbp),%xmm0
  mulss  -0x60(%rbp),%xmm0
  movss  -0x70(%rbp),%xmm1
  mulss  -0x64(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x74(%rbp),%xmm0
  mulss  -0x5c(%rbp),%xmm0
  movss  -0x6c(%rbp),%xmm1
  mulss  -0x64(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x74(%rbp),%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x68(%rbp),%xmm1
  mulss  -0x64(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x70(%rbp),%xmm0
  mulss  -0x5c(%rbp),%xmm0
  movss  -0x6c(%rbp),%xmm1
  mulss  -0x60(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x70(%rbp),%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x68(%rbp),%xmm1
  mulss  -0x60(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  -0x6c(%rbp),%xmm0
  mulss  -0x58(%rbp),%xmm0
  movss  -0x68(%rbp),%xmm1
  mulss  -0x5c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  -0x54(%rbp),%xmm0
  mulss  -0x40(%rbp),%xmm0
  movss  -0x50(%rbp),%xmm1
  mulss  -0x44(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  -0x54(%rbp),%xmm0
  mulss  -0x3c(%rbp),%xmm0
  movss  -0x4c(%rbp),%xmm1
  mulss  -0x44(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  -0x54(%rbp),%xmm0
  mulss  -0x38(%rbp),%xmm0
  movss  -0x48(%rbp),%xmm1
  mulss  -0x44(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x50(%rbp),%xmm0
  mulss  -0x3c(%rbp),%xmm0
  movss  -0x4c(%rbp),%xmm1
  mulss  -0x40(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movss  -0x50(%rbp),%xmm0
  mulss  -0x38(%rbp),%xmm0
  movss  -0x48(%rbp),%xmm1
  mulss  -0x40(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x38(%rbp),%xmm0
  movss  -0x48(%rbp),%xmm1
  mulss  -0x3c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x8(%rbp)
  movss  -0x34(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  movss  -0x30(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0xc(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0x14(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  -0x24(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x18(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0x4(%rbp),%xmm0
  jp     L11
  pxor   %xmm0,%xmm0
  ucomiss -0x4(%rbp),%xmm0
  je     L14
L11:
  movss  D2(%rip),%xmm0
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,-0x4(%rbp)
  movss  -0x60(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  movss  -0x5c(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0xc(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mulss  -0x4(%rbp),%xmm0
  mov    -0x88(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x6c(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  movss  -0x70(%rbp),%xmm1
  mulss  -0x8(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x68(%rbp),%xmm1
  mulss  -0x10(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x4,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x40(%rbp),%xmm0
  mulss  -0x20(%rbp),%xmm0
  movss  -0x3c(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x24(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  movss  -0x50(%rbp),%xmm1
  mulss  -0x20(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x48(%rbp),%xmm1
  mulss  -0x28(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0xc,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x14(%rbp),%xmm0
  movss  -0x64(%rbp),%xmm1
  mulss  -0x8(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x58(%rbp),%xmm1
  mulss  -0x18(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x10,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x74(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  movss  -0x6c(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x14(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x68(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x14,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  movss  -0x44(%rbp),%xmm1
  mulss  -0x20(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x38(%rbp),%xmm1
  mulss  -0x30(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x18,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x54(%rbp),%xmm0
  mulss  -0x20(%rbp),%xmm0
  movss  -0x4c(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x2c(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0x30(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x1c,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x64(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  movss  -0x60(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x14(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x20,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x70(%rbp),%xmm0
  mulss  -0x14(%rbp),%xmm0
  movss  -0x74(%rbp),%xmm1
  mulss  -0xc(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x68(%rbp),%xmm1
  mulss  -0x1c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x24,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x44(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  movss  -0x40(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x2c(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x34(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x28,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x50(%rbp),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  movss  -0x54(%rbp),%xmm1
  mulss  -0x24(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x48(%rbp),%xmm1
  mulss  -0x34(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x2c,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x60(%rbp),%xmm0
  mulss  -0x18(%rbp),%xmm0
  movss  -0x64(%rbp),%xmm1
  mulss  -0x10(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x5c(%rbp),%xmm1
  mulss  -0x1c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x30,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x74(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  movss  -0x70(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x18(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x6c(%rbp),%xmm0
  mulss  -0x1c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x34,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x40(%rbp),%xmm0
  mulss  -0x30(%rbp),%xmm0
  movss  -0x44(%rbp),%xmm1
  mulss  -0x28(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x3c(%rbp),%xmm1
  mulss  -0x34(%rbp),%xmm1
  subss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x38,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x54(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  movss  -0x50(%rbp),%xmm1
  movaps %xmm1,%xmm2
  mulss  -0x30(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x34(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x88(%rbp),%rax
  add    $0x3c,%rax
  mulss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  jmp    L29
L14:
  nop
L29:
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_label: D2
type_infered: f32

tool: D2: 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;
}
```