user: Demonstrate the C code that generates the assembly output below:

```asm
<cholesky_tri_inv>:
  endbr64
  test   %edx,%edx
  jle    L15
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rsi,%r13
  mov    %edx,%esi
  mov    %rcx,%rax
  mov    %rcx,-0x20(%rsp)
  mov    %edx,%ebx
  mov    %rbx,-0x18(%rsp)
  lea    -0x1(%rdx),%edx
  movslq %edx,%rdx
  lea    (%rcx,%rdx,8),%rbx
  mov    %rbx,-0x8(%rsp)
  movq   $0x1,-0x28(%rsp)
  mov    $0x0,%r12d
  movsd  D6(%rip),%xmm2
  lea    -0x1(%rsi),%ebx
  mov    %ebx,-0xc(%rsp)
  jmp    L111
L72:
  add    $0x1,%r9d
  imul   %r11d,%r9d
  mov    %r9d,%edx
  shr    $0x1f,%edx
  add    %r9d,%edx
  sar    %edx
  movslq %edx,%rdx
  lea    (%rdi,%rdx,8),%r9
  mov    %r12,%rdx
L109:
  movsd  (%rax,%rdx,8),%xmm1
  mulsd  (%r9,%rdx,8),%xmm1
  movsd  0x8(%r8),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%r8)
  add    $0x1,%rdx
  cmp    %rcx,%rdx
  jne    L109
L61:
  add    $0x1,%rcx
  add    $0x8,%r10
L94:
  mov    %ecx,%r9d
  lea    -0x1(%rcx),%ebx
  mov    %r10,%r8
  mov    %ecx,%r11d
  mov    %ebx,%ebp
  imul   %ecx,%ebp
  mov    %ebp,%edx
  shr    $0x1f,%edx
  add    %ebp,%edx
  sar    %edx
  add    %ebx,%edx
  movslq %edx,%rdx
  movsd  (%r10),%xmm0
  divsd  (%rdi,%rdx,8),%xmm0
  movsd  %xmm0,(%r10)
  cmp    %ecx,%esi
  jle    L31
  cmp    %r15d,%ecx
  jg     L72
  jmp    L61
L31:
  cmp    %r15d,-0xc(%rsp)
  jl     L102
  mov    -0x8(%rsp),%r9
  mov    %esi,%r11d
  mov    -0x10(%rsp),%ebx
L23:
  lea    -0x1(%r11),%r8d
  mov    %r11d,%r10d
  cmp    %r11d,%esi
  jle    L68
  movslq %r11d,%rcx
L90:
  lea    0x1(%rcx),%ebp
  imul   %ecx,%ebp
  mov    %ebp,%edx
  shr    $0x1f,%edx
  add    %ebp,%edx
  sar    %edx
  add    %r8d,%edx
  movslq %edx,%rdx
  movsd  (%rdi,%rdx,8),%xmm1
  mulsd  (%rax,%rcx,8),%xmm1
  movsd  (%r9),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%r9)
  add    $0x1,%rcx
  cmp    %ecx,%esi
  jg     L90
L68:
  imul   %r8d,%r10d
  mov    %r10d,%edx
  shr    $0x1f,%edx
  add    %r10d,%edx
  sar    %edx
  add    %edx,%r8d
  movslq %r8d,%r8
  movsd  (%r9),%xmm0
  divsd  (%rdi,%r8,8),%xmm0
  movsd  %xmm0,(%r9)
  add    %ebx,%edx
  movslq %edx,%rdx
  movsd  %xmm0,0x0(%r13,%rdx,8)
  sub    $0x1,%r11d
  sub    $0x8,%r9
  cmp    %r14d,%r11d
  jne    L23
L102:
  add    $0x1,%r12
  addq   $0x1,-0x28(%rsp)
  addq   $0x8,-0x20(%rsp)
  cmp    -0x18(%rsp),%r12
  je     L99
L111:
  mov    %r12d,%r14d
  mov    %r12d,-0x10(%rsp)
  mov    -0x20(%rsp),%rbx
  movsd  %xmm2,(%rbx)
  mov    -0x28(%rsp),%rdx
  cmp    %edx,%esi
  jle    L87
L57:
  movq   $0x0,(%rax,%rdx,8)
  add    $0x1,%rdx
  cmp    %edx,%esi
  jg     L57
L87:
  mov    %r12d,%r15d
  mov    -0x20(%rsp),%r10
  mov    -0x28(%rsp),%rcx
  cmp    %r12d,%esi
  jg     L94
  jmp    L31
L99:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L15:
  ret
```

tool_calls: name: read_data
arguments: label: D6
datatype: f64

tool: D6: 1

assistant: ```c
void cholesky_tri_inv(const double *L_, double *invA, const int n, double *x) {
  int i, k, l;
  for (l = 0; l < n; l++) {
    x[l] = 1.0;
    for (k = l + 1; k < n; k++)
      x[k] = 0.0;
    for (k = l; k < n; k++) {
      for (i = l; i < k; i++)
        x[k] -= x[i] * L_[(((k) * ((k) + 1)) / 2 + (i))];
      x[k] /= L_[(((k) * ((k) + 1)) / 2 + (k))];
    }
    for (k = n - 1; k >= l; k--) {
      for (i = k + 1; i < n; i++)
        x[k] -= x[i] * L_[(((i) * ((i) + 1)) / 2 + (k))];
      x[k] /= L_[(((k) * ((k) + 1)) / 2 + (k))];
      invA[(((k) * ((k) + 1)) / 2 + (l))] = x[k];
    }
  }
}
```