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

```asm
<def_hat>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0xd8,%rsp
  mov    %edi,-0x94(%rbp)
  mov    %esi,-0x98(%rbp)
  mov    %edx,-0x9c(%rbp)
  mov    %rcx,-0xa8(%rbp)
  mov    %r8,-0xb0(%rbp)
  mov    %r9,-0xb8(%rbp)
  movsd  %xmm0,-0xe8(%rbp)
  mov    0x10(%rbp),%rax
  mov    %rax,-0xc0(%rbp)
  mov    0x18(%rbp),%rax
  mov    %rax,-0xc8(%rbp)
  mov    0x20(%rbp),%rax
  mov    %rax,-0xd0(%rbp)
  mov    0x28(%rbp),%rax
  mov    %rax,-0xd8(%rbp)
  mov    0x30(%rbp),%rax
  mov    %rax,-0xe0(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  mov    %rsp,%rax
  mov    %rax,%rbx
  mov    -0x94(%rbp),%eax
  imul   -0x98(%rbp),%eax
  mov    %eax,-0x80(%rbp)
  mov    -0x98(%rbp),%eax
  add    %eax,%eax
  mov    %eax,-0x78(%rbp)
  mov    -0x9c(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0x68(%rbp)
  movslq %eax,%rdx
  mov    %rdx,-0x100(%rbp)
  movq   $0x0,-0xf8(%rbp)
  movslq %eax,%rdx
  mov    %rdx,%r14
  mov    $0x0,%r15d
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%esi
  mov    $0x0,%edx
  div    %rsi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L148:
  cmp    %rdx,%rsp
  je     L93
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L148
L93:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L89
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L89:
  mov    %rsp,%rax
  add    $0x7,%rax
  shr    $0x3,%rax
  shl    $0x3,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0x58(%rbp)
  movslq %eax,%rdx
  mov    %rdx,%r12
  mov    $0x0,%r13d
  movslq %eax,%rdx
  mov    %rdx,%r10
  mov    $0x0,%r11d
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%edi
  mov    $0x0,%edx
  div    %rdi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L178:
  cmp    %rdx,%rsp
  je     L186
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L178
L186:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L205
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L205:
  mov    %rsp,%rax
  add    $0x7,%rax
  shr    $0x3,%rax
  shl    $0x3,%rax
  mov    %rax,-0x50(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L144
L39:
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rax,%rdx
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xa8(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  movsd  (%rax),%xmm0
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  mov    -0x84(%rbp),%edx
  movslq %edx,%rdx
  movsd  %xmm0,(%rax,%rdx,8)
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x84(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xa8(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  movsd  (%rax),%xmm0
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  mov    -0x84(%rbp),%edx
  movslq %edx,%rdx
  movsd  %xmm0,(%rax,%rdx,8)
  addl   $0x1,-0x84(%rbp)
L144:
  mov    -0x84(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L39
  movl   $0x0,-0x80(%rbp)
  jmp    L33
L54:
  mov    -0x80(%rbp),%edx
  mov    -0x98(%rbp),%eax
  add    %edx,%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%r8
  mov    -0x80(%rbp),%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x94(%rbp),%edi
  mov    -0x50(%rbp),%rdx
  mov    -0x60(%rbp),%rsi
  mov    -0x94(%rbp),%eax
  mov    %edi,%r9d
  mov    %eax,%edi
  call   <update_sincos@plt>
  movl   $0x0,-0x84(%rbp)
  jmp    L239
L254:
  mov    -0x80(%rbp),%edx
  mov    -0x98(%rbp),%eax
  add    %edx,%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x80(%rbp),%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  lea    (%rdx,%rax,1),%r9
  mov    -0x80(%rbp),%edx
  mov    -0x98(%rbp),%eax
  add    %edx,%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x80(%rbp),%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x84(%rbp),%r8d
  mov    -0xc8(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   %rcx
  mov    %rdx,%rcx
  mov    %rdi,%rdx
  mov    %eax,%edi
  call   <calc_dotprod@plt>
  add    $0x10,%rsp
  addl   $0x1,-0x84(%rbp)
L239:
  mov    -0x84(%rbp),%eax
  cmp    -0x9c(%rbp),%eax
  jle    L254
  addl   $0x1,-0x80(%rbp)
L33:
  mov    -0x98(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x80(%rbp)
  jl     L54
  movl   $0x0,-0x84(%rbp)
  jmp    L120
L41:
  mov    -0x80(%rbp),%edx
  mov    -0x98(%rbp),%eax
  add    %edx,%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x80(%rbp),%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  lea    (%rdx,%rax,1),%r9
  mov    -0x80(%rbp),%edx
  mov    -0x98(%rbp),%eax
  add    %edx,%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x80(%rbp),%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x84(%rbp),%r8d
  mov    -0xc8(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   %rcx
  mov    %rdx,%rcx
  mov    %rdi,%rdx
  mov    %eax,%edi
  call   <calc_dotprod@plt>
  add    $0x10,%rsp
  addl   $0x1,-0x84(%rbp)
L120:
  mov    -0x84(%rbp),%eax
  cmp    -0x9c(%rbp),%eax
  jle    L41
  movl   $0x0,-0x80(%rbp)
  jmp    L159
L174:
  mov    -0x80(%rbp),%eax
  mov    %eax,-0x7c(%rbp)
  jmp    L264
L106:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L196
L238:
  mov    -0x80(%rbp),%eax
  imul   -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x7c(%rbp),%eax
  imul   -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  addl   $0x1,-0x84(%rbp)
L196:
  mov    -0x84(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L238
  movl   $0x0,-0x84(%rbp)
  jmp    L203
L20:
  mov    -0x80(%rbp),%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x7c(%rbp),%eax
  imul   -0x74(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x70(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  addl   $0x1,-0x84(%rbp)
L203:
  mov    -0x84(%rbp),%eax
  cmp    -0x9c(%rbp),%eax
  jle    L20
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x7c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x7c(%rbp)
L264:
  mov    -0x7c(%rbp),%eax
  cmp    -0x78(%rbp),%eax
  jl     L106
  addl   $0x1,-0x80(%rbp)
L159:
  mov    -0x80(%rbp),%eax
  cmp    -0x78(%rbp),%eax
  jl     L174
  movl   $0x0,-0x80(%rbp)
  jmp    L125
L192:
  mov    -0x80(%rbp),%eax
  cltd
  idivl  -0x98(%rbp)
  mov    %edx,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D8(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L266
L1:
  mov    -0x80(%rbp),%eax
  imul   -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  addl   $0x1,-0x84(%rbp)
L266:
  mov    -0x84(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L1
  mov    -0x80(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe0(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x70(%rbp),%xmm0
  divsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%eax
  mov    %eax,-0x7c(%rbp)
  jmp    L251
L26:
  mov    -0x7c(%rbp),%eax
  cltd
  idivl  -0x98(%rbp)
  mov    %edx,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D8(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x7c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  -0x40(%rbp),%xmm1
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x7c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x7c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rax,%rdx
  mov    -0x7c(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x80(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xd8(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x7c(%rbp)
L251:
  mov    -0x7c(%rbp),%eax
  cmp    -0x78(%rbp),%eax
  jl     L26
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x80(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x94(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mov    -0x80(%rbp),%eax
  imul   -0x78(%rbp),%eax
  mov    %eax,%edx
  mov    -0x80(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x80(%rbp)
L125:
  mov    -0x80(%rbp),%eax
  cmp    -0x78(%rbp),%eax
  jl     L192
  mov    %rbx,%rsp
  nop
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L88
  call   <__stack_chk_fail@plt>
L88:
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: tag: D8
type: f64

tool: D8: 1

assistant: ```c
void def_hat(int numt, int nharm, int detrend_order, double hat_matr[], double hat0[], double sinx[], double cosx[], double wt[], double cn[], double hat_hat[], double vec[], double lambda0) {
  int i, j = numt * nharm, k, j1, npar = 2 * nharm, dord1 = detrend_order + 1;
  double sx0[numt], cx0[numt], ct, st, sum;
  for (i = 0; i < numt; i++) {
    sx0[i] = (hat_matr[i] = sinx[i]) / wt[i];
    cx0[i] = (hat_matr[i + j] = cosx[i]) / wt[i];
  }
  for (j = 0; j < nharm - 1; j++) {
    update_sincos(numt, sx0, cx0, hat_matr + j * numt, hat_matr + (j + nharm) * numt, numt);
    for (i = 0; i <= detrend_order; i++)
      calc_dotprod(numt, hat_matr + j * numt, hat_matr + (j + nharm) * numt, wt, i, &hat0[i + j * dord1], &hat0[i + (j + nharm) * dord1]);
  }
  for (i = 0; i <= detrend_order; i++)
    calc_dotprod(numt, hat_matr + j * numt, hat_matr + (j + nharm) * numt, wt, i, &hat0[i + j * dord1], &hat0[i + (j + nharm) * dord1]);
  for (j = 0; j < npar; j++) {
    for (k = j; k < npar; k++) {
      for (sum = 0, i = 0; i < numt; i++)
        sum += hat_matr[i + j * numt] * hat_matr[i + k * numt];
      for (i = 0; i <= detrend_order; i++)
        sum -= hat0[i + j * dord1] * hat0[i + k * dord1];
      hat_hat[k + j * npar] = sum;
    }
  }
  for (j = 0; j < npar; j++) {
    ct = (1. + (j % nharm));
    ct *= ct;
    for (sum = 0, i = 0; i < numt; i++)
      sum += hat_matr[i + j * numt] * cn[i];
    vec[j] = sum / ct;
    for (k = j; k < npar; k++) {
      st = (1. + (k % nharm));
      st *= st;
      hat_hat[k + j * npar] /= (ct * st);
      hat_hat[j + k * npar] = hat_hat[k + j * npar];
    }
    hat_hat[j + j * npar] += numt * lambda0;
  }
}
```