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

```asm
<Hdetect>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x4d8,%rsp
  mov    %rdi,%rbx
  mov    %rsi,0x8(%rsp)
  mov    %rdx,%r12
  mov    %rcx,%rbp
  mov    %fs:0x28,%rax
  mov    %rax,0x4c8(%rsp)
  xor    %eax,%eax
  lea    0x340(%rsp),%r13
  mov    $0x3,%ecx
  mov    $0x3,%edx
  mov    %rdi,%rsi
  mov    %r13,%rdi
  call   <mattr@plt>
  lea    0x390(%rsp),%r14
  mov    $0x48,%edx
  mov    %rbx,%rsi
  mov    %r14,%rdi
  call   <memcpy@plt>
  lea    0x70(%rsp),%rdx
  lea    0x10(%rsp),%rdi
  mov    $0x3,%r9d
  lea    0xc0(%rsp),%r8
  mov    $0x3,%ecx
  mov    %r14,%rsi
  call   <svduv@plt>
  movsd  0xd0(%rsp),%xmm0
  movsd  %xmm0,0x30(%rsp)
  movsd  0xe8(%rsp),%xmm0
  movsd  %xmm0,0x38(%rsp)
  movsd  0x100(%rsp),%xmm0
  movsd  %xmm0,0x40(%rsp)
  lea    0x110(%rsp),%rbx
  lea    0x30(%rsp),%rdi
  mov    %rbx,%rsi
  call   <skew_sym@plt>
  lea    0x160(%rsp),%r14
  mov    $0x3,%ecx
  mov    %r13,%rdx
  mov    %rbx,%rsi
  mov    %r14,%rdi
  call   <mmul@plt>
  lea    0x200(%rsp),%r15
  lea    0x1b0(%rsp),%r13
  mov    %r15,%rcx
  mov    %r13,%rdx
  mov    %r12,%rsi
  mov    0x8(%rsp),%rdi
  call   <fillu3@plt>
  lea    0x2f0(%rsp),%r12
  mov    $0x3,%ecx
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r12,%rdi
  call   <mmul@plt>
  lea    0x250(%rsp),%r14
  mov    $0x3,%ecx
  mov    $0x3,%edx
  mov    %r13,%rsi
  mov    %r14,%rdi
  call   <mattr@plt>
  lea    0x2a0(%rsp),%r13
  mov    $0x3,%ecx
  mov    $0x3,%edx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <mattr@plt>
  lea    0x430(%rsp),%r12
  mov    %r13,%rdx
  mov    %r14,%rsi
  mov    %r12,%rdi
  call   <crossp@plt>
  lea    0x2b8(%rsp),%rdx
  lea    0x268(%rsp),%rsi
  lea    0x448(%rsp),%rdi
  call   <crossp@plt>
  lea    0x2d0(%rsp),%rdx
  lea    0x280(%rsp),%rsi
  lea    0x460(%rsp),%rdi
  call   <crossp@plt>
  lea    0x3e0(%rsp),%rdi
  mov    $0x3,%ecx
  mov    $0x3,%edx
  mov    %r12,%rsi
  call   <mattr@plt>
  lea    0x158(%rsp),%rax
  movq   D18(%rip),%xmm1
L14:
  movsd  (%rbx),%xmm0
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rbx)
  add    $0x8,%rbx
  cmp    %rax,%rbx
  jne    L14
  lea    0x1b0(%rsp),%rdx
  lea    0x110(%rsp),%rsi
  lea    0x480(%rsp),%rdi
  mov    $0x3,%ecx
  call   <mmul@plt>
  movsd  0x480(%rsp),%xmm0
  movsd  0x498(%rsp),%xmm3
  movsd  0x4b0(%rsp),%xmm2
  movapd %xmm0,%xmm1
  mulsd  0x3e0(%rsp),%xmm1
  movapd %xmm3,%xmm4
  mulsd  0x3f8(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  movapd %xmm2,%xmm4
  mulsd  0x410(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  mulsd  %xmm0,%xmm0
  mulsd  %xmm3,%xmm3
  addsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm2
  addsd  %xmm2,%xmm0
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x50(%rsp)
  movsd  0x488(%rsp),%xmm0
  movsd  0x4a0(%rsp),%xmm3
  movsd  0x4b8(%rsp),%xmm2
  movapd %xmm0,%xmm1
  mulsd  0x3e8(%rsp),%xmm1
  movapd %xmm3,%xmm4
  mulsd  0x400(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  movapd %xmm2,%xmm4
  mulsd  0x418(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  mulsd  %xmm0,%xmm0
  mulsd  %xmm3,%xmm3
  addsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm2
  addsd  %xmm2,%xmm0
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x58(%rsp)
  movsd  0x490(%rsp),%xmm0
  movsd  0x4a8(%rsp),%xmm3
  movsd  0x4c0(%rsp),%xmm2
  movapd %xmm0,%xmm1
  mulsd  0x3f0(%rsp),%xmm1
  movapd %xmm3,%xmm4
  mulsd  0x408(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  movapd %xmm2,%xmm4
  mulsd  0x420(%rsp),%xmm4
  addsd  %xmm4,%xmm1
  mulsd  %xmm0,%xmm0
  mulsd  %xmm3,%xmm3
  addsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm2
  addsd  %xmm2,%xmm0
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x60(%rsp)
  lea    0x200(%rsp),%r12
  lea    0x2a0(%rsp),%r13
  mov    $0x3,%ecx
  mov    $0x3,%edx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <mattr@plt>
  mov    $0x3,%esi
  mov    %r13,%rdi
  call   <minv@plt>
  mov    %eax,%ebx
  lea    0x50(%rsp),%rdx
  mov    $0x1,%r9d
  mov    $0x3,%r8d
  mov    $0x3,%ecx
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <rmmult@plt>
  mov    $0x1,%ecx
  mov    $0x3,%edx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <mattr@plt>
  lea    0x30(%rsp),%rsi
  mov    $0x3,%r9d
  mov    $0x1,%r8d
  mov    $0x3,%ecx
  mov    %r13,%rdx
  mov    %r12,%rdi
  call   <rmmult@plt>
  lea    0x160(%rsp),%rsi
  mov    %r12,%rcx
  mov    $0x0,%edi
  jmp    L22
L66:
  add    $0x1,%rdi
  add    $0x18,%rsi
  add    $0x18,%rcx
  cmp    $0x3,%rdi
  je     L58
L22:
  lea    0x0(%rbp,%rdi,8),%rdx
  mov    $0x0,%eax
L96:
  movsd  (%rsi,%rax,1),%xmm0
  subsd  (%rcx,%rax,1),%xmm0
  movsd  %xmm0,(%rdx)
  add    $0x18,%rdx
  add    $0x8,%rax
  cmp    $0x18,%rax
  jne    L96
  jmp    L66
L58:
  movsd  0x0(%rbp),%xmm0
  call   <isnan@plt>
  test   %rax,%rax
  je     L42
L90:
  movq   $0x0,0x38(%rbp)
  movq   $0x0,0x30(%rbp)
  movq   $0x0,0x28(%rbp)
  movq   $0x0,0x18(%rbp)
  movq   $0x0,0x10(%rbp)
  movq   $0x0,0x8(%rbp)
  movsd  D13(%rip),%xmm0
  movsd  %xmm0,0x40(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm0,0x0(%rbp)
L15:
  mov    0x4c8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L34
  add    $0x4d8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L42:
  movsd  0x0(%rbp),%xmm0
  call   <isinf@plt>
  test   %bl,%bl
  jne    L90
  test   %rax,%rax
  jne    L90
  jmp    L15
L34:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D18
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_label: D13
type_infered: byte[8]

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

tool: {"D13": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void Hdetect(double *F, double *u7, unsigned char *IDXS, double *H) {
  double D[3], U[3 * 3], V[3 * 3], ec[3], Ex[3 * 3], A[3 * 3], u3a[3 * 3], u3b[3 * 3], u3aT[3 * 3], u3bT[3 * 3], Au3b[3 * 3], Ft[3 * 3], F1[3 * 3], p1[3 * 3], p1T[3 * 3], p2[3 * 3], b[3];
  unsigned char i, j, sing;
  mattr(Ft, F, 3, 3);
  memcpy(F1, F, 3 * 3 * sizeof(double));
  svduv(D, F1, U, 3, V, 3);
  ec[0] = V[2];
  ec[1] = V[5];
  ec[2] = V[8];
  skew_sym(ec, Ex);
  mmul(A, Ex, Ft, 3);
  fillu3(u7, IDXS, u3a, u3b);
  mmul(Au3b, A, u3b, 3);
  mattr(u3aT, u3a, 3, 3);
  mattr(u3bT, Au3b, 3, 3);
  crossp(p1T, u3aT, u3bT);
  crossp(p1T + 3, u3aT + 3, u3bT + 3);
  crossp(p1T + 6, u3aT + 6, u3bT + 6);
  mattr(p1, p1T, 3, 3);
  for (i = 0; i < 9; ++i) {
    Ex[i] *= -1;
  }
  mmul(p2, Ex, u3a, 3);
  b[0] = (p1[0] * p2[0] + p1[3] * p2[3] + p1[6] * p2[6]) / (p2[0] * p2[0] + p2[3] * p2[3] + p2[6] * p2[6]);
  b[1] = (p1[1] * p2[1] + p1[4] * p2[4] + p1[7] * p2[7]) / (p2[1] * p2[1] + p2[4] * p2[4] + p2[7] * p2[7]);
  b[2] = (p1[2] * p2[2] + p1[5] * p2[5] + p1[8] * p2[8]) / (p2[2] * p2[2] + p2[5] * p2[5] + p2[8] * p2[8]);
  mattr(u3bT, u3b, 3, 3);
  sing = minv(u3bT, 3);
  rmmult(u3b, u3bT, b, 3, 3, 1);
  mattr(u3bT, u3b, 3, 1);
  rmmult(u3b, ec, u3bT, 3, 1, 3);
  for (i = 0; i < 3; ++i) {
    for (j = 0; j < 3; ++j) {
      H[i + j * 3] = A[i * 3 + j] - u3b[i * 3 + j];
    }
  }
  if (isnan(*H) || isinf(*H) || sing) {
    H[1] = H[2] = H[3] = H[5] = H[6] = H[7] = 0;
    H[0] = H[4] = H[8] = 1;
  }
}
```