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

```asm
<init_array>:
  endbr64
  push   %r15
  mov    %edi,%r15d
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  test   %r15d,%r15d
  jle    L65
  lea    0x8(%rsi),%rax
  pxor   %xmm2,%xmm2
  mov    %rsi,%rbp
  mov    %rsi,%r14
  mov    %rax,0x18(%rsp)
  mov    %rax,%rdi
  cvtsi2sd %r15d,%xmm2
  lea    -0x1(%r15),%eax
  mov    %rax,0x10(%rsp)
  movsd  D13(%rip),%xmm1
  mov    %rax,%rbx
  lea    0x2(%rax),%r12
  mov    $0x1,%r13d
  nopw   0x0(%rax,%rax,1)
L64:
  xor    %esi,%esi
  nopw   0x0(%rax,%rax,1)
L49:
  mov    %esi,%eax
  pxor   %xmm0,%xmm0
  neg    %eax
  cltd
  idiv   %r15d
  cvtsi2sd %edx,%xmm0
  divsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%r14,%rsi,8)
  add    $0x1,%rsi
  cmp    %r13,%rsi
  jne    L49
  add    $0x1,%r13
  movsd  %xmm2,0x8(%rsp)
  add    $0x3e80,%r14
  cmp    %r12,%r13
  je     L89
  mov    %r15d,%eax
  xor    %esi,%esi
  sub    %r13d,%eax
  lea    0x8(,%rax,8),%rdx
  call   <memset@plt>
  movsd  0x8(%rsp),%xmm2
  mov    %rax,%rdi
  mov    D13(%rip),%rax
  add    $0x3e88,%rdi
  mov    %rax,-0x3e90(%rdi)
  movq   %rax,%xmm1
  jmp    L64
L89:
  movslq %ebx,%rbx
  mov    $0x3d0900,%edi
  mov    $0x8,%esi
  imul   $0x3e80,0x10(%rsp),%r14
  lea    0x0(%rbp,%rbx,8),%rax
  lea    0x0(,%r15,8),%r12
  movsd  %xmm1,(%rax,%r14,1)
  call   <polybench_alloc_data@plt>
  mov    %rax,%r13
  lea    0x3e80(%rax,%r14,1),%rbx
  mov    %rax,%rdi
  nopl   0x0(%rax,%rax,1)
L5:
  mov    %r12,%rdx
  xor    %esi,%esi
  call   <memset@plt>
  mov    %rax,%rdi
  add    $0x3e80,%rdi
  cmp    %rbx,%rdi
  jne    L5
  mov    0x18(%rsp),%rax
  mov    0x10(%rsp),%rcx
  mov    %r13,%r9
  mov    %rbp,%r8
  lea    0x3e80(%rbp,%r14,1),%rdi
  sub    %rbp,%r9
  lea    (%rax,%rcx,8),%r10
  nopl   0x0(%rax,%rax,1)
L53:
  mov    %r8,%rsi
  nopl   0x0(%rax,%rax,1)
L74:
  lea    (%rsi,%r9,1),%rdx
  mov    %r8,%rax
  nop
L15:
  movsd  (%rsi),%xmm0
  mulsd  (%rax),%xmm0
  add    $0x3e80,%rax
  add    $0x8,%rdx
  addsd  -0x8(%rdx),%xmm0
  movsd  %xmm0,-0x8(%rdx)
  cmp    %rdi,%rax
  jne    L15
  add    $0x3e80,%rsi
  cmp    %rax,%rsi
  jne    L74
  add    $0x8,%r8
  lea    0x8(%rsi),%rdi
  sub    $0x8,%r9
  cmp    %r10,%r8
  jne    L53
  mov    %r13,%rdx
  sub    %r13,%rbp
  nopl   0x0(%rax)
L97:
  lea    0x0(%rbp,%rdx,1),%rsi
  xor    %eax,%eax
  nop
L102:
  movsd  (%rdx,%rax,8),%xmm0
  movsd  %xmm0,(%rsi,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r15
  jne    L102
  add    $0x3e80,%rdx
  cmp    %rbx,%rdx
  jne    L97
L91:
  add    $0x28,%rsp
  mov    %r13,%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <free@plt>
L65:
  mov    $0x8,%esi
  mov    $0x3d0900,%edi
  call   <polybench_alloc_data@plt>
  mov    %rax,%r13
  jmp    L91
```

tool_calls: name: extract_symbolic_data
arguments: tag: D13
type_infered: byte[8]

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

assistant: ```c
void init_array(int n, double A[2000 + 0][2000 + 0]) {
  int i, j;
  for (i = 0; i < n; i++) {
    for (j = 0; j <= i; j++)
      A[i][j] = (double)(-j % n) / n + 1;
    for (j = i + 1; j < n; j++) {
      A[i][j] = 0;
    }
    A[i][i] = 1;
  }
  int r, s, t;
  double(*B)[2000 + 0][2000 + 0];
  B = (double(*)[2000 + 0][2000 + 0]) polybench_alloc_data((2000 + 0) * (2000 + 0), sizeof(double));
  ;
  for (r = 0; r < n; ++r)
    for (s = 0; s < n; ++s)
      (*B)[r][s] = 0;
  for (t = 0; t < n; ++t)
    for (r = 0; r < n; ++r)
      for (s = 0; s < n; ++s)
        (*B)[r][s] += A[r][t] * A[s][t];
  for (r = 0; r < n; ++r)
    for (s = 0; s < n; ++s)
      A[r][s] = (*B)[r][s];
  free((void *)B);
  ;
}
```