#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*/ abort();
void bar(int n) {
  int a[n], i, err;
#pragma omp target private(a) map(from : err)
  {
#pragma omp parallel for
    for (i = 0; i < n; i++)
      a[i] = 7 * i;
    err = 0;
#pragma omp parallel for reduction(| : err)
    for (i = 0; i < n; i++)
      if (a[i] != 7 * i)
        err |= 1;
  }
  if (err)
    abort();
}


x86 assembly (clang, -O0):
<bar>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x10(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x28(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1172 <bar+0x62>
mov    -0x28(%rbp),%rax
imul   $0x7,-0x1c(%rbp),%edx
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1149 <bar+0x39>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11bf <bar+0xaf>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
imul   $0x7,-0x1c(%rbp),%ecx
cmp    %ecx,%eax
je     11ac <bar+0x9c>
mov    -0x20(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11b1 <bar+0xa1>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1180 <bar+0x70>
cmpl   $0x0,-0x20(%rbp)
je     11d0 <bar+0xc0>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bar>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,%r9d
mov    %rsp,%rcx
lea    0xf(,%r9,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,%rsp
test   %edi,%edi
jle    13ab <bar+0x29b>
cmp    $0x8,%edi
jae    1140 <bar+0x30>
xor    %edx,%edx
jmp    120e <bar+0xfe>
mov    %r9d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     13b0 <bar+0x2a0>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
movdqa 0xe93(%rip),%xmm0
xor    %esi,%esi
movdqa 0xe99(%rip),%xmm1
movdqa 0xea1(%rip),%xmm2
movdqa 0xea9(%rip),%xmm3
nopw   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm4
pslld  $0x3,%xmm4
psubd  %xmm0,%xmm4
movdqa %xmm4,(%rcx,%rsi,4)
paddd  %xmm1,%xmm4
movdqa %xmm4,0x10(%rcx,%rsi,4)
movdqa %xmm0,%xmm4
paddd  %xmm2,%xmm4
movdqa %xmm4,%xmm5
pslld  $0x3,%xmm5
psubd  %xmm4,%xmm5
movdqa %xmm5,0x20(%rcx,%rsi,4)
paddd  %xmm1,%xmm5
movdqa %xmm5,0x30(%rcx,%rsi,4)
add    $0x10,%rsi
paddd  %xmm3,%xmm0
add    $0xfffffffffffffffe,%rax
jne    1190 <bar+0x80>
test   $0x1,%r8b
je     1209 <bar+0xf9>
movdqa %xmm0,%xmm1
pslld  $0x3,%xmm1
psubd  %xmm0,%xmm1
movdqa 0xe16(%rip),%xmm0
paddd  %xmm1,%xmm0
movdqa %xmm1,(%rcx,%rsi,4)
movdqa %xmm0,0x10(%rcx,%rsi,4)
cmp    %r9,%rdx
je     122f <bar+0x11f>
lea    0x0(,%rdx,8),%eax
sub    %edx,%eax
nopw   0x0(%rax,%rax,1)
mov    %eax,(%rcx,%rdx,4)
add    $0x1,%rdx
add    $0x7,%eax
cmp    %rdx,%r9
jne    1220 <bar+0x110>
test   %edi,%edi
jle    13ab <bar+0x29b>
cmp    $0x8,%edi
jae    1245 <bar+0x135>
xor    %edx,%edx
xor    %eax,%eax
jmp    1379 <bar+0x269>
mov    %r9d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     13c9 <bar+0x2b9>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
movdqa 0xd8e(%rip),%xmm1
pxor   %xmm0,%xmm0
xor    %esi,%esi
movdqa 0xd90(%rip),%xmm3
movdqa 0xdb8(%rip),%xmm4
movdqa 0xd8f(%rip),%xmm8
movdqa 0xd97(%rip),%xmm6
pxor   %xmm2,%xmm2
nopl   (%rax)
movdqa %xmm1,%xmm7
pslld  $0x3,%xmm7
psubd  %xmm1,%xmm7
movdqa %xmm7,%xmm5
paddd  %xmm3,%xmm5
pcmpeqd (%rcx,%rsi,4),%xmm7
pandn  %xmm4,%xmm7
por    %xmm0,%xmm7
pcmpeqd 0x10(%rcx,%rsi,4),%xmm5
pandn  %xmm4,%xmm5
por    %xmm2,%xmm5
movdqa %xmm1,%xmm2
paddd  %xmm8,%xmm2
movdqa %xmm2,%xmm0
pslld  $0x3,%xmm0
psubd  %xmm2,%xmm0
movdqa %xmm0,%xmm2
paddd  %xmm3,%xmm2
pcmpeqd 0x20(%rcx,%rsi,4),%xmm0
pandn  %xmm4,%xmm0
por    %xmm7,%xmm0
pcmpeqd 0x30(%rcx,%rsi,4),%xmm2
pandn  %xmm4,%xmm2
por    %xmm5,%xmm2
add    $0x10,%rsi
paddd  %xmm6,%xmm1
add    $0xfffffffffffffffe,%rdi
jne    12a0 <bar+0x190>
test   $0x1,%r8b
je     135a <bar+0x24a>
movdqa %xmm1,%xmm3
pslld  $0x3,%xmm3
psubd  %xmm1,%xmm3
movdqa 0xcdd(%rip),%xmm1
paddd  %xmm3,%xmm1
pcmpeqd (%rcx,%rsi,4),%xmm3
movdqa 0xcfc(%rip),%xmm4
pandn  %xmm4,%xmm3
por    %xmm3,%xmm0
pcmpeqd 0x10(%rcx,%rsi,4),%xmm1
pandn  %xmm4,%xmm1
por    %xmm1,%xmm2
por    %xmm2,%xmm0
pshufd $0xee,%xmm0,%xmm1
por    %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
por    %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r9,%rdx
je     13a7 <bar+0x297>
lea    0x0(,%rdx,8),%esi
sub    %edx,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %edi,%edi
cmp    (%rcx,%rdx,4),%esi
setne  %dil
or     %edi,%eax
add    $0x1,%rdx
add    $0x7,%esi
cmp    %rdx,%r9
jne    1390 <bar+0x280>
test   %eax,%eax
jne    13ea <bar+0x2da>
mov    %rbp,%rsp
pop    %rbp
ret
movdqa 0xc48(%rip),%xmm0
xor    %esi,%esi
test   $0x1,%r8b
jne    11e5 <bar+0xd5>
jmp    1209 <bar+0xf9>
movdqa 0xc2f(%rip),%xmm1
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    131e <bar+0x20e>
jmp    135a <bar+0x24a>
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define void @bar(i32 %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %2
%7 = load i32, i32* %2
%8 = zext i32 %7 to i64
%9 = call i8* @llvm.stacksave()
store i8* %9, i8** %3
%10 = alloca i32, i64 %8
store i64 %8, i64* %4
store i32 0, i32* %5
br label %11
11: ; preds = %21, %1
%12 = load i32, i32* %5
%13 = load i32, i32* %2
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %24
15: ; preds = %11
%16 = load i32, i32* %5
%17 = mul nsw i32 7, %16
%18 = load i32, i32* %5
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %10, i64 %19
store i32 %17, i32* %20
br label %21
21: ; preds = %15
%22 = load i32, i32* %5
%23 = add nsw i32 %22, 1
store i32 %23, i32* %5
br label %11
24: ; preds = %11
store i32 0, i32* %6
store i32 0, i32* %5
br label %25
25: ; preds = %41, %24
%26 = load i32, i32* %5
%27 = load i32, i32* %2
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %44
29: ; preds = %25
%30 = load i32, i32* %5
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %10, i64 %31
%33 = load i32, i32* %32
%34 = load i32, i32* %5
%35 = mul nsw i32 7, %34
%36 = icmp ne i32 %33, %35
br i1 %36, label %37, label %40
37: ; preds = %29
%38 = load i32, i32* %6
%39 = or i32 %38, 1
store i32 %39, i32* %6
br label %40
40: ; preds = %37, %29
br label %41
41: ; preds = %40
%42 = load i32, i32* %5
%43 = add nsw i32 %42, 1
store i32 %43, i32* %5
br label %25
44: ; preds = %25
%45 = load i32, i32* %6
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %49
47: ; preds = %44
%48 = call i32 (...) @abort()
unreachable
49: ; preds = %44
%50 = load i8*, i8** %3
ret void
}

LLVM IR (-O2):
define void @bar(i32 %0) {
%2 = zext i32 %0 to i64
%3 = alloca i32, i64 %2
%4 = icmp sgt i32 %0, 0
br i1 %4, label %5, label %167
5: ; preds = %1
%6 = icmp ult i32 %0, 8
br i1 %6, label %54, label %7
7: ; preds = %5
%8 = and i64 %2, 4294967288
%9 = add nsw i64 %8, -8
%10 = lshr exact i64 %9, 3
%11 = add nuw nsw i64 %10, 1
%12 = and i64 %11, 1
%13 = icmp eq i64 %9, 0
br i1 %13, label %40, label %14
14: ; preds = %7
%15 = and i64 %11, 4611686018427387902
br label %16
16: ; preds = %16, %14
%17 = phi i64 [ 0, %14 ], [ %36, %16 ]
%18 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %14 ], [ %37, %16 ]
%19 = phi i64 [ 0, %14 ], [ %38, %16 ]
%20 = mul nsw <4 x i32> %18, <i32 7, i32 7, i32 7, i32 7>
%21 = mul <4 x i32> %18, <i32 7, i32 7, i32 7, i32 7>
%22 = add <4 x i32> %21, <i32 28, i32 28, i32 28, i32 28>
%23 = getelementptr inbounds i32, i32* %3, i64 %17
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %24
%25 = getelementptr inbounds i32, i32* %23, i64 4
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %22, <4 x i32>* %26
%27 = or i64 %17, 8
%28 = add <4 x i32> %18, <i32 8, i32 8, i32 8, i32 8>
%29 = mul nsw <4 x i32> %28, <i32 7, i32 7, i32 7, i32 7>
%30 = mul <4 x i32> %28, <i32 7, i32 7, i32 7, i32 7>
%31 = add <4 x i32> %30, <i32 28, i32 28, i32 28, i32 28>
%32 = getelementptr inbounds i32, i32* %3, i64 %27
%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> %31, <4 x i32>* %35
%36 = add nuw i64 %17, 16
%37 = add <4 x i32> %18, <i32 16, i32 16, i32 16, i32 16>
%38 = add i64 %19, 2
%39 = icmp eq i64 %38, %15
br i1 %39, label %40, label %16
40: ; preds = %16, %7
%41 = phi i64 [ 0, %7 ], [ %36, %16 ]
%42 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %7 ], [ %37, %16 ]
%43 = icmp eq i64 %12, 0
br i1 %43, label %52, label %44
44: ; preds = %40
%45 = mul nsw <4 x i32> %42, <i32 7, i32 7, i32 7, i32 7>
%46 = mul <4 x i32> %42, <i32 7, i32 7, i32 7, i32 7>
%47 = add <4 x i32> %46, <i32 28, i32 28, i32 28, i32 28>
%48 = getelementptr inbounds i32, i32* %3, i64 %41
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %49
%50 = getelementptr inbounds i32, i32* %48, i64 4
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %51
br label %52
52: ; preds = %40, %44
%53 = icmp eq i64 %8, %2
br i1 %53, label %56, label %54
54: ; preds = %5, %52
%55 = phi i64 [ 0, %5 ], [ %8, %52 ]
br label %143
56: ; preds = %143, %52
br i1 %4, label %57, label %167
57: ; preds = %56
%58 = icmp ult i32 %0, 8
br i1 %58, label %140, label %59
59: ; preds = %57
%60 = and i64 %2, 4294967288
%61 = add nsw i64 %60, -8
%62 = lshr exact i64 %61, 3
%63 = add nuw nsw i64 %62, 1
%64 = and i64 %63, 1
%65 = icmp eq i64 %61, 0
br i1 %65, label %110, label %66
66: ; preds = %59
%67 = and i64 %63, 4611686018427387902
br label %68
68: ; preds = %68, %66
%69 = phi i64 [ 0, %66 ], [ %106, %68 ]
%70 = phi <4 x i32> [ zeroinitializer, %66 ], [ %104, %68 ]
%71 = phi <4 x i32> [ zeroinitializer, %66 ], [ %105, %68 ]
%72 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %66 ], [ %107, %68 ]
%73 = phi i64 [ 0, %66 ], [ %108, %68 ]
%74 = getelementptr inbounds i32, i32* %3, i64 %69
%75 = bitcast i32* %74 to <4 x i32>*
%76 = load <4 x i32>, <4 x i32>* %75
%77 = getelementptr inbounds i32, i32* %74, i64 4
%78 = bitcast i32* %77 to <4 x i32>*
%79 = load <4 x i32>, <4 x i32>* %78
%80 = mul nsw <4 x i32> %72, <i32 7, i32 7, i32 7, i32 7>
%81 = mul <4 x i32> %72, <i32 7, i32 7, i32 7, i32 7>
%82 = add <4 x i32> %81, <i32 28, i32 28, i32 28, i32 28>
%83 = icmp ne <4 x i32> %76, %80
%84 = icmp ne <4 x i32> %79, %82
%85 = zext <4 x i1> %83 to <4 x i32>
%86 = zext <4 x i1> %84 to <4 x i32>
%87 = or <4 x i32> %70, %85
%88 = or <4 x i32> %71, %86
%89 = or i64 %69, 8
%90 = add <4 x i32> %72, <i32 8, i32 8, i32 8, i32 8>
%91 = getelementptr inbounds i32, i32* %3, i64 %89
%92 = bitcast i32* %91 to <4 x i32>*
%93 = load <4 x i32>, <4 x i32>* %92
%94 = getelementptr inbounds i32, i32* %91, i64 4
%95 = bitcast i32* %94 to <4 x i32>*
%96 = load <4 x i32>, <4 x i32>* %95
%97 = mul nsw <4 x i32> %90, <i32 7, i32 7, i32 7, i32 7>
%98 = mul <4 x i32> %90, <i32 7, i32 7, i32 7, i32 7>
%99 = add <4 x i32> %98, <i32 28, i32 28, i32 28, i32 28>
%100 = icmp ne <4 x i32> %93, %97
%101 = icmp ne <4 x i32> %96, %99
%102 = zext <4 x i1> %100 to <4 x i32>
%103 = zext <4 x i1> %101 to <4 x i32>
%104 = or <4 x i32> %87, %102
%105 = or <4 x i32> %88, %103
%106 = add nuw i64 %69, 16
%107 = add <4 x i32> %72, <i32 16, i32 16, i32 16, i32 16>
%108 = add i64 %73, 2
%109 = icmp eq i64 %108, %67
br i1 %109, label %110, label %68
110: ; preds = %68, %59
%111 = phi <4 x i32> [ undef, %59 ], [ %104, %68 ]
%112 = phi <4 x i32> [ undef, %59 ], [ %105, %68 ]
%113 = phi i64 [ 0, %59 ], [ %106, %68 ]
%114 = phi <4 x i32> [ zeroinitializer, %59 ], [ %104, %68 ]
%115 = phi <4 x i32> [ zeroinitializer, %59 ], [ %105, %68 ]
%116 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %59 ], [ %107, %68 ]
%117 = icmp eq i64 %64, 0
br i1 %117, label %134, label %118
118: ; preds = %110
%119 = getelementptr inbounds i32, i32* %3, i64 %113
%120 = bitcast i32* %119 to <4 x i32>*
%121 = load <4 x i32>, <4 x i32>* %120
%122 = getelementptr inbounds i32, i32* %119, i64 4
%123 = bitcast i32* %122 to <4 x i32>*
%124 = load <4 x i32>, <4 x i32>* %123
%125 = mul nsw <4 x i32> %116, <i32 7, i32 7, i32 7, i32 7>
%126 = mul <4 x i32> %116, <i32 7, i32 7, i32 7, i32 7>
%127 = add <4 x i32> %126, <i32 28, i32 28, i32 28, i32 28>
%128 = icmp ne <4 x i32> %121, %125
%129 = icmp ne <4 x i32> %124, %127
%130 = zext <4 x i1> %128 to <4 x i32>
%131 = zext <4 x i1> %129 to <4 x i32>
%132 = or <4 x i32> %114, %130
%133 = or <4 x i32> %115, %131
br label %134
134: ; preds = %110, %118
%135 = phi <4 x i32> [ %111, %110 ], [ %132, %118 ]
%136 = phi <4 x i32> [ %112, %110 ], [ %133, %118 ]
%137 = or <4 x i32> %136, %135
%138 = call i32 @llvm.vector.reduce.or.v4i32(<4 x i32> %137)
%139 = icmp eq i64 %60, %2
br i1 %139, label %162, label %140
140: ; preds = %57, %134
%141 = phi i64 [ 0, %57 ], [ %60, %134 ]
%142 = phi i32 [ 0, %57 ], [ %138, %134 ]
br label %150
143: ; preds = %54, %143
%144 = phi i64 [ %148, %143 ], [ %55, %54 ]
%145 = trunc i64 %144 to i32
%146 = mul nsw i32 %145, 7
%147 = getelementptr inbounds i32, i32* %3, i64 %144
store i32 %146, i32* %147
%148 = add nuw nsw i64 %144, 1
%149 = icmp eq i64 %148, %2
br i1 %149, label %56, label %143
150: ; preds = %140, %150
%151 = phi i64 [ %160, %150 ], [ %141, %140 ]
%152 = phi i32 [ %159, %150 ], [ %142, %140 ]
%153 = trunc i64 %151 to i32
%154 = getelementptr inbounds i32, i32* %3, i64 %151
%155 = load i32, i32* %154
%156 = mul nsw i32 %153, 7
%157 = icmp ne i32 %155, %156
%158 = zext i1 %157 to i32
%159 = or i32 %152, %158
%160 = add nuw nsw i64 %151, 1
%161 = icmp eq i64 %160, %2
br i1 %161, label %162, label %150
162: ; preds = %150, %134
%163 = phi i32 [ %138, %134 ], [ %159, %150 ]
%164 = icmp eq i32 %163, 0
br i1 %164, label %167, label %165
165: ; preds = %162
%166 = tail call i32 (...) @abort()
unreachable
167: ; preds = %1, %56, %162
ret void
}