user: What is the c source code of the assembly code below?

```asm
<matrix_product>:
  endbr64
  push   %r15
  push   %r14
  mov    %rdx,%r14
  push   %r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  mov    %rdi,%rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  cmp    $0x4,%ecx
  sete   %al
  cmp    $0x4,%r8d
  jne    L143
  test   %al,%al
  jne    L197
L143:
  cmp    $0x9,%ecx
  sete   %dl
  cmp    $0x9,%r8d
  jne    L45
  test   %dl,%dl
  je     L45
  mov    $0x1,%edi
  mov    $0x3,%ebx
  mov    $0x3,%r15d
  mov    $0x3,%r9d
  mov    $0x3,%r13d
L83:
  mov    %r9d,0xc(%rsp)
  call   <assert@plt>
  lea    0x14(%rsp),%rdx
  mov    %r13d,%r8d
  mov    %r12,%rcx
  lea    0x10(%rsp),%rsi
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  push   %rbx
  push   %r15
  push   %r14
  mov    0x2c(%rsp),%r9d
  call   <matrix_product_clean@plt>
  mov    0x30(%rsp),%eax
  imul   0x34(%rsp),%eax
  add    $0x20,%rsp
L211:
  mov    0x18(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L66
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L197:
  mov    $0x1,%edi
  mov    $0x2,%ebx
  mov    $0x2,%r15d
  mov    $0x2,%r9d
  mov    $0x2,%r13d
  jmp    L83
  nopl   0x0(%rax)
L45:
  cmp    $0x10,%ecx
  jne    L178
  cmp    $0x10,%r8d
  jne    L178
  mov    $0x1,%edi
  mov    $0x4,%ebx
  mov    $0x4,%r15d
  mov    $0x4,%r9d
  mov    $0x4,%r13d
  jmp    L83
  nopl   0x0(%rax)
L178:
  cmp    $0x3,%r8d
  jne    L192
  test   %dl,%dl
  je     L192
  mov    $0x1,%edi
  mov    $0x1,%ebx
  mov    $0x3,%r15d
  mov    $0x3,%r9d
  mov    $0x3,%r13d
  jmp    L83
  nopl   0x0(%rax,%rax,1)
L192:
  cmp    $0x2,%r8d
  sete   %dl
  test   %al,%al
  je     L191
  test   %dl,%dl
  je     L191
  mov    $0x1,%edi
  mov    $0x1,%ebx
  mov    $0x2,%r15d
  mov    $0x2,%r9d
  mov    $0x2,%r13d
  jmp    L83
L191:
  cmp    $0x1,%ecx
  jne    L128
  cmp    $0x1,%r8d
  jne    L128
  mov    $0x1,%edi
  mov    $0x1,%ebx
  mov    $0x1,%r15d
  mov    $0x1,%r9d
  mov    $0x1,%r13d
  jmp    L83
  nopl   0x0(%rax)
L128:
  cmp    $0x6,%ecx
  jne    L32
  test   %dl,%dl
  je     L32
  movss  (%r12),%xmm0
  mulss  (%r14),%xmm0
  mov    $0x2,%eax
  movss  0x4(%r12),%xmm1
  mulss  0x4(%r14),%xmm1
  addss  %xmm1,%xmm0
  addss  0x8(%r12),%xmm0
  movss  %xmm0,0x0(%rbp)
  movss  0xc(%r12),%xmm0
  movss  0x10(%r12),%xmm1
  mulss  (%r14),%xmm0
  mulss  0x4(%r14),%xmm1
  addss  %xmm1,%xmm0
  addss  0x14(%r12),%xmm0
  movss  %xmm0,0x4(%rbp)
  jmp    L211
  nopl   0x0(%rax)
L32:
  lea    D3(%rip),%rdi
  mov    %r8d,%edx
  mov    %ecx,%esi
  xor    %r15d,%r15d
  call   <fail@plt>
  xor    %r9d,%r9d
  mov    $0x1,%edi
  jmp    L83
L66:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: data_tag: D3
type_infered: string

tool: D3: bad matrix product (%d %d)

assistant: ```c
int matrix_product(float *ab, float *a, float *b, int na, int nb) {
  int a_nrows, a_ncols, b_nrows, b_ncols;
  if (na == 4 && nb == 4) {
    a_nrows = a_ncols = b_nrows = b_ncols = 2;
  } else if (na == 9 && nb == 9) {
    a_nrows = a_ncols = b_nrows = b_ncols = 3;
  } else if (na == 16 && nb == 16) {
    a_nrows = a_ncols = b_nrows = b_ncols = 4;
  } else if (na == 9 && nb == 3) {
    a_nrows = a_ncols = b_nrows = 3;
    b_ncols = 1;
  } else if (na == 4 && nb == 2) {
    a_nrows = a_ncols = b_nrows = 2;
    b_ncols = 1;
  } else if (na == 1 && nb == 1) {
    a_nrows = a_ncols = b_nrows = b_ncols = 1;
  } else if (na == 6 && nb == 2) {
    ab[0] = a[0] * b[0] + a[1] * b[1] + a[2];
    ab[1] = a[3] * b[0] + a[4] * b[1] + a[5];
    return 2;
  } else
    fail("bad matrix product (%d %d)", na, nb);
  assert(a_ncols == b_nrows);
  int ab_nrows, ab_ncols;
  matrix_product_clean(ab, &ab_nrows, &ab_ncols, a, a_nrows, a_ncols, b, b_nrows, b_ncols);
  return ab_nrows * ab_ncols;
}
```