#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*/ acc_device_default;
int /*<<< orphan*/ acc_init(int /*<<< orphan*/);
int /*<<< orphan*/ free(int *);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  int i, j, k;
  int sum, known_sum;
  int NI, NJ, NK;
  int *input, *temp;
  int error;
  NI = 1024;
  NJ = 512;
  NK = 128;
  acc_init(acc_device_default);
  input = (int *)malloc(NK * NJ * NI * sizeof(int));
  temp = (int *)malloc(NK * sizeof(int));
  for (k = 0; k < NK; k++) {
    for (j = 0; j < NJ; j++) {
      for (i = 0; i < NI; i++)
        input[k * NJ * NI + j * NI + i] = (k + j + i) % 10;
    }
  }
#pragma acc parallel copyin(input [0:NK * NJ * NI]) copyout(temp [0:NK])
  {
#pragma acc loop gang
    for (k = 0; k < NK; k++) {
      int j_sum = 0;
#pragma acc loop worker reduction(+ : j_sum)
      for (j = 0; j < NJ; j++) {
#pragma acc loop vector
        for (i = 0; i < NI; i++)
          j_sum += input[k * NJ * NI + j * NI + i];
      }
      j_sum += k;
      temp[k] = j_sum;
    }
  }
  error = 0;
  for (k = 0; k < NK; k++) {
    int j_sum = k;
    for (j = 0; j < NJ; j++) {
      for (i = 0; i < NI; i++)
        j_sum += input[k * NJ * NI + j * NI + i];
    }
    if (temp[k] != j_sum)
      error++;
  }
  free(input);
  free(temp);
  printf("Test for worker vector reduction\n");
  if (error == 0)
    printf("SUCCESSFUL!\n");
  else
    printf("Reduction + FAILED! error=%d\n", error);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x400,-0x1c(%rbp)
