user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<stdlib_strided_snansumpw>:
  endbr64
  test   %edi,%edi
  jle    L53
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %edi,%ebx
  sub    $0x68,%rsp
  cmp    $0x1,%edi
  je     L347
  movslq %edx,%r12
  test   %r12d,%r12d
  je     L347
  mov    $0x0,%r13d
  jns    L80
  mov    $0x1,%r13d
  sub    %edi,%r13d
  imul   %r12d,%r13d
L80:
  cmp    $0x7,%ebx
  jle    L175
  cmp    $0x80,%ebx
  jle    L276
  mov    %ebx,%r13d
  sar    %r13d
  and    $0xfffffff8,%r13d
  test   %r12d,%r12d
  js     L150
  mov    %r12d,%eax
  imul   %r13d,%eax
  cltq
  lea    0x0(%rbp,%rax,4),%r14
L369:
  mov    %r12d,%edx
  mov    %rbp,%rsi
  mov    %r13d,%edi
  call   <stdlib_strided_snansumpw>
  mov    %ebx,%edi
  mov    %r12d,%edx
  mov    %r14,%rsi
  sub    %r13d,%edi
  movss  %xmm0,(%rsp)
  call   <stdlib_strided_snansumpw>
  movss  (%rsp),%xmm1
  addss  %xmm0,%xmm1
L206:
  add    $0x68,%rsp
  movaps %xmm1,%xmm0
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L347:
  movss  0x0(%rbp),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L206
  movss  0x0(%rbp),%xmm1
  jmp    L206
  nopw   0x0(%rax,%rax,1)
L150:
  mov    %r13d,%eax
  mov    %rbp,%r14
  sub    %ebx,%eax
  imul   %r12d,%eax
  cltq
  lea    0x0(%rbp,%rax,4),%rbp
  jmp    L369
  nopl   (%rax)
L175:
  movslq %r13d,%r13
  pxor   %xmm1,%xmm1
  shl    $0x2,%r12
  lea    0x0(%rbp,%r13,4),%rbp
  movd   %xmm1,%r15d
  xor    %r13d,%r13d
L90:
  movss  0x0(%rbp),%xmm0
  call   <stdlib_base_is_nanf@plt>
  test   %rax,%rax
  jne    L54
  movd   %r15d,%xmm3
  addss  0x0(%rbp),%xmm3
  movd   %xmm3,%r15d
L54:
  add    $0x1,%r13d
  add    %r12,%rbp
  cmp    %r13d,%ebx
  jne    L90
L182:
  movd   %r15d,%xmm1
  jmp    L206
  nopl   0x0(%rax)
L53:
  pxor   %xmm1,%xmm1
  movaps %xmm1,%xmm0
  ret
L276:
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  mov    %rax,0x20(%rsp)
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm3,%xmm3
  movss  %xmm3,(%rsp)
  test   %rax,%rax
  jne    L251
  movss  (%r14),%xmm2
  movss  %xmm2,(%rsp)
L251:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm6,%xmm6
  movss  %xmm6,0x4(%rsp)
  test   %rax,%rax
  jne    L106
  movss  (%r14),%xmm2
  movss  %xmm2,0x4(%rsp)
L106:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  mov    %rax,0x30(%rsp)
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm7,%xmm7
  movss  %xmm7,0x8(%rsp)
  test   %rax,%rax
  jne    L217
  movss  (%r14),%xmm6
  movss  %xmm6,0x8(%rsp)
L217:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  mov    %rax,0x38(%rsp)
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm3,%xmm3
  movss  %xmm3,0xc(%rsp)
  test   %rax,%rax
  jne    L97
  movss  (%r14),%xmm7
  movss  %xmm7,0xc(%rsp)
L97:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm6,%xmm6
  movss  %xmm6,0x10(%rsp)
  test   %rax,%rax
  jne    L315
  movss  (%r14),%xmm4
  movss  %xmm4,0x10(%rsp)
L315:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm7,%xmm7
  movss  %xmm7,0x14(%rsp)
  test   %rax,%rax
  jne    L277
  movss  (%r14),%xmm5
  movss  %xmm5,0x14(%rsp)
L277:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm3,%xmm3
  movss  %xmm3,0x18(%rsp)
  test   %rax,%rax
  jne    L116
  movss  (%r14),%xmm3
  movss  %xmm3,0x18(%rsp)
L116:
  add    %r12d,%r13d
  movslq %r13d,%rax
  lea    0x0(%rbp,%rax,4),%r14
  movss  (%r14),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm6,%xmm6
  movss  %xmm6,0x1c(%rsp)
  test   %rax,%rax
  je     L353
L368:
  mov    %ebx,%ecx
  lea    (%r12,%r13,1),%eax
  and    $0xfffffff8,%ecx
  mov    %ecx,0x48(%rsp)
  cmp    $0x8,%ecx
  je     L22
  lea    0x0(,%r12,8),%edx
  movslq %r12d,%r15
  mov    %ebx,0x58(%rsp)
  movslq %edx,%rdx
  mov    %rbp,0x50(%rsp)
  lea    0x0(,%rdx,4),%rcx
  movslq %eax,%rdx
  lea    (%rax,%r12,2),%eax
  mov    %r12d,0x5c(%rsp)
  mov    %rcx,0x40(%rsp)
  lea    (%rdx,%r15,4),%rcx
  lea    0x0(%rbp,%rdx,4),%r13
  add    %r12d,%eax
  lea    0x0(%rbp,%rcx,4),%r14
  mov    %r15,%rcx
  lea    (%rdx,%r15,2),%rdx
  mov    %eax,0x4c(%rsp)
  shl    $0x4,%rcx
  lea    0x0(%rbp,%rdx,4),%rsi
  mov    %rcx,0x28(%rsp)
  mov    $0x8,%ecx
  mov    %rsi,%rbx
  mov    %ecx,%ebp
  jmp    L168
  nopw   0x0(%rax,%rax,1)
