user: What would the C source look like for the assembly code provided here:

```asm
<stdlib_strided_snansumkbn2>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %rdx,-0x58(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  cmpq   $0x0,-0x48(%rbp)
  jg     L139
  movss  -0x3c(%rbp),%xmm0
  jmp    L155
L139:
  cmpq   $0x1,-0x48(%rbp)
  je     L109
  cmpq   $0x0,-0x58(%rbp)
  jne    L18
L109:
  mov    -0x50(%rbp),%rax
  mov    (%rax),%eax
  movd   %eax,%xmm0
  call   <stdlib_base_is_nanf@plt>
  test   %rax,%rax
  je     L112
  movss  -0x3c(%rbp),%xmm0
  jmp    L155
L112:
  mov    -0x50(%rbp),%rax
  movss  (%rax),%xmm0
  jmp    L155
L18:
  cmpq   $0x0,-0x58(%rbp)
  jns    L31
  mov    $0x1,%eax
  sub    -0x48(%rbp),%rax
  mov    -0x58(%rbp),%rdx
  imul   %rdx,%rax
  mov    %rax,-0x20(%rbp)
  jmp    L120
L31:
  movq   $0x0,-0x20(%rbp)
L120:
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x38(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x34(%rbp)
  movq   $0x0,-0x18(%rbp)
  jmp    L158
L152:
  mov    -0x20(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  movss  %xmm0,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  movd   %eax,%xmm0
  call   <stdlib_base_is_nanf@plt>
  test   %rax,%rax
  jne    L72
  movss  -0x3c(%rbp),%xmm0
  addss  -0x28(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x3c(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabsf@plt>
  mov    %rax,%rbx
  mov    -0x28(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabsf@plt>
  cmp    %rax,%rbx
  jl     L91
  movss  -0x3c(%rbp),%xmm0
  subss  -0x24(%rbp),%xmm0
  movss  -0x28(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  jmp    L149
L91:
  movss  -0x28(%rbp),%xmm0
  subss  -0x24(%rbp),%xmm0
  movss  -0x3c(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
L149:
  movss  -0x24(%rbp),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x34(%rbp),%xmm0
  addss  -0x2c(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x34(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabsf@plt>
  mov    %rax,%rbx
  mov    -0x2c(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabsf@plt>
  cmp    %rax,%rbx
  jl     L95
  movss  -0x34(%rbp),%xmm0
  subss  -0x24(%rbp),%xmm0
  movss  -0x2c(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x30(%rbp)
  jmp    L71
L95:
  movss  -0x2c(%rbp),%xmm0
  subss  -0x24(%rbp),%xmm0
  movss  -0x34(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x30(%rbp)
L71:
  movss  -0x24(%rbp),%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x30(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
L72:
  mov    -0x58(%rbp),%rax
  add    %rax,-0x20(%rbp)
  addq   $0x1,-0x18(%rbp)
L158:
  mov    -0x18(%rbp),%rax
  cmp    -0x48(%rbp),%rax
  jl     L152
  movss  -0x3c(%rbp),%xmm0
  addss  -0x34(%rbp),%xmm0
  addss  -0x38(%rbp),%xmm0
L155:
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
float stdlib_strided_snansumkbn2(const int64_t N, const float *X, const int64_t stride) {
  int64_t ix;
  int64_t i;
  float sum;
  float ccs;
  float cs;
  float cc;
  float v;
  float t;
  float c;
  sum = 0.0f;
  if (N <= 0) {
    return sum;
  }
  if (N == 1 || stride == 0) {
    if (stdlib_base_is_nanf(X[0])) {
      return sum;
    }
    return X[0];
  }
  if (stride < 0) {
    ix = (1 - N) * stride;
  } else {
    ix = 0;
  }
  ccs = 0.0f;
  cs = 0.0f;
  for (i = 0; i < N; i++) {
    v = X[ix];
    if (!stdlib_base_is_nanf(v)) {
      t = sum + v;
      if (fabsf(sum) >= fabsf(v)) {
        c = (sum - t) + v;
      } else {
        c = (v - t) + sum;
      }
      sum = t;
      t = cs + c;
      if (fabsf(cs) >= fabsf(c)) {
        cc = (cs - t) + c;
      } else {
        cc = (c - t) + cs;
      }
      cs = t;
      ccs += cc;
    }
    ix += stride;
  }
  return sum + cs + ccs;
}
```