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

```asm
<stdlib_strided_dnansumpw>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    %rsi,0x8(%rsp)
  test   %edi,%edi
  jle    L244
  mov    %edi,%ebx
  mov    %edx,%ebp
  cmp    $0x1,%edi
  je     L61
  test   %edx,%edx
  je     L61
  mov    $0x0,%r12d
  js     L68
L167:
  cmp    $0x7,%ebx
  jle    L107
  cmp    $0x80,%ebx
  jle    L62
  mov    %ebx,%eax
  shr    $0x1f,%eax
  add    %ebx,%eax
  mov    %eax,%r13d
  sar    %r13d
  sar    $0x1f,%eax
  shr    $0x1d,%eax
  lea    0x0(%r13,%rax,1),%edx
  and    $0x7,%edx
  sub    %eax,%edx
  sub    %edx,%r13d
  test   %ebp,%ebp
  js     L52
  mov    %ebp,%eax
  imul   %r13d,%eax
  cltq
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r14
L47:
  mov    %ebp,%edx
  mov    0x8(%rsp),%rsi
  mov    %r13d,%edi
  call   <stdlib_strided_dnansumpw>
  movq   %xmm0,%r12
  mov    %ebx,%edi
  sub    %r13d,%edi
  mov    %ebp,%edx
  mov    %r14,%rsi
  call   <stdlib_strided_dnansumpw>
  movq   %r12,%xmm7
  addsd  %xmm0,%xmm7
  movq   %xmm7,%r12
  jmp    L88
L61:
  mov    0x8(%rsp),%rbx
  movsd  (%rbx),%xmm0
  call   <stdlib_base_is_nan@plt>
  mov    D17(%rip),%r12
  test   %rax,%rax
  jne    L88
  mov    (%rbx),%r12
  jmp    L88
L68:
  mov    $0x1,%r12d
  sub    %edi,%r12d
  imul   %edx,%r12d
  jmp    L167
L107:
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  movslq %r12d,%r12
  mov    0x8(%rsp),%rax
  lea    (%rax,%r12,8),%r13
  mov    $0x0,%r14d
  mov    D17(%rip),%r12
  jmp    L262
L401:
  add    $0x1,%r14d
  add    %rbp,%r13
  cmp    %r14d,%ebx
  je     L88
L262:
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  test   %rax,%rax
  jne    L401
  movq   %r12,%xmm3
  addsd  0x0(%r13),%xmm3
  movq   %xmm3,%r12
  jmp    L401
L62:
  movslq %r12d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r13
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm2,%xmm2
  movsd  %xmm2,0x10(%rsp)
  test   %rax,%rax
  jne    L178
  movsd  0x0(%r13),%xmm1
  movsd  %xmm1,0x10(%rsp)
L178:
  lea    (%r12,%rbp,1),%r14d
  movslq %r14d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r13
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm2,%xmm2
  movsd  %xmm2,0x18(%rsp)
  test   %rax,%rax
  jne    L418
  movsd  0x0(%r13),%xmm6
  movsd  %xmm6,0x18(%rsp)
L418:
  lea    0x0(%rbp,%r14,1),%eax
  mov    %eax,0x58(%rsp)
  cltq
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r13
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm2,%xmm2
  movsd  %xmm2,0x20(%rsp)
  test   %rax,%rax
  jne    L45
  movsd  0x0(%r13),%xmm3
  movsd  %xmm3,0x20(%rsp)
L45:
  mov    0x58(%rsp),%eax
  add    %ebp,%eax
  mov    %eax,0x68(%rsp)
  cltq
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r13
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm1,%xmm1
  movsd  %xmm1,0x28(%rsp)
  test   %rax,%rax
  jne    L378
  movsd  0x0(%r13),%xmm1
  movsd  %xmm1,0x28(%rsp)
L378:
  mov    0x68(%rsp),%eax
  lea    0x0(%rbp,%rax,1),%r13d
  movslq %r13d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r15
  movsd  (%r15),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm3,%xmm3
  movsd  %xmm3,0x30(%rsp)
  test   %rax,%rax
  jne    L34
  movsd  (%r15),%xmm2
  movsd  %xmm2,0x30(%rsp)
L34:
  add    %ebp,%r13d
  movslq %r13d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r15
  movsd  (%r15),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm2,%xmm2
  movsd  %xmm2,0x38(%rsp)
  test   %rax,%rax
  jne    L236
  movsd  (%r15),%xmm6
  movsd  %xmm6,0x38(%rsp)
L236:
  add    %ebp,%r13d
  movslq %r13d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r15
  movsd  (%r15),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm7,%xmm7
  movsd  %xmm7,0x40(%rsp)
  test   %rax,%rax
  jne    L46
  movsd  (%r15),%xmm3
  movsd  %xmm3,0x40(%rsp)
L46:
  add    %ebp,%r13d
  movslq %r13d,%rax
  mov    0x8(%rsp),%rcx
  lea    (%rcx,%rax,8),%r15
  movsd  (%r15),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm1,%xmm1
  movsd  %xmm1,0x48(%rsp)
  test   %rax,%rax
  jne    L205
  movsd  (%r15),%xmm7
  movsd  %xmm7,0x48(%rsp)
L205:
  lea    0x0(%rbp,%r13,1),%edx
  mov    %ebx,%ecx
  sar    $0x1f,%ecx
  shr    $0x1d,%ecx
  lea    (%rbx,%rcx,1),%eax
  and    $0x7,%eax
  sub    %ecx,%eax
  mov    %ebx,%ecx
  sub    %eax,%ecx
  mov    %ecx,0x70(%rsp)
  cmp    $0x8,%ecx
  jle    L203
  lea    0x0(,%rbp,8),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,0x60(%rsp)
  movslq %edx,%rax
  mov    0x8(%rsp),%rsi
  lea    (%rsi,%rax,8),%r13
  movslq %ebp,%r15
  lea    (%rax,%r15,4),%rcx
  lea    (%rsi,%rcx,8),%rcx
  lea    (%rax,%r15,2),%rax
  lea    (%rsi,%rax,8),%r14
  mov    %r15,%rax
  shl    $0x5,%rax
  mov    %rax,0x50(%rsp)
  mov    $0x8,%edi
  lea    (%rdx,%rbp,2),%eax
  movslq 0x58(%rsp),%rdx
  movslq %r12d,%r12
  sub    %r12,%rdx
  mov    %rdx,0x58(%rsp)
  add    %ebp,%eax
  mov    %eax,0x74(%rsp)
  movslq 0x68(%rsp),%rax
  sub    %r12,%rax
  mov    %rax,0x68(%rsp)
  mov    %edi,%r12d
  mov    %ebx,0x78(%rsp)
  mov    %rcx,%rbx
  mov    %ebp,0x7c(%rsp)
  jmp    L321
L266:
  addsd  0x48(%rsp),%xmm0
  movsd  %xmm0,0x48(%rsp)
  add    $0x8,%r12d
  add    0x50(%rsp),%r13
  mov    0x60(%rsp),%rax
  add    %rax,%rbx
  add    %rax,%r14
  cmp    0x70(%rsp),%r12d
  jge    L312
L321:
  mov    %r13,%rbp
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L197
  movsd  0x0(%r13),%xmm0
L197:
  addsd  0x10(%rsp),%xmm0
  movsd  %xmm0,0x10(%rsp)
  movsd  0x0(%rbp,%r15,8),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L157
  movsd  0x0(%rbp,%r15,8),%xmm0
L157:
  addsd  0x18(%rsp),%xmm0
  movsd  %xmm0,0x18(%rsp)
  mov    %r14,%rbp
  movsd  (%r14),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L346
  movsd  (%r14),%xmm0
L346:
  addsd  0x20(%rsp),%xmm0
  movsd  %xmm0,0x20(%rsp)
  movsd  0x0(%rbp,%r15,8),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L206
  movsd  0x0(%rbp,%r15,8),%xmm0
L206:
  addsd  0x28(%rsp),%xmm0
  movsd  %xmm0,0x28(%rsp)
  mov    %rbx,%rbp
  movsd  (%rbx),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L305
  movsd  (%rbx),%xmm0
L305:
  addsd  0x30(%rsp),%xmm0
  movsd  %xmm0,0x30(%rsp)
  movsd  0x0(%rbp,%r15,8),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L11
  movsd  0x0(%rbp,%r15,8),%xmm0
L11:
  addsd  0x38(%rsp),%xmm0
  movsd  %xmm0,0x38(%rsp)
  mov    0x58(%rsp),%rax
  movsd  0x0(%rbp,%rax,8),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L246
  mov    0x58(%rsp),%rax
  movsd  0x0(%rbp,%rax,8),%xmm0
L246:
  addsd  0x40(%rsp),%xmm0
  movsd  %xmm0,0x40(%rsp)
  add    0x50(%rsp),%r13
  mov    0x68(%rsp),%rbp
  movsd  0x0(%r13,%rbp,8),%xmm0
  call   <stdlib_base_is_nan@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L266
  movsd  0x0(%r13,%rbp,8),%xmm0
  jmp    L266
L312:
  mov    0x78(%rsp),%ebx
  mov    0x7c(%rsp),%ebp
  mov    0x70(%rsp),%eax
  sub    $0x9,%eax
  shr    $0x3,%eax
  mov    0x74(%rsp),%ecx
  lea    (%rcx,%rbp,4),%edx
  add    %ebp,%edx
  mov    %ebp,%ecx
  imul   %eax,%ecx
  lea    (%rdx,%rcx,8),%edx
  lea    0x10(,%rax,8),%r14d
L301:
  movsd  0x10(%rsp),%xmm1
  addsd  0x18(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  addsd  0x28(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x30(%rsp),%xmm0
  addsd  0x38(%rsp),%xmm0
  movsd  0x40(%rsp),%xmm2
  addsd  0x48(%rsp),%xmm2
  addsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%r12
  cmp    %r14d,%ebx
  jle    L88
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  movslq %edx,%r13
  mov    0x8(%rsp),%rax
  lea    (%rax,%r13,8),%r13
  jmp    L150
L203:
  mov    $0x8,%r14d
  jmp    L301
L337:
  add    $0x1,%r14d
  add    %rbp,%r13
  cmp    %r14d,%ebx
  je     L88
L150:
  movsd  0x0(%r13),%xmm0
  call   <stdlib_base_is_nan@plt>
  test   %rax,%rax
  jne    L337
  movq   %r12,%xmm6
  addsd  0x0(%r13),%xmm6
  movq   %xmm6,%r12
  jmp    L337
L52:
  mov    %r13d,%eax
  sub    %ebx,%eax
  imul   %ebp,%eax
  cltq
  mov    0x8(%rsp),%rcx
  mov    %rcx,%r14
  lea    (%rcx,%rax,8),%rax
  mov    %rax,0x8(%rsp)
  jmp    L47
L244:
  mov    D17(%rip),%r12
L88:
  movq   %r12,%xmm0
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D17
datatype: f64

tool: D17: 0

assistant: ```c
double stdlib_strided_dnansumpw(const int64_t N, const double *X, const int64_t stride) {
  double *xp1;
  double *xp2;
  double sum;
  int64_t ix;
  int64_t M;
  int64_t n;
  int64_t i;
  double s0;
  double s1;
  double s2;
  double s3;
  double s4;
  double s5;
  double s6;
  double s7;
  if (N <= 0) {
    return 0.0;
  }
  if (N == 1 || stride == 0) {
    if (stdlib_base_is_nan(X[0])) {
      return 0.0;
    }
    return X[0];
  }
  if (stride < 0) {
    ix = (1 - N) * stride;
  } else {
    ix = 0;
  }
  if (N < 8) {
    sum = 0.0;
    for (i = 0; i < N; i++) {
      if (!stdlib_base_is_nan(X[ix])) {
        sum += X[ix];
      }
      ix += stride;
    }
    return sum;
  }
  if (N <= 128) {
    s0 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s1 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s2 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s3 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s4 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s5 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s6 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    s7 = (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
    ix += stride;
    M = N % 8;
    for (i = 8; i < N - M; i += 8) {
      s0 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s1 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s2 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s3 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s4 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s5 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s6 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
      s7 += (stdlib_base_is_nan(X[ix])) ? 0.0 : X[ix];
      ix += stride;
    }
    sum = ((s0 + s1) + (s2 + s3)) + ((s4 + s5) + (s6 + s7));
    for (; i < N; i++) {
      if (!stdlib_base_is_nan(X[ix])) {
        sum += X[ix];
      }
      ix += stride;
    }
    return sum;
  }
  n = N / 2;
  n -= n % 8;
  if (stride < 0) {
    xp1 = (double *)X + ((n - N) * stride);
    xp2 = (double *)X;
  } else {
    xp1 = (double *)X;
    xp2 = (double *)X + (n * stride);
  }
  return stdlib_strided_dnansumpw(n, xp1, stride) + stdlib_strided_dnansumpw(N - n, xp2, stride);
}
```