#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 parloop(int N) {
  int i;
  int x[10000990];
  for (i = 0; i < N; i++)
    x[i] = i + 3;
  for (i = 0; i < N; i++) {
    if (x[i] != i + 3)
      abort();
  }
}


x86 assembly (clang, -O0):
<parloop>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2626980,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1150 <parloop+0x40>
mov    -0x8(%rbp),%ecx
add    $0x3,%ecx
movslq -0x8(%rbp),%rax
mov    %ecx,-0x2626980(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1125 <parloop+0x15>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1196 <parloop+0x86>
movslq -0x8(%rbp),%rax
mov    -0x2626980(%rbp,%rax,4),%eax
mov    -0x8(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
je     1183 <parloop+0x73>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1188 <parloop+0x78>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1157 <parloop+0x47>
add    $0x2626980,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parloop>:
sub    $0x2626978,%rsp
test   %edi,%edi
jle    12db <parloop+0x1cb>
mov    %edi,%eax
cmp    $0x8,%edi
jae    112d <parloop+0x1d>
xor    %ecx,%ecx
jmp    12a0 <parloop+0x190>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x18,%rdx
jae    115d <parloop+0x4d>
movdqa 0xeaa(%rip),%xmm0
xor    %edx,%edx
jmp    1245 <parloop+0x135>
and    $0xfffffffffffffffc,%rsi
movdqa 0xe97(%rip),%xmm0
xor    %edx,%edx
movdqa 0xe9c(%rip),%xmm8
movdqa 0xea3(%rip),%xmm9
movdqa 0xeaa(%rip),%xmm10
movdqa 0xeb1(%rip),%xmm11
movdqa 0xeb9(%rip),%xmm5
movdqa 0xec1(%rip),%xmm6
movdqa 0xec9(%rip),%xmm7
movdqa 0xed1(%rip),%xmm1
movdqa 0xed9(%rip),%xmm2
nopw   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm8,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqa %xmm3,(%rsp,%rdx,4)
movdqa %xmm4,0x10(%rsp,%rdx,4)
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm11,%xmm4
movdqa %xmm3,0x20(%rsp,%rdx,4)
movdqa %xmm4,0x30(%rsp,%rdx,4)
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm6,%xmm4
movdqa %xmm3,0x40(%rsp,%rdx,4)
movdqa %xmm4,0x50(%rsp,%rdx,4)
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm3,0x60(%rsp,%rdx,4)
movdqa %xmm4,0x70(%rsp,%rdx,4)
add    $0x20,%rdx
paddd  %xmm2,%xmm0
add    $0xfffffffffffffffc,%rsi
jne    11c0 <parloop+0xb0>
test   %r8,%r8
je     1298 <parloop+0x188>
lea    (%rsp,%rdx,4),%rdx
add    $0x10,%rdx
shl    $0x5,%r8
xor    %esi,%esi
movdqa 0xdb0(%rip),%xmm1
movdqa 0xdb8(%rip),%xmm2
movdqa 0xe30(%rip),%xmm3
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm4,-0x10(%rdx,%rsi,1)
movdqa %xmm5,(%rdx,%rsi,1)
paddd  %xmm3,%xmm0
add    $0x20,%rsi
cmp    %rsi,%r8
jne    1270 <parloop+0x160>
cmp    %rax,%rcx
je     12af <parloop+0x19f>
nopl   (%rax)
lea    0x3(%rcx),%edx
mov    %edx,(%rsp,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    12a0 <parloop+0x190>
test   %edi,%edi
jle    12db <parloop+0x1cb>
neg    %rax
mov    $0x3,%ecx
nopl   0x0(%rax,%rax,1)
mov    -0xc(%rsp,%rcx,4),%edx
cmp    %rdx,%rcx
jne    12e3 <parloop+0x1d3>
lea    (%rax,%rcx,1),%rdx
add    $0x1,%rdx
add    $0x1,%rcx
cmp    $0x3,%rdx
jne    12c0 <parloop+0x1b0>
add    $0x2626978,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define void @parloop(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca [10000990 x i32]
store i32 %0, i32* %2
store i32 0, i32* %3
br label %5
5: ; preds = %15, %1
%6 = load i32, i32* %3
%7 = load i32, i32* %2
%8 = icmp slt i32 %6, %7
br i1 %8, label %9, label %18
9: ; preds = %5
%10 = load i32, i32* %3
%11 = add nsw i32 %10, 3
%12 = load i32, i32* %3
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [10000990 x i32], [10000990 x i32]* %4, i64 0, i64 %13
store i32 %11, i32* %14
br label %15
15: ; preds = %9
%16 = load i32, i32* %3
%17 = add nsw i32 %16, 1
store i32 %17, i32* %3
br label %5
18: ; preds = %5
store i32 0, i32* %3
br label %19
19: ; preds = %34, %18
%20 = load i32, i32* %3
%21 = load i32, i32* %2
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %37
23: ; preds = %19
%24 = load i32, i32* %3
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [10000990 x i32], [10000990 x i32]* %4, i64 0, i64 %25
%27 = load i32, i32* %26
%28 = load i32, i32* %3
%29 = add nsw i32 %28, 3
%30 = icmp ne i32 %27, %29
br i1 %30, label %31, label %33
31: ; preds = %23
%32 = call i32 (...) @abort()
unreachable
33: ; preds = %23
br label %34
34: ; preds = %33
%35 = load i32, i32* %3
%36 = add nsw i32 %35, 1
store i32 %36, i32* %3
br label %19
37: ; preds = %19
ret void
}

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