user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<floats_mat33_sym_solve>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xb0,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    %esi,-0x8c(%rbp)
  mov    %edx,-0x90(%rbp)
  mov    %rcx,-0x98(%rbp)
  mov    %r8d,-0x9c(%rbp)
  mov    %r9d,-0xa0(%rbp)
  mov    0x10(%rbp),%rax
  mov    %rax,-0xa8(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x8c(%rbp),%eax
  cmp    -0x90(%rbp),%eax
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x3,-0x90(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x3,-0x9c(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x1,-0xa0(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x3,0x18(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x1,0x20(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  lea    -0x60(%rbp),%rdx
  mov    -0x88(%rbp),%rax
  mov    $0x3,%r9d
  mov    $0x3,%r8d
  mov    %rdx,%rcx
  mov    $0x3,%edx
  mov    $0x3,%esi
  mov    %rax,%rdi
  call   <floats_mat33_chol@plt>
  lea    -0x30(%rbp),%rdx
  lea    -0x60(%rbp),%rax
  mov    $0x3,%r9d
  mov    $0x3,%r8d
  mov    %rdx,%rcx
  mov    $0x3,%edx
  mov    $0x3,%esi
  mov    %rax,%rdi
  call   <floats_mat33_lower_tri_inv@plt>
  movss  -0x30(%rbp),%xmm1
  mov    -0x98(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movss  -0x24(%rbp),%xmm1
  mov    -0x98(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm2
  mov    -0x98(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movss  -0x18(%rbp),%xmm1
  mov    -0x98(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm2
  mov    -0x98(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x10(%rbp),%xmm2
  mov    -0x98(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movss  -0x30(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtss2sd %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movsd  -0x78(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movsd  -0x70(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    -0xa8(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x20(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtss2sd %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movsd  -0x70(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0xa8(%rbp),%rax
  add    $0x4,%rax
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x10(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtss2sd %xmm0,%xmm1
  movsd  -0x70(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xa8(%rbp),%rax
  add    $0x8,%rax
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

assistant: ```c
void floats_mat33_sym_solve(const float *A, int Arows, int Acols, const float *B, int Brows, int Bcols, float *R, int Rrows, int Rcols) {
  assert(Arows == Acols);
  assert(Acols == 3);
  assert(Brows == 3);
  assert(Bcols == 1);
  assert(Rrows == 3);
  assert(Rcols == 1);
  float L[9];
  floats_mat33_chol(A, 3, 3, L, 3, 3);
  float M[9];
  floats_mat33_lower_tri_inv(L, 3, 3, M, 3, 3);
  double tmp[3];
  tmp[0] = M[0] * B[0];
  tmp[1] = M[3] * B[0] + M[4] * B[1];
  tmp[2] = M[6] * B[0] + M[7] * B[1] + M[8] * B[2];
  R[0] = (float)(M[0] * tmp[0] + M[3] * tmp[1] + M[6] * tmp[2]);
  R[1] = (float)(M[4] * tmp[1] + M[7] * tmp[2]);
  R[2] = (float)(M[8] * tmp[2]);
}
```