unsigned int foo(int *a, unsigned int n) {
  unsigned int i;
  for (i = 0; i < n; ++i)
    a[i] = 1;
  return i;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    113a <foo+0x3a>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
movl   $0x1,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1112 <foo+0x12>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
mov    %esi,%eax
test   %esi,%esi
je     1210 <foo+0x110>
mov    %eax,%r9d
cmp    $0x8,%eax
jae    1119 <foo+0x19>
xor    %edx,%edx
jmp    1200 <foo+0x100>
mov    %r9d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rcx
mov    %rcx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%r8d
and    $0x7,%r8d
cmp    $0x38,%rcx
jae    1142 <foo+0x42>
xor    %ecx,%ecx
jmp    11c1 <foo+0xc1>
and    $0xfffffffffffffff8,%rsi
xor    %ecx,%ecx
movaps 0xeb1(%rip),%xmm0
nop
movups %xmm0,(%rdi,%rcx,4)
movups %xmm0,0x10(%rdi,%rcx,4)
movups %xmm0,0x20(%rdi,%rcx,4)
movups %xmm0,0x30(%rdi,%rcx,4)
movups %xmm0,0x40(%rdi,%rcx,4)
movups %xmm0,0x50(%rdi,%rcx,4)
movups %xmm0,0x60(%rdi,%rcx,4)
movups %xmm0,0x70(%rdi,%rcx,4)
movups %xmm0,0x80(%rdi,%rcx,4)
movups %xmm0,0x90(%rdi,%rcx,4)
movups %xmm0,0xa0(%rdi,%rcx,4)
movups %xmm0,0xb0(%rdi,%rcx,4)
movups %xmm0,0xc0(%rdi,%rcx,4)
movups %xmm0,0xd0(%rdi,%rcx,4)
movups %xmm0,0xe0(%rdi,%rcx,4)
movups %xmm0,0xf0(%rdi,%rcx,4)
add    $0x40,%rcx
add    $0xfffffffffffffff8,%rsi
jne    1150 <foo+0x50>
test   %r8,%r8
je     11f2 <foo+0xf2>
lea    (%rdi,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r8
xor    %esi,%esi
movaps 0xe25(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movups %xmm0,-0x10(%rcx,%rsi,1)
movups %xmm0,(%rcx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%r8
jne    11e0 <foo+0xe0>
cmp    %r9,%rdx
je     1210 <foo+0x110>
nopw   0x0(%rax,%rax,1)
movl   $0x1,(%rdi,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1200 <foo+0x100>
ret

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

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