user: 下面的汇编指令对应的C源代码是什么：

```asm
<build_rotmatrix>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  mov    -0x8(%rbp),%rax
  movsd  %xmm0,0x8(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  mov    -0x8(%rbp),%rax
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  addsd  %xmm0,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  addsd  %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  addsd  %xmm0,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x60,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x60,%rax
  movsd  D5(%rip),%xmm0
  movsd  %xmm0,0x18(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: label: D5
type_infered: f64

tool: D5: 1

assistant: ```c
void build_rotmatrix(double m[4][4], double quat[4]) {
  m[0][0] = ((quat[3]) * (quat[3])) + ((quat[0]) * (quat[0])) - ((quat[1]) * (quat[1])) - ((quat[2]) * (quat[2]));
  m[0][1] = 2.0 * (quat[0] * quat[1] - quat[2] * quat[3]);
  m[0][2] = 2.0 * (quat[2] * quat[0] + quat[1] * quat[3]);
  m[0][3] = 0.0;
  m[1][0] = 2.0 * (quat[0] * quat[1] + quat[2] * quat[3]);
  m[1][1] = ((quat[3]) * (quat[3])) - ((quat[0]) * (quat[0])) + ((quat[1]) * (quat[1])) - ((quat[2]) * (quat[2]));
  m[1][2] = 2.0 * (quat[1] * quat[2] - quat[0] * quat[3]);
  m[1][3] = 0.0;
  m[2][0] = 2.0 * (quat[2] * quat[0] - quat[1] * quat[3]);
  m[2][1] = 2.0 * (quat[1] * quat[2] + quat[0] * quat[3]);
  m[2][2] = ((quat[3]) * (quat[3])) - ((quat[0]) * (quat[0])) - ((quat[1]) * (quat[1])) + ((quat[2]) * (quat[2]));
  m[2][3] = 0.0;
  m[3][0] = 0.0;
  m[3][1] = 0.0;
  m[3][2] = 0.0;
  m[3][3] = 1.0;
}
```