#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);
void gwv_np_2() {
  int i, j, arr[32768], res = 0, hres = 0;
  for (i = 0; i < 32768; i++)
    arr[i] = i;
#pragma acc parallel num_gangs(32) num_workers(32) vector_length(32) copy(res)
  {
#pragma acc loop gang reduction(+ : res)
    for (j = 0; j < 32; j++) {
#pragma acc loop worker vector reduction(+ : res)
      for (i = 0; i < 1024; i++)
        res += arr[j * 1024 + i];
    }
  }
  for (i = 0; i < 32768; i++)
    hres += arr[i];
  assert(res == hres);
}


x86 assembly (clang, -O0):
<gwv_np_2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20020,%rsp
movl   $0x0,-0x20014(%rbp)
movl   $0x0,-0x20018(%rbp)
movl   $0x0,-0x4(%rbp)
cmpl   $0x8000,-0x4(%rbp)
jge    115f <gwv_np_2+0x4f>
mov    -0x4(%rbp),%ecx
movslq -0x4(%rbp),%rax
mov    %ecx,-0x20010(%rbp,%rax,4)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1136 <gwv_np_2+0x26>
movl   $0x0,-0x8(%rbp)
cmpl   $0x20,-0x8(%rbp)
jge    11c3 <gwv_np_2+0xb3>
movl   $0x0,-0x4(%rbp)
cmpl   $0x400,-0x4(%rbp)
jge    11b0 <gwv_np_2+0xa0>
mov    -0x8(%rbp),%eax
shl    $0xa,%eax
add    -0x4(%rbp),%eax
cltq
mov    -0x20010(%rbp,%rax,4),%eax
add    -0x20014(%rbp),%eax
mov    %eax,-0x20014(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1177 <gwv_np_2+0x67>
jmp    11b5 <gwv_np_2+0xa5>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1166 <gwv_np_2+0x56>
movl   $0x0,-0x4(%rbp)
cmpl   $0x8000,-0x4(%rbp)
jge    11fc <gwv_np_2+0xec>
movslq -0x4(%rbp),%rax
mov    -0x20010(%rbp,%rax,4),%eax
add    -0x20018(%rbp),%eax
mov    %eax,-0x20018(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11ca <gwv_np_2+0xba>
mov    -0x20014(%rbp),%eax
cmp    -0x20018(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
add    $0x20020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gwv_np_2>:
sub    $0x1ff88,%rsp
movdqa 0xee1(%rip),%xmm0
xor    %eax,%eax
movdqa 0xee6(%rip),%xmm8
movdqa 0xeed(%rip),%xmm9
movdqa 0xef4(%rip),%xmm10
movdqa 0xefc(%rip),%xmm4
movdqa 0xf04(%rip),%xmm5
movdqa 0xf0c(%rip),%xmm6
movdqa 0xf14(%rip),%xmm7
movdqa 0xf1c(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqa %xmm0,-0x80(%rsp,%rax,4)
movdqa %xmm2,-0x70(%rsp,%rax,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqa %xmm2,-0x60(%rsp,%rax,4)
movdqa %xmm3,-0x50(%rsp,%rax,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqa %xmm2,-0x40(%rsp,%rax,4)
movdqa %xmm3,-0x30(%rsp,%rax,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqa %xmm2,-0x20(%rsp,%rax,4)
movdqa %xmm3,-0x10(%rsp,%rax,4)
add    $0x20,%rax
paddd  %xmm1,%xmm0
cmp    $0x8000,%rax
jne    1170 <gwv_np_2+0x60>
lea    -0x10(%rsp),%rax
xor    %ecx,%ecx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movd   %edx,%xmm1
pxor   %xmm0,%xmm0
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
paddd  -0x70(%rax,%rdx,4),%xmm1
paddd  -0x60(%rax,%rdx,4),%xmm0
paddd  -0x50(%rax,%rdx,4),%xmm1
paddd  -0x40(%rax,%rdx,4),%xmm0
paddd  -0x30(%rax,%rdx,4),%xmm1
paddd  -0x20(%rax,%rdx,4),%xmm0
paddd  -0x10(%rax,%rdx,4),%xmm1
paddd  (%rax,%rdx,4),%xmm0
add    $0x20,%rdx
cmp    $0x400,%rdx
jne    1210 <gwv_np_2+0x100>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edx
add    $0x1,%rcx
add    $0x1000,%rax
cmp    $0x20,%rcx
jne    1200 <gwv_np_2+0xf0>
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
paddd  -0x80(%rsp,%rax,4),%xmm0
paddd  -0x70(%rsp,%rax,4),%xmm1
paddd  -0x60(%rsp,%rax,4),%xmm0
paddd  -0x50(%rsp,%rax,4),%xmm1
paddd  -0x40(%rsp,%rax,4),%xmm0
paddd  -0x30(%rsp,%rax,4),%xmm1
paddd  -0x20(%rsp,%rax,4),%xmm0
paddd  -0x10(%rsp,%rax,4),%xmm1
add    $0x20,%rax
cmp    $0x8000,%rax
jne    1280 <gwv_np_2+0x170>
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
xor    %edi,%edi
cmp    %eax,%edx
sete   %dil
add    $0x1ff88,%rsp
jmp    1030 <assert@plt>

LLVM IR (-O0):
define void @gwv_np_2() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [32768 x i32]
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %1
br label %6
6: ; preds = %14, %0
%7 = load i32, i32* %1
%8 = icmp slt i32 %7, 32768
br i1 %8, label %9, label %17
9: ; preds = %6
%10 = load i32, i32* %1
%11 = load i32, i32* %1
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds [32768 x i32], [32768 x i32]* %3, i64 0, i64 %12
store i32 %10, i32* %13
br label %14
14: ; preds = %9
%15 = load i32, i32* %1
%16 = add nsw i32 %15, 1
store i32 %16, i32* %1
br label %6
17: ; preds = %6
store i32 0, i32* %2
br label %18
18: ; preds = %39, %17
%19 = load i32, i32* %2
%20 = icmp slt i32 %19, 32
br i1 %20, label %21, label %42
21: ; preds = %18
store i32 0, i32* %1
br label %22
22: ; preds = %35, %21
%23 = load i32, i32* %1
%24 = icmp slt i32 %23, 1024
br i1 %24, label %25, label %38
25: ; preds = %22
%26 = load i32, i32* %2
%27 = mul nsw i32 %26, 1024
%28 = load i32, i32* %1
%29 = add nsw i32 %27, %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [32768 x i32], [32768 x i32]* %3, i64 0, i64 %30
%32 = load i32, i32* %31
%33 = load i32, i32* %4
%34 = add nsw i32 %33, %32
store i32 %34, i32* %4
br label %35
35: ; preds = %25
%36 = load i32, i32* %1
%37 = add nsw i32 %36, 1
store i32 %37, i32* %1
br label %22
38: ; preds = %22
br label %39
39: ; preds = %38
%40 = load i32, i32* %2
%41 = add nsw i32 %40, 1
store i32 %41, i32* %2
br label %18
42: ; preds = %18
store i32 0, i32* %1
br label %43
43: ; preds = %53, %42
%44 = load i32, i32* %1
%45 = icmp slt i32 %44, 32768
br i1 %45, label %46, label %56
46: ; preds = %43
%47 = load i32, i32* %1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [32768 x i32], [32768 x i32]* %3, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = load i32, i32* %5
%52 = add nsw i32 %51, %50
store i32 %52, i32* %5
br label %53
53: ; preds = %46
%54 = load i32, i32* %1
%55 = add nsw i32 %54, 1
store i32 %55, i32* %1
br label %43
56: ; preds = %43
%57 = load i32, i32* %4
%58 = load i32, i32* %5
%59 = icmp eq i32 %57, %58
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
ret void
}

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