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

```asm
<updateSolutionEconomic_CFP64>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x78,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %rdx,-0x58(%rbp)
  mov    %ecx,-0x5c(%rbp)
  mov    %r8,-0x68(%rbp)
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm1
  movsd  %xmm1,-0x20(%rbp)
  movsd  %xmm0,-0x18(%rbp)
  movl   $0x0,-0x3c(%rbp)
  jmp    L17
L19:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  movss  0x4(%rax),%xmm0
  pxor   %xmm6,%xmm6
  cvtss2sd %xmm1,%xmm6
  movq   %xmm6,%rdx
  cvtss2sd %xmm0,%xmm0
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  mov    %rax,%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rax),%xmm1
  movsd  0x8(%rax),%xmm2
  movapd %xmm2,%xmm3
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rdx,%xmm0
  call   <__muldc3>
  movq   %xmm0,%rax
  movapd %xmm1,%xmm0
  mov    %rax,%rdx
  movq   %xmm0,%rax
  movq   %rdx,%xmm3
  movq   %rax,%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm2,%xmm0
  movsd  %xmm1,-0x20(%rbp)
  movsd  %xmm0,-0x18(%rbp)
  movsd  %xmm1,-0x30(%rbp)
  movsd  %xmm0,-0x28(%rbp)
  addl   $0x1,-0x3c(%rbp)
L17:
  mov    -0x5c(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x3c(%rbp)
  jl     L19
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  movss  0x4(%rax),%xmm0
  cvtss2sd %xmm1,%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movsd  -0x28(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  movapd %xmm2,%xmm3
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <__muldc3>
  movq   %xmm0,%rax
  movapd %xmm1,%xmm0
  mov    %rax,-0x20(%rbp)
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x5c(%rbp),%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x5c(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  shl    $0x4,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  0x8(%rax),%xmm0
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  shl    $0x4,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  addsd  -0x30(%rbp),%xmm1
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm1,(%rax)
  movsd  %xmm0,0x8(%rax)
  movl   $0x0,-0x3c(%rbp)
  jmp    L37
L14:
  mov    -0x3c(%rbp),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  movss  0x4(%rax),%xmm0
  pxor   %xmm7,%xmm7
  cvtss2sd %xmm1,%xmm7
  movq   %xmm7,%rbx
  pxor   %xmm4,%xmm4
  cvtss2sd %xmm0,%xmm4
  movsd  %xmm4,-0x70(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  mov    %rax,%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm4
  movsd  %xmm4,-0x78(%rbp)
  movsd  0x8(%rax),%xmm5
  movsd  %xmm5,-0x80(%rbp)
  mov    -0x3c(%rbp),%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  movss  0x4(%rax),%xmm0
  cvtss2sd %xmm1,%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movsd  -0x28(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  movapd %xmm2,%xmm3
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <__muldc3>
  movq   %xmm0,%rax
  movapd %xmm1,%xmm0
  mov    %rax,%rdx
  movq   %xmm0,%rax
  movq   %rdx,%xmm1
  movq   %rax,%xmm2
  movsd  -0x78(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm5
  subsd  %xmm2,%xmm5
  movapd %xmm5,%xmm1
  movapd %xmm1,%xmm3
  movapd %xmm0,%xmm2
  movsd  -0x70(%rbp),%xmm1
  movq   %rbx,%xmm0
  call   <__muldc3>
  movq   %xmm0,%rax
  movapd %xmm1,%xmm0
  mov    %rax,%rdx
  movq   %xmm0,%rax
  movq   %rdx,%xmm3
  movq   %rax,%xmm2
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  shl    $0x4,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  0x8(%rax),%xmm0
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  shl    $0x4,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm0
  movsd  %xmm1,(%rax)
  movsd  %xmm0,0x8(%rax)
  addl   $0x1,-0x3c(%rbp)
L37:
  mov    -0x5c(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x3c(%rbp)
  jl     L14
  nop
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void updateSolutionEconomic_CFP64(float _Complex *mat, double _Complex *x, double _Complex *r, int n, long long *Idxs) {
  int i, j, offset1, offset2;
  double _Complex t = r[n - 1];
  for (i = 0; i < n - 1; ++i) {
    t -= mat[i] * r[i];
  }
  t *= mat[n - 1];
  offset1 = n;
  offset2 = 2 * n - 1;
  x[Idxs[n - 1] - 1] += t;
  for (i = 0; i < n - 1; ++i) {
    x[Idxs[i] - 1] += mat[i + offset1] * (r[i] - mat[i + offset2] * t);
  }
}
```