long double test(long double x0, long double x1, long double x2, long double x3,
                 long double x4, long double x5, long double x6, long double x7,
                 long double x8, long double x9, long double x10,
                 long double x11, long double x12, long double x13,
                 long double x14, long double x15) {
  while (x15 < 1E+30) {
    x0 = ((x1) * (x2) + (x3));
    x1 = ((x2) * (x3) + (x4)) + 1;
    x2 = ((x3) * (x4) + (x5)) + 2;
    x3 = ((x4) * (x5) + (x6)) + 3;
    x4 = ((x5) * (x6) + (x7)) + 4;
    x5 = ((x6) * (x7) + (x8)) + 5;
    x6 = ((x7) * (x8) + (x9)) + 6;
    x7 = ((x8) * (x9) + (x10)) + 7;
    x8 = ((x9) * (x10) + (x11)) + 8;
    x9 = ((x10) * (x11) + (x12)) + 9;
    x10 = ((x11) * (x12) + (x13)) + 10;
    x11 = ((x12) * (x13) + (x14)) + 11;
    x12 = ((x13) * (x14) + (x15)) + 12;
    x13 = ((x14) * (x15) + (x0)) + 13;
    x14 = ((x15) * (x0) + (x1)) + 14;
    x15 = ((x0) * (x1) + (x2)) + 15;
  }
  return x15;
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
fldt   0x100(%rbp)
fstpt  -0x10c(%rbp)
fldt   0xf0(%rbp)
fldt   0xe0(%rbp)
fldt   0xd0(%rbp)
fldt   0xc0(%rbp)
fldt   0xb0(%rbp)
fldt   0xa0(%rbp)
fldt   0x90(%rbp)
fstpt  -0x118(%rbp)
fldt   0x80(%rbp)
fstpt  -0x124(%rbp)
fldt   0x70(%rbp)
fstpt  -0x130(%rbp)
fldt   0x60(%rbp)
fstpt  -0x13c(%rbp)
fldt   0x50(%rbp)
fstpt  -0x148(%rbp)
fldt   0x40(%rbp)
fstpt  -0x154(%rbp)
fldt   0x30(%rbp)
fstpt  -0x160(%rbp)
fldt   0x20(%rbp)
fstpt  -0x16c(%rbp)
fldt   0x10(%rbp)
fstpt  -0x10(%rbp)
fldt   -0x16c(%rbp)
fstpt  -0x20(%rbp)
fldt   -0x160(%rbp)
fstpt  -0x30(%rbp)
fldt   -0x154(%rbp)
fstpt  -0x40(%rbp)
fldt   -0x148(%rbp)
fstpt  -0x50(%rbp)
fldt   -0x13c(%rbp)
fstpt  -0x60(%rbp)
fldt   -0x130(%rbp)
fstpt  -0x70(%rbp)
fldt   -0x124(%rbp)
fstpt  -0x80(%rbp)
fldt   -0x118(%rbp)
fstpt  -0x90(%rbp)
fldt   -0x10c(%rbp)
fxch   %st(1)
fstpt  -0xa0(%rbp)
fxch   %st(1)
fstpt  -0xb0(%rbp)
fxch   %st(1)
fstpt  -0xc0(%rbp)
fxch   %st(1)
fstpt  -0xd0(%rbp)
fxch   %st(1)
fstpt  -0xe0(%rbp)
fxch   %st(1)
fstpt  -0xf0(%rbp)
fstpt  -0x100(%rbp)
fldt   -0x100(%rbp)
fldl   0xdde(%rip)
fucomip %st(1),%st
fstp   %st(0)
jbe    142a <test+0x32a>
jmp    1231 <test+0x131>
fldt   -0x20(%rbp)
fldt   -0x30(%rbp)
fldt   -0x40(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x10(%rbp)
fldt   -0x30(%rbp)
fldt   -0x40(%rbp)
fldt   -0x50(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fld1
faddp  %st,%st(1)
fstpt  -0x20(%rbp)
fldt   -0x40(%rbp)
fldt   -0x50(%rbp)
fldt   -0x60(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd9a(%rip)
faddp  %st,%st(1)
fstpt  -0x30(%rbp)
fldt   -0x50(%rbp)
fldt   -0x60(%rbp)
fldt   -0x70(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd84(%rip)
faddp  %st,%st(1)
fstpt  -0x40(%rbp)
fldt   -0x60(%rbp)
fldt   -0x70(%rbp)
fldt   -0x80(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd6e(%rip)
faddp  %st,%st(1)
fstpt  -0x50(%rbp)
fldt   -0x70(%rbp)
fldt   -0x80(%rbp)
fldt   -0x90(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd55(%rip)
faddp  %st,%st(1)
fstpt  -0x60(%rbp)
fldt   -0x80(%rbp)
fldt   -0x90(%rbp)
fldt   -0xa0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd39(%rip)
faddp  %st,%st(1)
fstpt  -0x70(%rbp)
fldt   -0x90(%rbp)
fldt   -0xa0(%rbp)
fldt   -0xb0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xd1a(%rip)
faddp  %st,%st(1)
fstpt  -0x80(%rbp)
fldt   -0xa0(%rbp)
fldt   -0xb0(%rbp)
fldt   -0xc0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xcfb(%rip)
faddp  %st,%st(1)
fstpt  -0x90(%rbp)
fldt   -0xb0(%rbp)
fldt   -0xc0(%rbp)
fldt   -0xd0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xcd9(%rip)
faddp  %st,%st(1)
fstpt  -0xa0(%rbp)
fldt   -0xc0(%rbp)
fldt   -0xd0(%rbp)
fldt   -0xe0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xcb7(%rip)
faddp  %st,%st(1)
fstpt  -0xb0(%rbp)
fldt   -0xd0(%rbp)
fldt   -0xe0(%rbp)
fldt   -0xf0(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xc95(%rip)
faddp  %st,%st(1)
fstpt  -0xc0(%rbp)
fldt   -0xe0(%rbp)
fldt   -0xf0(%rbp)
fldt   -0x100(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xc73(%rip)
faddp  %st,%st(1)
fstpt  -0xd0(%rbp)
fldt   -0xf0(%rbp)
fldt   -0x100(%rbp)
fldt   -0x10(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xc54(%rip)
faddp  %st,%st(1)
fstpt  -0xe0(%rbp)
fldt   -0x100(%rbp)
fldt   -0x10(%rbp)
fldt   -0x20(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xc38(%rip)
faddp  %st,%st(1)
fstpt  -0xf0(%rbp)
fldt   -0x10(%rbp)
fldt   -0x20(%rbp)
fldt   -0x30(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
flds   0xc1f(%rip)
faddp  %st,%st(1)
fstpt  -0x100(%rbp)
jmp    1216 <test+0x116>
fldt   -0x100(%rbp)
add    $0xf0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
sub    $0x28,%rsp
fldt   0x120(%rsp)
fldt   0x110(%rsp)
fldt   0x100(%rsp)
fldt   0xf0(%rsp)
fstpt  -0x68(%rsp)
fldt   0xe0(%rsp)
fstpt  -0x74(%rsp)
fldt   0xd0(%rsp)
fstpt  -0x20(%rsp)
fldl   0xec0(%rip)
fld    %st(0)
fstpt  -0x14(%rsp)
fucomip %st(3),%st
fldt   0xc0(%rsp)
fstpt  -0x2c(%rsp)
fldt   0xb0(%rsp)
fstpt  -0x38(%rsp)
fldt   0xa0(%rsp)
fstpt  -0x50(%rsp)
fldt   0x90(%rsp)
fstpt  -0x44(%rsp)
fldt   0x80(%rsp)
fldt   0x70(%rsp)
fstpt  -0x5c(%rsp)
fldt   0x60(%rsp)
fldt   0x50(%rsp)
fldt   0x40(%rsp)
jbe    1316 <test+0x216>
fxch   %st(4)
fstpt  0x4(%rsp)
fldt   -0x68(%rsp)
fstp   %st(0)
fldt   -0x74(%rsp)
fstp   %st(0)
fldt   -0x20(%rsp)
fstp   %st(0)
fldt   -0x14(%rsp)
fstp   %st(0)
fldt   -0x2c(%rsp)
fstp   %st(0)
fldt   -0x38(%rsp)
fstp   %st(0)
fldt   -0x50(%rsp)
fstp   %st(0)
fldt   -0x44(%rsp)
fstp   %st(0)
fxch   %st(2)
fstpt  -0x8(%rsp)
fldt   -0x5c(%rsp)
cs nopw 0x0(%rax,%rax,1)
nop
fxch   %st(3)
fmul   %st(2),%st
fxch   %st(2)
fmul   %st(1),%st
fadd   %st(3),%st
fld1
faddp  %st,%st(1)
fstpt  0x1c(%rsp)
fadd   %st,%st(1)
fmul   %st(2),%st
fldt   -0x8(%rsp)
fadd   %st,%st(1)
fxch   %st(1)
fadds  0xe04(%rip)
fstpt  0x10(%rsp)
fmul   %st,%st(2)
fldt   -0x44(%rsp)
fadd   %st,%st(3)
fxch   %st(3)
fadds  0xdf4(%rip)
fxch   %st(1)
fmul   %st(3),%st
fldt   -0x50(%rsp)
fadd   %st,%st(1)
fxch   %st(1)
fadds  0xde6(%rip)
fstpt  -0x5c(%rsp)
fmul   %st,%st(3)
fldt   -0x38(%rsp)
fadd   %st,%st(4)
fxch   %st(4)
fadds  0xdd6(%rip)
fstpt  -0x8(%rsp)
fmul   %st(3),%st
fldt   -0x2c(%rsp)
fadd   %st,%st(1)
fxch   %st(1)
fadds  0xdc6(%rip)
fstpt  -0x44(%rsp)
fmul   %st,%st(3)
fldt   -0x20(%rsp)
fadd   %st,%st(4)
fxch   %st(4)
fadds  0xdb6(%rip)
fstpt  -0x50(%rsp)
fmul   %st(3),%st
fldt   -0x74(%rsp)
fadd   %st,%st(1)
fxch   %st(1)
fadds  0xda6(%rip)
fstpt  -0x38(%rsp)
fmul   %st,%st(3)
fldt   -0x68(%rsp)
fadd   %st,%st(4)
fxch   %st(4)
fadds  0xd96(%rip)
fstpt  -0x2c(%rsp)
fmul   %st(3),%st
fldt   0x4(%rsp)
fadd   %st,%st(1)
fxch   %st(1)
fadds  0xd86(%rip)
fstpt  -0x20(%rsp)
fmul   %st,%st(3)
fldt   0x10(%rsp)
fxch   %st(4)
fadd   %st(5),%st
fadds  0xd76(%rip)
fstpt  -0x74(%rsp)
fmul   %st(4),%st
fldt   0x1c(%rsp)
fxch   %st(1)
fadd   %st(6),%st
fadds  0xd66(%rip)
fstpt  -0x68(%rsp)
fxch   %st(4)
fmul   %st(5),%st
fadd   %st(2),%st
fadds  0xd5a(%rip)
fstpt  0x4(%rsp)
fxch   %st(4)
fmul   %st(1),%st
fldt   -0x5c(%rsp)
fxch   %st(1)
fadd   %st(4),%st
fadds  0xd48(%rip)
fxch   %st(2)
fmul   %st(4),%st
fadd   %st(3),%st
fadds  0xd40(%rip)
fldt   -0x14(%rsp)
fucomip %st(1),%st
fxch   %st(5)
fxch   %st(2)
fxch   %st(4)
fxch   %st(3)
fxch   %st(2)
fxch   %st(1)
ja     11e0 <test+0xe0>
jmp    1336 <test+0x236>
fstp   %st(0)
fstp   %st(0)
fstp   %st(2)
fstp   %st(2)
fstp   %st(1)
fstp   %st(0)
fldz
fldz
fldz
fldz
fldz
fxch   %st(2)
fxch   %st(4)
fxch   %st(3)
fxch   %st(2)
fxch   %st(1)
fstp   %st(3)
fstp   %st(1)
fstp   %st(2)
fstp   %st(0)
fstp   %st(0)
add    $0x28,%rsp
ret

LLVM IR (-O0):
define x86_fp80 @test(x86_fp80 %0, x86_fp80 %1, x86_fp80 %2, x86_fp80 %3, x86_fp80 %4, x86_fp80 %5, x86_fp80 %6, x86_fp80 %7, x86_fp80 %8, x86_fp80 %9, x86_fp80 %10, x86_fp80 %11, x86_fp80 %12, x86_fp80 %13, x86_fp80 %14, x86_fp80 %15) {
%17 = alloca x86_fp80
%18 = alloca x86_fp80
%19 = alloca x86_fp80
%20 = alloca x86_fp80
%21 = alloca x86_fp80
%22 = alloca x86_fp80
%23 = alloca x86_fp80
%24 = alloca x86_fp80
%25 = alloca x86_fp80
%26 = alloca x86_fp80
%27 = alloca x86_fp80
%28 = alloca x86_fp80
%29 = alloca x86_fp80
%30 = alloca x86_fp80
%31 = alloca x86_fp80
%32 = alloca x86_fp80
store x86_fp80 %0, x86_fp80* %17
store x86_fp80 %1, x86_fp80* %18
store x86_fp80 %2, x86_fp80* %19
store x86_fp80 %3, x86_fp80* %20
store x86_fp80 %4, x86_fp80* %21
store x86_fp80 %5, x86_fp80* %22
store x86_fp80 %6, x86_fp80* %23
store x86_fp80 %7, x86_fp80* %24
store x86_fp80 %8, x86_fp80* %25
store x86_fp80 %9, x86_fp80* %26
store x86_fp80 %10, x86_fp80* %27
store x86_fp80 %11, x86_fp80* %28
store x86_fp80 %12, x86_fp80* %29
store x86_fp80 %13, x86_fp80* %30
store x86_fp80 %14, x86_fp80* %31
store x86_fp80 %15, x86_fp80* %32
br label %33
33: ; preds = %36, %16
%34 = load x86_fp80, x86_fp80* %32
%35 = fcmp olt x86_fp80 %34, 0xK4062C9F2C9CD04675000
br i1 %35, label %36, label %116
36: ; preds = %33
%37 = load x86_fp80, x86_fp80* %18
%38 = load x86_fp80, x86_fp80* %19
%39 = load x86_fp80, x86_fp80* %20
%40 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %37, x86_fp80 %38, x86_fp80 %39)
store x86_fp80 %40, x86_fp80* %17
%41 = load x86_fp80, x86_fp80* %19
%42 = load x86_fp80, x86_fp80* %20
%43 = load x86_fp80, x86_fp80* %21
%44 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %41, x86_fp80 %42, x86_fp80 %43)
%45 = fadd x86_fp80 %44, 0xK3FFF8000000000000000
store x86_fp80 %45, x86_fp80* %18
%46 = load x86_fp80, x86_fp80* %20
%47 = load x86_fp80, x86_fp80* %21
%48 = load x86_fp80, x86_fp80* %22
%49 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %46, x86_fp80 %47, x86_fp80 %48)
%50 = fadd x86_fp80 %49, 0xK40008000000000000000
store x86_fp80 %50, x86_fp80* %19
%51 = load x86_fp80, x86_fp80* %21
%52 = load x86_fp80, x86_fp80* %22
%53 = load x86_fp80, x86_fp80* %23
%54 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %51, x86_fp80 %52, x86_fp80 %53)
%55 = fadd x86_fp80 %54, 0xK4000C000000000000000
store x86_fp80 %55, x86_fp80* %20
%56 = load x86_fp80, x86_fp80* %22
%57 = load x86_fp80, x86_fp80* %23
%58 = load x86_fp80, x86_fp80* %24
%59 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %56, x86_fp80 %57, x86_fp80 %58)
%60 = fadd x86_fp80 %59, 0xK40018000000000000000
store x86_fp80 %60, x86_fp80* %21
%61 = load x86_fp80, x86_fp80* %23
%62 = load x86_fp80, x86_fp80* %24
%63 = load x86_fp80, x86_fp80* %25
%64 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %61, x86_fp80 %62, x86_fp80 %63)
%65 = fadd x86_fp80 %64, 0xK4001A000000000000000
store x86_fp80 %65, x86_fp80* %22
%66 = load x86_fp80, x86_fp80* %24
%67 = load x86_fp80, x86_fp80* %25
%68 = load x86_fp80, x86_fp80* %26
%69 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %66, x86_fp80 %67, x86_fp80 %68)
%70 = fadd x86_fp80 %69, 0xK4001C000000000000000
store x86_fp80 %70, x86_fp80* %23
%71 = load x86_fp80, x86_fp80* %25
%72 = load x86_fp80, x86_fp80* %26
%73 = load x86_fp80, x86_fp80* %27
%74 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %71, x86_fp80 %72, x86_fp80 %73)
%75 = fadd x86_fp80 %74, 0xK4001E000000000000000
store x86_fp80 %75, x86_fp80* %24
%76 = load x86_fp80, x86_fp80* %26
%77 = load x86_fp80, x86_fp80* %27
%78 = load x86_fp80, x86_fp80* %28
%79 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %76, x86_fp80 %77, x86_fp80 %78)
%80 = fadd x86_fp80 %79, 0xK40028000000000000000
store x86_fp80 %80, x86_fp80* %25
%81 = load x86_fp80, x86_fp80* %27
%82 = load x86_fp80, x86_fp80* %28
%83 = load x86_fp80, x86_fp80* %29
%84 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %81, x86_fp80 %82, x86_fp80 %83)
%85 = fadd x86_fp80 %84, 0xK40029000000000000000
store x86_fp80 %85, x86_fp80* %26
%86 = load x86_fp80, x86_fp80* %28
%87 = load x86_fp80, x86_fp80* %29
%88 = load x86_fp80, x86_fp80* %30
%89 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %86, x86_fp80 %87, x86_fp80 %88)
%90 = fadd x86_fp80 %89, 0xK4002A000000000000000
store x86_fp80 %90, x86_fp80* %27
%91 = load x86_fp80, x86_fp80* %29
%92 = load x86_fp80, x86_fp80* %30
%93 = load x86_fp80, x86_fp80* %31
%94 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %91, x86_fp80 %92, x86_fp80 %93)
%95 = fadd x86_fp80 %94, 0xK4002B000000000000000
store x86_fp80 %95, x86_fp80* %28
%96 = load x86_fp80, x86_fp80* %30
%97 = load x86_fp80, x86_fp80* %31
%98 = load x86_fp80, x86_fp80* %32
%99 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %96, x86_fp80 %97, x86_fp80 %98)
%100 = fadd x86_fp80 %99, 0xK4002C000000000000000
store x86_fp80 %100, x86_fp80* %29
%101 = load x86_fp80, x86_fp80* %31
%102 = load x86_fp80, x86_fp80* %32
%103 = load x86_fp80, x86_fp80* %17
%104 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %101, x86_fp80 %102, x86_fp80 %103)
%105 = fadd x86_fp80 %104, 0xK4002D000000000000000
store x86_fp80 %105, x86_fp80* %30
%106 = load x86_fp80, x86_fp80* %32
%107 = load x86_fp80, x86_fp80* %17
%108 = load x86_fp80, x86_fp80* %18
%109 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %106, x86_fp80 %107, x86_fp80 %108)
%110 = fadd x86_fp80 %109, 0xK4002E000000000000000
store x86_fp80 %110, x86_fp80* %31
%111 = load x86_fp80, x86_fp80* %17
%112 = load x86_fp80, x86_fp80* %18
%113 = load x86_fp80, x86_fp80* %19
%114 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %111, x86_fp80 %112, x86_fp80 %113)
%115 = fadd x86_fp80 %114, 0xK4002F000000000000000
store x86_fp80 %115, x86_fp80* %32
br label %33
116: ; preds = %33
%117 = load x86_fp80, x86_fp80* %32
ret x86_fp80 %117
}

