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


x86 assembly (clang, -O0):
<parloop>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf4250,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    118a <parloop+0x7a>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1177 <parloop+0x67>
mov    -0x8(%rbp),%edx
add    -0xc(%rbp),%edx
add    $0x3,%edx
movslq -0x8(%rbp),%rcx
lea    -0xf4250(%rbp),%rax
imul   $0x7d0,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1138 <parloop+0x28>
jmp    117c <parloop+0x6c>
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    120a <parloop+0xfa>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11f7 <parloop+0xe7>
movslq -0x8(%rbp),%rcx
lea    -0xf4250(%rbp),%rax
imul   $0x7d0,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%ecx
add    -0xc(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
je     11e4 <parloop+0xd4>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11e9 <parloop+0xd9>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11a4 <parloop+0x94>
jmp    11fc <parloop+0xec>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1191 <parloop+0x81>
add    $0xf4250,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parloop>:
push   %r14
push   %rbx
sub    $0xf4248,%rsp
test   %edi,%edi
jle    1367 <parloop+0x257>
movabs $0x7ffffffffffffff8,%r8
ff ff 7f
mov    %edi,%r9d
lea    0x30(%rsp),%rdx
mov    %rsp,%r14
mov    $0x3,%ecx
xor    %r10d,%r10d
movdqa 0xeb8(%rip),%xmm8
movdqa 0xebf(%rip),%xmm9
movdqa 0xec6(%rip),%xmm10
movdqa 0xecd(%rip),%xmm11
jmp    118f <parloop+0x7f>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r10
add    $0x7d0,%rdx
add    $0x7d0,%r14
add    $0x1,%rcx
cmp    %r9,%r10
je     1319 <parloop+0x209>
test   %r10,%r10
je     1170 <parloop+0x60>
cmp    $0x8,%r10
jae    11b0 <parloop+0xa0>
xor    %eax,%eax
jmp    12e0 <parloop+0x1d0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10,%rax
and    %r8,%rax
lea    -0x8(%rax),%rsi
mov    %rsi,%r11
shr    $0x3,%r11
add    $0x1,%r11
lea    0x3(%r10),%rbx
movq   %rbx,%xmm4
pshufd $0x44,%xmm4,%xmm3
test   %rsi,%rsi
je     1305 <parloop+0x1f5>
mov    %r10,%rsi
and    $0xfffffffffffffff8,%rsi
add    $0xfffffffffffffff8,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
and    $0xfffffffffffffffe,%rsi
lea    0x7(%r10),%rbx
movq   %rbx,%xmm5
pshufd $0x44,%xmm5,%xmm2
xor    %ebx,%ebx
movdqa %xmm9,%xmm5
movdqa %xmm8,%xmm6
nopl   (%rax)
movdqa %xmm3,%xmm4
paddq  %xmm5,%xmm4
movdqa %xmm3,%xmm0
paddq  %xmm6,%xmm0
shufps $0x88,%xmm0,%xmm4
movdqa %xmm2,%xmm0
paddq  %xmm5,%xmm0
movdqa %xmm2,%xmm7
paddq  %xmm6,%xmm7
shufps $0x88,%xmm7,%xmm0
movaps %xmm4,-0x30(%rdx,%rbx,4)
movaps %xmm0,-0x20(%rdx,%rbx,4)
movdqa %xmm6,%xmm0
paddq  %xmm10,%xmm0
movdqa %xmm5,%xmm4
paddq  %xmm10,%xmm4
movdqa %xmm3,%xmm7
paddq  %xmm4,%xmm7
movdqa %xmm3,%xmm1
paddq  %xmm0,%xmm1
shufps $0x88,%xmm1,%xmm7
paddq  %xmm2,%xmm4
paddq  %xmm2,%xmm0
shufps $0x88,%xmm0,%xmm4
movaps %xmm7,-0x10(%rdx,%rbx,4)
movaps %xmm4,(%rdx,%rbx,4)
add    $0x10,%rbx
paddq  %xmm11,%xmm5
paddq  %xmm11,%xmm6
add    $0xfffffffffffffffe,%rsi
jne    1210 <parloop+0x100>
test   $0x1,%r11b
je     12d7 <parloop+0x1c7>
movdqa %xmm3,%xmm0
paddq  %xmm5,%xmm0
paddq  %xmm6,%xmm3
shufps $0x88,%xmm3,%xmm0
lea    0x7(%r10),%esi
movd   %esi,%xmm1
pshufd $0x44,%xmm1,%xmm1
paddq  %xmm1,%xmm6
paddq  %xmm5,%xmm1
shufps $0x88,%xmm6,%xmm1
imul   $0x7d0,%r10,%rsi
add    %rsp,%rsi
movaps %xmm0,(%rsi,%rbx,4)
movaps %xmm1,0x10(%rsi,%rbx,4)
cmp    %rax,%r10
je     1170 <parloop+0x60>
lea    -0x3(%rcx),%rsi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%rcx,%rax,1),%ebx
mov    %ebx,(%r14,%rax,4)
add    $0x1,%rax
cmp    %rax,%rsi
jne    12f0 <parloop+0x1e0>
jmp    1170 <parloop+0x60>
xor    %ebx,%ebx
movdqa %xmm9,%xmm5
movdqa %xmm8,%xmm6
test   $0x1,%r11b
jne    129b <parloop+0x18b>
jmp    12d7 <parloop+0x1c7>
test   %edi,%edi
jle    1367 <parloop+0x257>
mov    %rsp,%rax
mov    $0x3,%ecx
xor    %edx,%edx
jmp    1343 <parloop+0x233>
nopl   0x0(%rax)
add    $0x1,%rdx
add    $0x7d0,%rax
add    $0x1,%rcx
cmp    %r9,%rdx
je     1367 <parloop+0x257>
test   %rdx,%rdx
je     1330 <parloop+0x220>
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
mov    (%rax,%rsi,4),%edi
lea    (%rcx,%rsi,1),%rbx
cmp    %rdi,%rbx
jne    1372 <parloop+0x262>
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    1350 <parloop+0x240>
jmp    1330 <parloop+0x220>
add    $0xf4248,%rsp
pop    %rbx
pop    %r14
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

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