user: Demonstrate the C code that generates the assembly output below:

```asm
<fz_invert3x3>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm3
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mulss  %xmm3,%xmm2
  subss  %xmm2,%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm3
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mulss  %xmm3,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm4
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm3
  mulss  %xmm4,%xmm3
  subss  %xmm3,%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm3
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm3,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm4
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm3
  mulss  %xmm4,%xmm3
  subss  %xmm3,%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0x8(%rbp),%xmm0
  jp     L12
  pxor   %xmm0,%xmm0
  ucomiss -0x8(%rbp),%xmm0
  jne    L12
  movss  D38(%rip),%xmm0
  movss  %xmm0,-0x8(%rbp)
L12:
  movss  D38(%rip),%xmm0
  divss  -0x8(%rbp),%xmm0
  movss  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  D53(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  movss  D53(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x10,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D53(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x14,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x18,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D53(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x1c,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x20,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movl   $0x0,-0x4(%rbp)
  jmp    L31
L10:
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x4(%rbp)
L31:
  cmpl   $0x8,-0x4(%rbp)
  jle    L10
  nop
  nop
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: tag: D38
type_infered: f32
name: read_data
arguments: tag: D53
type_infered: byte[4]

tool: D38: 1

tool: {"D53": [0x00,0x00,0x00,0x80]}

assistant: ```c
void fz_invert3x3(float *dst, float *m) {
  float det;
  int i;
  det = ((m)[3 * 0 + 0] * ((m)[3 * 1 + 1] * (m)[3 * 2 + 2] - (m)[3 * 2 + 1] * (m)[3 * 1 + 2])) - ((m)[3 * 0 + 1] * ((m)[3 * 1 + 0] * (m)[3 * 2 + 2] - (m)[3 * 2 + 0] * (m)[3 * 1 + 2])) + ((m)[3 * 0 + 2] * ((m)[3 * 1 + 0] * (m)[3 * 2 + 1] - (m)[3 * 2 + 0] * (m)[3 * 1 + 1]));
  if (det == 0)
    det = 1.0;
  det = 1.0 / det;
  (dst)[3 * 0 + 0] = (m)[3 * 1 + 1] * (m)[3 * 2 + 2] - (m)[3 * 1 + 2] * (m)[3 * 2 + 1];
  (dst)[3 * 0 + 1] = -(m)[3 * 0 + 1] * (m)[3 * 2 + 2] + (m)[3 * 0 + 2] * (m)[3 * 2 + 1];
  (dst)[3 * 0 + 2] = (m)[3 * 0 + 1] * (m)[3 * 1 + 2] - (m)[3 * 0 + 2] * (m)[3 * 1 + 1];
  (dst)[3 * 1 + 0] = -(m)[3 * 1 + 0] * (m)[3 * 2 + 2] + (m)[3 * 1 + 2] * (m)[3 * 2 + 0];
  (dst)[3 * 1 + 1] = (m)[3 * 0 + 0] * (m)[3 * 2 + 2] - (m)[3 * 0 + 2] * (m)[3 * 2 + 0];
  (dst)[3 * 1 + 2] = -(m)[3 * 0 + 0] * (m)[3 * 1 + 2] + (m)[3 * 0 + 2] * (m)[3 * 1 + 0];
  (dst)[3 * 2 + 0] = (m)[3 * 1 + 0] * (m)[3 * 2 + 1] - (m)[3 * 1 + 1] * (m)[3 * 2 + 0];
  (dst)[3 * 2 + 1] = -(m)[3 * 0 + 0] * (m)[3 * 2 + 1] + (m)[3 * 0 + 1] * (m)[3 * 2 + 0];
  (dst)[3 * 2 + 2] = (m)[3 * 0 + 0] * (m)[3 * 1 + 1] - (m)[3 * 0 + 1] * (m)[3 * 1 + 0];
  for (i = 0; i < 9; i++)
    dst[i] *= det;
}
```