#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ abort();
double fabs(float);
int main(void) {
  const int n = 1000;
  int i;
  float 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(+ : result)
  for (i = 0; i < n; i++)
    result += array[i];
  for (i = 0; i < n; i++)
    vresult += array[i];
  if (result != vresult)
    abort();
  result = 0;
  vresult = 0;
#pragma acc parallel vector_length(vl) copy(result)
#pragma acc loop reduction(* : result)
  for (i = 0; i < n; i++)
    result *= array[i];
  for (i = 0; i < n; i++)
    vresult *= array[i];
  if (fabs(result - vresult) > .0001)
    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;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfe0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x3e8,-0x8(%rbp)
mov    %rsp,%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1174 <main+0x54>
cvtsi2ssl -0xc(%rbp),%xmm0
movslq -0xc(%rbp),%rax
movss  %xmm0,-0xfd0(%rbp,%rax,4)
ff ff
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1147 <main+0x27>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    11bd <main+0x9d>
movslq -0xc(%rbp),%rax
movss  -0xfd0(%rbp,%rax,4),%xmm0
ff ff
addss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    118b <main+0x6b>
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    11f6 <main+0xd6>
movslq -0xc(%rbp),%rax
movss  -0xfd0(%rbp,%rax,4),%xmm0
ff ff
addss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11c4 <main+0xa4>
movss  -0x14(%rbp),%xmm0
ucomiss -0x10(%rbp),%xmm0
jne    1210 <main+0xf0>
jp     1210 <main+0xf0>
jmp    1217 <main+0xf7>
mov    $0x0,%al
call   1030 <abort@plt>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1260 <main+0x140>
movslq -0xc(%rbp),%rax
movss  -0xfd0(%rbp,%rax,4),%xmm0
ff ff
mulss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    122e <main+0x10e>
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1299 <main+0x179>
movslq -0xc(%rbp),%rax
movss  -0xfd0(%rbp,%rax,4),%xmm0
ff ff
mulss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1267 <main+0x147>
movss  -0x14(%rbp),%xmm0
subss  -0x10(%rbp),%xmm0
call   1040 <fabs@plt>
movsd  0xd50(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    12c1 <main+0x1a1>
mov    $0x0,%al
call   1030 <abort@plt>
movss  0xd3f(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  0xd32(%rip),%xmm0
movss  %xmm0,-0x10(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1345 <main+0x225>
xor    %eax,%eax
cmpl   $0x0,-0x28(%rbp)
mov    %al,-0xfd1(%rbp)
je     1329 <main+0x209>
movss  -0x14(%rbp),%xmm0
movslq -0xc(%rbp),%rax
ucomiss -0xfd0(%rbp,%rax,4),%xmm0
ff
seta   %al
mov    %al,-0xfd1(%rbp)
mov    -0xfd1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12f0 <main+0x1d0>
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    13a1 <main+0x281>
xor    %eax,%eax
cmpl   $0x0,-0x28(%rbp)
mov    %al,-0xfd2(%rbp)
je     1385 <main+0x265>
movss  -0x14(%rbp),%xmm0
movslq -0xc(%rbp),%rax
ucomiss -0xfd0(%rbp,%rax,4),%xmm0
ff
seta   %al
mov    %al,-0xfd2(%rbp)
mov    -0xfd2(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    134c <main+0x22c>
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     13b4 <main+0x294>
mov    $0x0,%al
call   1030 <abort@plt>
movss  0xc4c(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  0xc3f(%rip),%xmm0
movss  %xmm0,-0x10(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1438 <main+0x318>
mov    $0x1,%al
cmpl   $0x0,-0x28(%rbp)
mov    %al,-0xfd3(%rbp)
jne    141c <main+0x2fc>
movss  -0x14(%rbp),%xmm0
movslq -0xc(%rbp),%rax
ucomiss -0xfd0(%rbp,%rax,4),%xmm0
ff
seta   %al
mov    %al,-0xfd3(%rbp)
mov    -0xfd3(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    13e3 <main+0x2c3>
movl   $0x0,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jge    1494 <main+0x374>
mov    $0x1,%al
cmpl   $0x0,-0x28(%rbp)
mov    %al,-0xfd4(%rbp)
jne    1478 <main+0x358>
movss  -0x14(%rbp),%xmm0
movslq -0xc(%rbp),%rax
ucomiss -0xfd0(%rbp,%rax,4),%xmm0
ff
seta   %al
mov    %al,-0xfd4(%rbp)
mov    -0xfd4(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    143f <main+0x31f>
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     14a7 <main+0x387>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
add    $0xfe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0xfa8,%rsp
movdqa 0xed1(%rip),%xmm0
mov    $0xc,%eax
movdqa 0xed4(%rip),%xmm1
movdqa 0xedc(%rip),%xmm2
movdqa 0xee4(%rip),%xmm3
movdqa 0xeec(%rip),%xmm4
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqa %xmm0,%xmm5
paddd  %xmm1,%xmm5
cvtdq2ps %xmm0,%xmm6
cvtdq2ps %xmm5,%xmm5
movaps %xmm6,-0x30(%rsp,%rax,4)
movaps %xmm5,-0x20(%rsp,%rax,4)
cmp    $0x3ec,%rax
je     11a9 <main+0x89>
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
cvtdq2ps %xmm5,%xmm5
cvtdq2ps %xmm6,%xmm6
movaps %xmm5,-0x10(%rsp,%rax,4)
movaps %xmm6,(%rsp,%rax,4)
paddd  %xmm4,%xmm0
add    $0x10,%rax
jmp    1160 <main+0x40>
pxor   %xmm0,%xmm0
mov    $0x7,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
addss  -0x1c(%rsp,%rax,4),%xmm0
addss  -0x18(%rsp,%rax,4),%xmm0
addss  -0x14(%rsp,%rax,4),%xmm0
addss  -0x10(%rsp,%rax,4),%xmm0
addss  -0xc(%rsp,%rax,4),%xmm0
addss  -0x8(%rsp,%rax,4),%xmm0
addss  -0x4(%rsp,%rax,4),%xmm0
addss  (%rsp,%rax,4),%xmm0
add    $0x8,%rax
cmp    $0x3ef,%rax
jne    11c0 <main+0xa0>
pxor   %xmm1,%xmm1
mov    $0x7,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
addss  -0x1c(%rsp,%rax,4),%xmm1
addss  -0x18(%rsp,%rax,4),%xmm1
addss  -0x14(%rsp,%rax,4),%xmm1
addss  -0x10(%rsp,%rax,4),%xmm1
addss  -0xc(%rsp,%rax,4),%xmm1
addss  -0x8(%rsp,%rax,4),%xmm1
addss  -0x4(%rsp,%rax,4),%xmm1
addss  (%rsp,%rax,4),%xmm1
add    $0x8,%rax
cmp    $0x3ef,%rax
jne    1210 <main+0xf0>
ucomiss %xmm1,%xmm0
jne    1381 <main+0x261>
jp     1381 <main+0x261>
xorps  %xmm0,%xmm0
mov    $0x7,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mulss  -0x1c(%rsp,%rax,4),%xmm0
mulss  -0x18(%rsp,%rax,4),%xmm0
mulss  -0x14(%rsp,%rax,4),%xmm0
mulss  -0x10(%rsp,%rax,4),%xmm0
mulss  -0xc(%rsp,%rax,4),%xmm0
mulss  -0x8(%rsp,%rax,4),%xmm0
mulss  -0x4(%rsp,%rax,4),%xmm0
mulss  (%rsp,%rax,4),%xmm0
add    $0x8,%rax
cmp    $0x3ef,%rax
jne    1270 <main+0x150>
xorps  %xmm1,%xmm1
mov    $0x7,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mulss  -0x1c(%rsp,%rax,4),%xmm1
mulss  -0x18(%rsp,%rax,4),%xmm1
mulss  -0x14(%rsp,%rax,4),%xmm1
mulss  -0x10(%rsp,%rax,4),%xmm1
mulss  -0xc(%rsp,%rax,4),%xmm1
mulss  -0x8(%rsp,%rax,4),%xmm1
mulss  -0x4(%rsp,%rax,4),%xmm1
mulss  (%rsp,%rax,4),%xmm1
add    $0x8,%rax
cmp    $0x3ef,%rax
jne    12c0 <main+0x1a0>
subss  %xmm1,%xmm0
call   1040 <fabs@plt>
ucomisd 0xd44(%rip),%xmm0
ja     1381 <main+0x261>
xor    %ecx,%ecx
mov    $0x1,%edx
movss  0xd3b(%rip),%xmm0
jmp    1330 <main+0x210>
nop
movzbl %al,%ecx
add    $0x2,%rdx
cmp    $0x3e9,%rdx
je     1346 <main+0x226>
mov    $0x1,%al
test   %ecx,%ecx
jne    1320 <main+0x200>
ucomiss -0x4(%rsp,%rdx,4),%xmm0
ja     1320 <main+0x200>
ucomiss (%rsp,%rdx,4),%xmm0
seta   %al
jmp    1320 <main+0x200>
xor    %edx,%edx
jmp    135d <main+0x23d>
nopw   0x0(%rax,%rax,1)
cmp    $0x3e7,%rdx
je     136c <main+0x24c>
add    $0x1,%rdx
test   %ecx,%ecx
je     1350 <main+0x230>
cmp    $0x3e7,%rdx
jne    1359 <main+0x239>
jmp    1377 <main+0x257>
ucomiss (%rsp,%rdx,4),%xmm0
setbe  %cl
xor    %al,%cl
je     1381 <main+0x261>
xor    %eax,%eax
add    $0xfa8,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca float
%5 = alloca float
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
store i32 0, i32* %1
store i32 1000, i32* %2
%9 = call i8* @llvm.stacksave()
store i8* %9, i8** %6
%10 = alloca float, i64 1000
store i32 0, i32* %3
br label %11
11: ; preds = %20, %0
%12 = load i32, i32* %3
%13 = icmp slt i32 %12, 1000
br i1 %13, label %14, label %23
14: ; preds = %11
%15 = load i32, i32* %3
%16 = sitofp i32 %15 to float
%17 = load i32, i32* %3
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds float, float* %10, i64 %18
store float %16, float* %19
br label %20
20: ; preds = %14
%21 = load i32, i32* %3
%22 = add nsw i32 %21, 1
store i32 %22, i32* %3
br label %11
23: ; preds = %11
store float 0.000000e+00, float* %5
store float 0.000000e+00, float* %4
store i32 0, i32* %3
br label %24
24: ; preds = %34, %23
%25 = load i32, i32* %3
%26 = icmp slt i32 %25, 1000
br i1 %26, label %27, label %37
27: ; preds = %24
%28 = load i32, i32* %3
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds float, float* %10, i64 %29
%31 = load float, float* %30
%32 = load float, float* %5
%33 = fadd float %32, %31
store float %33, float* %5
br label %34
34: ; preds = %27
%35 = load i32, i32* %3
%36 = add nsw i32 %35, 1
store i32 %36, i32* %3
br label %24
37: ; preds = %24
store i32 0, i32* %3
br label %38
38: ; preds = %48, %37
%39 = load i32, i32* %3
%40 = icmp slt i32 %39, 1000
br i1 %40, label %41, label %51
41: ; preds = %38
%42 = load i32, i32* %3
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds float, float* %10, i64 %43
%45 = load float, float* %44
%46 = load float, float* %4
%47 = fadd float %46, %45
store float %47, float* %4
br label %48
48: ; preds = %41
%49 = load i32, i32* %3
%50 = add nsw i32 %49, 1
store i32 %50, i32* %3
br label %38
51: ; preds = %38
%52 = load float, float* %5
%53 = load float, float* %4
%54 = fcmp une float %52, %53
br i1 %54, label %55, label %57
55: ; preds = %51
%56 = call i32 (...) @abort()
unreachable
57: ; preds = %51
store float 0.000000e+00, float* %5
store float 0.000000e+00, float* %4
store i32 0, i32* %3
br label %58
58: ; preds = %68, %57
%59 = load i32, i32* %3
%60 = icmp slt i32 %59, 1000
br i1 %60, label %61, label %71
61: ; preds = %58
%62 = load i32, i32* %3
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds float, float* %10, i64 %63
%65 = load float, float* %64
%66 = load float, float* %5
%67 = fmul float %66, %65
store float %67, float* %5
br label %68
68: ; preds = %61
%69 = load i32, i32* %3
%70 = add nsw i32 %69, 1
store i32 %70, i32* %3
br label %58
71: ; preds = %58
store i32 0, i32* %3
br label %72
72: ; preds = %82, %71
%73 = load i32, i32* %3
%74 = icmp slt i32 %73, 1000
br i1 %74, label %75, label %85
75: ; preds = %72
%76 = load i32, i32* %3
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds float, float* %10, i64 %77
%79 = load float, float* %78
%80 = load float, float* %4
%81 = fmul float %80, %79
store float %81, float* %4
br label %82
82: ; preds = %75
%83 = load i32, i32* %3
%84 = add nsw i32 %83, 1
store i32 %84, i32* %3
br label %72
85: ; preds = %72
%86 = load float, float* %5
%87 = load float, float* %4
%88 = fsub float %86, %87
%89 = call double @fabs(float %88)
%90 = fcmp ogt double %89, 1.000000e-04
br i1 %90, label %91, label %93
91: ; preds = %85
%92 = call i32 (...) @abort()
unreachable
93: ; preds = %85
store float 5.000000e+00, float* %5
store float 5.000000e+00, float* %4
store i32 0, i32* %8
store i32 0, i32* %7
store i32 0, i32* %3
br label %94
94: ; preds = %110, %93
%95 = load i32, i32* %3
%96 = icmp slt i32 %95, 1000
br i1 %96, label %97, label %113
97: ; preds = %94
%98 = load i32, i32* %8
%99 = icmp ne i32 %98, 0
br i1 %99, label %100, label %107
100: ; preds = %97
%101 = load float, float* %5
%102 = load i32, i32* %3
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds float, float* %10, i64 %103
%105 = load float, float* %104
%106 = fcmp ogt float %101, %105
br label %107
107: ; preds = %100, %97
%108 = phi i1 [ false, %97 ], [ %106, %100 ]
%109 = zext i1 %108 to i32
store i32 %109, i32* %8
br label %110
110: ; preds = %107
%111 = load i32, i32* %3
%112 = add nsw i32 %111, 1
store i32 %112, i32* %3
br label %94
113: ; preds = %94
store i32 0, i32* %3
br label %114
114: ; preds = %130, %113
%115 = load i32, i32* %3
%116 = icmp slt i32 %115, 1000
br i1 %116, label %117, label %133
117: ; preds = %114
%118 = load i32, i32* %8
%119 = icmp ne i32 %118, 0
br i1 %119, label %120, label %127
120: ; preds = %117
%121 = load float, float* %5
%122 = load i32, i32* %3
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds float, float* %10, i64 %123
%125 = load float, float* %124
%126 = fcmp ogt float %121, %125
br label %127
127: ; preds = %120, %117
%128 = phi i1 [ false, %117 ], [ %126, %120 ]
%129 = zext i1 %128 to i32
store i32 %129, i32* %7
br label %130
130: ; preds = %127
%131 = load i32, i32* %3
%132 = add nsw i32 %131, 1
store i32 %132, i32* %3
br label %114
133: ; preds = %114
%134 = load i32, i32* %8
%135 = load i32, i32* %7
%136 = icmp ne i32 %134, %135
br i1 %136, label %137, label %139
137: ; preds = %133
%138 = call i32 (...) @abort()
unreachable
139: ; preds = %133
store float 5.000000e+00, float* %5
store float 5.000000e+00, float* %4
store i32 0, i32* %8
store i32 0, i32* %7
store i32 0, i32* %3
br label %140
140: ; preds = %156, %139
%141 = load i32, i32* %3
%142 = icmp slt i32 %141, 1000
br i1 %142, label %143, label %159
143: ; preds = %140
%144 = load i32, i32* %8
%145 = icmp ne i32 %144, 0
br i1 %145, label %153, label %146
146: ; preds = %143
%147 = load float, float* %5
%148 = load i32, i32* %3
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds float, float* %10, i64 %149
%151 = load float, float* %150
%152 = fcmp ogt float %147, %151
br label %153
153: ; preds = %146, %143
%154 = phi i1 [ true, %143 ], [ %152, %146 ]
%155 = zext i1 %154 to i32
store i32 %155, i32* %8
br label %156
156: ; preds = %153
%157 = load i32, i32* %3
%158 = add nsw i32 %157, 1
store i32 %158, i32* %3
br label %140
159: ; preds = %140
store i32 0, i32* %3
br label %160
160: ; preds = %176, %159
%161 = load i32, i32* %3
%162 = icmp slt i32 %161, 1000
br i1 %162, label %163, label %179
163: ; preds = %160
%164 = load i32, i32* %8
%165 = icmp ne i32 %164, 0
br i1 %165, label %173, label %166
166: ; preds = %163
%167 = load float, float* %5
%168 = load i32, i32* %3
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds float, float* %10, i64 %169
%171 = load float, float* %170
%172 = fcmp ogt float %167, %171
br label %173
173: ; preds = %166, %163
%174 = phi i1 [ true, %163 ], [ %172, %166 ]
%175 = zext i1 %174 to i32
store i32 %175, i32* %7
br label %176
176: ; preds = %173
%177 = load i32, i32* %3
%178 = add nsw i32 %177, 1
store i32 %178, i32* %3
br label %160
179: ; preds = %160
%180 = load i32, i32* %8
%181 = load i32, i32* %7
%182 = icmp ne i32 %180, %181
br i1 %182, label %183, label %185
183: ; preds = %179
%184 = call i32 (...) @abort()
unreachable
185: ; preds = %179
store i32 0, i32* %1
%186 = load i8*, i8** %6
%187 = load i32, i32* %1
ret i32 %187
}

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [1000 x float]
br label %2
2: ; preds = %14, %0
%3 = phi i64 [ 0, %0 ], [ %23, %14 ]
%4 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %0 ], [ %24, %14 ]
%5 = add <4 x i32> %4, <i32 4, i32 4, i32 4, i32 4>
%6 = sitofp <4 x i32> %4 to <4 x float>
%7 = sitofp <4 x i32> %5 to <4 x float>
%8 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %3
%9 = bitcast float* %8 to <4 x float>*
store <4 x float> %6, <4 x float>* %9
%10 = getelementptr inbounds float, float* %8, i64 4
%11 = bitcast float* %10 to <4 x float>*
store <4 x float> %7, <4 x float>* %11
%12 = or i64 %3, 8
%13 = icmp eq i64 %12, 1000
br i1 %13, label %25, label %14
14: ; preds = %2
%15 = add <4 x i32> %4, <i32 8, i32 8, i32 8, i32 8>
%16 = add <4 x i32> %4, <i32 12, i32 12, i32 12, i32 12>
%17 = sitofp <4 x i32> %15 to <4 x float>
%18 = sitofp <4 x i32> %16 to <4 x float>
%19 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %12
%20 = bitcast float* %19 to <4 x float>*
store <4 x float> %17, <4 x float>* %20
%21 = getelementptr inbounds float, float* %19, i64 4
%22 = bitcast float* %21 to <4 x float>*
store <4 x float> %18, <4 x float>* %22
%23 = add nuw nsw i64 %3, 16
%24 = add <4 x i32> %4, <i32 16, i32 16, i32 16, i32 16>
br label %2
25: ; preds = %2, %25
%26 = phi i64 [ %59, %25 ], [ 0, %2 ]
%27 = phi float [ %58, %25 ], [ 0.000000e+00, %2 ]
%28 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %26
%29 = load float, float* %28
%30 = fadd float %27, %29
%31 = or i64 %26, 1
%32 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %31
%33 = load float, float* %32
%34 = fadd float %30, %33
%35 = or i64 %26, 2
%36 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %35
%37 = load float, float* %36
%38 = fadd float %34, %37
%39 = or i64 %26, 3
%40 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %39
%41 = load float, float* %40
%42 = fadd float %38, %41
%43 = or i64 %26, 4
%44 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %43
%45 = load float, float* %44
%46 = fadd float %42, %45
%47 = or i64 %26, 5
%48 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %47
%49 = load float, float* %48
%50 = fadd float %46, %49
%51 = or i64 %26, 6
%52 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %51
%53 = load float, float* %52
%54 = fadd float %50, %53
%55 = or i64 %26, 7
%56 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %55
%57 = load float, float* %56
%58 = fadd float %54, %57
%59 = add nuw nsw i64 %26, 8
%60 = icmp eq i64 %59, 1000
br i1 %60, label %61, label %25
61: ; preds = %25, %61
%62 = phi i64 [ %95, %61 ], [ 0, %25 ]
%63 = phi float [ %94, %61 ], [ 0.000000e+00, %25 ]
%64 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %62
%65 = load float, float* %64
%66 = fadd float %63, %65
%67 = or i64 %62, 1
%68 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %67
%69 = load float, float* %68
%70 = fadd float %66, %69
%71 = or i64 %62, 2
%72 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %71
%73 = load float, float* %72
%74 = fadd float %70, %73
%75 = or i64 %62, 3
%76 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %75
%77 = load float, float* %76
%78 = fadd float %74, %77
%79 = or i64 %62, 4
%80 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %79
%81 = load float, float* %80
%82 = fadd float %78, %81
%83 = or i64 %62, 5
%84 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %83
%85 = load float, float* %84
%86 = fadd float %82, %85
%87 = or i64 %62, 6
%88 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %87
%89 = load float, float* %88
%90 = fadd float %86, %89
%91 = or i64 %62, 7
%92 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %91
%93 = load float, float* %92
%94 = fadd float %90, %93
%95 = add nuw nsw i64 %62, 8
%96 = icmp eq i64 %95, 1000
br i1 %96, label %97, label %61
97: ; preds = %61
%98 = fcmp une float %58, %94
br i1 %98, label %99, label %101
99: ; preds = %97
%100 = tail call i32 (...) @abort()
unreachable
101: ; preds = %97, %101
%102 = phi i64 [ %135, %101 ], [ 0, %97 ]
%103 = phi float [ %134, %101 ], [ 0.000000e+00, %97 ]
%104 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %102
%105 = load float, float* %104
%106 = fmul float %103, %105
%107 = or i64 %102, 1
%108 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %107
%109 = load float, float* %108
%110 = fmul float %106, %109
%111 = or i64 %102, 2
%112 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %111
%113 = load float, float* %112
%114 = fmul float %110, %113
%115 = or i64 %102, 3
%116 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %115
%117 = load float, float* %116
%118 = fmul float %114, %117
%119 = or i64 %102, 4
%120 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %119
%121 = load float, float* %120
%122 = fmul float %118, %121
%123 = or i64 %102, 5
%124 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %123
%125 = load float, float* %124
%126 = fmul float %122, %125
%127 = or i64 %102, 6
%128 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %127
%129 = load float, float* %128
%130 = fmul float %126, %129
%131 = or i64 %102, 7
%132 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %131
%133 = load float, float* %132
%134 = fmul float %130, %133
%135 = add nuw nsw i64 %102, 8
%136 = icmp eq i64 %135, 1000
br i1 %136, label %137, label %101
137: ; preds = %101, %137
%138 = phi i64 [ %171, %137 ], [ 0, %101 ]
%139 = phi float [ %170, %137 ], [ 0.000000e+00, %101 ]
%140 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %138
%141 = load float, float* %140
%142 = fmul float %139, %141
%143 = or i64 %138, 1
%144 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %143
%145 = load float, float* %144
%146 = fmul float %142, %145
%147 = or i64 %138, 2
%148 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %147
%149 = load float, float* %148
%150 = fmul float %146, %149
%151 = or i64 %138, 3
%152 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %151
%153 = load float, float* %152
%154 = fmul float %150, %153
%155 = or i64 %138, 4
%156 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %155
%157 = load float, float* %156
%158 = fmul float %154, %157
%159 = or i64 %138, 5
%160 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %159
%161 = load float, float* %160
%162 = fmul float %158, %161
%163 = or i64 %138, 6
%164 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %163
%165 = load float, float* %164
%166 = fmul float %162, %165
%167 = or i64 %138, 7
%168 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %167
%169 = load float, float* %168
%170 = fmul float %166, %169
%171 = add nuw nsw i64 %138, 8
%172 = icmp eq i64 %171, 1000
br i1 %172, label %173, label %137
173: ; preds = %137
%174 = fsub float %134, %170
%175 = tail call double @fabs(float %174)
%176 = fcmp ogt double %175, 1.000000e-04
br i1 %176, label %177, label %179
177: ; preds = %173
%178 = tail call i32 (...) @abort()
unreachable
179: ; preds = %173, %192
%180 = phi i64 [ %195, %192 ], [ 0, %173 ]
%181 = phi i32 [ %194, %192 ], [ 0, %173 ]
%182 = icmp eq i32 %181, 0
br i1 %182, label %183, label %192
183: ; preds = %179
%184 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %180
%185 = load float, float* %184
%186 = fcmp olt float %185, 5.000000e+00
br i1 %186, label %192, label %187
187: ; preds = %183
%188 = or i64 %180, 1
%189 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %188
%190 = load float, float* %189
%191 = fcmp olt float %190, 5.000000e+00
br label %192
192: ; preds = %179, %187, %183
%193 = phi i1 [ true, %183 ], [ %191, %187 ], [ true, %179 ]
%194 = zext i1 %193 to i32
%195 = add nuw nsw i64 %180, 2
%196 = icmp eq i64 %195, 1000
br i1 %196, label %197, label %179
197: ; preds = %192, %202
%198 = phi i64 [ %199, %202 ], [ 0, %192 ]
%199 = add nuw nsw i64 %198, 1
%200 = icmp eq i64 %199, 1000
br i1 %193, label %203, label %201
201: ; preds = %197
br i1 %200, label %204, label %202
202: ; preds = %201, %203
br label %197
203: ; preds = %197
br i1 %200, label %211, label %202
204: ; preds = %201
%205 = getelementptr inbounds [1000 x float], [1000 x float]* %1, i64 0, i64 %198
%206 = load float, float* %205
%207 = fcmp uge float %206, 5.000000e+00
%208 = xor i1 %207, %193
br i1 %208, label %211, label %209
209: ; preds = %204
%210 = tail call i32 (...) @abort()
unreachable
211: ; preds = %203, %204
ret i32 0
}