user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x28(%rbp)
  xor    %eax,%eax
  lea    -0x1000(%rsp),%rax
L94:
  cmp    %rax,%rsp
  je     L34
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L94
L34:
  sub    $0xf40,%rsp
  orq    $0x0,0xf38(%rsp)
  mov    %rsp,%r12
  mov    $0x0,%eax
L171:
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,(%r12,%rax,8)
  add    $0x1,%rax
  cmp    $0x3e8,%rax
  jne    L171
  mov    %r12,%r13
  lea    0x1f40(%r12),%rbx
  mov    %r12,%rax
  pxor   %xmm1,%xmm1
L207:
  maxsd  (%rax),%xmm1
  add    $0x8,%rax
  cmp    %rbx,%rax
  jne    L207
  mov    %r12,%rax
  pxor   %xmm0,%xmm0
L167:
  maxsd  (%rax),%xmm0
  add    $0x8,%rax
  cmp    %rbx,%rax
  jne    L167
  ucomisd %xmm0,%xmm1
  jp     L110
  jne    L110
L197:
  mov    %r12,%rax
  pxor   %xmm0,%xmm0
L137:
  minsd  (%rax),%xmm0
  add    $0x8,%rax
  cmp    %rbx,%rax
  jne    L137
  mov    %r12,%rax
  pxor   %xmm1,%xmm1
L155:
  minsd  (%rax),%xmm1
  add    $0x8,%rax
  cmp    %rbx,%rax
  jne    L155
  ucomisd %xmm1,%xmm0
  jp     L93
  jne    L93
L190:
  mov    $0x3e8,%eax
L52:
  sub    $0x1,%eax
  jne    L52
  mov    $0x3e8,%eax
L61:
  sub    $0x1,%eax
  jne    L61
  mov    %r12,%rax
  mov    $0x0,%edx
  movsd  D18(%rip),%xmm0
  jmp    L24
L110:
  mov    $0x0,%eax
  call   <abort@plt>
  jmp    L197
L93:
  mov    $0x0,%eax
  call   <abort@plt>
  jmp    L190
L185:
  add    $0x8,%rax
  cmp    %rbx,%rax
  je     L72
L24:
  test   %edx,%edx
  jne    L185
  comisd (%rax),%xmm0
  seta   %dl
  movzbl %dl,%edx
  jmp    L185
L72:
  mov    %edx,%ecx
  movsd  D18(%rip),%xmm0
  jmp    L230
L139:
  add    $0x8,%r13
  cmp    %rbx,%r13
  je     L254
L230:
  mov    %ecx,%eax
  test   %edx,%edx
  jne    L139
  comisd 0x0(%r13),%xmm0
  seta   %al
  movzbl %al,%eax
  jmp    L139
L254:
  cmp    %eax,%edx
  jne    L2
L223:
  mov    -0x28(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L163
  mov    $0x0,%eax
  lea    -0x18(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %rbp
  ret
L2:
  mov    $0x0,%eax
  call   <abort@plt>
  jmp    L223
L163:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D18
data_type: byte[8]

tool: {"D18": [0x00,0x00,0x00,0x00,0x00,0x00,0x14,0x40]}

assistant: ```c
int main(void) {
  const int n = 1000;
  int i;
  double vresult, result, array[n];
  bool lvresult, lresult;
  for (i = 0; i < n; i++)
    array[i] = i;
  result = 0;
  vresult = 0;
#pragma acc parallel vector_length(vl) copy(result)
#pragma acc loop reduction(max : result)
  for (i = 0; i < n; i++)
    result = result > array[i] ? result : array[i];
  for (i = 0; i < n; i++)
    vresult = vresult > array[i] ? vresult : array[i];
  if (result != vresult)
    abort();
  result = 0;
  vresult = 0;
#pragma acc parallel vector_length(vl) copy(result)
#pragma acc loop reduction(min : result)
  for (i = 0; i < n; i++)
    result = result < array[i] ? result : array[i];
  for (i = 0; i < n; i++)
    vresult = vresult < array[i] ? vresult : array[i];
  if (result != vresult)
    abort();
  result = 5;
  vresult = 5;
  lresult = false;
  lvresult = false;
#pragma acc parallel vector_length(vl) copy(lresult)
#pragma acc loop reduction(&& : lresult)
  for (i = 0; i < n; i++)
    lresult = lresult && (result > array[i]);
  for (i = 0; i < n; i++)
    lvresult = lresult && (result > array[i]);
  if (lresult != lvresult)
    abort();
  result = 5;
  vresult = 5;
  lresult = false;
  lvresult = false;
#pragma acc parallel vector_length(vl) copy(lresult)
#pragma acc loop reduction(|| : lresult)
  for (i = 0; i < n; i++)
    lresult = lresult || (result > array[i]);
  for (i = 0; i < n; i++)
    lvresult = lresult || (result > array[i]);
  if (lresult != lvresult)
    abort();
  return 0;
}
```