user: What is the c source code of the assembly code below?

```asm
<test_reductions_bool>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x18(%rbp)
  xor    %eax,%eax
  mov    %rsp,%rax
  mov    %rax,%rbx
  movl   $0x3e8,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x30(%rbp),%eax
  cltq
  mov    %rax,%r8
  mov    $0x0,%r9d
  mov    -0x30(%rbp),%eax
  cltq
  mov    %rax,%rsi
  mov    $0x0,%edi
  mov    -0x30(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%edi
  mov    $0x0,%edx
  div    %rdi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L52:
  cmp    %rdx,%rsp
  je     L108
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L52
L108:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L36
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L36:
  mov    %rsp,%rax
  add    $0x3,%rax
  shr    $0x2,%rax
  shl    $0x2,%rax
  mov    %rax,-0x20(%rbp)
  movl   $0x0,-0x44(%rbp)
  jmp    L245
L88:
  mov    -0x20(%rbp),%rax
  mov    -0x44(%rbp),%edx
  movslq %edx,%rdx
  mov    -0x44(%rbp),%ecx
  mov    %ecx,(%rax,%rdx,4)
  addl   $0x1,-0x44(%rbp)
L245:
  mov    -0x44(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jl     L88
  movl   $0x5,-0x2c(%rbp)
  movl   $0x1,-0x40(%rbp)
  movl   $0x0,-0x44(%rbp)
  jmp    L175
L136:
  cmpl   $0x0,-0x40(%rbp)
  je     L157
  mov    -0x20(%rbp),%rax
  mov    -0x44(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  cmp    %eax,-0x2c(%rbp)
  jle    L157
  mov    $0x1,%eax
  jmp    L95
L157:
  mov    $0x0,%eax
L95:
  mov    %eax,-0x40(%rbp)
  addl   $0x1,-0x44(%rbp)
L175:
  mov    -0x44(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jl     L136
  movl   $0x1,-0x3c(%rbp)
  movl   $0x0,-0x44(%rbp)
  jmp    L275
L97:
  cmpl   $0x0,-0x3c(%rbp)
  je     L174
  mov    -0x20(%rbp),%rax
  mov    -0x44(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  cmp    %eax,-0x2c(%rbp)
  jle    L174
  mov    $0x1,%eax
  jmp    L193
L174:
  mov    $0x0,%eax
L193:
  mov    %eax,-0x3c(%rbp)
  addl   $0x1,-0x44(%rbp)
L275:
  mov    -0x44(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jl     L97
  mov    -0x40(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  je     L84
  mov    $0x0,%eax
  call   <abort@plt>
L84:
  movl   $0x0,-0x38(%rbp)
  movl   $0x0,-0x44(%rbp)
  jmp    L19
L265:
  cmpl   $0x0,-0x38(%rbp)
  jne    L134
  mov    -0x20(%rbp),%rax
  mov    -0x44(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  cmp    %eax,-0x2c(%rbp)
  jle    L268
L134:
  mov    $0x1,%eax
  jmp    L113
L268:
  mov    $0x0,%eax
L113:
  mov    %eax,-0x38(%rbp)
  addl   $0x1,-0x44(%rbp)
L19:
  mov    -0x44(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jl     L265
  movl   $0x0,-0x34(%rbp)
  movl   $0x0,-0x44(%rbp)
  jmp    L237
L50:
  cmpl   $0x0,-0x34(%rbp)
  jne    L34
  mov    -0x20(%rbp),%rax
  mov    -0x44(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  cmp    %eax,-0x2c(%rbp)
  jle    L186
L34:
  mov    $0x1,%eax
  jmp    L214
L186:
  mov    $0x0,%eax
L214:
  mov    %eax,-0x34(%rbp)
  addl   $0x1,-0x44(%rbp)
L237:
  mov    -0x44(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jl     L50
  mov    -0x38(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  je     L101
  mov    $0x0,%eax
  call   <abort@plt>
L101:
  mov    %rbx,%rsp
  nop
  mov    -0x18(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L248
  call   <__stack_chk_fail@plt>
L248:
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void test_reductions_bool(void) {
  const int n = 1000;
  int i;
  int array[n];
  int cmp_val;
  for (i = 0; i < n; i++)
    array[i] = i;
  cmp_val = 5;
  {
    bool res, vres;
    res = (true);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(&& : res)
    for (i = 0; i < n; i++)
      res = res && ((cmp_val > array[i]));
    vres = (true);
    for (i = 0; i < n; i++)
      vres = vres && ((cmp_val > array[i]));
    if (res != vres)
      abort();
  };
  {
    bool res, vres;
    res = (false);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(|| : res)
    for (i = 0; i < n; i++)
      res = res || ((cmp_val > array[i]));
    vres = (false);
    for (i = 0; i < n; i++)
      vres = vres || ((cmp_val > array[i]));
    if (res != vres)
      abort();
  };
}
```