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

```asm
<matinv>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %edx,-0x60(%rbp)
  mov    %rcx,-0x68(%rbp)
  mov    -0x68(%rbp),%rax
  mov    %rax,-0x40(%rbp)
  movsd  D1(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D30(%rip),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x0,%r12d
  jmp    L48
L183:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    %r12d,%ebx
  jmp    L147
L35:
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D32(%rip),%xmm1
  andpd  %xmm1,%xmm0
  comisd -0x50(%rbp),%xmm0
  jbe    L29
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D32(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    %ebx,(%rax)
L29:
  add    $0x1,%ebx
L147:
  cmp    -0x5c(%rbp),%ebx
  jl     L35
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x38(%rbp),%xmm0
  comisd -0x50(%rbp),%xmm0
  jbe    L221
  lea    0x1(%r12),%eax
  mov    %eax,%esi
  lea    D22(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0xffffffff,%eax
  jmp    L40
L221:
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,%r12d
  je     L57
  mov    $0x0,%ebx
  jmp    L238
L170:
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rax,%rdx
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L238:
  cmp    -0x60(%rbp),%ebx
  jl     L170
L57:
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D30(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    $0x0,%ebx
  jmp    L223
L104:
  cmp    %r12d,%ebx
  je     L199
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0x30(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    $0x0,%r13d
  jmp    L126
L17:
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r13d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %r13d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x28(%rbp),%xmm1
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r13d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%r13d
L126:
  cmp    -0x5c(%rbp),%r13d
  jl     L17
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x28(%rbp),%xmm0
  movq   D25(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L125
L199:
  nop
L125:
  add    $0x1,%ebx
L223:
  cmp    -0x5c(%rbp),%ebx
  jl     L104
  mov    $0x0,%ebx
  jmp    L227
L23:
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %ebx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L227:
  cmp    -0x60(%rbp),%ebx
  jl     L23
  mov    %r12d,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%r12d
L48:
  cmp    -0x5c(%rbp),%r12d
  jl     L183
  mov    -0x5c(%rbp),%eax
  lea    -0x1(%rax),%r12d
  jmp    L175
L115:
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,%r12d
  je     L156
  mov    $0x0,%ebx
  jmp    L235
L149:
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    %ebx,%edx
  imul   -0x60(%rbp),%edx
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rcx
  mov    -0x40(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rax,%rdx
  mov    %ebx,%eax
  imul   -0x60(%rbp),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%edx
  imul   -0x60(%rbp),%edx
  movslq %r12d,%rax
  lea    0x0(,%rax,4),%rcx
  mov    -0x40(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L235:
  cmp    -0x5c(%rbp),%ebx
  jl     L149
  jmp    L155
L156:
  nop
L155:
  sub    $0x1,%r12d
L175:
  test   %r12d,%r12d
  jns    L115
  mov    $0x0,%eax
L40:
  add    $0x58,%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: label: D1
type_infered: byte[8]
name: read_data
arguments: label: D30
type_infered: f64
name: read_data
arguments: label: D32
type_infered: qword
name: read_data
arguments: label: D22
type_infered: string
name: read_data
arguments: label: D25
type_infered: f32[2]

tool: {"D1": [0x23,0x42,0x92,0x0c,0xa1,0x9c,0xc7,0x3b]}

tool: D30: 1

tool: D32: 9223372036854775807

tool: D22: 
Det becomes zero at %3d!	


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

assistant: ```c
int matinv(double x[], int n, int m, double space[]) {
  register int i, j, k;
  int *irow = (int *)space;
  double ee = 1.0e-20, t, t1, xmax;
  double det = 1.0;
  for (i = 0; i < n; i++) {
    xmax = 0.;
    for (j = i; j < n; j++) {
      if (xmax < fabs(x[j * m + i])) {
        xmax = fabs(x[j * m + i]);
        irow[i] = j;
      }
    }
    det *= xmax;
    if (xmax < ee) {
      printf("\nDet becomes zero at %3d!\t\n", i + 1);
      return (-1);
    }
    if (irow[i] != i) {
      for (j = 0; j < m; j++) {
        t = x[i * m + j];
        x[i * m + j] = x[irow[i] * m + j];
        x[irow[i] * m + j] = t;
      }
    }
    t = 1. / x[i * m + i];
    for (j = 0; j < n; j++) {
      if (j == i)
        continue;
      t1 = t * x[j * m + i];
      for (k = 0; k < n; k++)
        x[j * m + k] -= t1 * x[i * m + k];
      x[j * m + i] = -t1;
    }
    for (j = 0; j < m; j++)
      x[i * m + j] *= t;
    x[i * m + i] = t;
  }
  for (i = n - 1; i >= 0; i--) {
    if (irow[i] == i)
      continue;
    for (j = 0; j < n; j++) {
      t = x[j * m + i];
      x[j * m + i] = x[j * m + irow[i]];
      x[j * m + irow[i]] = t;
    }
  }
  return (0);
}
```