double horner(double z, int n, double *x, double *c) {
  double p;
  int i;
  p = c[n];
  for (i = n - 1; i >= 0; i--) {
    p = p * (z - x[i]) + c[i];
  }
  return p;
}


x86 assembly (clang, -O0):
<horner>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     1178 <horner+0x78>
movsd  -0x28(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm2
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    112f <horner+0x2f>
movsd  -0x28(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<horner>:
movslq %edi,%rax
movsd  (%rdx,%rax,8),%xmm1
test   %eax,%eax
jle    117a <horner+0x7a>
mov    %edi,%eax
test   $0x1,%al
je     112a <horner+0x2a>
add    $0xffffffffffffffff,%rax
mov    %eax,%ecx
movapd %xmm0,%xmm2
subsd  (%rsi,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  (%rdx,%rcx,8),%xmm1
cmp    $0x1,%edi
je     117a <horner+0x7a>
add    $0xfffffffffffffffe,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0x1(%rax),%rcx
mov    %ecx,%edi
movapd %xmm0,%xmm2
subsd  (%rsi,%rdi,8),%xmm2
mulsd  %xmm1,%xmm2
addsd  (%rdx,%rdi,8),%xmm2
mov    %eax,%edi
shl    $0x3,%rdi
movapd %xmm0,%xmm1
subsd  (%rsi,%rdi,1),%xmm1
mulsd  %xmm2,%xmm1
addsd  (%rdx,%rdi,1),%xmm1
add    $0xfffffffffffffffe,%rax
cmp    $0x1,%rcx
ja     1140 <horner+0x40>
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @horner(double %0, i32 %1, double* %2, double* %3) {
%5 = alloca double
%6 = alloca i32
%7 = alloca double*
%8 = alloca double*
%9 = alloca double
%10 = alloca i32
store double %0, double* %5
store i32 %1, i32* %6
store double* %2, double** %7
store double* %3, double** %8
%11 = load double*, double** %8
%12 = load i32, i32* %6
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds double, double* %11, i64 %13
%15 = load double, double* %14
store double %15, double* %9
%16 = load i32, i32* %6
%17 = sub nsw i32 %16, 1
store i32 %17, i32* %10
br label %18
18: ; preds = %36, %4
%19 = load i32, i32* %10
%20 = icmp sge i32 %19, 0
br i1 %20, label %21, label %39
21: ; preds = %18
%22 = load double, double* %9
%23 = load double, double* %5
%24 = load double*, double** %7
%25 = load i32, i32* %10
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds double, double* %24, i64 %26
%28 = load double, double* %27
%29 = fsub double %23, %28
%30 = load double*, double** %8
%31 = load i32, i32* %10
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds double, double* %30, i64 %32
%34 = load double, double* %33
%35 = call double @llvm.fmuladd.f64(double %22, double %29, double %34)
store double %35, double* %9
br label %36
36: ; preds = %21
%37 = load i32, i32* %10
%38 = add nsw i32 %37, -1
store i32 %38, i32* %10
br label %18
39: ; preds = %18
%40 = load double, double* %9
ret double %40
}

LLVM IR (-O2):
define double @horner(double %0, i32 %1, double* nocapture %2, double* nocapture %3) {
%5 = sext i32 %1 to i64
%6 = getelementptr inbounds double, double* %3, i64 %5
%7 = load double, double* %6
%8 = icmp sgt i32 %1, 0
br i1 %8, label %9, label %47
9: ; preds = %4
%10 = zext i32 %1 to i64
%11 = and i64 %10, 1
%12 = icmp eq i64 %11, 0
br i1 %12, label %22, label %13
13: ; preds = %9
%14 = add nsw i64 %10, -1
%15 = and i64 %14, 4294967295
%16 = getelementptr inbounds double, double* %2, i64 %15
%17 = load double, double* %16
%18 = fsub double %0, %17
%19 = getelementptr inbounds double, double* %3, i64 %15
%20 = load double, double* %19
%21 = tail call double @llvm.fmuladd.f64(double %7, double %18, double %20)
br label %22
22: ; preds = %13, %9
%23 = phi i64 [ %10, %9 ], [ %14, %13 ]
%24 = phi double [ %7, %9 ], [ %21, %13 ]
%25 = phi double [ undef, %9 ], [ %21, %13 ]
%26 = icmp eq i32 %1, 1
br i1 %26, label %47, label %27
27: ; preds = %22, %27
%28 = phi i64 [ %38, %27 ], [ %23, %22 ]
%29 = phi double [ %45, %27 ], [ %24, %22 ]
%30 = add nsw i64 %28, -1
%31 = and i64 %30, 4294967295
%32 = getelementptr inbounds double, double* %2, i64 %31
%33 = load double, double* %32
%34 = fsub double %0, %33
%35 = getelementptr inbounds double, double* %3, i64 %31
%36 = load double, double* %35
%37 = tail call double @llvm.fmuladd.f64(double %29, double %34, double %36)
%38 = add nsw i64 %28, -2
%39 = and i64 %38, 4294967295
%40 = getelementptr inbounds double, double* %2, i64 %39
%41 = load double, double* %40
%42 = fsub double %0, %41
%43 = getelementptr inbounds double, double* %3, i64 %39
%44 = load double, double* %43
%45 = tail call double @llvm.fmuladd.f64(double %37, double %42, double %44)
%46 = icmp ugt i64 %30, 1
br i1 %46, label %27, label %47
47: ; preds = %22, %27, %4
%48 = phi double [ %7, %4 ], [ %25, %22 ], [ %45, %27 ]
ret double %48
}