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    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,-0x4(%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     11c7 <foo+0xc7>
mov    %esi,%r8d
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x8(%r9),%rcx
mov    %rcx,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%r10d
and    $0x3,%r10d
cmp    $0x18,%rcx
jae    1147 <foo+0x47>
xor    %ecx,%ecx
test   %r10,%r10
jne    118a <foo+0x8a>
jmp    11b5 <foo+0xb5>
and    $0xfffffffffffffffc,%rdx
xor    %ecx,%ecx
nopl   (%rax)
movups %xmm1,-0x10(%rdi,%rcx,4)
movups %xmm1,-0x20(%rdi,%rcx,4)
movups %xmm1,-0x30(%rdi,%rcx,4)
movups %xmm1,-0x40(%rdi,%rcx,4)
movups %xmm1,-0x50(%rdi,%rcx,4)
movups %xmm1,-0x60(%rdi,%rcx,4)
movups %xmm1,-0x70(%rdi,%rcx,4)
movups %xmm1,-0x80(%rdi,%rcx,4)
add    $0xffffffffffffffe0,%rcx
add    $0xfffffffffffffffc,%rdx
jne    1150 <foo+0x50>
neg    %rcx
test   %r10,%r10
je     11b5 <foo+0xb5>
mov    $0xfffffffffffffffc,%rdx
sub    %rcx,%rdx
lea    (%rdi,%rdx,4),%rcx
shl    $0x5,%r10
xor    %edx,%edx
xchg   %ax,%ax
movups %xmm1,(%rcx,%rdx,1)
movups %xmm1,-0x10(%rcx,%rdx,1)
add    $0xffffffffffffffe0,%rdx
mov    %r10,%rax
add    %rdx,%rax
jne    11a0 <foo+0xa0>
cmp    %r9,%r8
je     11de <foo+0xde>
mov    %r9,%rax
shl    $0x2,%rax
sub    %r9d,%esi
sub    %rax,%rdi
not    %esi
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movss  %xmm0,-0x4(%rdi,%rax,4)
add    $0xffffffffffffffff,%rax
cmp    %eax,%esi
jne    11d0 <foo+0xd0>
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* %16
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 %84, label %9
9: ; preds = %4
%10 = and i64 %7, 8589934584
%11 = trunc i64 %10 to i32
%12 = sub i32 %3, %11
%13 = sub nsw i64 0, %10
%14 = getelementptr float, float* %0, i64 %13
%15 = insertelement <4 x float> poison, float %5, i64 0
%16 = shufflevector <4 x float> %15, <4 x float> poison, <4 x i32> zeroinitializer
%17 = insertelement <4 x float> poison, float %5, i64 0
%18 = shufflevector <4 x float> %17, <4 x float> poison, <4 x i32> zeroinitializer
%19 = add nsw i64 %10, -8
%20 = lshr exact i64 %19, 3
%21 = add nuw nsw i64 %20, 1
%22 = and i64 %21, 3
%23 = icmp ult i64 %19, 24
br i1 %23, label %64, label %24
24: ; preds = %9
%25 = and i64 %21, 4611686018427387900
%26 = getelementptr float, float* %0, i64 -1
%27 = getelementptr float, float* %0, i64 -1
%28 = getelementptr float, float* %0, i64 -1
%29 = getelementptr float, float* %0, i64 -1
br label %30
30: ; preds = %30, %24
%31 = phi i64 [ 0, %24 ], [ %61, %30 ]
%32 = phi i64 [ 0, %24 ], [ %62, %30 ]
%33 = sub i64 0, %31
%34 = getelementptr inbounds float, float* %26, i64 %33
%35 = getelementptr inbounds float, float* %34, i64 -3
%36 = bitcast float* %35 to <4 x float>*
store <4 x float> %16, <4 x float>* %36
%37 = getelementptr inbounds float, float* %34, i64 -4
%38 = getelementptr inbounds float, float* %37, i64 -3
%39 = bitcast float* %38 to <4 x float>*
store <4 x float> %18, <4 x float>* %39
%40 = sub nuw nsw i64 -8, %31
%41 = getelementptr inbounds float, float* %27, i64 %40
%42 = getelementptr inbounds float, float* %41, i64 -3
%43 = bitcast float* %42 to <4 x float>*
store <4 x float> %16, <4 x float>* %43
%44 = getelementptr inbounds float, float* %41, i64 -4
%45 = getelementptr inbounds float, float* %44, i64 -3
%46 = bitcast float* %45 to <4 x float>*
store <4 x float> %18, <4 x float>* %46
%47 = sub nuw nsw i64 -16, %31
%48 = getelementptr inbounds float, float* %28, i64 %47
%49 = getelementptr inbounds float, float* %48, i64 -3
%50 = bitcast float* %49 to <4 x float>*
store <4 x float> %16, <4 x float>* %50
%51 = getelementptr inbounds float, float* %48, i64 -4
%52 = getelementptr inbounds float, float* %51, i64 -3
%53 = bitcast float* %52 to <4 x float>*
store <4 x float> %18, <4 x float>* %53
%54 = sub nuw nsw i64 -24, %31
%55 = getelementptr inbounds float, float* %29, i64 %54
%56 = getelementptr inbounds float, float* %55, i64 -3
%57 = bitcast float* %56 to <4 x float>*
store <4 x float> %16, <4 x float>* %57
%58 = getelementptr inbounds float, float* %55, i64 -4
%59 = getelementptr inbounds float, float* %58, i64 -3
%60 = bitcast float* %59 to <4 x float>*
store <4 x float> %18, <4 x float>* %60
%61 = add nuw i64 %31, 32
%62 = add i64 %32, 4
%63 = icmp eq i64 %62, %25
br i1 %63, label %64, label %30
64: ; preds = %30, %9
%65 = phi i64 [ 0, %9 ], [ %61, %30 ]
%66 = icmp eq i64 %22, 0
br i1 %66, label %82, label %67
67: ; preds = %64
%68 = getelementptr float, float* %0, i64 -1
br label %69
69: ; preds = %69, %67
%70 = phi i64 [ %65, %67 ], [ %79, %69 ]
%71 = phi i64 [ 0, %67 ], [ %80, %69 ]
%72 = sub i64 0, %70
%73 = getelementptr inbounds float, float* %68, i64 %72
%74 = getelementptr inbounds float, float* %73, i64 -3
%75 = bitcast float* %74 to <4 x float>*
store <4 x float> %16, <4 x float>* %75
%76 = getelementptr inbounds float, float* %73, i64 -4
%77 = getelementptr inbounds float, float* %76, i64 -3
%78 = bitcast float* %77 to <4 x float>*
store <4 x float> %18, <4 x float>* %78
%79 = add nuw i64 %70, 8
%80 = add i64 %71, 1
%81 = icmp eq i64 %80, %22
br i1 %81, label %82, label %69
82: ; preds = %69, %64
%83 = icmp eq i64 %7, %10
br i1 %83, label %93, label %84
84: ; preds = %4, %82
%85 = phi i32 [ %3, %4 ], [ %12, %82 ]
%86 = phi float* [ %0, %4 ], [ %14, %82 ]
br label %87
87: ; preds = %84, %87
%88 = phi i32 [ %91, %87 ], [ %85, %84 ]
%89 = phi float* [ %90, %87 ], [ %86, %84 ]
%90 = getelementptr inbounds float, float* %89, i64 -1
store float %5, float* %90
%91 = add nsw i32 %88, -1
%92 = icmp eq i32 %88, 0
br i1 %92, label %93, label %87
93: ; preds = %87, %82
ret void
}