#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 */
struct timeval {
  int tv_sec;
  double tv_usec;
};

/* Variables and functions */
int /*<<< orphan*/ acc_device_default;
int /*<<< orphan*/ acc_init(int /*<<< orphan*/);
int /*<<< orphan*/ free(int *);
int /*<<< orphan*/ gettimeofday(struct timeval *, int /*<<< orphan*/ *);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  int i, j, k;
  int error;
  int NI, NJ, NK;
  int *input, *temp;
  struct timeval tim;
  double start, end;
  NI = 1024;
  NJ = 512;
  NK = 128;
  acc_init(acc_device_default);
  input = (int *)malloc(NK * NJ * NI * sizeof(int));
  temp = (int *)malloc(NK * NJ * NI * 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;
    }
  }
  gettimeofday(&tim, NULL);
  start = tim.tv_sec * 1000 + (tim.tv_usec / 1000.0);
#pragma acc parallel copyin(input [0:NK * NJ * NI])                            \
    copyout(temp [0:NK * NJ * NI])
  {
#pragma acc loop gang
    for (k = 0; k < NK; k++) {
#pragma acc loop worker
      for (j = 0; j < NJ; j++) {
        int i_sum = 0;
#pragma acc loop vector reduction(+ : i_sum)
        for (i = 0; i < NI; i++)
          i_sum += input[k * NJ * NI + j * NI + i];
        i_sum += j;
        temp[k * NJ * NI + j * NI] = i_sum;
      }
    }
  }
  gettimeofday(&tim, NULL);
  end = tim.tv_sec * 1000 + (tim.tv_usec / 1000.0);
  error = 0;
  for (k = 0; k < NK; k++) {
    for (j = 0; j < NJ; j++) {
      int i_sum = j;
      for (i = 0; i < NI; i++)
        i_sum += input[k * NJ * NI + j * NI + i];
      if (temp[k * NJ * NI + j * NI] != i_sum)
        error++;
    }
  }
  free(input);
  free(temp);
  printf("Test for vector reduction\n");
  if (error == 0)
    printf("SUCCESSFUL!\n");
  else
    printf("Reduction + FAILED! error=%d\n", error);
  printf("Execution time: %.2lf ms\n", end - start);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x400,-0x18(%rbp)
