void addArray(register float a1[], register const float a2[5], int len) {
  register float *end = a1 + len;
  for (; a1 < end; ++a1, ++a2) {
    *a1 += *a2;
  }
}


x86 assembly (clang, -O0):
<addArray>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1161 <addArray+0x61>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    1122 <addArray+0x22>
pop    %rbp
ret

x86 assembly (clang, -O2):
<addArray>:
test   %edx,%edx
jle    1239 <addArray+0x139>
movslq %edx,%rax
lea    (%rdi,%rax,4),%rax
lea    0x4(%rdi),%rcx
cmp    %rcx,%rax
mov    %rcx,%r10
cmova  %rax,%r10
mov    %rdi,%rdx
not    %rdx
add    %rdx,%r10
cmp    $0x1c,%r10
jb     1220 <addArray+0x120>
cmp    %rcx,%rax
cmova  %rax,%rcx
add    %rdx,%rcx
and    $0xfffffffffffffffc,%rcx
lea    (%rsi,%rcx,1),%rdx
add    $0x4,%rdx
cmp    %rdi,%rdx
jbe    115b <addArray+0x5b>
add    %rdi,%rcx
add    $0x4,%rcx
cmp    %rsi,%rcx
ja     1220 <addArray+0x120>
shr    $0x2,%r10
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     123a <addArray+0x13a>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rdx,4),%xmm0
movups 0x10(%rsi,%rdx,4),%xmm1
movups (%rdi,%rdx,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdi,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups 0x20(%rdi,%rdx,4),%xmm1
movups 0x30(%rdi,%rdx,4),%xmm3
movups %xmm2,(%rdi,%rdx,4)
movups %xmm0,0x10(%rdi,%rdx,4)
movups 0x20(%rsi,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups 0x30(%rsi,%rdx,4),%xmm1
addps  %xmm3,%xmm1
movups %xmm0,0x20(%rdi,%rdx,4)
movups %xmm1,0x30(%rdi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rcx
jne    1190 <addArray+0x90>
test   $0x1,%r9b
je     1206 <addArray+0x106>
movups (%rsi,%rdx,4),%xmm0
movups 0x10(%rsi,%rdx,4),%xmm1
movups (%rdi,%rdx,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdi,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,(%rdi,%rdx,4)
movups %xmm0,0x10(%rdi,%rdx,4)
cmp    %r8,%r10
je     1239 <addArray+0x139>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rsi),%xmm0
addss  (%rdi),%xmm0
movss  %xmm0,(%rdi)
add    $0x4,%rdi
add    $0x4,%rsi
cmp    %rax,%rdi
jb     1220 <addArray+0x120>
ret
xor    %edx,%edx
test   $0x1,%r9b
jne    11e5 <addArray+0xe5>
jmp    1206 <addArray+0x106>

LLVM IR (-O0):
define void @addArray(float* %0, float* %1, i32 %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca float*
store float* %0, float** %4
store float* %1, float** %5
store i32 %2, i32* %6
%8 = load float*, float** %4
%9 = load i32, i32* %6
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds float, float* %8, i64 %10
store float* %11, float** %7
br label %12
12: ; preds = %22, %3
%13 = load float*, float** %4
%14 = load float*, float** %7
%15 = icmp ult float* %13, %14
br i1 %15, label %16, label %27
16: ; preds = %12
%17 = load float*, float** %5
%18 = load float, float* %17
%19 = load float*, float** %4
%20 = load float, float* %19
%21 = fadd float %20, %18
store float %21, float* %19
br label %22
22: ; preds = %16
%23 = load float*, float** %4
%24 = getelementptr inbounds float, float* %23, i32 1
store float* %24, float** %4
%25 = load float*, float** %5
%26 = getelementptr inbounds float, float* %25, i32 1
store float* %26, float** %5
br label %12
27: ; preds = %12
ret void
}

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