user: 下面的汇编指令对应的C源代码是什么:

```asm
<nx_dmat3_inv>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x38(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x30(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x18(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movq   D44(%rip),%xmm1
  andpd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jbe    L1
  movsd  D30(%rip),%xmm0
  divsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x48(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movq   D29(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x8,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x10,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movq   D29(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  -0x18(%rbp),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x20,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  -0x20(%rbp),%xmm0
  movq   D29(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x28,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x30,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x28(%rbp),%xmm0
  movq   D29(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x38,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x40,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L1:
  movsd  -0x10(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D44
type_guessed: qword
name: retrieve_data
arguments: data_label: D30
type_guessed: f64
name: retrieve_data
arguments: data_label: D29
type_guessed: f32[2]

tool: D44: 9223372036854775807

tool: D30: 1

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

assistant: ```c
double nx_dmat3_inv(double *M3i, const double *M3) {
  const double t4 = M3[0] * M3[4];
  const double t6 = M3[0] * M3[7];
  const double t8 = M3[3] * M3[1];
  const double t10 = M3[6] * M3[1];
  const double t12 = M3[3] * M3[2];
  const double t14 = M3[6] * M3[2];
  double detM3 = t4 * M3[8] - t6 * M3[5] - t8 * M3[8] + t10 * M3[5] + t12 * M3[7] - t14 * M3[4];
  if (fabs(detM3) > 0.0) {
    const double t17 = 1.0 / detM3;
    M3i[0] = (M3[4] * M3[8] - M3[7] * M3[5]) * t17;
    M3i[1] = -(M3[1] * M3[8] - M3[7] * M3[2]) * t17;
    M3i[2] = (M3[1] * M3[5] - M3[4] * M3[2]) * t17;
    M3i[3] = -(M3[3] * M3[8] - M3[6] * M3[5]) * t17;
    M3i[4] = (M3[0] * M3[8] - t14) * t17;
    M3i[5] = -(M3[0] * M3[5] - t12) * t17;
    M3i[6] = (M3[3] * M3[7] - M3[6] * M3[4]) * t17;
    M3i[7] = -(t6 - t10) * t17;
    M3i[8] = (t4 - t8) * t17;
  }
  return detM3;
}
```