user: 请从给定的汇编指令推导出C源代码:

```asm
<get_Delaunay_shortest_vectors>:
  endbr64
  push   %r15
  push   %r14
  mov    %rdi,%r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x148,%rsp
  movdqu 0x10(%rdi),%xmm6
  movdqu (%rdi),%xmm5
  movsd  %xmm0,0x18(%rsp)
  movsd  0x18(%rdi),%xmm1
  movsd  0x20(%rdi),%xmm4
  lea    0x120(%rsp),%r12
  mov    %fs:0x28,%rax
  mov    %rax,0x138(%rsp)
  xor    %eax,%eax
  movaps %xmm6,0xa0(%rsp)
  movdqu 0x40(%rdi),%xmm6
  movdqu 0x20(%rdi),%xmm3
  movaps %xmm5,0x90(%rsp)
  movapd %xmm1,%xmm0
  movdqu 0x30(%rdi),%xmm5
  lea    0x90(%rsp),%rax
  movaps %xmm6,0xd0(%rsp)
  movsd  (%rdi),%xmm6
  lea    0x20(%rsp),%r13
  movaps %xmm5,0xc0(%rsp)
  movsd  0x8(%rdi),%xmm5
  addsd  %xmm6,%xmm0
  movaps %xmm3,0xb0(%rsp)
  movdqu 0x50(%rdi),%xmm3
  movaps %xmm3,0xe0(%rsp)
  movsd  0x28(%rdi),%xmm3
  movsd  %xmm0,0xf0(%rsp)
  movapd %xmm5,%xmm0
  addsd  %xmm4,%xmm0
  movsd  %xmm0,0xf8(%rsp)
  movsd  0x10(%rdi),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm3,%xmm2
  movsd  %xmm2,0x100(%rsp)
  movsd  0x30(%rdi),%xmm2
  addsd  %xmm2,%xmm1
  addsd  %xmm6,%xmm2
  movsd  %xmm1,0x108(%rsp)
  movsd  0x38(%rdi),%xmm1
  movl   $0x6,0x14(%rsp)
  addsd  %xmm1,%xmm4
  addsd  %xmm5,%xmm1
  mov    %rax,(%rsp)
  movsd  %xmm2,0x120(%rsp)
  movsd  %xmm4,0x110(%rsp)
  movsd  0x40(%rdi),%xmm4
  movsd  %xmm1,0x128(%rsp)
  addsd  %xmm4,%xmm3
  addsd  %xmm4,%xmm0
  movsd  %xmm3,0x118(%rsp)
  movsd  %xmm0,0x130(%rsp)
  nopl   0x0(%rax)
L92:
  mov    (%rsp),%r15
  mov    %r15,0x8(%rsp)
  jmp    L69
  nopl   0x0(%rax,%rax,1)
L32:
  cmp    %r12,%r15
  je     L50
L69:
  mov    %r15,%rdi
  mov    %r15,%rbp
  add    $0x18,%r15
  call   <mat_norm_squared_d3@plt>
  mov    %r15,%rdi
  mov    %rax,%rbx
  call   <mat_norm_squared_d3@plt>
  cmp    %rax,%rbx
  jle    L32
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <mat_copy_vector_d3@plt>
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <mat_copy_vector_d3@plt>
  mov    %r13,%rsi
  mov    %r15,%rdi
  call   <mat_copy_vector_d3@plt>
  cmp    %r12,%r15
  jne    L69
L50:
  subl   $0x1,0x14(%rsp)
  jne    L92
  mov    $0x30,%ebx
  mov    $0x2,%ebp
  lea    0x40(%rsp),%r13
  lea    0x88(%rsp),%r12
L73:
  mov    (%rsp),%rdx
  mov    %r13,%rax
L3:
  movsd  (%rdx),%xmm0
  add    $0x18,%rax
  add    $0x8,%rdx
  movsd  %xmm0,-0x18(%rax)
  movsd  0x10(%rdx),%xmm0
  movsd  %xmm0,-0x10(%rax)
  movsd  -0x8(%rdx,%rbx,1),%xmm0
  movsd  %xmm0,-0x8(%rax)
  cmp    %r12,%rax
  jne    L3
  mov    %r13,%rdi
  call   <mat_get_determinant_d3@plt>
  mov    %eax,%edi
  call   <mat_Dabs@plt>
  comisd 0x18(%rsp),%xmm0
  ja     L9
  add    $0x1,%ebp
  add    $0x18,%rbx
  cmp    $0x7,%ebp
  jne    L73
L100:
  mov    0x138(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L89
  add    $0x148,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L9:
  mov    (%rsp),%r15
  movslq %ebp,%rbp
  lea    0x0(%rbp,%rbp,2),%rax
  add    $0x18,%r15
  shl    $0x3,%rax
L76:
  mov    0x8(%rsp),%rcx
  add    $0x8,%r14
  movsd  (%rcx),%xmm0
  add    $0x8,%rcx
  movsd  %xmm0,-0x8(%r14)
  movsd  0x10(%rcx),%xmm0
  movsd  %xmm0,0x10(%r14)
  movsd  -0x8(%rcx,%rax,1),%xmm0
  mov    %rcx,0x8(%rsp)
  movsd  %xmm0,0x28(%r14)
  cmp    %rcx,%r15
  jne    L76
  jmp    L100
L89:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void get_Delaunay_shortest_vectors(double basis[4][3], const double symprec) {
  int i, j;
  double tmpmat[3][3], b[7][3], tmpvec[3];
  for (i = 0; i < 4; i++) {
    for (j = 0; j < 3; j++) {
      b[i][j] = basis[i][j];
    }
  }
  for (i = 0; i < 3; i++) {
    b[4][i] = basis[0][i] + basis[1][i];
  }
  for (i = 0; i < 3; i++) {
    b[5][i] = basis[1][i] + basis[2][i];
  }
  for (i = 0; i < 3; i++) {
    b[6][i] = basis[2][i] + basis[0][i];
  }
  for (i = 0; i < 6; i++) {
    for (j = 0; j < 6; j++) {
      if (mat_norm_squared_d3(b[j]) > mat_norm_squared_d3(b[j + 1])) {
        mat_copy_vector_d3(tmpvec, b[j]);
        mat_copy_vector_d3(b[j], b[j + 1]);
        mat_copy_vector_d3(b[j + 1], tmpvec);
      }
    }
  }
  for (i = 2; i < 7; i++) {
    for (j = 0; j < 3; j++) {
      tmpmat[j][0] = b[0][j];
      tmpmat[j][1] = b[1][j];
      tmpmat[j][2] = b[i][j];
    }
    if (mat_Dabs(mat_get_determinant_d3(tmpmat)) > symprec) {
      for (j = 0; j < 3; j++) {
        basis[0][j] = b[0][j];
        basis[1][j] = b[1][j];
        basis[2][j] = b[i][j];
      }
      break;
    }
  }
}
```