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

```asm
<invert8>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  mov    -0x40(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  movss  -0xc(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  movss  -0x18(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0xc,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  movss  -0xc(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x10,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  movss  -0x18(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x14,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x18,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x1c,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  mov    -0x38(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x20,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  movss  -0xc(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x24,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm2
  movss  -0x18(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x28,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x2c,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  movss  -0xc(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  movss  -0x14(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x30,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  movss  -0xc(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  movss  -0x18(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x34,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  movss  -0x10(%rbp),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x40(%rbp),%rax
  add    $0x38,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  movss  -0x1c(%rbp),%xmm1
  mulss  %xmm1,%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  movss  -0x20(%rbp),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x40(%rbp),%rax
  add    $0x3c,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm2
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm2
  mov    -0x40(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x38(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm2
  mov    -0x40(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x28(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0x28(%rbp),%xmm0
  jp     L5
  pxor   %xmm0,%xmm0
  ucomiss -0x28(%rbp),%xmm0
  jne    L5
  pxor   %xmm0,%xmm0
  jmp    L29
L5:
  movss  D4(%rip),%xmm0
  divss  -0x28(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L7
L21:
  mov    -0x2c(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x2c(%rbp),%eax
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mulss  -0x24(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x2c(%rbp)
L7:
  cmpl   $0x10,-0x2c(%rbp)
  jne    L21
  movss  -0x28(%rbp),%xmm0
L29:
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L27
  call   <__stack_chk_fail@plt>
L27:
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: label: D4
type_guessed: f32

tool: D4: 1

assistant: ```c
float invert8(float const s[16], float d[16]) {
  float t[6], det, scale;
  unsigned i;
  t[0] = s[2] * s[7] - s[6] * s[3];
  t[1] = s[2] * s[11] - s[10] * s[3];
  t[2] = s[2] * s[15] - s[14] * s[3];
  t[3] = s[6] * s[11] - s[10] * s[7];
  t[4] = s[6] * s[15] - s[14] * s[7];
  t[5] = s[10] * s[15] - s[14] * s[11];
  d[0] = s[5] * t[5] - s[9] * t[4] + s[13] * t[3];
  d[1] = s[9] * t[2] - s[13] * t[1] - s[1] * t[5];
  d[2] = s[13] * t[0] - s[5] * t[2] + s[1] * t[4];
  d[3] = s[5] * t[1] - s[1] * t[3] - s[9] * t[0];
  d[4] = s[8] * t[4] - s[4] * t[5] - s[12] * t[3];
  d[5] = s[0] * t[5] - s[8] * t[2] + s[12] * t[1];
  d[6] = s[4] * t[2] - s[12] * t[0] - s[0] * t[4];
  d[7] = s[0] * t[3] - s[4] * t[1] + s[8] * t[0];
  t[0] = s[0] * s[5] - s[4] * s[1];
  t[1] = s[0] * s[9] - s[8] * s[1];
  t[2] = s[0] * s[13] - s[12] * s[1];
  t[3] = s[4] * s[9] - s[8] * s[5];
  t[4] = s[4] * s[13] - s[12] * s[5];
  t[5] = s[8] * s[13] - s[12] * s[9];
  d[8] = s[7] * t[5] - s[11] * t[4] + s[15] * t[3];
  d[9] = s[11] * t[2] - s[15] * t[1] - s[3] * t[5];
  d[10] = s[15] * t[0] - s[7] * t[2] + s[3] * t[4];
  d[11] = s[7] * t[1] - s[3] * t[3] - s[11] * t[0];
  d[12] = s[10] * t[4] - s[6] * t[5] - s[14] * t[3];
  d[13] = s[2] * t[5] - s[10] * t[2] + s[14] * t[1];
  d[14] = s[6] * t[2] - s[14] * t[0] - s[2] * t[4];
  d[15] = s[2] * t[3] - s[6] * t[1] + s[10] * t[0];
  det = s[0] * d[0] + s[4] * d[1] + s[8] * d[2] + s[12] * d[3];
  if (det == 0)
    return 0;
  scale = (float)1.0 / det;
  for (i = 0; i != 16; ++i) {
    d[i] *= scale;
  }
  return det;
}
```