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


x86 assembly (clang, -O0):
<xxaddv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     1156 <xxaddv+0x56>
movss  -0x14(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1125 <xxaddv+0x25>
pop    %rbp
ret

x86 assembly (clang, -O2):
<xxaddv>:
mov    %edx,%r10d
sub    %esi,%r10d
jl     11e8 <xxaddv+0xe8>
movslq %esi,%rax
cmp    $0x7,%r10d
jb     11c7 <xxaddv+0xc7>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     11e9 <xxaddv+0xe9>
mov    %r9,%r11
and    $0xfffffffffffffffe,%r11
lea    (%rdi,%rax,4),%rcx
add    $0x2c,%rcx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x30(%rcx,%rsi,4),%xmm2
movups -0x20(%rcx,%rsi,4),%xmm3
movups -0x10(%rcx,%rsi,4),%xmm4
movups (%rcx,%rsi,4),%xmm5
addps  %xmm1,%xmm2
addps  %xmm1,%xmm3
movups %xmm2,-0x30(%rcx,%rsi,4)
movups %xmm3,-0x20(%rcx,%rsi,4)
addps  %xmm1,%xmm4
addps  %xmm1,%xmm5
movups %xmm4,-0x10(%rcx,%rsi,4)
movups %xmm5,(%rcx,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%r11
jne    1160 <xxaddv+0x60>
test   $0x1,%r9b
je     11bf <xxaddv+0xbf>
add    %rax,%rsi
movups -0x4(%rdi,%rsi,4),%xmm2
movups 0xc(%rdi,%rsi,4),%xmm3
addps  %xmm1,%xmm2
addps  %xmm1,%xmm3
movups %xmm2,-0x4(%rdi,%rsi,4)
movups %xmm3,0xc(%rdi,%rsi,4)
cmp    %r8,%r10
je     11e8 <xxaddv+0xe8>
add    %r8,%rax
add    $0x1,%edx
mov    %edx,%ecx
nopl   0x0(%rax)
movss  -0x4(%rdi,%rax,4),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,-0x4(%rdi,%rax,4)
add    $0x1,%rax
cmp    %eax,%ecx
jne    11d0 <xxaddv+0xd0>
ret
xor    %esi,%esi
test   $0x1,%r9b
jne    11a2 <xxaddv+0xa2>
jmp    11bf <xxaddv+0xbf>

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

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