user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<contr_kinetic>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %edi,-0x14(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    %rcx,-0x30(%rbp)
  movsd  %xmm0,-0x38(%rbp)
  movsd  %xmm1,-0x40(%rbp)
  movsd  %xmm2,-0x48(%rbp)
  mov    %r8,-0x50(%rbp)
  mov    %r9,-0x58(%rbp)
  movsd  %xmm3,-0x60(%rbp)
  movsd  %xmm4,-0x68(%rbp)
  movsd  %xmm5,-0x70(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x0,-0x10(%rbp)
  jmp    L9
L6:
  movl   $0x0,-0xc(%rbp)
  jmp    L16
L32:
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x78(%rbp)
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r9d
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%r8d
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    0x38(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  mov    (%rax),%esi
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdi
  mov    -0x50(%rbp),%rax
  add    %rdi,%rax
  mov    (%rax),%edi
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%r10
  mov    -0x20(%rbp),%rax
  add    %r10,%rax
  mov    (%rax),%rax
  movsd  -0x70(%rbp),%xmm6
  movsd  -0x68(%rbp),%xmm5
  movsd  -0x60(%rbp),%xmm4
  movsd  -0x48(%rbp),%xmm2
  movsd  -0x40(%rbp),%xmm1
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm6,%xmm7
  movapd %xmm5,%xmm6
  movapd %xmm4,%xmm5
  movapd %xmm3,%xmm4
  movapd %xmm2,%xmm3
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <kinetic@plt>
  mulsd  -0x78(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  addl   $0x1,-0xc(%rbp)
L16:
  mov    -0xc(%rbp),%eax
  cmp    0x18(%rbp),%eax
  jl     L32
  addl   $0x1,-0x10(%rbp)
L9:
  mov    -0x10(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  jl     L6
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

assistant: ```c
double contr_kinetic(int lena, double *aexps, double *acoefs, double *anorms, double xa, double ya, double za, int *la, int *ma, int *na, int lenb, double *bexps, double *bcoefs, double *bnorms, double xb, double yb, double zb, int *lb, int *mb, int *nb) {
  double val = 0.0;
  int i, j;
  for (i = 0; i < lena; i++) {
    for (j = 0; j < lenb; j++) {
      val += acoefs[i] * bcoefs[j] * anorms[i] * bnorms[j] * kinetic(aexps[i], la[i], ma[i], na[i], xa, ya, za, bexps[j], lb[j], mb[j], nb[j], xb, yb, zb);
    }
  }
  return val;
}
```