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

```asm
<vec4_GetQuaternionRotation>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x18(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  subss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%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    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x28(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm3
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm0,%xmm2
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm3
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm2,%xmm0
  mulss  %xmm0,%xmm1
  movd   %xmm1,%eax
  movd   %eax,%xmm0
  call   <sqrtf@plt>
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  movd   %eax,%xmm0
  call   <sqrtf@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  divss  -0x4(%rbp),%xmm0
  mov    -0x18(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  divss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  nop
  leave
  ret
```

assistant: ```c
void vec4_GetQuaternionRotation(float q[4], float v0[3], float v1[3]) {
  float t;
  {
    (q)[0] = (v0)[1] * (v1)[2] - (v0)[2] * (v1)[1];
    (q)[1] = (v0)[2] * (v1)[0] - (v0)[0] * (v1)[2];
    (q)[2] = (v0)[0] * (v1)[1] - (v0)[1] * (v1)[0];
  };
  q[3] = ((v0)[0] * (v1)[0] + (v0)[1] * (v1)[1] + (v0)[2] * (v1)[2]);
  q[3] += sqrtf(((v0)[0] * (v0)[0] + (v0)[1] * (v0)[1] + (v0)[2] * (v0)[2]) * ((v1)[0] * (v1)[0] + (v1)[1] * (v1)[1] + (v1)[2] * (v1)[2]));
  t = (sqrtf((q)[0] * (q)[0] + (q)[1] * (q)[1] + (q)[2] * (q)[2] + (q)[3] * (q)[3]));
  q[0] /= t;
  q[1] /= t;
  q[2] /= t;
  q[3] /= t;
}
```