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

```asm
<benchmark>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x38,%rsp
  mov    %edi,%r15d
  mov    %esi,-0x44(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  movslq %esi,%rdx
  lea    0xf(,%rdx,8),%rax
  mov    %rax,%rsi
  and    $0xfffffffffffffff0,%rsi
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L63:
  cmp    %rcx,%rsp
  je     L124
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L63
L124:
  mov    %rsi,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L7
  orq    $0x0,-0x8(%rsp,%rax,1)
L7:
  mov    %rsp,%r13
  shl    $0x2,%rdx
  lea    0xf(%rdx),%rax
  mov    %rax,%rsi
  and    $0xfffffffffffffff0,%rsi
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L24:
  cmp    %rcx,%rsp
  je     L82
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L24
L82:
  mov    %rsi,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L17
  orq    $0x0,-0x8(%rsp,%rax,1)
L17:
  mov    %rsp,%r14
  add    $0xf,%rdx
  mov    %rdx,%rcx
  and    $0xfffffffffffffff0,%rcx
  and    $0xfffffffffffff000,%rdx
  mov    %rsp,%rax
  sub    %rdx,%rax
L166:
  cmp    %rax,%rsp
  je     L38
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L166
L38:
  mov    %rcx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L27
  orq    $0x0,-0x8(%rsp,%rax,1)
L27:
  lea    0x3(%rsp),%r12
  mov    %r12,%rax
  shr    $0x2,%rax
  mov    %rax,-0x58(%rbp)
  and    $0xfffffffffffffffc,%r12
  mov    -0x44(%rbp),%eax
  test   %eax,%eax
  jle    L143
  mov    %eax,%eax
  mov    %rax,-0x50(%rbp)
  mov    $0x0,%ebx
L102:
  movss  D26(%rip),%xmm1
  movss  D12(%rip),%xmm0
  call   <rand_uniformf@plt>
  movss  %xmm0,(%r14,%rbx,4)
  movl   $0x0,(%r12,%rbx,4)
  movq   $0x0,0x0(%r13,%rbx,8)
  add    $0x1,%rbx
  cmp    -0x50(%rbp),%rbx
  jne    L102
L143:
  mov    $0x0,%eax
  call   <tic@plt>
  movsd  %xmm0,-0x50(%rbp)
  test   %r15d,%r15d
  jle    L88
  mov    $0x0,%ebx
L49:
  sub    $0x8,%rsp
  push   $0x1
  mov    %r12,%r9
  mov    $0x1,%r8d
  mov    %r13,%rcx
  mov    $0x1,%edx
  mov    %r14,%rsi
  mov    -0x44(%rbp),%edi
  call   <stdlib_strided_smskinv@plt>
  movss  (%r12),%xmm0
  add    $0x10,%rsp
  ucomiss %xmm0,%xmm0
  jp     L164
  add    $0x1,%ebx
  cmp    %ebx,%r15d
  jne    L49
  jmp    L88
L164:
  lea    D11(%rip),%rdi
  call   <printf@plt>
L88:
  mov    $0x0,%eax
  call   <tic@plt>
  subsd  -0x50(%rbp),%xmm0
  movq   %xmm0,%rbx
  mov    -0x58(%rbp),%rax
  movss  0x0(,%rax,4),%xmm0
  ucomiss %xmm0,%xmm0
  jp     L158
L127:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L100
  movq   %rbx,%xmm0
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L158:
  lea    D11(%rip),%rdi
  call   <printf@plt>
  jmp    L127
L100:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D26
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D12
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D11
type_infered: string

tool: {"D26": [0x00,0x00,0x48,0x42]}

tool: {"D12": [0x00,0x00,0x48,0xc2]}

tool: D11: should not return NaN


assistant: ```c
double benchmark(int iterations, int len) {
  double elapsed;
  uint8_t m[len];
  float x[len];
  float y[len];
  double t;
  int i;
  for (i = 0; i < len; i++) {
    x[i] = rand_uniformf(-50.0f, 50.0f);
    y[i] = 0.0f;
    m[i] = 0;
  }
  t = tic();
  for (i = 0; i < iterations; i++) {
    stdlib_strided_smskinv(len, x, 1, m, 1, y, 1);
    if (y[0] != y[0]) {
      printf("should not return NaN\n");
      break;
    }
  }
  elapsed = tic() - t;
  if (y[0] != y[0]) {
    printf("should not return NaN\n");
  }
  return elapsed;
}
```