#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*/ assert(int);
int main(int argc, char *argv[]) {
  int i, j;
  float arr[32768];
  float res = 0, mres = 0, hres = 0, hmres = 0;
  for (i = 0; i < 32768; i++)
    arr[i] = i;
#pragma acc parallel num_gangs(32) num_workers(32) vector_length(32) reduction(+:res) reduction(max:mres) copy(res, mres)
  {
#pragma acc loop gang
    for (j = 0; j < 32; j++) {
#pragma acc loop worker vector reduction(+ : res) reduction(max : mres)
      for (i = 0; i < 1024; i++) {
        res += arr[j * 1024 + i];
        if (arr[j * 1024 + i] > mres)
          mres = arr[j * 1024 + i];
      }
#pragma acc loop worker vector reduction(+ : res) reduction(max : mres)
      for (i = 0; i < 1024; i++) {
        res += arr[j * 1024 + (1023 - i)];
        if (arr[j * 1024 + (1023 - i)] > mres)
          mres = arr[j * 1024 + (1023 - i)];
      }
    }
  }
  for (j = 0; j < 32; j++)
    for (i = 0; i < 1024; i++) {
      hres += arr[j * 1024 + i];
      hres += arr[j * 1024 + (1023 - i)];
      if (arr[j * 1024 + i] > hmres)
        hmres = arr[j * 1024 + i];
      if (arr[j * 1024 + (1023 - i)] > hmres)
        hmres = arr[j * 1024 + (1023 - i)];
    }
  assert(res == hres);
  assert(mres == hmres);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20030,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x20024(%rbp)
ff
xorps  %xmm0,%xmm0
movss  %xmm0,-0x20028(%rbp)
ff
xorps  %xmm0,%xmm0
movss  %xmm0,-0x2002c(%rbp)
ff
xorps  %xmm0,%xmm0
movss  %xmm0,-0x20030(%rbp)
ff
movl   $0x0,-0x14(%rbp)
cmpl   $0x8000,-0x14(%rbp)
jge    1189 <main+0x79>
cvtsi2ssl -0x14(%rbp),%xmm0
movslq -0x14(%rbp),%rax
movss  %xmm0,-0x20020(%rbp,%rax,4)
fd ff
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    115c <main+0x4c>
movl   $0x0,-0x18(%rbp)
cmpl   $0x20,-0x18(%rbp)
jge    12d2 <main+0x1c2>
movl   $0x0,-0x14(%rbp)
cmpl   $0x400,-0x14(%rbp)
jge    1222 <main+0x112>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
addss  -0x20024(%rbp),%xmm0
ff
movss  %xmm0,-0x20024(%rbp)
ff
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
ucomiss -0x20028(%rbp),%xmm0
jbe    120f <main+0xff>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
movss  %xmm0,-0x20028(%rbp)
ff
jmp    1214 <main+0x104>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a1 <main+0x91>
movl   $0x0,-0x14(%rbp)
cmpl   $0x400,-0x14(%rbp)
jge    12bf <main+0x1af>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
addss  -0x20024(%rbp),%xmm0
ff
movss  %xmm0,-0x20024(%rbp)
ff
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
ucomiss -0x20028(%rbp),%xmm0
jbe    12ac <main+0x19c>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
movss  %xmm0,-0x20028(%rbp)
ff
jmp    12b1 <main+0x1a1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1229 <main+0x119>
jmp    12c4 <main+0x1b4>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1190 <main+0x80>
movl   $0x0,-0x18(%rbp)
cmpl   $0x20,-0x18(%rbp)
jge    13f4 <main+0x2e4>
movl   $0x0,-0x14(%rbp)
cmpl   $0x400,-0x14(%rbp)
jge    13e1 <main+0x2d1>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
addss  -0x2002c(%rbp),%xmm0
ff
movss  %xmm0,-0x2002c(%rbp)
ff
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
addss  -0x2002c(%rbp),%xmm0
ff
movss  %xmm0,-0x2002c(%rbp)
ff
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
ucomiss -0x20030(%rbp),%xmm0
jbe    1383 <main+0x273>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
add    -0x14(%rbp),%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
movss  %xmm0,-0x20030(%rbp)
ff
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
ucomiss -0x20030(%rbp),%xmm0
jbe    13ce <main+0x2be>
mov    -0x18(%rbp),%eax
shl    $0xa,%eax
mov    $0x3ff,%ecx
sub    -0x14(%rbp),%ecx
add    %ecx,%eax
cltq
movss  -0x20020(%rbp,%rax,4),%xmm0
fd ff
movss  %xmm0,-0x20030(%rbp)
ff
jmp    13d3 <main+0x2c3>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12ea <main+0x1da>
jmp    13e6 <main+0x2d6>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12d9 <main+0x1c9>
movss  -0x20024(%rbp),%xmm0
ff
ucomiss -0x2002c(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x20028(%rbp),%xmm0
ff
ucomiss -0x20030(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x20030,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x20018,%rsp
movdqa 0xee1(%rip),%xmm0
xor    %eax,%eax
movdqa 0xee7(%rip),%xmm1
movdqa 0xeef(%rip),%xmm2
movdqa 0xef7(%rip),%xmm3
movdqa 0xeff(%rip),%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm5
paddd  %xmm1,%xmm5
cvtdq2ps %xmm0,%xmm6
cvtdq2ps %xmm5,%xmm5
movaps %xmm6,0x10(%rsp,%rax,4)
movaps %xmm5,0x20(%rsp,%rax,4)
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
cvtdq2ps %xmm5,%xmm5
cvtdq2ps %xmm6,%xmm6
movaps %xmm5,0x30(%rsp,%rax,4)
movaps %xmm6,0x40(%rsp,%rax,4)
add    $0x10,%rax
paddd  %xmm4,%xmm0
cmp    $0x8000,%rax
jne    1150 <main+0x40>
lea    0x1c(%rsp),%rax
pxor   %xmm3,%xmm3
lea    0x10(%rsp),%rcx
xor    %edx,%edx
pxor   %xmm0,%xmm0
nopl   0x0(%rax)
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  -0xc(%rax,%rsi,4),%xmm1
movss  -0x8(%rax,%rsi,4),%xmm2
addss  %xmm1,%xmm0
maxss  %xmm3,%xmm1
addss  %xmm2,%xmm0
maxss  %xmm1,%xmm2
movss  -0x4(%rax,%rsi,4),%xmm1
addss  %xmm1,%xmm0
maxss  %xmm2,%xmm1
movss  (%rax,%rsi,4),%xmm3
addss  %xmm3,%xmm0
maxss  %xmm1,%xmm3
add    $0x4,%rsi
cmp    $0x400,%rsi
jne    11c0 <main+0xb0>
mov    $0x1000,%esi
nopl   0x0(%rax)
movss  -0x4(%rcx,%rsi,1),%xmm1
addss  %xmm1,%xmm0
maxss  %xmm3,%xmm1
movss  -0x8(%rcx,%rsi,1),%xmm2
addss  %xmm2,%xmm0
maxss  %xmm1,%xmm2
movss  -0x10(%rcx,%rsi,1),%xmm3
movss  -0xc(%rcx,%rsi,1),%xmm1
addss  %xmm1,%xmm0
maxss  %xmm2,%xmm1
addss  %xmm3,%xmm0
maxss  %xmm1,%xmm3
add    $0xfffffffffffffff0,%rsi
jne    1210 <main+0x100>
add    $0x1,%rdx
add    $0x1000,%rax
add    $0x1000,%rcx
cmp    $0x20,%rdx
jne    11b0 <main+0xa0>
movss  %xmm3,0xc(%rsp)
lea    0x14(%rsp),%rax
pxor   %xmm4,%xmm4
lea    0x10(%rsp),%rcx
xor    %edx,%edx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    $0x1000,%esi
mov    %rax,%rdi
nopl   0x0(%rax,%rax,1)
movss  -0x4(%rdi),%xmm2
movss  (%rdi),%xmm3
addss  %xmm2,%xmm1
maxss  %xmm4,%xmm2
movss  -0x8(%rcx,%rsi,1),%xmm4
movss  -0x4(%rcx,%rsi,1),%xmm5
addss  %xmm5,%xmm1
maxss  %xmm2,%xmm5
addss  %xmm3,%xmm1
addss  %xmm4,%xmm1
maxss  %xmm5,%xmm3
maxss  %xmm3,%xmm4
add    $0x8,%rdi
add    $0xfffffffffffffff8,%rsi
jne    12a0 <main+0x190>
add    $0x1,%rdx
add    $0x1000,%rax
add    $0x1000,%rcx
cmp    $0x20,%rdx
jne    1290 <main+0x180>
cmpeqss %xmm1,%xmm0
movd   %xmm0,%edi
and    $0x1,%edi
movss  %xmm4,0x8(%rsp)
call   1030 <assert@plt>
movss  0xc(%rsp),%xmm0
cmpeqss 0x8(%rsp),%xmm0
movd   %xmm0,%edi
and    $0x1,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x20018,%rsp
ret

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

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [32768 x float]
%4 = bitcast [32768 x float]* %3 to i8*
br label %5
5: ; preds = %5, %2
%6 = phi i64 [ 0, %2 ], [ %24, %5 ]
%7 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %2 ], [ %25, %5 ]
%8 = add <4 x i32> %7, <i32 4, i32 4, i32 4, i32 4>
%9 = sitofp <4 x i32> %7 to <4 x float>
%10 = sitofp <4 x i32> %8 to <4 x float>
%11 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %6
%12 = bitcast float* %11 to <4 x float>*
store <4 x float> %9, <4 x float>* %12
%13 = getelementptr inbounds float, float* %11, i64 4
%14 = bitcast float* %13 to <4 x float>*
store <4 x float> %10, <4 x float>* %14
%15 = or i64 %6, 8
%16 = add <4 x i32> %7, <i32 8, i32 8, i32 8, i32 8>
%17 = add <4 x i32> %7, <i32 12, i32 12, i32 12, i32 12>
%18 = sitofp <4 x i32> %16 to <4 x float>
%19 = sitofp <4 x i32> %17 to <4 x float>
%20 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %15
%21 = bitcast float* %20 to <4 x float>*
store <4 x float> %18, <4 x float>* %21
%22 = getelementptr inbounds float, float* %20, i64 4
%23 = bitcast float* %22 to <4 x float>*
store <4 x float> %19, <4 x float>* %23
%24 = add nuw nsw i64 %6, 16
%25 = add <4 x i32> %7, <i32 16, i32 16, i32 16, i32 16>
%26 = icmp eq i64 %24, 32768
br i1 %26, label %27, label %5
27: ; preds = %5, %100
%28 = phi i64 [ %101, %100 ], [ 0, %5 ]
%29 = phi float [ %97, %100 ], [ 0.000000e+00, %5 ]
%30 = phi float [ %95, %100 ], [ 0.000000e+00, %5 ]
%31 = shl nsw i64 %28, 10
br label %34
32: ; preds = %34
%33 = or i64 %31, 1023
br label %67
34: ; preds = %34, %27
%35 = phi i64 [ 0, %27 ], [ %65, %34 ]
%36 = phi float [ %29, %27 ], [ %64, %34 ]
%37 = phi float [ %30, %27 ], [ %62, %34 ]
%38 = add nuw nsw i64 %35, %31
%39 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %38
%40 = load float, float* %39
%41 = fadd float %37, %40
%42 = fcmp ogt float %40, %36
%43 = select i1 %42, float %40, float %36
%44 = or i64 %35, 1
%45 = add nuw nsw i64 %44, %31
%46 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %45
%47 = load float, float* %46
%48 = fadd float %41, %47
%49 = fcmp ogt float %47, %43
%50 = select i1 %49, float %47, float %43
%51 = or i64 %35, 2
%52 = add nuw nsw i64 %51, %31
%53 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %52
%54 = load float, float* %53
%55 = fadd float %48, %54
%56 = fcmp ogt float %54, %50
%57 = select i1 %56, float %54, float %50
%58 = or i64 %35, 3
%59 = add nuw nsw i64 %58, %31
%60 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %59
%61 = load float, float* %60
%62 = fadd float %55, %61
%63 = fcmp ogt float %61, %57
%64 = select i1 %63, float %61, float %57
%65 = add nuw nsw i64 %35, 4
%66 = icmp eq i64 %65, 1024
br i1 %66, label %32, label %34
67: ; preds = %67, %32
%68 = phi i64 [ 0, %32 ], [ %98, %67 ]
%69 = phi float [ %64, %32 ], [ %97, %67 ]
%70 = phi float [ %62, %32 ], [ %95, %67 ]
%71 = sub nuw nsw i64 %33, %68
%72 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %71
%73 = load float, float* %72
%74 = fadd float %70, %73
%75 = fcmp ogt float %73, %69
%76 = select i1 %75, float %73, float %69
%77 = xor i64 %68, -1
%78 = add nsw i64 %33, %77
%79 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %78
%80 = load float, float* %79
%81 = fadd float %74, %80
%82 = fcmp ogt float %80, %76
%83 = select i1 %82, float %80, float %76
%84 = or i64 %68, 2
%85 = sub nuw nsw i64 %33, %84
%86 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %85
%87 = load float, float* %86
%88 = fadd float %81, %87
%89 = fcmp ogt float %87, %83
%90 = select i1 %89, float %87, float %83
%91 = or i64 %68, 3
%92 = sub nuw nsw i64 %33, %91
%93 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %92
%94 = load float, float* %93
%95 = fadd float %88, %94
%96 = fcmp ogt float %94, %90
%97 = select i1 %96, float %94, float %90
%98 = add nuw nsw i64 %68, 4
%99 = icmp eq i64 %98, 1024
br i1 %99, label %100, label %67
100: ; preds = %67
%101 = add nuw nsw i64 %28, 1
%102 = icmp eq i64 %101, 32
br i1 %102, label %103, label %27
103: ; preds = %100, %140
%104 = phi i64 [ %141, %140 ], [ 0, %100 ]
%105 = phi float [ %137, %140 ], [ 0.000000e+00, %100 ]
%106 = phi float [ %133, %140 ], [ 0.000000e+00, %100 ]
%107 = shl nsw i64 %104, 10
%108 = or i64 %107, 1023
br label %109
109: ; preds = %109, %103
%110 = phi i64 [ 0, %103 ], [ %138, %109 ]
%111 = phi float [ %105, %103 ], [ %137, %109 ]
%112 = phi float [ %106, %103 ], [ %133, %109 ]
%113 = add nuw nsw i64 %110, %107
%114 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %113
%115 = load float, float* %114
%116 = fadd float %112, %115
%117 = sub nuw nsw i64 %108, %110
%118 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %117
%119 = load float, float* %118
%120 = fadd float %116, %119
%121 = fcmp ogt float %115, %111
%122 = select i1 %121, float %115, float %111
%123 = fcmp ogt float %119, %122
%124 = select i1 %123, float %119, float %122
%125 = or i64 %110, 1
%126 = add nuw nsw i64 %125, %107
%127 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %126
%128 = load float, float* %127
%129 = fadd float %120, %128
%130 = sub nuw nsw i64 %108, %125
%131 = getelementptr inbounds [32768 x float], [32768 x float]* %3, i64 0, i64 %130
%132 = load float, float* %131
%133 = fadd float %129, %132
%134 = fcmp ogt float %128, %124
%135 = select i1 %134, float %128, float %124
%136 = fcmp ogt float %132, %135
%137 = select i1 %136, float %132, float %135
%138 = add nuw nsw i64 %110, 2
%139 = icmp eq i64 %138, 1024
br i1 %139, label %140, label %109
140: ; preds = %109
%141 = add nuw nsw i64 %104, 1
%142 = icmp eq i64 %141, 32
br i1 %142, label %143, label %103
143: ; preds = %140
%144 = fcmp oeq float %95, %133
%145 = zext i1 %144 to i32
%146 = tail call i32 @assert(i32 %145)
%147 = fcmp oeq float %97, %137
%148 = zext i1 %147 to i32
%149 = tail call i32 @assert(i32 %148)
ret i32 0
}