#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_3() {
  int i, j;
  double 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)           \
    copyin(arr) 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_3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40020,%rsp
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40018(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40020(%rbp)
ff
movl   $0x0,-0x4(%rbp)
cmpl   $0x8000,-0x4(%rbp)
jge    1165 <gwv_np_3+0x55>
cvtsi2sdl -0x4(%rbp),%xmm0
movslq -0x4(%rbp),%rax
movsd  %xmm0,-0x40010(%rbp,%rax,8)
fb ff
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1138 <gwv_np_3+0x28>
movl   $0x0,-0x8(%rbp)
cmpl   $0x20,-0x8(%rbp)
jge    11cf <gwv_np_3+0xbf>
movl   $0x0,-0x4(%rbp)
cmpl   $0x400,-0x4(%rbp)
jge    11bc <gwv_np_3+0xac>
mov    -0x8(%rbp),%eax
shl    $0xa,%eax
add    -0x4(%rbp),%eax
cltq
movsd  -0x40010(%rbp,%rax,8),%xmm0
fb ff
addsd  -0x40018(%rbp),%xmm0
ff
movsd  %xmm0,-0x40018(%rbp)
ff
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    117d <gwv_np_3+0x6d>
jmp    11c1 <gwv_np_3+0xb1>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    116c <gwv_np_3+0x5c>
movl   $0x0,-0x4(%rbp)
cmpl   $0x8000,-0x4(%rbp)
jge    120e <gwv_np_3+0xfe>
movslq -0x4(%rbp),%rax
movsd  -0x40010(%rbp,%rax,8),%xmm0
fb ff
addsd  -0x40020(%rbp),%xmm0
ff
movsd  %xmm0,-0x40020(%rbp)
ff
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11d6 <gwv_np_3+0xc6>
movsd  -0x40018(%rbp),%xmm0
ff
ucomisd -0x40020(%rbp),%xmm0
ff
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
add    $0x40020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gwv_np_3>:
sub    $0x3ff88,%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
cvtdq2pd %xmm0,%xmm6
paddd  %xmm1,%xmm5
cvtdq2pd %xmm5,%xmm5
movaps %xmm6,-0x80(%rsp,%rax,8)
movaps %xmm5,-0x70(%rsp,%rax,8)
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm0,%xmm6
cvtdq2pd %xmm5,%xmm5
paddd  %xmm3,%xmm6
cvtdq2pd %xmm6,%xmm6
movaps %xmm5,-0x60(%rsp,%rax,8)
movaps %xmm6,-0x50(%rsp,%rax,8)
add    $0x8,%rax
paddd  %xmm4,%xmm0
cmp    $0x8000,%rax
jne    1150 <gwv_np_3+0x40>
lea    -0x68(%rsp),%rax
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
addsd  -0x18(%rax,%rdx,8),%xmm0
addsd  -0x10(%rax,%rdx,8),%xmm0
addsd  -0x8(%rax,%rdx,8),%xmm0
addsd  (%rax,%rdx,8),%xmm0
add    $0x4,%rdx
cmp    $0x400,%rdx
jne    11c0 <gwv_np_3+0xb0>
add    $0x1,%rcx
add    $0x2000,%rax
cmp    $0x20,%rcx
jne    11b0 <gwv_np_3+0xa0>
pxor   %xmm1,%xmm1
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
addsd  -0x80(%rsp,%rax,8),%xmm1
addsd  -0x78(%rsp,%rax,8),%xmm1
addsd  -0x70(%rsp,%rax,8),%xmm1
addsd  -0x68(%rsp,%rax,8),%xmm1
addsd  -0x60(%rsp,%rax,8),%xmm1
addsd  -0x58(%rsp,%rax,8),%xmm1
addsd  -0x50(%rsp,%rax,8),%xmm1
addsd  -0x48(%rsp,%rax,8),%xmm1
add    $0x8,%rax
cmp    $0x8000,%rax
jne    1200 <gwv_np_3+0xf0>
cmpeqsd %xmm1,%xmm0
movq   %xmm0,%rdi
and    $0x1,%edi
add    $0x3ff88,%rsp
jmp    1030 <assert@plt>

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

LLVM IR (-O2):
define void @gwv_np_3() {
%1 = alloca [32768 x double]
%2 = bitcast [32768 x double]* %1 to i8*
br label %3
3: ; preds = %3, %0
%4 = phi i64 [ 0, %0 ], [ %22, %3 ]
%5 = phi <2 x i32> [ <i32 0, i32 1>, %0 ], [ %23, %3 ]
%6 = add <2 x i32> %5, <i32 2, i32 2>
%7 = sitofp <2 x i32> %5 to <2 x double>
%8 = sitofp <2 x i32> %6 to <2 x double>
%9 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %4
%10 = bitcast double* %9 to <2 x double>*
store <2 x double> %7, <2 x double>* %10
%11 = getelementptr inbounds double, double* %9, i64 2
%12 = bitcast double* %11 to <2 x double>*
store <2 x double> %8, <2 x double>* %12
%13 = or i64 %4, 4
%14 = add <2 x i32> %5, <i32 4, i32 4>
%15 = add <2 x i32> %5, <i32 6, i32 6>
%16 = sitofp <2 x i32> %14 to <2 x double>
%17 = sitofp <2 x i32> %15 to <2 x double>
%18 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %13
%19 = bitcast double* %18 to <2 x double>*
store <2 x double> %16, <2 x double>* %19
%20 = getelementptr inbounds double, double* %18, i64 2
%21 = bitcast double* %20 to <2 x double>*
store <2 x double> %17, <2 x double>* %21
%22 = add nuw nsw i64 %4, 8
%23 = add <2 x i32> %5, <i32 8, i32 8>
%24 = icmp eq i64 %22, 32768
br i1 %24, label %25, label %3
25: ; preds = %3, %53
%26 = phi i64 [ %54, %53 ], [ 0, %3 ]
%27 = phi double [ %50, %53 ], [ 0.000000e+00, %3 ]
%28 = shl nsw i64 %26, 10
br label %29
29: ; preds = %29, %25
%30 = phi i64 [ 0, %25 ], [ %51, %29 ]
%31 = phi double [ %27, %25 ], [ %50, %29 ]
%32 = add nuw nsw i64 %30, %28
%33 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %32
%34 = load double, double* %33
%35 = fadd double %31, %34
%36 = or i64 %30, 1
%37 = add nuw nsw i64 %36, %28
%38 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %37
%39 = load double, double* %38
%40 = fadd double %35, %39
%41 = or i64 %30, 2
%42 = add nuw nsw i64 %41, %28
%43 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %42
%44 = load double, double* %43
%45 = fadd double %40, %44
%46 = or i64 %30, 3
%47 = add nuw nsw i64 %46, %28
%48 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %47
%49 = load double, double* %48
%50 = fadd double %45, %49
%51 = add nuw nsw i64 %30, 4
%52 = icmp eq i64 %51, 1024
br i1 %52, label %53, label %29
53: ; preds = %29
%54 = add nuw nsw i64 %26, 1
%55 = icmp eq i64 %54, 32
br i1 %55, label %56, label %25
56: ; preds = %53, %56
%57 = phi i64 [ %90, %56 ], [ 0, %53 ]
%58 = phi double [ %89, %56 ], [ 0.000000e+00, %53 ]
%59 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %57
%60 = load double, double* %59
%61 = fadd double %58, %60
%62 = or i64 %57, 1
%63 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %62
%64 = load double, double* %63
%65 = fadd double %61, %64
%66 = or i64 %57, 2
%67 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %66
%68 = load double, double* %67
%69 = fadd double %65, %68
%70 = or i64 %57, 3
%71 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %70
%72 = load double, double* %71
%73 = fadd double %69, %72
%74 = or i64 %57, 4
%75 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %74
%76 = load double, double* %75
%77 = fadd double %73, %76
%78 = or i64 %57, 5
%79 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %78
%80 = load double, double* %79
%81 = fadd double %77, %80
%82 = or i64 %57, 6
%83 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %82
%84 = load double, double* %83
%85 = fadd double %81, %84
%86 = or i64 %57, 7
%87 = getelementptr inbounds [32768 x double], [32768 x double]* %1, i64 0, i64 %86
%88 = load double, double* %87
%89 = fadd double %85, %88
%90 = add nuw nsw i64 %57, 8
%91 = icmp eq i64 %90, 32768
br i1 %91, label %92, label %56
92: ; preds = %56
%93 = fcmp oeq double %50, %89
%94 = zext i1 %93 to i32
%95 = tail call i32 @assert(i32 %94)
ret void
}