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


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

x86 assembly (clang, -O2):
<foo>:
addsd  %xmm1,%xmm0
cmp    $0x3,%esi
jb     11e9 <foo+0xe9>
mov    %esi,%r8d
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffffc,%r9
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
lea    -0x4(%r9),%rcx
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
mov    %edx,%r10d
and    $0x3,%r10d
cmp    $0xc,%rcx
jae    114b <foo+0x4b>
xor    %ecx,%ecx
test   %r10,%r10
jne    11a2 <foo+0xa2>
jmp    11d7 <foo+0xd7>
and    $0xfffffffffffffffc,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movupd %xmm1,-0x10(%rdi,%rcx,8)
movupd %xmm1,-0x20(%rdi,%rcx,8)
movupd %xmm1,-0x30(%rdi,%rcx,8)
movupd %xmm1,-0x40(%rdi,%rcx,8)
movupd %xmm1,-0x50(%rdi,%rcx,8)
movupd %xmm1,-0x60(%rdi,%rcx,8)
movupd %xmm1,-0x70(%rdi,%rcx,8)
movupd %xmm1,-0x80(%rdi,%rcx,8)
add    $0xfffffffffffffff0,%rcx
add    $0xfffffffffffffffc,%rdx
jne    1160 <foo+0x60>
neg    %rcx
test   %r10,%r10
je     11d7 <foo+0xd7>
mov    $0xfffffffffffffffe,%rdx
sub    %rcx,%rdx
lea    (%rdi,%rdx,8),%rcx
shl    $0x5,%r10
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
movupd %xmm1,(%rcx,%rdx,1)
movupd %xmm1,-0x10(%rcx,%rdx,1)
add    $0xffffffffffffffe0,%rdx
mov    %r10,%rax
add    %rdx,%rax
jne    11c0 <foo+0xc0>
cmp    %r9,%r8
je     11fe <foo+0xfe>
mov    %r9,%rax
shl    $0x3,%rax
sub    %r9d,%esi
sub    %rax,%rdi
not    %esi
xor    %eax,%eax
nopl   (%rax)
movsd  %xmm0,-0x8(%rdi,%rax,8)
add    $0xffffffffffffffff,%rax
cmp    %eax,%esi
jne    11f0 <foo+0xf0>
ret

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