void xxaddx(float *x, float *y, int n1, int n2) {
  int i;
  x--;
  y--;
  for (i = n1; i <= n2; i++)
    x[i] += y[i];
}


x86 assembly (clang, -O0):
<xxaddx>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1169 <xxaddx+0x69>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1130 <xxaddx+0x30>
pop    %rbp
ret

x86 assembly (clang, -O2):
<xxaddx>:
push   %r14
push   %rbx
mov    %ecx,%r8d
sub    %edx,%r8d
jl     12ad <xxaddx+0x1ad>
movslq %edx,%rax
cmp    $0x7,%r8d
jb     121c <xxaddx+0x11c>
lea    (%rdi,%rax,4),%r9
add    $0xfffffffffffffffc,%r9
lea    (%r8,%rax,1),%rdx
lea    (%rsi,%rdx,4),%rbx
cmp    %rbx,%r9
jae    1146 <xxaddx+0x46>
lea    (%rdi,%rdx,4),%rdx
lea    (%rsi,%rax,4),%rbx
add    $0xfffffffffffffffc,%rbx
cmp    %rdx,%rbx
jb     121c <xxaddx+0x11c>
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
lea    -0x8(%r9),%rdx
mov    %rdx,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rdx,%rdx
je     12b1 <xxaddx+0x1b1>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
lea    (%rdi,%rax,4),%rbx
add    $0x2c,%rbx
lea    (%rsi,%rax,4),%r14
add    $0x2c,%r14
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x30(%r14,%rdx,4),%xmm0
movups -0x20(%r14,%rdx,4),%xmm1
movups -0x30(%rbx,%rdx,4),%xmm2
addps  %xmm0,%xmm2
movups -0x20(%rbx,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups -0x10(%rbx,%rdx,4),%xmm1
movups (%rbx,%rdx,4),%xmm3
movups %xmm2,-0x30(%rbx,%rdx,4)
movups %xmm0,-0x20(%rbx,%rdx,4)
movups -0x10(%r14,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups (%r14,%rdx,4),%xmm1
addps  %xmm3,%xmm1
movups %xmm0,-0x10(%rbx,%rdx,4)
movups %xmm1,(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%r11
jne    1190 <xxaddx+0x90>
test   $0x1,%r10b
je     1210 <xxaddx+0x110>
add    %rax,%rdx
movups -0x4(%rsi,%rdx,4),%xmm0
movups 0xc(%rsi,%rdx,4),%xmm1
movups -0x4(%rdi,%rdx,4),%xmm2
addps  %xmm0,%xmm2
movups 0xc(%rdi,%rdx,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,-0x4(%rdi,%rdx,4)
movups %xmm0,0xc(%rdi,%rdx,4)
cmp    %r9,%r8
je     12ad <xxaddx+0x1ad>
add    %r9,%rax
lea    0x1(%rcx),%ebx
mov    %ebx,%edx
sub    %eax,%edx
sub    %eax,%ecx
and    $0x3,%edx
je     124b <xxaddx+0x14b>
nopw   0x0(%rax,%rax,1)
movss  -0x4(%rsi,%rax,4),%xmm0
addss  -0x4(%rdi,%rax,4),%xmm0
movss  %xmm0,-0x4(%rdi,%rax,4)
add    $0x1,%rax
add    $0xffffffff,%edx
jne    1230 <xxaddx+0x130>
cmp    $0x3,%ecx
jb     12ad <xxaddx+0x1ad>
mov    %ebx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  -0x4(%rsi,%rax,4),%xmm0
addss  -0x4(%rdi,%rax,4),%xmm0
movss  %xmm0,-0x4(%rdi,%rax,4)
movss  (%rsi,%rax,4),%xmm0
addss  (%rdi,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
movss  0x4(%rsi,%rax,4),%xmm0
addss  0x4(%rdi,%rax,4),%xmm0
movss  %xmm0,0x4(%rdi,%rax,4)
movss  0x8(%rsi,%rax,4),%xmm0
addss  0x8(%rdi,%rax,4),%xmm0
movss  %xmm0,0x8(%rdi,%rax,4)
add    $0x4,%rax
cmp    %eax,%ecx
jne    1260 <xxaddx+0x160>
pop    %rbx
pop    %r14
ret
xor    %edx,%edx
test   $0x1,%r10b
jne    11e9 <xxaddx+0xe9>
jmp    1210 <xxaddx+0x110>

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

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