user: 请从给定的汇编指令推导出C源代码：

```asm
<vec4_transformQuat>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    -0x38(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  mov    -0x38(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x28(%rbp)
  mov    -0x38(%rbp),%rax
  movss  0x8(%rax),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0x4(%rax),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0x8(%rax),%xmm0
  movss  %xmm0,-0x18(%rbp)
  mov    -0x40(%rbp),%rax
  movss  0xc(%rax),%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x14(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  -0x18(%rbp),%xmm1
  mulss  -0x28(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movss  -0x14(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x28(%rbp),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  -0x20(%rbp),%xmm1
  mulss  -0x24(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0xc(%rbp)
  movss  -0x14(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x24(%rbp),%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  -0x1c(%rbp),%xmm1
  mulss  -0x2c(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x8(%rbp)
  movss  -0x20(%rbp),%xmm0
  movss  D30(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mulss  -0x2c(%rbp),%xmm0
  movss  -0x1c(%rbp),%xmm1
  mulss  -0x28(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  -0x18(%rbp),%xmm1
  mulss  -0x24(%rbp),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  movss  -0x10(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x14(%rbp),%xmm1
  movss  -0x20(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0x4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0xc(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x8(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x38(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0xc(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x14(%rbp),%xmm1
  movss  -0x1c(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0x4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0x8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x10(%rbp),%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x8(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x14(%rbp),%xmm1
  movss  -0x18(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0x4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  movss  D30(%rip),%xmm2
  xorps  %xmm2,%xmm0
  mulss  -0x10(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0xc(%rbp),%xmm0
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x38(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x38(%rbp),%rax
  movss  0xc(%rax),%xmm0
  movss  %xmm0,(%rdx)
  nop
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: data_label: D30
data_type: byte[4]

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

assistant: ```c
void vec4_transformQuat(float *dst, float *q) {
  float x = dst[0], y = dst[1], z = dst[2];
  float qx = q[0], qy = q[1], qz = q[2], qw = q[3];
  float ix = qw * x + qy * z - qz * y;
  float iy = qw * y + qz * x - qx * z;
  float iz = qw * z + qx * y - qy * x;
  float iw = -qx * x - qy * y - qz * z;
  dst[0] = ix * qw + iw * -qx + iy * -qz - iz * -qy;
  dst[1] = iy * qw + iw * -qy + iz * -qx - ix * -qz;
  dst[2] = iz * qw + iw * -qz + ix * -qy - iy * -qx;
  dst[3] = dst[3];
}
```