int main() {
  int a[1000];
  int i;
  for (i = 0; i < 1000; i++) {
    a[i] = i;
  }
  int s = 0;
  for (i = 0; i < 1000; i++) {
    s += a[i];
  }
  int s2 = 0;
  int *pa = a;
  for (i = 0; i < 1000; i++) {
    s2 += *(pa++);
  }
  return s == s2;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf50,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xfb4(%rbp)
cmpl   $0x3e8,-0xfb4(%rbp)
jge    1154 <main+0x54>
mov    -0xfb4(%rbp),%ecx
movslq -0xfb4(%rbp),%rax
mov    %ecx,-0xfb0(%rbp,%rax,4)
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    111c <main+0x1c>
movl   $0x0,-0xfb8(%rbp)
movl   $0x0,-0xfb4(%rbp)
cmpl   $0x3e8,-0xfb4(%rbp)
jge    11a6 <main+0xa6>
movslq -0xfb4(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
add    -0xfb8(%rbp),%eax
mov    %eax,-0xfb8(%rbp)
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    1168 <main+0x68>
movl   $0x0,-0xfbc(%rbp)
lea    -0xfb0(%rbp),%rax
mov    %rax,-0xfc8(%rbp)
movl   $0x0,-0xfb4(%rbp)
cmpl   $0x3e8,-0xfb4(%rbp)
jge    120f <main+0x10f>
mov    -0xfc8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0xfc8(%rbp)
mov    (%rax),%eax
add    -0xfbc(%rbp),%eax
mov    %eax,-0xfbc(%rbp)
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    11c8 <main+0xc8>
mov    -0xfb8(%rbp),%eax
cmp    -0xfbc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
add    $0xf50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0xf28,%rsp
movdqa 0xef1(%rip),%xmm0
xor    %eax,%eax
movdqa 0xef6(%rip),%xmm8
movdqa 0xefd(%rip),%xmm9
movdqa 0xf04(%rip),%xmm10
movdqa 0xf0b(%rip),%xmm11
movdqa 0xf12(%rip),%xmm12
movdqa 0xf1a(%rip),%xmm6
movdqa 0xf22(%rip),%xmm7
movdqa 0xf2a(%rip),%xmm1
movdqa 0xf32(%rip),%xmm2
movdqa 0xf3a(%rip),%xmm3
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm0,%xmm4
paddd  %xmm8,%xmm4
movdqa %xmm0,-0x80(%rsp,%rax,4)
movdqa %xmm4,-0x70(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm10,%xmm5
movdqa %xmm4,-0x60(%rsp,%rax,4)
movdqa %xmm5,-0x50(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm11,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm12,%xmm5
movdqa %xmm4,-0x40(%rsp,%rax,4)
movdqa %xmm5,-0x30(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm6,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm7,%xmm5
movdqa %xmm4,-0x20(%rsp,%rax,4)
movdqa %xmm5,-0x10(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm4,(%rsp,%rax,4)
movdqa %xmm5,0x10(%rsp,%rax,4)
add    $0x28,%rax
paddd  %xmm3,%xmm0
cmp    $0x3e8,%rax
jne    1170 <main+0x70>
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
paddd  -0x80(%rsp,%rax,4),%xmm0
paddd  -0x70(%rsp,%rax,4),%xmm1
paddd  -0x60(%rsp,%rax,4),%xmm0
paddd  -0x50(%rsp,%rax,4),%xmm1
paddd  -0x40(%rsp,%rax,4),%xmm0
paddd  -0x30(%rsp,%rax,4),%xmm1
paddd  -0x20(%rsp,%rax,4),%xmm0
paddd  -0x10(%rsp,%rax,4),%xmm1
paddd  (%rsp,%rax,4),%xmm0
paddd  0x10(%rsp,%rax,4),%xmm1
add    $0x28,%rax
cmp    $0x3e8,%rax
jne    1220 <main+0x120>
pxor   %xmm2,%xmm2
xor    %eax,%eax
pxor   %xmm3,%xmm3
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
paddd  -0x80(%rsp,%rax,4),%xmm2
paddd  -0x70(%rsp,%rax,4),%xmm3
paddd  -0x60(%rsp,%rax,4),%xmm2
paddd  -0x50(%rsp,%rax,4),%xmm3
paddd  -0x40(%rsp,%rax,4),%xmm2
paddd  -0x30(%rsp,%rax,4),%xmm3
paddd  -0x20(%rsp,%rax,4),%xmm2
paddd  -0x10(%rsp,%rax,4),%xmm3
paddd  (%rsp,%rax,4),%xmm2
paddd  0x10(%rsp,%rax,4),%xmm3
add    $0x28,%rax
cmp    $0x3e8,%rax
jne    1280 <main+0x180>
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
paddd  %xmm2,%xmm3
pshufd $0xee,%xmm3,%xmm0
paddd  %xmm3,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%edx
xor    %eax,%eax
cmp    %edx,%ecx
sete   %al
add    $0xf28,%rsp
ret

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

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