user: 这段汇编代码用C语言表示是什么样的？

```asm
<getK>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    %rcx,-0x50(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  imul   %eax,%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x8(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L85
L97:
  movl   $0x0,-0x28(%rbp)
  jmp    L58
L8:
  movl   $0x0,-0x1c(%rbp)
  movl   $0x0,-0x24(%rbp)
  jmp    L34
L73:
  movl   $0x0,-0x20(%rbp)
  jmp    L81
L42:
  mov    -0x20(%rbp),%ecx
  mov    -0x28(%rbp),%edx
  mov    -0x24(%rbp),%esi
  mov    -0x2c(%rbp),%eax
  mov    %eax,%edi
  call   <ijkl2intindex@plt>
  mov    %eax,-0x18(%rbp)
  mov    -0x24(%rbp),%ecx
  mov    -0x28(%rbp),%edx
  mov    -0x20(%rbp),%esi
  mov    -0x2c(%rbp),%eax
  mov    %eax,%edi
  call   <ijkl2intindex@plt>
  mov    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movsd  D5(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x1c(%rbp)
  addl   $0x1,-0x20(%rbp)
L81:
  mov    -0x20(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L42
  addl   $0x1,-0x24(%rbp)
L34:
  mov    -0x24(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L73
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movl   $0x0,-0x1c(%rbp)
  jmp    L61
L12:
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  addl   $0x1,-0x1c(%rbp)
L61:
  mov    -0x34(%rbp),%eax
  imul   %eax,%eax
  cmp    %eax,-0x1c(%rbp)
  jl     L12
  mov    -0x28(%rbp),%eax
  imul   -0x34(%rbp),%eax
  mov    %eax,%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x2c(%rbp),%eax
  imul   -0x34(%rbp),%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x28(%rbp)
L58:
  mov    -0x2c(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jge    L8
  addl   $0x1,-0x2c(%rbp)
L85:
  mov    -0x2c(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L97
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D5
type: f64

tool: D5: 0.5

assistant: ```c
void getK(int nbf, double *D, double *Ints, double *K) {
  int i, j, k, l, kl, ikjl, iljk;
  double *tmp;
  double val = 0.;
  tmp = (double *)malloc(nbf * nbf * sizeof(double));
  for (i = 0; i < nbf; i++) {
    for (j = 0; j < i + 1; j++) {
      kl = 0;
      for (k = 0; k < nbf; k++) {
        for (l = 0; l < nbf; l++) {
          ikjl = ijkl2intindex(i, k, j, l);
          iljk = ijkl2intindex(i, l, j, k);
          tmp[kl] = 0.5 * (Ints[ikjl] + Ints[iljk]);
          kl += 1;
        }
      }
      val = 0;
      for (kl = 0; kl < nbf * nbf; kl++)
        val += tmp[kl] * D[kl];
      K[i + j * nbf] = val;
      K[j + i * nbf] = val;
    }
  }
  free(tmp);
}
```