#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 EXIT_FAILURE;
int EXIT_SUCCESS;
int main() {
  int A[100];
#pragma scop
  {
    int B[100];
    B[0] = 0;
    for (int i = 1; i < 100; ++i)
      B[i] = B[i - 1] + 1;
    for (int i = 0; i < 100; ++i)
      A[i] = B[i];
  }
#pragma endscop
  for (int i = 0; i < 100; ++i)
    if (A[i] != i)
      return EXIT_FAILURE;
  return EXIT_SUCCESS;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2c0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x330(%rbp)
movl   $0x1,-0x334(%rbp)
cmpl   $0x64,-0x334(%rbp)
jge    116a <main+0x6a>
mov    -0x334(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x330(%rbp,%rax,4),%ecx
add    $0x1,%ecx
movslq -0x334(%rbp),%rax
mov    %ecx,-0x330(%rbp,%rax,4)
mov    -0x334(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x334(%rbp)
jmp    1126 <main+0x26>
movl   $0x0,-0x338(%rbp)
cmpl   $0x64,-0x338(%rbp)
jge    11b1 <main+0xb1>
movslq -0x338(%rbp),%rax
mov    -0x330(%rbp,%rax,4),%ecx
movslq -0x338(%rbp),%rax
mov    %ecx,-0x1a0(%rbp,%rax,4)
mov    -0x338(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x338(%rbp)
jmp    1174 <main+0x74>
movl   $0x0,-0x33c(%rbp)
cmpl   $0x64,-0x33c(%rbp)
jge    120c <main+0x10c>
movslq -0x33c(%rbp),%rax
mov    -0x1a0(%rbp,%rax,4),%eax
cmp    -0x33c(%rbp),%eax
je     11f3 <main+0xf3>
mov    0x2df7(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1218 <main+0x118>
jmp    11f8 <main+0xf8>
mov    -0x33c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x33c(%rbp)
jmp    11bb <main+0xbb>
mov    0x2dc5(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x2c0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x328,%rsp
movl   $0x0,(%rsp)
movaps 0xedb(%rip),%xmm0
movups %xmm0,0x4(%rsp)
movaps 0xedf(%rip),%xmm0
movups %xmm0,0x14(%rsp)
movaps 0xee3(%rip),%xmm0
movups %xmm0,0x24(%rsp)
movaps 0xee7(%rip),%xmm0
movups %xmm0,0x34(%rsp)
movaps 0xeeb(%rip),%xmm0
movups %xmm0,0x44(%rsp)
movaps 0xeef(%rip),%xmm0
movups %xmm0,0x54(%rsp)
movaps 0xef3(%rip),%xmm0
movups %xmm0,0x64(%rsp)
movaps 0xef7(%rip),%xmm0
movups %xmm0,0x74(%rsp)
movaps 0xefb(%rip),%xmm0
movups %xmm0,0x84(%rsp)
movaps 0xefc(%rip),%xmm0
movups %xmm0,0x94(%rsp)
movaps 0xefd(%rip),%xmm0
movups %xmm0,0xa4(%rsp)
movaps 0xefe(%rip),%xmm0
movups %xmm0,0xb4(%rsp)
movaps 0xeff(%rip),%xmm0
movups %xmm0,0xc4(%rsp)
movaps 0xf00(%rip),%xmm0
movups %xmm0,0xd4(%rsp)
movaps 0xf01(%rip),%xmm0
movups %xmm0,0xe4(%rsp)
movaps 0xf02(%rip),%xmm0
movups %xmm0,0xf4(%rsp)
movaps 0xf03(%rip),%xmm0
movups %xmm0,0x104(%rsp)
movaps 0xf04(%rip),%xmm0
movups %xmm0,0x114(%rsp)
movaps 0xf05(%rip),%xmm0
movups %xmm0,0x124(%rsp)
movaps 0xf06(%rip),%xmm0
movups %xmm0,0x134(%rsp)
movaps 0xf07(%rip),%xmm0
movups %xmm0,0x144(%rsp)
movaps 0xf08(%rip),%xmm0
movups %xmm0,0x154(%rsp)
movaps 0xf09(%rip),%xmm0
movups %xmm0,0x164(%rsp)
movaps 0xf0a(%rip),%xmm0
movups %xmm0,0x174(%rsp)
movabs $0x6200000061,%rax
mov    %rax,0x184(%rsp)
movl   $0x63,0x18c(%rsp)
lea    0x190(%rsp),%rdi
mov    %rsp,%rsi
mov    $0x190,%edx
call   1030 <memcpy@plt>
mov    $0x1,%cl
cmpl   $0x0,0x190(%rsp)
je     12ca <main+0x1ba>
mov    0x2d2d(%rip),%rax
mov    (%rax),%eax
test   %cl,%cl
jne    12c2 <main+0x1b2>
mov    0x2d18(%rip),%rax
mov    (%rax),%eax
add    $0x328,%rsp
ret
xor    %eax,%eax
nopl   0x0(%rax)
lea    0x1(%rax),%rdx
mov    0x194(%rsp,%rax,4),%esi
cmp    %rsi,%rdx
jne    12ac <main+0x19c>
lea    0x2(%rax),%rdx
mov    0x198(%rsp,%rax,4),%esi
cmp    %rsi,%rdx
jne    12ac <main+0x19c>
lea    0x3(%rax),%rdx
mov    0x19c(%rsp,%rax,4),%esi
cmp    %rsi,%rdx
jne    12ac <main+0x19c>
lea    0x4(%rax),%rdx
mov    0x1a0(%rsp,%rax,4),%esi
cmp    %rsi,%rdx
jne    12ac <main+0x19c>
cmp    $0x5f,%rax
je     1336 <main+0x226>
mov    0x1a4(%rsp,%rax,4),%edx
add    $0x5,%rax
cmp    %rdx,%rax
je     12d0 <main+0x1c0>
add    $0xfffffffffffffffb,%rax
cmp    $0x5f,%rax
setb   %cl
jmp    12ac <main+0x19c>
setb   %cl
xor    %eax,%eax
test   %cl,%cl
je     12b9 <main+0x1a9>
jmp    12c2 <main+0x1b2>

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

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