LLVM IR (-O2):
define x86_fp80 @test(x86_fp80 %0, x86_fp80 %1, x86_fp80 %2, x86_fp80 %3, x86_fp80 %4, x86_fp80 %5, x86_fp80 %6, x86_fp80 %7, x86_fp80 %8, x86_fp80 %9, x86_fp80 %10, x86_fp80 %11, x86_fp80 %12, x86_fp80 %13, x86_fp80 %14, x86_fp80 %15) {
%17 = fcmp olt x86_fp80 %15, 0xK4062C9F2C9CD04675000
br i1 %17, label %18, label %66
18: ; preds = %16, %18
%19 = phi x86_fp80 [ %64, %18 ], [ %15, %16 ]
%20 = phi x86_fp80 [ %62, %18 ], [ %14, %16 ]
%21 = phi x86_fp80 [ %60, %18 ], [ %13, %16 ]
%22 = phi x86_fp80 [ %58, %18 ], [ %12, %16 ]
%23 = phi x86_fp80 [ %56, %18 ], [ %11, %16 ]
%24 = phi x86_fp80 [ %54, %18 ], [ %10, %16 ]
%25 = phi x86_fp80 [ %52, %18 ], [ %9, %16 ]
%26 = phi x86_fp80 [ %50, %18 ], [ %8, %16 ]
%27 = phi x86_fp80 [ %48, %18 ], [ %7, %16 ]
%28 = phi x86_fp80 [ %46, %18 ], [ %6, %16 ]
%29 = phi x86_fp80 [ %44, %18 ], [ %5, %16 ]
%30 = phi x86_fp80 [ %42, %18 ], [ %4, %16 ]
%31 = phi x86_fp80 [ %40, %18 ], [ %3, %16 ]
%32 = phi x86_fp80 [ %38, %18 ], [ %2, %16 ]
%33 = phi x86_fp80 [ %36, %18 ], [ %1, %16 ]
%34 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %33, x86_fp80 %32, x86_fp80 %31)
%35 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %32, x86_fp80 %31, x86_fp80 %30)
%36 = fadd x86_fp80 %35, 0xK3FFF8000000000000000
%37 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %31, x86_fp80 %30, x86_fp80 %29)
%38 = fadd x86_fp80 %37, 0xK40008000000000000000
%39 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %30, x86_fp80 %29, x86_fp80 %28)
%40 = fadd x86_fp80 %39, 0xK4000C000000000000000
%41 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %29, x86_fp80 %28, x86_fp80 %27)
%42 = fadd x86_fp80 %41, 0xK40018000000000000000
%43 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %28, x86_fp80 %27, x86_fp80 %26)
%44 = fadd x86_fp80 %43, 0xK4001A000000000000000
%45 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %27, x86_fp80 %26, x86_fp80 %25)
%46 = fadd x86_fp80 %45, 0xK4001C000000000000000
%47 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %26, x86_fp80 %25, x86_fp80 %24)
%48 = fadd x86_fp80 %47, 0xK4001E000000000000000
%49 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %25, x86_fp80 %24, x86_fp80 %23)
%50 = fadd x86_fp80 %49, 0xK40028000000000000000
%51 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %24, x86_fp80 %23, x86_fp80 %22)
%52 = fadd x86_fp80 %51, 0xK40029000000000000000
%53 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %23, x86_fp80 %22, x86_fp80 %21)
%54 = fadd x86_fp80 %53, 0xK4002A000000000000000
%55 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %22, x86_fp80 %21, x86_fp80 %20)
%56 = fadd x86_fp80 %55, 0xK4002B000000000000000
%57 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %21, x86_fp80 %20, x86_fp80 %19)
%58 = fadd x86_fp80 %57, 0xK4002C000000000000000
%59 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %20, x86_fp80 %19, x86_fp80 %34)
%60 = fadd x86_fp80 %59, 0xK4002D000000000000000
%61 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %19, x86_fp80 %34, x86_fp80 %36)
%62 = fadd x86_fp80 %61, 0xK4002E000000000000000
%63 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %34, x86_fp80 %36, x86_fp80 %38)
%64 = fadd x86_fp80 %63, 0xK4002F000000000000000
%65 = fcmp olt x86_fp80 %64, 0xK4062C9F2C9CD04675000
br i1 %65, label %18, label %66
66: ; preds = %18, %16
%67 = phi x86_fp80 [ %15, %16 ], [ %64, %18 ]
ret x86_fp80 %67
}