L31:
  movss  0x1c(%rsp),%xmm6
  addss  0x0(%r13,%r12,4),%xmm6
  movss  %xmm6,0x1c(%rsp)
L132:
  mov    0x40(%rsp),%rax
  add    $0x8,%ebp
  add    0x28(%rsp),%r13
  add    %rax,%r14
  add    %rax,%rbx
  cmp    %ebp,0x48(%rsp)
  jle    L326
L168:
  movss  0x0(%r13),%xmm0
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L246
  pxor   %xmm1,%xmm1
  cvtss2sd 0x0(%r13),%xmm1
L246:
  pxor   %xmm0,%xmm0
  pxor   %xmm4,%xmm4
  cvtss2sd (%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm4
  movss  0x0(%r13,%r15,4),%xmm0
  movss  %xmm4,(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L135
  pxor   %xmm1,%xmm1
  cvtss2sd 0x0(%r13,%r15,4),%xmm1
L135:
  pxor   %xmm0,%xmm0
  pxor   %xmm5,%xmm5
  cvtss2sd 0x4(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm5
  movss  (%rbx),%xmm0
  movss  %xmm5,0x4(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L233
  pxor   %xmm1,%xmm1
  cvtss2sd (%rbx),%xmm1
L233:
  pxor   %xmm0,%xmm0
  pxor   %xmm6,%xmm6
  cvtss2sd 0x8(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm6
  movss  (%rbx,%r15,4),%xmm0
  movss  %xmm6,0x8(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L230
  pxor   %xmm1,%xmm1
  cvtss2sd (%rbx,%r15,4),%xmm1
L230:
  pxor   %xmm0,%xmm0
  pxor   %xmm7,%xmm7
  cvtss2sd 0xc(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm7
  movss  (%r14),%xmm0
  movss  %xmm7,0xc(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L308
  pxor   %xmm1,%xmm1
  cvtss2sd (%r14),%xmm1
L308:
  pxor   %xmm0,%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd 0x10(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm2
  movss  (%r14,%r15,4),%xmm0
  movss  %xmm2,0x10(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L141
  pxor   %xmm1,%xmm1
  cvtss2sd (%r14,%r15,4),%xmm1
L141:
  pxor   %xmm0,%xmm0
  mov    0x30(%rsp),%r12
  pxor   %xmm4,%xmm4
  sub    0x20(%rsp),%r12
  cvtss2sd 0x14(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm4
  movss  (%r14,%r12,4),%xmm0
  movss  %xmm4,0x14(%rsp)
  call   <stdlib_base_is_nanf@plt>
  pxor   %xmm1,%xmm1
  test   %rax,%rax
  jne    L278
  pxor   %xmm1,%xmm1
  cvtss2sd (%r14,%r12,4),%xmm1
L278:
  pxor   %xmm0,%xmm0
  add    0x28(%rsp),%r13
  mov    0x38(%rsp),%r12
  pxor   %xmm5,%xmm5
  cvtss2sd 0x18(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  sub    0x20(%rsp),%r12
  cvtsd2ss %xmm0,%xmm5
  movss  0x0(%r13,%r12,4),%xmm0
  movss  %xmm5,0x18(%rsp)
  call   <stdlib_base_is_nanf@plt>
  test   %rax,%rax
  je     L31
  movss  0x1c(%rsp),%xmm7
  addss  D9(%rip),%xmm7
  movss  %xmm7,0x1c(%rsp)
  jmp    L132
  nopw   0x0(%rax,%rax,1)
L326:
  mov    0x48(%rsp),%edx
  movslq 0x5c(%rsp),%r12
  mov    0x4c(%rsp),%eax
  mov    0x58(%rsp),%ebx
  sub    $0x9,%edx
  mov    %r12d,%ecx
  mov    0x50(%rsp),%rbp
  shr    $0x3,%edx
  lea    (%rax,%r12,4),%eax
  imul   %edx,%ecx
  add    %r12d,%eax
  lea    (%rax,%rcx,8),%eax
  lea    0x10(,%rdx,8),%ecx
  mov    %ecx,0x48(%rsp)
L22:
  movss  0x4(%rsp),%xmm1
  movss  0xc(%rsp),%xmm0
  addss  (%rsp),%xmm1
  addss  0x8(%rsp),%xmm0
  movss  0x1c(%rsp),%xmm2
  addss  0x18(%rsp),%xmm2
  mov    0x48(%rsp),%r13d
  addss  %xmm0,%xmm1
  movss  0x10(%rsp),%xmm0
  addss  0x14(%rsp),%xmm0
  addss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  cmp    %r13d,%ebx
  jle    L206
  cltq
  shl    $0x2,%r12
  movd   %xmm1,%r15d
  lea    0x0(%rbp,%rax,4),%rbp
L145:
  movss  0x0(%rbp),%xmm0
  call   <stdlib_base_is_nanf@plt>
  test   %rax,%rax
  jne    L194
  movd   %r15d,%xmm2
  addss  0x0(%rbp),%xmm2
  movd   %xmm2,%r15d
L194:
  add    $0x1,%r13d
  add    %r12,%rbp
  cmp    %r13d,%ebx
  jne    L145
  jmp    L182
  nop
L353:
  movss  (%r14),%xmm2
  movss  %xmm2,0x1c(%rsp)
  jmp    L368
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D9
type_guessed: f32

tool: D9: 0

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