void __attribute__((noipa))
f_add_float(float *restrict dest, float *restrict cond, float limit,
            float *restrict src, float val, unsigned int n) {
  for (unsigned int i = 0; i < n; ++i) {
    float truev = ((src[i]) + (val));
    dest[i] = cond[i] < limit ? truev : src[i];
  }
}


x86 assembly (clang, -O0):
<f_add_float>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movss  %xmm1,-0x24(%rbp)
mov    %ecx,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jae    119f <f_add_float+0x9f>
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movss  (%rax,%rcx,4),%xmm0
addss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movss  (%rax,%rcx,4),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    116f <f_add_float+0x6f>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    1180 <f_add_float+0x80>
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1124 <f_add_float+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f_add_float>:
test   %ecx,%ecx
je     1289 <f_add_float+0x189>
mov    %ecx,%r8d
cmp    $0x8,%ecx
jae    1117 <f_add_float+0x17>
xor    %ecx,%ecx
jmp    124e <f_add_float+0x14e>
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
movaps %xmm0,%xmm3
shufps $0x0,%xmm0,%xmm3
movaps %xmm1,%xmm9
shufps $0x0,%xmm1,%xmm9
lea    -0x8(%rcx),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     128a <f_add_float+0x18a>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %eax,%eax
movaps 0xeaa(%rip),%xmm8
cs nopw 0x0(%rax,%rax,1)
movups (%rdx,%rax,4),%xmm5
movups 0x10(%rdx,%rax,4),%xmm6
movups (%rsi,%rax,4),%xmm7
movups 0x10(%rsi,%rax,4),%xmm4
cmpltps %xmm3,%xmm7
cmpltps %xmm3,%xmm4
movaps %xmm9,%xmm2
andps  %xmm7,%xmm2
andnps %xmm8,%xmm7
orps   %xmm2,%xmm7
addps  %xmm5,%xmm7
movaps %xmm9,%xmm2
andps  %xmm4,%xmm2
andnps %xmm8,%xmm4
orps   %xmm2,%xmm4
addps  %xmm6,%xmm4
movups %xmm7,(%rdi,%rax,4)
movups %xmm4,0x10(%rdi,%rax,4)
movups 0x20(%rdx,%rax,4),%xmm2
movups 0x30(%rdx,%rax,4),%xmm4
movups 0x20(%rsi,%rax,4),%xmm5
movups 0x30(%rsi,%rax,4),%xmm6
cmpltps %xmm3,%xmm5
cmpltps %xmm3,%xmm6
movaps %xmm9,%xmm7
andps  %xmm5,%xmm7
andnps %xmm8,%xmm5
orps   %xmm7,%xmm5
addps  %xmm2,%xmm5
movaps %xmm9,%xmm2
andps  %xmm6,%xmm2
andnps %xmm8,%xmm6
orps   %xmm2,%xmm6
addps  %xmm4,%xmm6
movups %xmm5,0x20(%rdi,%rax,4)
movups %xmm6,0x30(%rdi,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%r10
jne    1160 <f_add_float+0x60>
test   $0x1,%r9b
je     1249 <f_add_float+0x149>
movups (%rdx,%rax,4),%xmm2
movups 0x10(%rdx,%rax,4),%xmm4
movups (%rsi,%rax,4),%xmm5
movups 0x10(%rsi,%rax,4),%xmm6
cmpltps %xmm3,%xmm5
cmpltps %xmm3,%xmm6
movaps 0xdde(%rip),%xmm3
movaps %xmm9,%xmm7
andps  %xmm5,%xmm7
andnps %xmm3,%xmm5
orps   %xmm7,%xmm5
addps  %xmm2,%xmm5
andps  %xmm6,%xmm9
andnps %xmm3,%xmm6
orps   %xmm9,%xmm6
addps  %xmm4,%xmm6
movups %xmm5,(%rdi,%rax,4)
movups %xmm6,0x10(%rdi,%rax,4)
cmp    %r8,%rcx
je     1289 <f_add_float+0x189>
movss  0xdba(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
movss  (%rsi,%rcx,4),%xmm3
cmpltss %xmm0,%xmm3
movaps %xmm3,%xmm4
andps  %xmm1,%xmm4
andnps %xmm2,%xmm3
orps   %xmm4,%xmm3
addss  (%rdx,%rcx,4),%xmm3
movss  %xmm3,(%rdi,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%r8
jne    1260 <f_add_float+0x160>
ret
xor    %eax,%eax
test   $0x1,%r9b
jne    1201 <f_add_float+0x101>
jmp    1249 <f_add_float+0x149>

LLVM IR (-O0):
define void @f_add_float(float* noalias %0, float* noalias %1, float %2, float* noalias %3, float %4, i32 %5) {
%7 = alloca float*
%8 = alloca float*
%9 = alloca float
%10 = alloca float*
%11 = alloca float
%12 = alloca i32
%13 = alloca i32
%14 = alloca float
store float* %0, float** %7
store float* %1, float** %8
store float %2, float* %9
store float* %3, float** %10
store float %4, float* %11
store i32 %5, i32* %12
store i32 0, i32* %13
br label %15
15: ; preds = %48, %6
%16 = load i32, i32* %13
%17 = load i32, i32* %12
%18 = icmp ult i32 %16, %17
br i1 %18, label %19, label %51
19: ; preds = %15
%20 = load float*, float** %10
%21 = load i32, i32* %13
%22 = zext i32 %21 to i64
%23 = getelementptr inbounds float, float* %20, i64 %22
%24 = load float, float* %23
%25 = load float, float* %11
%26 = fadd float %24, %25
store float %26, float* %14
%27 = load float*, float** %8
%28 = load i32, i32* %13
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds float, float* %27, i64 %29
%31 = load float, float* %30
%32 = load float, float* %9
%33 = fcmp olt float %31, %32
br i1 %33, label %34, label %36
34: ; preds = %19
%35 = load float, float* %14
br label %42
36: ; preds = %19
%37 = load float*, float** %10
%38 = load i32, i32* %13
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds float, float* %37, i64 %39
%41 = load float, float* %40
br label %42
42: ; preds = %36, %34
%43 = phi float [ %35, %34 ], [ %41, %36 ]
%44 = load float*, float** %7
%45 = load i32, i32* %13
%46 = zext i32 %45 to i64
%47 = getelementptr inbounds float, float* %44, i64 %46
store float %43, float* %47
br label %48
48: ; preds = %42
%49 = load i32, i32* %13
%50 = add i32 %49, 1
store i32 %50, i32* %13
br label %15
51: ; preds = %15
ret void
}

LLVM IR (-O2):
define void @f_add_float(float* noalias nocapture writeonly %0, float* noalias nocapture %1, float %2, float* noalias nocapture %3, float %4, i32 %5) {
%7 = icmp eq i32 %5, 0
br i1 %7, label %109, label %8
8: ; preds = %6
%9 = zext i32 %5 to i64
%10 = icmp ult i32 %5, 8
br i1 %10, label %107, label %11
11: ; preds = %8
%12 = and i64 %9, 4294967288
%13 = insertelement <4 x float> poison, float %2, i64 0
%14 = shufflevector <4 x float> %13, <4 x float> poison, <4 x i32> zeroinitializer
%15 = insertelement <4 x float> poison, float %2, i64 0
%16 = shufflevector <4 x float> %15, <4 x float> poison, <4 x i32> zeroinitializer
%17 = insertelement <4 x float> poison, float %4, i64 0
%18 = shufflevector <4 x float> %17, <4 x float> poison, <4 x i32> zeroinitializer
%19 = insertelement <4 x float> poison, float %4, i64 0
%20 = shufflevector <4 x float> %19, <4 x float> poison, <4 x i32> zeroinitializer
%21 = add nsw i64 %12, -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 %79, label %26
26: ; preds = %11
%27 = and i64 %23, 4611686018427387902
br label %28
28: ; preds = %28, %26
%29 = phi i64 [ 0, %26 ], [ %76, %28 ]
%30 = phi i64 [ 0, %26 ], [ %77, %28 ]
%31 = getelementptr inbounds float, float* %3, i64 %29
%32 = bitcast float* %31 to <4 x float>*
%33 = load <4 x float>, <4 x float>* %32
%34 = getelementptr inbounds float, float* %31, i64 4
%35 = bitcast float* %34 to <4 x float>*
%36 = load <4 x float>, <4 x float>* %35
%37 = getelementptr inbounds float, float* %1, i64 %29
%38 = bitcast float* %37 to <4 x float>*
%39 = load <4 x float>, <4 x float>* %38
%40 = getelementptr inbounds float, float* %37, i64 4
%41 = bitcast float* %40 to <4 x float>*
%42 = load <4 x float>, <4 x float>* %41
%43 = fcmp olt <4 x float> %39, %14
%44 = fcmp olt <4 x float> %42, %16
%45 = select <4 x i1> %43, <4 x float> %18, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%46 = select <4 x i1> %44, <4 x float> %20, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%47 = fadd <4 x float> %33, %45
%48 = fadd <4 x float> %36, %46
%49 = getelementptr inbounds float, float* %0, i64 %29
%50 = bitcast float* %49 to <4 x float>*
store <4 x float> %47, <4 x float>* %50
%51 = getelementptr inbounds float, float* %49, i64 4
%52 = bitcast float* %51 to <4 x float>*
store <4 x float> %48, <4 x float>* %52
%53 = or i64 %29, 8
%54 = getelementptr inbounds float, float* %3, i64 %53
%55 = bitcast float* %54 to <4 x float>*
%56 = load <4 x float>, <4 x float>* %55
%57 = getelementptr inbounds float, float* %54, i64 4
%58 = bitcast float* %57 to <4 x float>*
%59 = load <4 x float>, <4 x float>* %58
%60 = getelementptr inbounds float, float* %1, i64 %53
%61 = bitcast float* %60 to <4 x float>*
%62 = load <4 x float>, <4 x float>* %61
%63 = getelementptr inbounds float, float* %60, i64 4
%64 = bitcast float* %63 to <4 x float>*
%65 = load <4 x float>, <4 x float>* %64
%66 = fcmp olt <4 x float> %62, %14
%67 = fcmp olt <4 x float> %65, %16
%68 = select <4 x i1> %66, <4 x float> %18, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%69 = select <4 x i1> %67, <4 x float> %20, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%70 = fadd <4 x float> %56, %68
%71 = fadd <4 x float> %59, %69
%72 = getelementptr inbounds float, float* %0, i64 %53
%73 = bitcast float* %72 to <4 x float>*
store <4 x float> %70, <4 x float>* %73
%74 = getelementptr inbounds float, float* %72, i64 4
%75 = bitcast float* %74 to <4 x float>*
store <4 x float> %71, <4 x float>* %75
%76 = add nuw i64 %29, 16
%77 = add i64 %30, 2
%78 = icmp eq i64 %77, %27
br i1 %78, label %79, label %28
79: ; preds = %28, %11
%80 = phi i64 [ 0, %11 ], [ %76, %28 ]
%81 = icmp eq i64 %24, 0
br i1 %81, label %105, label %82
82: ; preds = %79
%83 = getelementptr inbounds float, float* %3, i64 %80
%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* %1, i64 %80
%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 = fcmp olt <4 x float> %91, %14
%96 = fcmp olt <4 x float> %94, %16
%97 = select <4 x i1> %95, <4 x float> %18, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%98 = select <4 x i1> %96, <4 x float> %20, <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
%99 = fadd <4 x float> %85, %97
%100 = fadd <4 x float> %88, %98
%101 = getelementptr inbounds float, float* %0, i64 %80
%102 = bitcast float* %101 to <4 x float>*
store <4 x float> %99, <4 x float>* %102
%103 = getelementptr inbounds float, float* %101, i64 4
%104 = bitcast float* %103 to <4 x float>*
store <4 x float> %100, <4 x float>* %104
br label %105
105: ; preds = %79, %82
%106 = icmp eq i64 %12, %9
br i1 %106, label %109, label %107
107: ; preds = %8, %105
%108 = phi i64 [ 0, %8 ], [ %12, %105 ]
br label %110
109: ; preds = %110, %105, %6
ret void
110: ; preds = %107, %110
%111 = phi i64 [ %120, %110 ], [ %108, %107 ]
%112 = getelementptr inbounds float, float* %3, i64 %111
%113 = load float, float* %112
%114 = getelementptr inbounds float, float* %1, i64 %111
%115 = load float, float* %114
%116 = fcmp olt float %115, %2
%117 = select i1 %116, float %4, float -0.000000e+00
%118 = fadd float %113, %117
%119 = getelementptr inbounds float, float* %0, i64 %111
store float %118, float* %119
%120 = add nuw nsw i64 %111, 1
%121 = icmp eq i64 %120, %9
br i1 %121, label %109, label %110
}