movl   $0x200,-0x20(%rbp)
movl   $0x80,-0x24(%rbp)
mov    0x2e75(%rip),%rax
mov    (%rax),%edi
call   1060 <acc_init@plt>
mov    -0x24(%rbp),%eax
imul   -0x20(%rbp),%eax
imul   -0x1c(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1240 <main+0x100>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    122d <main+0xed>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    121a <main+0xda>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
mov    -0xc(%rbp),%esi
imul   -0x1c(%rbp),%esi
add    %esi,%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11ce <main+0x8e>
jmp    121f <main+0xdf>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11bb <main+0x7b>
jmp    1232 <main+0xf2>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11a8 <main+0x68>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    12ed <main+0x1ad>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12c8 <main+0x188>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12b5 <main+0x175>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1274 <main+0x134>
jmp    12ba <main+0x17a>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1261 <main+0x121>
mov    -0x10(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%edx
mov    -0x38(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1247 <main+0x107>
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    13ab <main+0x26b>
mov    -0x10(%rbp),%eax
mov    %eax,-0x44(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    137b <main+0x23b>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1368 <main+0x228>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1327 <main+0x1e7>
jmp    136d <main+0x22d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1314 <main+0x1d4>
mov    -0x38(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x44(%rbp),%eax
je     1398 <main+0x258>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    139d <main+0x25d>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    12fb <main+0x1bb>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
lea    0xc3c(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x0,-0x3c(%rbp)
jne    13e8 <main+0x2a8>
lea    0xc46(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    13f9 <main+0x2b9>
mov    -0x3c(%rbp),%esi
lea    0xc3d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r14
push   %rbx
mov    0x2e85(%rip),%rax
mov    (%rax),%edi
call   1070 <acc_init@plt>
mov    $0x10000000,%edi
call   1060 <malloc@plt>
mov    %rax,%r14
mov    $0x200,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
lea    0x10(%r14),%rax
xor    %ecx,%ecx
movdqa 0xe75(%rip),%xmm8
movdqa 0xe7c(%rip),%xmm9
movdqa 0xe83(%rip),%xmm11
movdqa 0xe8a(%rip),%xmm12
movdqa 0xe91(%rip),%xmm10
nop
mov    %rax,%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%rsi,%rcx,1),%rdi
movq   %rdi,%xmm0
pshufd $0x44,%xmm0,%xmm13
lea    (%rsi,%rcx,1),%rdi
add    $0x4,%rdi
movq   %rdi,%xmm0
pshufd $0x44,%xmm0,%xmm14
xor    %edi,%edi
movdqa %xmm9,%xmm7
movdqa %xmm8,%xmm0
xchg   %ax,%ax
movdqa %xmm13,%xmm5
paddq  %xmm7,%xmm5
movdqa %xmm13,%xmm3
paddq  %xmm0,%xmm3
movdqa %xmm14,%xmm6
paddq  %xmm7,%xmm6
movdqa %xmm14,%xmm2
paddq  %xmm0,%xmm2
movdqa %xmm5,%xmm1
shufps $0x88,%xmm3,%xmm1
movdqa %xmm6,%xmm4
shufps $0x88,%xmm2,%xmm4
punpckhqdq %xmm3,%xmm5
pmuludq %xmm11,%xmm5
pshufd $0xed,%xmm5,%xmm3
movaps %xmm1,%xmm5
pmuludq %xmm11,%xmm5
pshufd $0xed,%xmm5,%xmm5
punpckldq %xmm3,%xmm5
psrld  $0x3,%xmm5
pshufd $0xf5,%xmm5,%xmm3
pmuludq %xmm12,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pmuludq %xmm12,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm5
psubd  %xmm5,%xmm1
punpckhqdq %xmm2,%xmm6
pmuludq %xmm11,%xmm6
pshufd $0xed,%xmm6,%xmm2
movaps %xmm4,%xmm3
pmuludq %xmm11,%xmm3
pshufd $0xed,%xmm3,%xmm3
punpckldq %xmm2,%xmm3
psrld  $0x3,%xmm3
pshufd $0xf5,%xmm3,%xmm2
pmuludq %xmm12,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pmuludq %xmm12,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm3
psubd  %xmm3,%xmm4
movdqu %xmm1,-0x10(%rdx,%rdi,4)
movdqu %xmm4,(%rdx,%rdi,4)
add    $0x8,%rdi
paddq  %xmm10,%xmm7
paddq  %xmm10,%xmm0
cmp    $0x400,%rdi
jne    11f0 <main+0xa0>
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    11c0 <main+0x70>
add    $0x1,%rcx
add    $0x200000,%rax
cmp    $0x80,%rcx
jne    11b0 <main+0x60>
lea    0x70(%r14),%rax
xor    %ecx,%ecx
nopl   0x0(%rax)
mov    %rax,%rdx
xor    %esi,%esi
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movd   %edi,%xmm1
pxor   %xmm0,%xmm0
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movdqu -0x70(%rdx,%rdi,4),%xmm2
paddd  %xmm1,%xmm2
movdqu -0x60(%rdx,%rdi,4),%xmm1
paddd  %xmm0,%xmm1
movdqu -0x50(%rdx,%rdi,4),%xmm0
movdqu -0x40(%rdx,%rdi,4),%xmm3
movdqu -0x30(%rdx,%rdi,4),%xmm4
paddd  %xmm0,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%rdx,%rdi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm1,%xmm2
movdqu -0x10(%rdx,%rdi,4),%xmm1
paddd  %xmm4,%xmm1
movdqu (%rdx,%rdi,4),%xmm0
paddd  %xmm2,%xmm0
add    $0x20,%rdi
cmp    $0x400,%rdi
jne    1330 <main+0x1e0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edi
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    1320 <main+0x1d0>
add    %ecx,%edi
mov    %edi,(%rbx,%rcx,4)
add    $0x1,%rcx
add    $0x200000,%rax
cmp    $0x80,%rcx
jne    1310 <main+0x1c0>
mov    %r14,%rax
add    $0x70,%rax
xor    %ecx,%ecx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rax,%rdx
xor    %esi,%esi
mov    %ecx,%edi
nopw   0x0(%rax,%rax,1)
movd   %edi,%xmm1
pxor   %xmm0,%xmm0
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movdqu -0x70(%rdx,%rdi,4),%xmm2
paddd  %xmm1,%xmm2
movdqu -0x60(%rdx,%rdi,4),%xmm1
paddd  %xmm0,%xmm1
movdqu -0x50(%rdx,%rdi,4),%xmm0
movdqu -0x40(%rdx,%rdi,4),%xmm3
movdqu -0x30(%rdx,%rdi,4),%xmm4
paddd  %xmm0,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%rdx,%rdi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm1,%xmm2
movdqu -0x10(%rdx,%rdi,4),%xmm1
paddd  %xmm4,%xmm1
movdqu (%rdx,%rdi,4),%xmm0
paddd  %xmm2,%xmm0
add    $0x20,%rdi
cmp    $0x400,%rdi
jne    1410 <main+0x2c0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edi
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    1400 <main+0x2b0>
xor    %edx,%edx
cmp    %edi,(%rbx,%rcx,4)
setne  %dl
add    %edx,%ebp
add    $0x1,%rcx
add    $0x200000,%rax
cmp    $0x80,%rcx
jne    13f0 <main+0x2a0>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xb98(%rip),%rdi
call   1040 <puts@plt>
test   %ebp,%ebp
je     14f1 <main+0x3a1>
lea    0xb6a(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    14fd <main+0x3ad>
lea    0xb97(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
@acc_device_default = global i32 0
@.str.2 = [30 x i8] c"Reduction + FAILED! error=%d\0A\00"
@str = [33 x i8] c"Test for worker vector reduction\00"
@str.3 = [12 x i8] c"SUCCESSFUL!\00"
define i32 @main() {
%1 = load i32, i32* @acc_device_default
%2 = tail call i32 @acc_init(i32 %1)
%3 = tail call i64 @malloc(i32 268435456)
%4 = inttoptr i64 %3 to i32*
%5 = tail call i64 @malloc(i32 512)
br label %6
6: ; preds = %0, %39
%7 = phi i64 [ 0, %0 ], [ %40, %39 ]
%8 = shl nsw i64 %7, 19
br label %9
9: ; preds = %6, %36
%10 = phi i64 [ 0, %6 ], [ %37, %36 ]
%11 = add nuw nsw i64 %10, %7
%12 = shl nsw i64 %10, 10
%13 = add nuw nsw i64 %12, %8
%14 = insertelement <4 x i64> poison, i64 %11, i64 0
%15 = shufflevector <4 x i64> %14, <4 x i64> poison, <4 x i32> zeroinitializer
%16 = add nuw i64 %11, 4
%17 = insertelement <4 x i64> poison, i64 %16, i64 0
%18 = shufflevector <4 x i64> %17, <4 x i64> poison, <4 x i32> zeroinitializer
br label %19
19: ; preds = %19, %9
%20 = phi i64 [ 0, %9 ], [ %33, %19 ]
%21 = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, %9 ], [ %34, %19 ]
%22 = add nuw nsw <4 x i64> %15, %21
%23 = add <4 x i64> %18, %21
%24 = trunc <4 x i64> %22 to <4 x i32>
%25 = trunc <4 x i64> %23 to <4 x i32>
%26 = urem <4 x i32> %24, <i32 10, i32 10, i32 10, i32 10>
%27 = urem <4 x i32> %25, <i32 10, i32 10, i32 10, i32 10>
%28 = add nuw nsw i64 %13, %20
%29 = getelementptr inbounds i32, i32* %4, i64 %28
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %29, i64 4
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %27, <4 x i32>* %32
%33 = add nuw i64 %20, 8
%34 = add <4 x i64> %21, <i64 8, i64 8, i64 8, i64 8>
%35 = icmp eq i64 %33, 1024
br i1 %35, label %36, label %19
36: ; preds = %19
%37 = add nuw nsw i64 %10, 1
%38 = icmp eq i64 %37, 512
br i1 %38, label %39, label %9
39: ; preds = %36
%40 = add nuw nsw i64 %7, 1
%41 = icmp eq i64 %40, 128
br i1 %41, label %42, label %6
42: ; preds = %39
%43 = inttoptr i64 %5 to i32*
br label %44
44: ; preds = %42, %103
%45 = phi i64 [ 0, %42 ], [ %107, %103 ]
%46 = shl nsw i64 %45, 19
br label %47
47: ; preds = %44, %98
%48 = phi i64 [ 0, %44 ], [ %101, %98 ]
%49 = phi i32 [ 0, %44 ], [ %100, %98 ]
%50 = shl nsw i64 %48, 10
%51 = add nuw nsw i64 %50, %46
%52 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %49, i64 0
br label %53
53: ; preds = %53, %47
%54 = phi i64 [ 0, %47 ], [ %96, %53 ]
%55 = phi <4 x i32> [ %52, %47 ], [ %94, %53 ]
%56 = phi <4 x i32> [ zeroinitializer, %47 ], [ %95, %53 ]
%57 = add nuw nsw i64 %51, %54
%58 = getelementptr inbounds i32, i32* %4, i64 %57
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = add <4 x i32> %60, %55
%65 = add <4 x i32> %63, %56
%66 = or i64 %54, 8
%67 = add nuw nsw i64 %51, %66
%68 = getelementptr inbounds i32, i32* %4, i64 %67
%69 = bitcast i32* %68 to <4 x i32>*
%70 = load <4 x i32>, <4 x i32>* %69
%71 = getelementptr inbounds i32, i32* %68, i64 4
%72 = bitcast i32* %71 to <4 x i32>*
%73 = load <4 x i32>, <4 x i32>* %72
%74 = add <4 x i32> %70, %64
%75 = add <4 x i32> %73, %65
%76 = or i64 %54, 16
%77 = add nuw nsw i64 %51, %76
%78 = getelementptr inbounds i32, i32* %4, i64 %77
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %78, i64 4
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = add <4 x i32> %80, %74
%85 = add <4 x i32> %83, %75
%86 = or i64 %54, 24
%87 = add nuw nsw i64 %51, %86
%88 = getelementptr inbounds i32, i32* %4, i64 %87
%89 = bitcast i32* %88 to <4 x i32>*
%90 = load <4 x i32>, <4 x i32>* %89
%91 = getelementptr inbounds i32, i32* %88, i64 4
%92 = bitcast i32* %91 to <4 x i32>*
%93 = load <4 x i32>, <4 x i32>* %92
%94 = add <4 x i32> %90, %84
%95 = add <4 x i32> %93, %85
%96 = add nuw nsw i64 %54, 32
%97 = icmp eq i64 %96, 1024
br i1 %97, label %98, label %53
98: ; preds = %53
%99 = add <4 x i32> %95, %94
%100 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %99)
%101 = add nuw nsw i64 %48, 1
%102 = icmp eq i64 %101, 512
br i1 %102, label %103, label %47
103: ; preds = %98
%104 = trunc i64 %45 to i32
%105 = add nsw i32 %100, %104
%106 = getelementptr inbounds i32, i32* %43, i64 %45
store i32 %105, i32* %106
%107 = add nuw nsw i64 %45, 1
%108 = icmp eq i64 %107, 128
br i1 %108, label %109, label %44
109: ; preds = %103, %170
%110 = phi i64 [ %176, %170 ], [ 0, %103 ]
%111 = phi i32 [ %175, %170 ], [ 0, %103 ]
%112 = shl nsw i64 %110, 19
%113 = trunc i64 %110 to i32
br label %114
114: ; preds = %109, %165
%115 = phi i64 [ 0, %109 ], [ %168, %165 ]
%116 = phi i32 [ %113, %109 ], [ %167, %165 ]
%117 = shl nsw i64 %115, 10
%118 = add nuw nsw i64 %117, %112
%119 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %116, i64 0
br label %120
120: ; preds = %120, %114
%121 = phi i64 [ 0, %114 ], [ %163, %120 ]
%122 = phi <4 x i32> [ %119, %114 ], [ %161, %120 ]
%123 = phi <4 x i32> [ zeroinitializer, %114 ], [ %162, %120 ]
%124 = add nuw nsw i64 %118, %121
%125 = getelementptr inbounds i32, i32* %4, i64 %124
%126 = bitcast i32* %125 to <4 x i32>*
%127 = load <4 x i32>, <4 x i32>* %126
%128 = getelementptr inbounds i32, i32* %125, i64 4
%129 = bitcast i32* %128 to <4 x i32>*
%130 = load <4 x i32>, <4 x i32>* %129
%131 = add <4 x i32> %127, %122
%132 = add <4 x i32> %130, %123
%133 = or i64 %121, 8
%134 = add nuw nsw i64 %118, %133
%135 = getelementptr inbounds i32, i32* %4, i64 %134
%136 = bitcast i32* %135 to <4 x i32>*
%137 = load <4 x i32>, <4 x i32>* %136
%138 = getelementptr inbounds i32, i32* %135, i64 4
%139 = bitcast i32* %138 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = add <4 x i32> %137, %131
%142 = add <4 x i32> %140, %132
%143 = or i64 %121, 16
%144 = add nuw nsw i64 %118, %143
%145 = getelementptr inbounds i32, i32* %4, i64 %144
%146 = bitcast i32* %145 to <4 x i32>*
%147 = load <4 x i32>, <4 x i32>* %146
%148 = getelementptr inbounds i32, i32* %145, i64 4
%149 = bitcast i32* %148 to <4 x i32>*
%150 = load <4 x i32>, <4 x i32>* %149
%151 = add <4 x i32> %147, %141
%152 = add <4 x i32> %150, %142
%153 = or i64 %121, 24
%154 = add nuw nsw i64 %118, %153
%155 = getelementptr inbounds i32, i32* %4, i64 %154
%156 = bitcast i32* %155 to <4 x i32>*
%157 = load <4 x i32>, <4 x i32>* %156
%158 = getelementptr inbounds i32, i32* %155, i64 4
%159 = bitcast i32* %158 to <4 x i32>*
%160 = load <4 x i32>, <4 x i32>* %159
%161 = add <4 x i32> %157, %151
%162 = add <4 x i32> %160, %152
%163 = add nuw nsw i64 %121, 32
%164 = icmp eq i64 %163, 1024
br i1 %164, label %165, label %120
165: ; preds = %120
%166 = add <4 x i32> %162, %161
%167 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %166)
%168 = add nuw nsw i64 %115, 1
%169 = icmp eq i64 %168, 512
br i1 %169, label %170, label %114
170: ; preds = %165
%171 = getelementptr inbounds i32, i32* %43, i64 %110
%172 = load i32, i32* %171
%173 = icmp ne i32 %172, %167
%174 = zext i1 %173 to i32
%175 = add nuw nsw i32 %111, %174
%176 = add nuw nsw i64 %110, 1
%177 = icmp eq i64 %176, 128
br i1 %177, label %178, label %109
178: ; preds = %170
%179 = tail call i32 @free(i32* %4)
%180 = tail call i32 @free(i32* %43)
%181 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @str, i64 0, i64 0))
%182 = icmp eq i32 %175, 0
br i1 %182, label %183, label %185
183: ; preds = %178
%184 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.3, i64 0, i64 0))
br label %187
185: ; preds = %178
%186 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i32 %175)
br label %187
187: ; preds = %185, %183
ret i32 0
}