user: Converte this assembly snippet into its equivalent C code:

```asm
<glmGenerateShadowMatrix4f>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    %rcx,-0x30(%rbp)
  mov    -0x28(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <glmDotProduct3f@plt>
  movd   %xmm0,%eax
  movss  D55(%rip),%xmm0
  movd   %eax,%xmm3
  xorps  %xmm0,%xmm3
  movaps %xmm3,%xmm0
  movss  %xmm0,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  -0x8(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  movss  -0x4(%rbp),%xmm0
  subss  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x10,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x20,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x30,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x14,%rax
  movss  -0x4(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x24,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x34,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x18,%rax
  mulss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x28,%rax
  movss  -0x4(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x38,%rax
  mulss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x1c,%rax
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x2c,%rax
  movss  D55(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x3c,%rax
  movss  -0x4(%rbp),%xmm0
  subss  -0x8(%rbp),%xmm0
  movss  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D55
type: byte[4]

tool: {"D55": [0x00,0x00,0x00,0x80]}

assistant: ```c
void glmGenerateShadowMatrix4f(float m[16], const float planeOrigin[3], const float planeNormal[3], const float light[3]) {
  float d = -glmDotProduct3f(planeOrigin, planeNormal);
  float p = light[0] * planeNormal[0] + light[1] * planeNormal[1] + light[2] * planeNormal[2] + d;
  m[0] = p - light[0] * planeNormal[0];
  m[4] = -light[0] * planeNormal[1];
  m[8] = -light[0] * planeNormal[2];
  m[12] = -light[0] * d;
  m[1] = -light[1] * planeNormal[0];
  m[5] = p - light[1] * planeNormal[1];
  m[9] = -light[1] * planeNormal[2];
  m[13] = -light[1] * d;
  m[2] = -light[2] * planeNormal[0];
  m[6] = -light[2] * planeNormal[1];
  m[10] = p - light[2] * planeNormal[2];
  m[14] = -light[2] * d;
  m[3] = -planeNormal[0];
  m[7] = -planeNormal[1];
  m[11] = -planeNormal[2];
  m[15] = p - d;
}
```