void foo() {
  int i;
  int a[100];
  for (i = 0; i <= 98; i += 1) {
    a[i + 3] = a[i - 5] + 1;
  }
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x120,%rsp
movl   $0x0,-0x4(%rbp)
cmpl   $0x62,-0x4(%rbp)
jg     114b <foo+0x4b>
mov    -0x4(%rbp),%eax
sub    $0x5,%eax
cltq
mov    -0x1a0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    -0x4(%rbp),%eax
add    $0x3,%eax
cltq
mov    %ecx,-0x1a0(%rbp,%rax,4)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1112 <foo+0x12>
add    $0x120,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
sub    $0x118,%rsp
movdqu -0x94(%rsp),%xmm0
ff ff
pcmpeqd %xmm2,%xmm2
movdqa %xmm0,%xmm1
psubd  %xmm2,%xmm1
movdqu %xmm1,-0x74(%rsp)
movdqu -0x84(%rsp),%xmm1
ff ff
movdqa %xmm1,%xmm3
psubd  %xmm2,%xmm3
movdqu %xmm3,-0x64(%rsp)
movdqa 0xebf(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,-0x54(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,-0x44(%rsp)
movdqa 0xeaf(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,-0x34(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,-0x24(%rsp)
movdqa 0xe9f(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,-0x14(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,-0x4(%rsp)
movdqa 0xe8f(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,0xc(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,0x1c(%rsp)
movdqa 0xe7f(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,0x2c(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,0x3c(%rsp)
movdqa 0xe6f(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,0x4c(%rsp)
paddd  %xmm1,%xmm2
movdqu %xmm2,0x5c(%rsp)
movdqa 0xe5f(%rip),%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm2,%xmm3
movdqu %xmm3,0x6c(%rsp)
paddd  %xmm2,%xmm1
movdqu %xmm1,0x7c(%rsp)
movdqa 0xe4f(%rip),%xmm1
paddd  %xmm0,%xmm1
paddd  0xe53(%rip),%xmm0
movdqu %xmm1,0x8c(%rsp)
movdqu %xmm0,0xec(%rsp)
mov    0xf0(%rsp),%eax
mov    0xf4(%rsp),%ecx
add    $0x1,%eax
mov    %eax,0x110(%rsp)
add    $0x1,%ecx
mov    %ecx,0x114(%rsp)
add    $0x118,%rsp
ret

LLVM IR (-O0):
define void @foo() {
%1 = alloca i32
%2 = alloca [100 x i32]
store i32 0, i32* %1
br label %3
3: ; preds = %17, %0
%4 = load i32, i32* %1
%5 = icmp sle i32 %4, 98
br i1 %5, label %6, label %20
6: ; preds = %3
%7 = load i32, i32* %1
%8 = sub nsw i32 %7, 5
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 %9
%11 = load i32, i32* %10
%12 = add nsw i32 %11, 1
%13 = load i32, i32* %1
%14 = add nsw i32 %13, 3
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 %15
store i32 %12, i32* %16
br label %17
17: ; preds = %6
%18 = load i32, i32* %1
%19 = add nsw i32 %18, 1
store i32 %19, i32* %1
br label %3
20: ; preds = %3
ret void
}

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