void foo(float *p, float a, float b, int n) {
  float c = a + b;
  do
    *p++ = c;
  while (n--);
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movss  %xmm0,-0xc(%rbp)
movss  %xmm1,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movss  -0xc(%rbp),%xmm0
addss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,(%rax)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
jne    1124 <foo+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
addss  %xmm1,%xmm0
cmp    $0x7,%esi
jb     11fe <foo+0xfe>
mov    %esi,%r8d
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x8(%r9),%rax
mov    %rax,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rax
jae    1143 <foo+0x43>
xor    %eax,%eax
jmp    11c1 <foo+0xc1>
and    $0xfffffffffffffff8,%rdx
xor    %eax,%eax
nopl   0x0(%rax)
movups %xmm1,(%rdi,%rax,4)
movups %xmm1,0x10(%rdi,%rax,4)
movups %xmm1,0x20(%rdi,%rax,4)
movups %xmm1,0x30(%rdi,%rax,4)
movups %xmm1,0x40(%rdi,%rax,4)
movups %xmm1,0x50(%rdi,%rax,4)
movups %xmm1,0x60(%rdi,%rax,4)
movups %xmm1,0x70(%rdi,%rax,4)
movups %xmm1,0x80(%rdi,%rax,4)
movups %xmm1,0x90(%rdi,%rax,4)
movups %xmm1,0xa0(%rdi,%rax,4)
movups %xmm1,0xb0(%rdi,%rax,4)
movups %xmm1,0xc0(%rdi,%rax,4)
movups %xmm1,0xd0(%rdi,%rax,4)
movups %xmm1,0xe0(%rdi,%rax,4)
movups %xmm1,0xf0(%rdi,%rax,4)
add    $0x40,%rax
add    $0xfffffffffffffff8,%rdx
jne    1150 <foo+0x50>
test   %rcx,%rcx
je     11f2 <foo+0xf2>
lea    (%rdi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups %xmm1,-0x10(%rax,%rdx,1)
movups %xmm1,(%rax,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%rcx
jne    11e0 <foo+0xe0>
cmp    %r9,%r8
je     121d <foo+0x11d>
sub    %r9d,%esi
lea    (%rdi,%r9,4),%rdi
add    $0x1,%esi
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  %xmm0,(%rdi,%rax,4)
add    $0x1,%rax
cmp    %eax,%esi
jne    1210 <foo+0x110>
ret

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

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