movl   $0x200,-0x1c(%rbp)
movl   $0x80,-0x20(%rbp)
mov    0x2e65(%rip),%rax
mov    (%rax),%edi
call   1070 <acc_init@plt>
mov    -0x20(%rbp),%eax
imul   -0x1c(%rbp),%eax
imul   -0x18(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
imul   -0x1c(%rbp),%eax
imul   -0x18(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1259 <main+0x109>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1246 <main+0xf6>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1233 <main+0xe3>
mov    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
add    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
mov    -0xc(%rbp),%esi
imul   -0x18(%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    11e7 <main+0x97>
jmp    1238 <main+0xe8>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11d4 <main+0x84>
jmp    124b <main+0xfb>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11c1 <main+0x71>
lea    -0x40(%rbp),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <gettimeofday@plt>
imul   $0x3e8,-0x40(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xd82(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    134b <main+0x1fb>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1338 <main+0x1e8>
movl   $0x0,-0x54(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1300 <main+0x1b0>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x18(%rbp),%edx
add    %edx,%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12bf <main+0x16f>
mov    -0xc(%rbp),%eax
add    -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
mov    -0xc(%rbp),%esi
imul   -0x18(%rbp),%esi
add    %esi,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12a5 <main+0x155>
jmp    133d <main+0x1ed>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1292 <main+0x142>
lea    -0x40(%rbp),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <gettimeofday@plt>
imul   $0x3e8,-0x40(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  -0x38(%rbp),%xmm1
movsd  0xc90(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    144e <main+0x2fe>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    143b <main+0x2eb>
mov    -0xc(%rbp),%eax
mov    %eax,-0x58(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    13f8 <main+0x2a8>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x18(%rbp),%edx
add    %edx,%ecx
add    -0x8(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    13b7 <main+0x267>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x18(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x58(%rbp),%eax
je     1428 <main+0x2d8>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    142d <main+0x2dd>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    139e <main+0x24e>
jmp    1440 <main+0x2f0>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    138b <main+0x23b>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
lea    0xba1(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x0,-0x14(%rbp)
jne    148b <main+0x33b>
lea    0xba4(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    149c <main+0x34c>
mov    -0x14(%rbp),%esi
lea    0xb9b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movsd  -0x50(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
lea    0xba1(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    0x2e6b(%rip),%rax
mov    (%rax),%edi
call   1080 <acc_init@plt>
mov    $0x10000000,%edi
call   1070 <malloc@plt>
mov    %rax,%r14
mov    $0x10000000,%edi
call   1070 <malloc@plt>
mov    %rax,%r13
lea    0x10(%r14),%rax
xor    %ecx,%ecx
movdqa 0xe5b(%rip),%xmm8
movdqa 0xe62(%rip),%xmm9
movdqa 0xe69(%rip),%xmm11
movdqa 0xe70(%rip),%xmm12
movdqa 0xe77(%rip),%xmm10
nopl   0x0(%rax)
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    1210 <main+0xb0>
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    11e0 <main+0x80>
add    $0x1,%rcx
add    $0x200000,%rax
cmp    $0x80,%rcx
jne    11d0 <main+0x70>
xor    %ebp,%ebp
mov    %rsp,%rdi
xor    %esi,%esi
call   1060 <gettimeofday@plt>
mov    (%rsp),%r15d
movq   0x8(%rsp),%xmm0
movdqa %xmm0,0x20(%rsp)
lea    0x70(%r14),%r8
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbp,%rcx
shl    $0x13,%rcx
mov    %r8,%rdx
xor    %esi,%esi
nopl   0x0(%rax)
mov    %rsi,%rdi
shl    $0xa,%rdi
add    %rcx,%rdi
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x70(%rdx,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x60(%rdx,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu -0x50(%rdx,%rax,4),%xmm1
movdqu -0x40(%rdx,%rax,4),%xmm3
movdqu -0x30(%rdx,%rax,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%rdx,%rax,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu -0x10(%rdx,%rax,4),%xmm0
paddd  %xmm4,%xmm0
movdqu (%rdx,%rax,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rax
cmp    $0x400,%rax
jne    1380 <main+0x220>
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
add    %esi,%eax
mov    %eax,0x0(%r13,%rdi,4)
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    1360 <main+0x200>
add    $0x1,%rbp
add    $0x200000,%r8
cmp    $0x80,%rbp
jne    1350 <main+0x1f0>
xor    %r12d,%r12d
mov    %rsp,%rdi
xor    %esi,%esi
call   1060 <gettimeofday@plt>
movdqa (%rsp),%xmm0
movdqa %xmm0,0x10(%rsp)
mov    %r14,%r8
add    $0x70,%r8
xor    %ebp,%ebp
nopl   (%rax)
mov    %r12,%rcx
shl    $0x13,%rcx
mov    %r8,%rdx
xor    %esi,%esi
nopl   0x0(%rax)
mov    %rsi,%rdi
shl    $0xa,%rdi
add    %rcx,%rdi
movd   %esi,%xmm1
pxor   %xmm0,%xmm0
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x70(%rdx,%rax,4),%xmm2
paddd  %xmm1,%xmm2
movdqu -0x60(%rdx,%rax,4),%xmm1
paddd  %xmm0,%xmm1
movdqu -0x50(%rdx,%rax,4),%xmm0
movdqu -0x40(%rdx,%rax,4),%xmm3
movdqu -0x30(%rdx,%rax,4),%xmm4
paddd  %xmm0,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%rdx,%rax,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm1,%xmm2
movdqu -0x10(%rdx,%rax,4),%xmm1
paddd  %xmm4,%xmm1
movdqu (%rdx,%rax,4),%xmm0
paddd  %xmm2,%xmm0
add    $0x20,%rax
cmp    $0x400,%rax
jne    1480 <main+0x320>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
xor    %ebx,%ebx
cmp    %eax,0x0(%r13,%rdi,4)
setne  %bl
add    %ebx,%ebp
add    $0x1,%rsi
add    $0x1000,%rdx
cmp    $0x200,%rsi
jne    1460 <main+0x300>
add    $0x1,%r12
add    $0x200000,%r8
cmp    $0x80,%r12
jne    1450 <main+0x2f0>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %r13,%rdi
call   1030 <free@plt>
lea    0xb60(%rip),%rdi
call   1040 <puts@plt>
test   %ebp,%ebp
je     1563 <main+0x403>
lea    0xb18(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    156f <main+0x40f>
lea    0xb58(%rip),%rdi
call   1040 <puts@plt>
movd   %r15d,%xmm3
movdqa 0xad4(%rip),%xmm1
movdqa 0x10(%rsp),%xmm0
movdqa %xmm0,%xmm2
pmuludq %xmm1,%xmm2
pmuludq %xmm1,%xmm3
punpckldq %xmm3,%xmm2
cvtdq2pd %xmm2,%xmm1
shufpd $0x1,0x20(%rsp),%xmm0
divpd  0xabb(%rip),%xmm0
addpd  %xmm1,%xmm0
movapd %xmm0,%xmm1
unpckhpd %xmm0,%xmm1
subsd  %xmm1,%xmm0
lea    0xad2(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.timeval = type { i32, double }
@acc_device_default = global i32 0
@.str = [27 x i8] c"Test for 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"
@.str.3 = [26 x i8] c"Execution time: %.2lf ms\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 %struct.timeval
%12 = alloca double
%13 = alloca double
%14 = alloca i32
%15 = alloca i32
store i32 0, i32* %1
store i32 1024, i32* %6
store i32 512, i32* %7
store i32 128, i32* %8
%16 = load i32, i32* @acc_device_default
%17 = call i32 @acc_init(i32 %16)
%18 = load i32, i32* %8
%19 = load i32, i32* %7
%20 = mul nsw i32 %18, %19
%21 = load i32, i32* %6
%22 = mul nsw i32 %20, %21
%23 = sext i32 %22 to i64
%24 = mul i64 %23, 4
%25 = trunc i64 %24 to i32
%26 = call i64 @malloc(i32 %25)
%27 = inttoptr i64 %26 to i32*
store i32* %27, i32** %9
%28 = load i32, i32* %8
%29 = load i32, i32* %7
%30 = mul nsw i32 %28, %29
%31 = load i32, i32* %6
%32 = mul nsw i32 %30, %31
%33 = sext i32 %32 to i64
%34 = mul i64 %33, 4
%35 = trunc i64 %34 to i32
%36 = call i64 @malloc(i32 %35)
%37 = inttoptr i64 %36 to i32*
store i32* %37, i32** %10
store i32 0, i32* %4
br label %38
38: ; preds = %81, %0
%39 = load i32, i32* %4
%40 = load i32, i32* %8
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %84
42: ; preds = %38
store i32 0, i32* %3
br label %43
43: ; preds = %77, %42
%44 = load i32, i32* %3
%45 = load i32, i32* %7
%46 = icmp slt i32 %44, %45
br i1 %46, label %47, label %80
47: ; preds = %43
store i32 0, i32* %2
br label %48
48: ; preds = %73, %47
%49 = load i32, i32* %2
%50 = load i32, i32* %6
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %76
52: ; preds = %48
%53 = load i32, i32* %4
%54 = load i32, i32* %3
%55 = add nsw i32 %53, %54
%56 = load i32, i32* %2
%57 = add nsw i32 %55, %56
%58 = srem i32 %57, 10
%59 = load i32*, i32** %9
%60 = load i32, i32* %4
%61 = load i32, i32* %7
%62 = mul nsw i32 %60, %61
%63 = load i32, i32* %6
%64 = mul nsw i32 %62, %63
%65 = load i32, i32* %3
%66 = load i32, i32* %6
%67 = mul nsw i32 %65, %66
%68 = add nsw i32 %64, %67
%69 = load i32, i32* %2
%70 = add nsw i32 %68, %69
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %59, i64 %71
store i32 %58, i32* %72
br label %73
73: ; preds = %52
%74 = load i32, i32* %2
%75 = add nsw i32 %74, 1
store i32 %75, i32* %2
br label %48
76: ; preds = %48
br label %77
77: ; preds = %76
%78 = load i32, i32* %3
%79 = add nsw i32 %78, 1
store i32 %79, i32* %3
br label %43
80: ; preds = %43
br label %81
81: ; preds = %80
%82 = load i32, i32* %4
%83 = add nsw i32 %82, 1
store i32 %83, i32* %4
br label %38
84: ; preds = %38
%85 = call i32 @gettimeofday(%struct.timeval* %11, i32* null)
%86 = getelementptr inbounds %struct.timeval, %struct.timeval* %11, i32 0, i32 0
%87 = load i32, i32* %86
%88 = mul nsw i32 %87, 1000
%89 = sitofp i32 %88 to double
%90 = getelementptr inbounds %struct.timeval, %struct.timeval* %11, i32 0, i32 1
%91 = load double, double* %90
%92 = fdiv double %91, 1.000000e+03
%93 = fadd double %89, %92
store double %93, double* %12
store i32 0, i32* %4
br label %94
94: ; preds = %150, %84
%95 = load i32, i32* %4
%96 = load i32, i32* %8
%97 = icmp slt i32 %95, %96
br i1 %97, label %98, label %153
98: ; preds = %94
store i32 0, i32* %3
br label %99
99: ; preds = %146, %98
%100 = load i32, i32* %3
%101 = load i32, i32* %7
%102 = icmp slt i32 %100, %101
br i1 %102, label %103, label %149
103: ; preds = %99
store i32 0, i32* %14
store i32 0, i32* %2
br label %104
104: ; preds = %126, %103
%105 = load i32, i32* %2
%106 = load i32, i32* %6
%107 = icmp slt i32 %105, %106
br i1 %107, label %108, label %129
108: ; preds = %104
%109 = load i32*, i32** %9
%110 = load i32, i32* %4
%111 = load i32, i32* %7
%112 = mul nsw i32 %110, %111
%113 = load i32, i32* %6
%114 = mul nsw i32 %112, %113
%115 = load i32, i32* %3
%116 = load i32, i32* %6
%117 = mul nsw i32 %115, %116
%118 = add nsw i32 %114, %117
%119 = load i32, i32* %2
%120 = add nsw i32 %118, %119
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %109, i64 %121
%123 = load i32, i32* %122
%124 = load i32, i32* %14
%125 = add nsw i32 %124, %123
store i32 %125, i32* %14
br label %126
126: ; preds = %108
%127 = load i32, i32* %2
%128 = add nsw i32 %127, 1
store i32 %128, i32* %2
br label %104
129: ; preds = %104
%130 = load i32, i32* %3
%131 = load i32, i32* %14
%132 = add nsw i32 %131, %130
store i32 %132, i32* %14
%133 = load i32, i32* %14
%134 = load i32*, i32** %10
%135 = load i32, i32* %4
%136 = load i32, i32* %7
%137 = mul nsw i32 %135, %136
%138 = load i32, i32* %6
%139 = mul nsw i32 %137, %138
%140 = load i32, i32* %3
%141 = load i32, i32* %6
%142 = mul nsw i32 %140, %141
%143 = add nsw i32 %139, %142
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %134, i64 %144
store i32 %133, i32* %145
br label %146
146: ; preds = %129
%147 = load i32, i32* %3
%148 = add nsw i32 %147, 1
store i32 %148, i32* %3
br label %99
149: ; preds = %99
br label %150
150: ; preds = %149
%151 = load i32, i32* %4
%152 = add nsw i32 %151, 1
store i32 %152, i32* %4
br label %94
153: ; preds = %94
%154 = call i32 @gettimeofday(%struct.timeval* %11, i32* null)
%155 = getelementptr inbounds %struct.timeval, %struct.timeval* %11, i32 0, i32 0
%156 = load i32, i32* %155
%157 = mul nsw i32 %156, 1000
%158 = sitofp i32 %157 to double
%159 = getelementptr inbounds %struct.timeval, %struct.timeval* %11, i32 0, i32 1
%160 = load double, double* %159
%161 = fdiv double %160, 1.000000e+03
%162 = fadd double %158, %161
store double %162, double* %13
store i32 0, i32* %5
store i32 0, i32* %4
br label %163
163: ; preds = %223, %153
%164 = load i32, i32* %4
%165 = load i32, i32* %8
%166 = icmp slt i32 %164, %165
br i1 %166, label %167, label %226
167: ; preds = %163
store i32 0, i32* %3
br label %168
168: ; preds = %219, %167
%169 = load i32, i32* %3
%170 = load i32, i32* %7
%171 = icmp slt i32 %169, %170
br i1 %171, label %172, label %222
172: ; preds = %168
%173 = load i32, i32* %3
store i32 %173, i32* %15
store i32 0, i32* %2
br label %174
174: ; preds = %196, %172
%175 = load i32, i32* %2
%176 = load i32, i32* %6
%177 = icmp slt i32 %175, %176
br i1 %177, label %178, label %199
178: ; preds = %174
%179 = load i32*, i32** %9
%180 = load i32, i32* %4
%181 = load i32, i32* %7
%182 = mul nsw i32 %180, %181
%183 = load i32, i32* %6
%184 = mul nsw i32 %182, %183
%185 = load i32, i32* %3
%186 = load i32, i32* %6
%187 = mul nsw i32 %185, %186
%188 = add nsw i32 %184, %187
%189 = load i32, i32* %2
%190 = add nsw i32 %188, %189
%191 = sext i32 %190 to i64
%192 = getelementptr inbounds i32, i32* %179, i64 %191
%193 = load i32, i32* %192
%194 = load i32, i32* %15
%195 = add nsw i32 %194, %193
store i32 %195, i32* %15
br label %196
196: ; preds = %178
%197 = load i32, i32* %2
%198 = add nsw i32 %197, 1
store i32 %198, i32* %2
br label %174
199: ; preds = %174
%200 = load i32*, i32** %10
%201 = load i32, i32* %4
%202 = load i32, i32* %7
%203 = mul nsw i32 %201, %202
%204 = load i32, i32* %6
%205 = mul nsw i32 %203, %204
%206 = load i32, i32* %3
%207 = load i32, i32* %6
%208 = mul nsw i32 %206, %207
%209 = add nsw i32 %205, %208
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds i32, i32* %200, i64 %210
%212 = load i32, i32* %211
%213 = load i32, i32* %15
%214 = icmp ne i32 %212, %213
br i1 %214, label %215, label %218
215: ; preds = %199
%216 = load i32, i32* %5
%217 = add nsw i32 %216, 1
store i32 %217, i32* %5
br label %218
218: ; preds = %215, %199
br label %219
219: ; preds = %218
%220 = load i32, i32* %3
%221 = add nsw i32 %220, 1
store i32 %221, i32* %3
br label %168
222: ; preds = %168
br label %223
223: ; preds = %222
%224 = load i32, i32* %4
%225 = add nsw i32 %224, 1
store i32 %225, i32* %4
br label %163
226: ; preds = %163
%227 = load i32*, i32** %9
%228 = call i32 @free(i32* %227)
%229 = load i32*, i32** %10
%230 = call i32 @free(i32* %229)
%231 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
%232 = load i32, i32* %5
%233 = icmp eq i32 %232, 0
br i1 %233, label %234, label %236
234: ; preds = %226
%235 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.1, i64 0, i64 0))
br label %239
236: ; preds = %226
%237 = load i32, i32* %5
%238 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i32 %237)
br label %239
239: ; preds = %236, %234
%240 = load double, double* %13
%241 = load double, double* %12
%242 = fsub double %240, %241
%243 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0), double %242)
%244 = load i32, i32* %1
ret i32 %244
}

LLVM IR (-O2):
%struct.timeval = type { i32, double }
@acc_device_default = global i32 0
@.str.2 = [30 x i8] c"Reduction + FAILED! error=%d\0A\00"
@.str.3 = [26 x i8] c"Execution time: %.2lf ms\0A\00"
@str = [26 x i8] c"Test for vector reduction\00"
@str.4 = [12 x i8] c"SUCCESSFUL!\00"
define i32 @main() {
%1 = alloca <4 x i32>
%2 = bitcast <4 x i32>* %1 to %struct.timeval*
%3 = bitcast <4 x i32>* %1 to i8*
%4 = load i32, i32* @acc_device_default
%5 = tail call i32 @acc_init(i32 %4)
%6 = tail call i64 @malloc(i32 268435456)
%7 = inttoptr i64 %6 to i32*
%8 = tail call i64 @malloc(i32 268435456)
br label %9
9: ; preds = %0, %42
%10 = phi i64 [ 0, %0 ], [ %43, %42 ]
%11 = shl nsw i64 %10, 19
br label %12
12: ; preds = %9, %39
%13 = phi i64 [ 0, %9 ], [ %40, %39 ]
%14 = add nuw nsw i64 %13, %10
%15 = shl nsw i64 %13, 10
%16 = add nuw nsw i64 %15, %11
%17 = insertelement <4 x i64> poison, i64 %14, i64 0
%18 = shufflevector <4 x i64> %17, <4 x i64> poison, <4 x i32> zeroinitializer
%19 = add nuw i64 %14, 4
%20 = insertelement <4 x i64> poison, i64 %19, i64 0
%21 = shufflevector <4 x i64> %20, <4 x i64> poison, <4 x i32> zeroinitializer
br label %22
22: ; preds = %22, %12
%23 = phi i64 [ 0, %12 ], [ %36, %22 ]
%24 = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, %12 ], [ %37, %22 ]
%25 = add nuw nsw <4 x i64> %18, %24
%26 = add <4 x i64> %21, %24
%27 = trunc <4 x i64> %25 to <4 x i32>
%28 = trunc <4 x i64> %26 to <4 x i32>
%29 = urem <4 x i32> %27, <i32 10, i32 10, i32 10, i32 10>
%30 = urem <4 x i32> %28, <i32 10, i32 10, i32 10, i32 10>
%31 = add nuw nsw i64 %16, %23
%32 = getelementptr inbounds i32, i32* %7, i64 %31
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %29, <4 x i32>* %33
%34 = getelementptr inbounds i32, i32* %32, i64 4
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %30, <4 x i32>* %35
%36 = add nuw i64 %23, 8
%37 = add <4 x i64> %24, <i64 8, i64 8, i64 8, i64 8>
%38 = icmp eq i64 %36, 1024
br i1 %38, label %39, label %22
39: ; preds = %22
%40 = add nuw nsw i64 %13, 1
%41 = icmp eq i64 %40, 512
br i1 %41, label %42, label %12
42: ; preds = %39
%43 = add nuw nsw i64 %10, 1
%44 = icmp eq i64 %43, 128
br i1 %44, label %45, label %9
45: ; preds = %42
%46 = inttoptr i64 %8 to i32*
%47 = call i32 @gettimeofday(%struct.timeval* %2, i32* null)
%48 = getelementptr inbounds <4 x i32>, <4 x i32>* %1, i64 0, i64 0
%49 = load i32, i32* %48
%50 = getelementptr inbounds <4 x i32>, <4 x i32>* %1, i64 0, i64 2
%51 = bitcast i32* %50 to double*
%52 = load double, double* %51
br label %53
53: ; preds = %45, %113
%54 = phi i64 [ 0, %45 ], [ %114, %113 ]
%55 = shl nsw i64 %54, 19
br label %56
56: ; preds = %53, %105
%57 = phi i64 [ 0, %53 ], [ %111, %105 ]
%58 = shl nsw i64 %57, 10
%59 = add nuw nsw i64 %58, %55
br label %60
60: ; preds = %60, %56
%61 = phi i64 [ 0, %56 ], [ %103, %60 ]
%62 = phi <4 x i32> [ zeroinitializer, %56 ], [ %101, %60 ]
%63 = phi <4 x i32> [ zeroinitializer, %56 ], [ %102, %60 ]
%64 = add nuw nsw i64 %59, %61
%65 = getelementptr inbounds i32, i32* %7, 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, %62
%72 = add <4 x i32> %70, %63
%73 = or i64 %61, 8
%74 = add nuw nsw i64 %59, %73
%75 = getelementptr inbounds i32, i32* %7, 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 = or i64 %61, 16
%84 = add nuw nsw i64 %59, %83
%85 = getelementptr inbounds i32, i32* %7, i64 %84
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = getelementptr inbounds i32, i32* %85, i64 4
%89 = bitcast i32* %88 to <4 x i32>*
%90 = load <4 x i32>, <4 x i32>* %89
%91 = add <4 x i32> %87, %81
%92 = add <4 x i32> %90, %82
%93 = or i64 %61, 24
%94 = add nuw nsw i64 %59, %93
%95 = getelementptr inbounds i32, i32* %7, i64 %94
%96 = bitcast i32* %95 to <4 x i32>*
%97 = load <4 x i32>, <4 x i32>* %96
%98 = getelementptr inbounds i32, i32* %95, i64 4
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = add <4 x i32> %97, %91
%102 = add <4 x i32> %100, %92
%103 = add nuw nsw i64 %61, 32
%104 = icmp eq i64 %103, 1024
br i1 %104, label %105, label %60
105: ; preds = %60
%106 = add <4 x i32> %102, %101
%107 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %106)
%108 = trunc i64 %57 to i32
%109 = add nsw i32 %107, %108
%110 = getelementptr inbounds i32, i32* %46, i64 %59
store i32 %109, i32* %110
%111 = add nuw nsw i64 %57, 1
%112 = icmp eq i64 %111, 512
br i1 %112, label %113, label %56
113: ; preds = %105
%114 = add nuw nsw i64 %54, 1
%115 = icmp eq i64 %114, 128
br i1 %115, label %116, label %53
116: ; preds = %113
%117 = call i32 @gettimeofday(%struct.timeval* %2, i32* null)
%118 = load <4 x i32>, <4 x i32>* %1
br label %119
119: ; preds = %116, %185
%120 = phi i64 [ 0, %116 ], [ %186, %185 ]
%121 = phi i32 [ 0, %116 ], [ %182, %185 ]
%122 = shl nsw i64 %120, 19
br label %123
123: ; preds = %119, %175
%124 = phi i64 [ 0, %119 ], [ %183, %175 ]
%125 = phi i32 [ %121, %119 ], [ %182, %175 ]
%126 = shl nsw i64 %124, 10
%127 = add nuw nsw i64 %126, %122
%128 = trunc i64 %124 to i32
%129 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %128, i64 0
br label %130
130: ; preds = %130, %123
%131 = phi i64 [ 0, %123 ], [ %173, %130 ]
%132 = phi <4 x i32> [ %129, %123 ], [ %171, %130 ]
%133 = phi <4 x i32> [ zeroinitializer, %123 ], [ %172, %130 ]
%134 = add nuw nsw i64 %127, %131
%135 = getelementptr inbounds i32, i32* %7, 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, %132
%142 = add <4 x i32> %140, %133
%143 = or i64 %131, 8
%144 = add nuw nsw i64 %127, %143
%145 = getelementptr inbounds i32, i32* %7, 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 %131, 16
%154 = add nuw nsw i64 %127, %153
%155 = getelementptr inbounds i32, i32* %7, 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 = or i64 %131, 24
%164 = add nuw nsw i64 %127, %163
%165 = getelementptr inbounds i32, i32* %7, i64 %164
%166 = bitcast i32* %165 to <4 x i32>*
%167 = load <4 x i32>, <4 x i32>* %166
%168 = getelementptr inbounds i32, i32* %165, i64 4
%169 = bitcast i32* %168 to <4 x i32>*
%170 = load <4 x i32>, <4 x i32>* %169
%171 = add <4 x i32> %167, %161
%172 = add <4 x i32> %170, %162
%173 = add nuw nsw i64 %131, 32
%174 = icmp eq i64 %173, 1024
br i1 %174, label %175, label %130
175: ; preds = %130
%176 = add <4 x i32> %172, %171
%177 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %176)
%178 = getelementptr inbounds i32, i32* %46, i64 %127
%179 = load i32, i32* %178
%180 = icmp ne i32 %179, %177
%181 = zext i1 %180 to i32
%182 = add nsw i32 %125, %181
%183 = add nuw nsw i64 %124, 1
%184 = icmp eq i64 %183, 512
br i1 %184, label %185, label %123
185: ; preds = %175
%186 = add nuw nsw i64 %120, 1
%187 = icmp eq i64 %186, 128
br i1 %187, label %188, label %119
188: ; preds = %185
%189 = tail call i32 @free(i32* %7)
%190 = tail call i32 @free(i32* %46)
%191 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str, i64 0, i64 0))
%192 = icmp eq i32 %182, 0
br i1 %192, label %193, label %195
193: ; preds = %188
%194 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.4, i64 0, i64 0))
br label %197
195: ; preds = %188
%196 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i32 %182)
br label %197
197: ; preds = %195, %193
%198 = bitcast <4 x i32> %118 to <2 x double>
%199 = shufflevector <2 x double> %198, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%200 = shufflevector <4 x i32> %118, <4 x i32> poison, <2 x i32> <i32 0, i32 undef>
%201 = insertelement <2 x i32> %200, i32 %49, i64 1
%202 = mul nsw <2 x i32> %201, <i32 1000, i32 1000>
%203 = sitofp <2 x i32> %202 to <2 x double>
%204 = insertelement <2 x double> %199, double %52, i64 1
%205 = fdiv <2 x double> %204, <double 1.000000e+03, double 1.000000e+03>
%206 = fadd <2 x double> %205, %203
%207 = shufflevector <2 x double> %206, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%208 = fsub <2 x double> %206, %207
%209 = extractelement <2 x double> %208, i64 0
%210 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0), double %209)
ret i32 0
}