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
  shl    $0x3,%rdx
  lea    0xf(%rdx),%rax
  mov    %rax,%rsi
  and    $0xfffffffffffffff0,%rsi
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L62:
  cmp    %rcx,%rsp
  je     L107
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L62
L107:
  mov    %rsi,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L31
  orq    $0x0,-0x8(%rsp,%rax,1)
L31:
  mov    %rsp,%r13
  lea    0xf(%rdx),%rax
  mov    %rax,%rsi
  and    $0xfffffffffffffff0,%rsi
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L139:
  cmp    %rcx,%rsp
  je     L46
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L139
L46:
  mov    %rsi,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L80
  orq    $0x0,-0x8(%rsp,%rax,1)
L80:
  mov    %rsp,%r14
  add    $0xf,%rdx
  mov    %rdx,%rcx
  and    $0xfffffffffffffff0,%rcx
  and    $0xfffffffffffff000,%rdx
  mov    %rsp,%rax
  sub    %rdx,%rax
L34:
  cmp    %rax,%rsp
  je     L141
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L34
L141:
  mov    %rcx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L1
  orq    $0x0,-0x8(%rsp,%rax,1)
L1:
  lea    0x7(%rsp),%r12
  mov    %r12,%rax
  shr    $0x3,%rax
  mov    %rax,-0x58(%rbp)
  and    $0xfffffffffffffff8,%r12
  mov    -0x44(%rbp),%eax
  test   %eax,%eax
  jle    L84
  mov    %eax,%eax
  mov    %rax,-0x50(%rbp)
  mov    $0x0,%ebx
L133:
  mov    D8(%rip),%rax
  movq   %rax,%xmm1
  mov    D12(%rip),%rax
  movq   %rax,%xmm0
  call   <rand_uniform@plt>
  movsd  %xmm0,(%r14,%rbx,8)
  movq   $0x0,(%r12,%rbx,8)
  movq   $0x0,0x0(%r13,%rbx,8)
  add    $0x1,%rbx
  cmp    -0x50(%rbp),%rbx
  jne    L133
L84:
  mov    $0x0,%eax
  call   <tic@plt>
  movsd  %xmm0,-0x50(%rbp)
  test   %r15d,%r15d
  jle    L65
  mov    $0x0,%ebx
L28:
  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_dmskceil@plt>
  movsd  (%r12),%xmm0
  add    $0x10,%rsp
  ucomisd %xmm0,%xmm0
  jp     L94
  add    $0x1,%ebx
  cmp    %ebx,%r15d
  jne    L28
  jmp    L65
L94:
  lea    D2(%rip),%rdi
  call   <printf@plt>
L65:
  mov    $0x0,%eax
  call   <tic@plt>
  subsd  -0x50(%rbp),%xmm0
  movq   %xmm0,%rbx
  mov    -0x58(%rbp),%rax
  movsd  0x0(,%rax,8),%xmm0
  ucomisd %xmm0,%xmm0
  jp     L161
L23:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L160
  movq   %rbx,%xmm0
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L161:
  lea    D2(%rip),%rdi
  call   <printf@plt>
  jmp    L23
L160:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D8
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D12
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_tag: D2
type_infered: string

tool: D8: 10

tool: {"D12": [0.0,-2.5625]}

tool: D2: should not return NaN


assistant: ```c
double benchmark(int iterations, int len) {
  double elapsed;
  uint8_t m[len];
  double x[len];
  double y[len];
  double t;
  int i;
  for (i = 0; i < len; i++) {
    x[i] = rand_uniform(-10.0, 10.0);
    y[i] = 0.0;
    m[i] = 0;
  }
  t = tic();
  for (i = 0; i < iterations; i++) {
    stdlib_strided_dmskceil(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;
}
```