long double __p1evll(long double x, void *PP, int n) {
  long double y;
  long double *P;
  P = (long double *)PP;
  n -= 1;
  y = x + *P++;
  do {
    y = y * x + *P++;
  } while (--n);
  return (y);
}


x86 assembly (clang, -O0):
<__p1evll>:
push   %rbp
mov    %rsp,%rbp
fldt   0x10(%rbp)
fstpt  -0x10(%rbp)
mov    %rdi,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
fldt   -0x10(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x10,%rcx
mov    %rcx,-0x38(%rbp)
fldt   (%rax)
faddp  %st,%st(1)
fstpt  -0x30(%rbp)
fldt   -0x30(%rbp)
fldt   -0x10(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x10,%rcx
mov    %rcx,-0x38(%rbp)
fldt   (%rax)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jne    113b <__p1evll+0x3b>
fldt   -0x30(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<__p1evll>:
fldt   0x8(%rsp)
lea    -0x1(%rsi),%eax
fldt   (%rdi)
add    $0x10,%rdi
fadd   %st(1),%st
add    $0xfffffffe,%esi
mov    %eax,%ecx
fldz
and    $0x3,%ecx
je     1137 <__p1evll+0x37>
fstp   %st(0)
xor    %edx,%edx
nop
fldt   (%rdi)
add    $0x10,%rdi
fxch   %st(1)
fmul   %st(2),%st
faddp  %st,%st(1)
add    $0x1,%edx
cmp    %edx,%ecx
jne    1120 <__p1evll+0x20>
sub    %edx,%eax
fld    %st(0)
cmp    $0x3,%esi
jb     1182 <__p1evll+0x82>
fstp   %st(0)
fldz
fxch   %st(1)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
fstp   %st(1)
fldt   (%rdi)
fxch   %st(1)
fmul   %st(2),%st
faddp  %st,%st(1)
fldt   0x10(%rdi)
fxch   %st(1)
fmul   %st(2),%st
faddp  %st,%st(1)
fldt   0x20(%rdi)
fxch   %st(1)
fmul   %st(2),%st
faddp  %st,%st(1)
fldt   0x30(%rdi)
fxch   %st(1)
fmul   %st(2),%st
faddp  %st,%st(1)
add    $0x40,%rdi
add    $0xfffffffc,%eax
fldz
fxch   %st(1)
jne    1150 <__p1evll+0x50>
fstp   %st(2)
fstp   %st(0)
ret

LLVM IR (-O0):
define x86_fp80 @__p1evll(x86_fp80 %0, i8* %1, i32 %2) {
%4 = alloca x86_fp80
%5 = alloca i8*
%6 = alloca i32
%7 = alloca x86_fp80
%8 = alloca x86_fp80*
store x86_fp80 %0, x86_fp80* %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%9 = load i8*, i8** %5
%10 = bitcast i8* %9 to x86_fp80*
store x86_fp80* %10, x86_fp80** %8
%11 = load i32, i32* %6
%12 = sub nsw i32 %11, 1
store i32 %12, i32* %6
%13 = load x86_fp80, x86_fp80* %4
%14 = load x86_fp80*, x86_fp80** %8
%15 = getelementptr inbounds x86_fp80, x86_fp80* %14, i32 1
store x86_fp80* %15, x86_fp80** %8
%16 = load x86_fp80, x86_fp80* %14
%17 = fadd x86_fp80 %13, %16
store x86_fp80 %17, x86_fp80* %7
br label %18
18: ; preds = %25, %3
%19 = load x86_fp80, x86_fp80* %7
%20 = load x86_fp80, x86_fp80* %4
%21 = load x86_fp80*, x86_fp80** %8
%22 = getelementptr inbounds x86_fp80, x86_fp80* %21, i32 1
store x86_fp80* %22, x86_fp80** %8
%23 = load x86_fp80, x86_fp80* %21
%24 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %19, x86_fp80 %20, x86_fp80 %23)
store x86_fp80 %24, x86_fp80* %7
br label %25
25: ; preds = %18
%26 = load i32, i32* %6
%27 = add nsw i32 %26, -1
store i32 %27, i32* %6
%28 = icmp ne i32 %27, 0
br i1 %28, label %18, label %29
29: ; preds = %25
%30 = load x86_fp80, x86_fp80* %7
ret x86_fp80 %30
}

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