#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double lldet4(long double, long double, long double, long double, long double,
              long double, long double, long double, long double, long double,
              long double, long double, long double, long double, long double,
              long double);
double orient4d(double *pa, double *pb, double *pc, double *pd, double *pe) {
  long double a = pa[0] - pe[0], b = pb[0] - pe[0], c = pc[0] - pe[0],
              d = pd[0] - pe[0];
  long double e = pa[1] - pe[1], f = pb[1] - pe[1], g = pc[1] - pe[1],
              h = pd[1] - pe[1];
  long double i = pa[2] - pe[2], j = pb[2] - pe[2], k = pc[2] - pe[2],
              l = pd[2] - pe[2];
  long double m = pa[3] - pe[3], n = pb[3] - pe[3], o = pc[3] - pe[3],
              p = pd[3] - pe[3];
  return lldet4(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p);
}


x86 assembly (clang, -O0):
<orient4d>:
push   %rbp
mov    %rsp,%rbp
sub    $0x320,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x138(%rbp)
ff
fldl   -0x138(%rbp)
fstpt  -0x40(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x140(%rbp)
ff
fldl   -0x140(%rbp)
fstpt  -0x50(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x148(%rbp)
ff
fldl   -0x148(%rbp)
fstpt  -0x60(%rbp)
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x150(%rbp)
ff
fldl   -0x150(%rbp)
fstpt  -0x70(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x158(%rbp)
ff
fldl   -0x158(%rbp)
fstpt  -0x80(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x160(%rbp)
ff
fldl   -0x160(%rbp)
fstpt  -0x90(%rbp)
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x168(%rbp)
ff
fldl   -0x168(%rbp)
fstpt  -0xa0(%rbp)
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x170(%rbp)
ff
fldl   -0x170(%rbp)
fstpt  -0xb0(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x178(%rbp)
ff
fldl   -0x178(%rbp)
fstpt  -0xc0(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x180(%rbp)
ff
fldl   -0x180(%rbp)
fstpt  -0xd0(%rbp)
mov    -0x18(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x188(%rbp)
ff
fldl   -0x188(%rbp)
fstpt  -0xe0(%rbp)
mov    -0x20(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x190(%rbp)
ff
fldl   -0x190(%rbp)
fstpt  -0xf0(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x18(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x198(%rbp)
ff
fldl   -0x198(%rbp)
fstpt  -0x100(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x18(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x1a0(%rbp)
ff
fldl   -0x1a0(%rbp)
fstpt  -0x110(%rbp)
mov    -0x18(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x18(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x1a8(%rbp)
ff
fldl   -0x1a8(%rbp)
fstpt  -0x120(%rbp)
mov    -0x20(%rbp),%rax
movsd  0x18(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  0x18(%rax),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x1b0(%rbp)
ff
fldl   -0x1b0(%rbp)
fstpt  -0x130(%rbp)
fldt   -0x40(%rbp)
fstpt  -0x1bc(%rbp)
fldt   -0x50(%rbp)
fldt   -0x60(%rbp)
fldt   -0x70(%rbp)
fldt   -0x80(%rbp)
fldt   -0x90(%rbp)
fldt   -0xa0(%rbp)
fldt   -0xb0(%rbp)
fstpt  -0x1c8(%rbp)
fldt   -0xc0(%rbp)
fstpt  -0x1d4(%rbp)
fldt   -0xd0(%rbp)
fstpt  -0x1e0(%rbp)
fldt   -0xe0(%rbp)
fstpt  -0x1ec(%rbp)
fldt   -0xf0(%rbp)
fstpt  -0x1f8(%rbp)
fldt   -0x100(%rbp)
fstpt  -0x204(%rbp)
fldt   -0x110(%rbp)
fstpt  -0x210(%rbp)
fldt   -0x120(%rbp)
fstpt  -0x21c(%rbp)
fldt   -0x130(%rbp)
mov    %rsp,%rax
fstpt  0xf0(%rax)
fldt   -0x21c(%rbp)
fstpt  0xe0(%rax)
fldt   -0x210(%rbp)
fstpt  0xd0(%rax)
fldt   -0x204(%rbp)
fstpt  0xc0(%rax)
fldt   -0x1f8(%rbp)
fstpt  0xb0(%rax)
fldt   -0x1ec(%rbp)
fstpt  0xa0(%rax)
fldt   -0x1e0(%rbp)
fstpt  0x90(%rax)
fldt   -0x1d4(%rbp)
fstpt  0x80(%rax)
fldt   -0x1c8(%rbp)
fstpt  0x70(%rax)
fldt   -0x1bc(%rbp)
fxch   %st(1)
fstpt  0x60(%rax)
fxch   %st(1)
fstpt  0x50(%rax)
fxch   %st(1)
fstpt  0x40(%rax)
fxch   %st(1)
fstpt  0x30(%rax)
fxch   %st(1)
fstpt  0x20(%rax)
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <lldet4@plt>
add    $0x320,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<orient4d>:
sub    $0x1f8,%rsp
movsd  (%rdi),%xmm1
movsd  0x8(%rdi),%xmm2
movsd  (%r8),%xmm3
movsd  0x8(%r8),%xmm0
subsd  %xmm3,%xmm1
movsd  %xmm1,0x168(%rsp)
fldl   0x168(%rsp)
fstpt  0x1ec(%rsp)
movsd  (%rsi),%xmm1
movsd  0x8(%rsi),%xmm4
subsd  %xmm3,%xmm1
movsd  %xmm1,0x170(%rsp)
fldl   0x170(%rsp)
fstpt  0x1e0(%rsp)
movsd  (%rdx),%xmm1
movsd  0x8(%rdx),%xmm5
subsd  %xmm3,%xmm1
movsd  %xmm1,0x178(%rsp)
fldl   0x178(%rsp)
fstpt  0x1d4(%rsp)
movsd  (%rcx),%xmm1
movsd  0x8(%rcx),%xmm6
subsd  %xmm3,%xmm1
movsd  %xmm1,0x180(%rsp)
fldl   0x180(%rsp)
fstpt  0x1c8(%rsp)
subsd  %xmm0,%xmm2
movsd  %xmm2,0x108(%rsp)
fldl   0x108(%rsp)
fstpt  0x1bc(%rsp)
subsd  %xmm0,%xmm4
movsd  %xmm4,0x110(%rsp)
fldl   0x110(%rsp)
fstpt  0x1b0(%rsp)
subsd  %xmm0,%xmm5
movsd  %xmm5,0x118(%rsp)
fldl   0x118(%rsp)
fstpt  0x1a4(%rsp)
subsd  %xmm0,%xmm6
movsd  %xmm6,0x120(%rsp)
movsd  0x10(%rdi),%xmm0
movsd  0x10(%r8),%xmm1
subsd  %xmm1,%xmm0
fldl   0x120(%rsp)
fstpt  0x198(%rsp)
movsd  %xmm0,0x128(%rsp)
movsd  0x10(%rsi),%xmm0
subsd  %xmm1,%xmm0
fldl   0x128(%rsp)
fstpt  0x18c(%rsp)
movsd  %xmm0,0x130(%rsp)
movsd  0x10(%rdx),%xmm0
subsd  %xmm1,%xmm0
fldl   0x130(%rsp)
movsd  %xmm0,0x138(%rsp)
movsd  0x10(%rcx),%xmm0
subsd  %xmm1,%xmm0
fldl   0x138(%rsp)
movsd  %xmm0,0x140(%rsp)
movsd  0x18(%rdi),%xmm0
movsd  0x18(%r8),%xmm1
subsd  %xmm1,%xmm0
fldl   0x140(%rsp)
movsd  %xmm0,0x148(%rsp)
movsd  0x18(%rsi),%xmm0
subsd  %xmm1,%xmm0
fldl   0x148(%rsp)
movsd  %xmm0,0x150(%rsp)
movsd  0x18(%rdx),%xmm0
subsd  %xmm1,%xmm0
fldl   0x150(%rsp)
movsd  %xmm0,0x158(%rsp)
movsd  0x18(%rcx),%xmm0
subsd  %xmm1,%xmm0
fldl   0x158(%rsp)
movsd  %xmm0,0x160(%rsp)
fldl   0x160(%rsp)
fstpt  0xf0(%rsp)
fstpt  0xe0(%rsp)
fstpt  0xd0(%rsp)
fstpt  0xc0(%rsp)
fstpt  0xb0(%rsp)
fstpt  0xa0(%rsp)
fstpt  0x90(%rsp)
fldt   0x18c(%rsp)
fstpt  0x80(%rsp)
fldt   0x198(%rsp)
fstpt  0x70(%rsp)
fldt   0x1a4(%rsp)
fstpt  0x60(%rsp)
fldt   0x1b0(%rsp)
fstpt  0x50(%rsp)
fldt   0x1bc(%rsp)
fstpt  0x40(%rsp)
fldt   0x1c8(%rsp)
fstpt  0x30(%rsp)
fldt   0x1d4(%rsp)
fstpt  0x20(%rsp)
fldt   0x1e0(%rsp)
fstpt  0x10(%rsp)
fldt   0x1ec(%rsp)
fstpt  (%rsp)
call   1030 <lldet4@plt>
add    $0x1f8,%rsp
ret

LLVM IR (-O0):
define double @orient4d(double* %0, double* %1, double* %2, double* %3, double* %4) {
%6 = alloca double*
%7 = alloca double*
%8 = alloca double*
%9 = alloca double*
%10 = alloca double*
%11 = alloca x86_fp80
%12 = alloca x86_fp80
%13 = alloca x86_fp80
%14 = alloca x86_fp80
%15 = alloca x86_fp80
%16 = alloca x86_fp80
%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
store double* %0, double** %6
store double* %1, double** %7
store double* %2, double** %8
store double* %3, double** %9
store double* %4, double** %10
%27 = load double*, double** %6
%28 = getelementptr inbounds double, double* %27, i64 0
%29 = load double, double* %28
%30 = load double*, double** %10
%31 = getelementptr inbounds double, double* %30, i64 0
%32 = load double, double* %31
%33 = fsub double %29, %32
%34 = fpext double %33 to x86_fp80
store x86_fp80 %34, x86_fp80* %11
%35 = load double*, double** %7
%36 = getelementptr inbounds double, double* %35, i64 0
%37 = load double, double* %36
%38 = load double*, double** %10
%39 = getelementptr inbounds double, double* %38, i64 0
%40 = load double, double* %39
%41 = fsub double %37, %40
%42 = fpext double %41 to x86_fp80
store x86_fp80 %42, x86_fp80* %12
%43 = load double*, double** %8
%44 = getelementptr inbounds double, double* %43, i64 0
%45 = load double, double* %44
%46 = load double*, double** %10
%47 = getelementptr inbounds double, double* %46, i64 0
%48 = load double, double* %47
%49 = fsub double %45, %48
%50 = fpext double %49 to x86_fp80
store x86_fp80 %50, x86_fp80* %13
%51 = load double*, double** %9
%52 = getelementptr inbounds double, double* %51, i64 0
%53 = load double, double* %52
%54 = load double*, double** %10
%55 = getelementptr inbounds double, double* %54, i64 0
%56 = load double, double* %55
%57 = fsub double %53, %56
%58 = fpext double %57 to x86_fp80
store x86_fp80 %58, x86_fp80* %14
%59 = load double*, double** %6
%60 = getelementptr inbounds double, double* %59, i64 1
%61 = load double, double* %60
%62 = load double*, double** %10
%63 = getelementptr inbounds double, double* %62, i64 1
%64 = load double, double* %63
%65 = fsub double %61, %64
%66 = fpext double %65 to x86_fp80
store x86_fp80 %66, x86_fp80* %15
%67 = load double*, double** %7
%68 = getelementptr inbounds double, double* %67, i64 1
%69 = load double, double* %68
%70 = load double*, double** %10
%71 = getelementptr inbounds double, double* %70, i64 1
%72 = load double, double* %71
%73 = fsub double %69, %72
%74 = fpext double %73 to x86_fp80
store x86_fp80 %74, x86_fp80* %16
%75 = load double*, double** %8
%76 = getelementptr inbounds double, double* %75, i64 1
%77 = load double, double* %76
%78 = load double*, double** %10
%79 = getelementptr inbounds double, double* %78, i64 1
%80 = load double, double* %79
%81 = fsub double %77, %80
%82 = fpext double %81 to x86_fp80
store x86_fp80 %82, x86_fp80* %17
%83 = load double*, double** %9
%84 = getelementptr inbounds double, double* %83, i64 1
%85 = load double, double* %84
%86 = load double*, double** %10
%87 = getelementptr inbounds double, double* %86, i64 1
%88 = load double, double* %87
%89 = fsub double %85, %88
%90 = fpext double %89 to x86_fp80
store x86_fp80 %90, x86_fp80* %18
%91 = load double*, double** %6
%92 = getelementptr inbounds double, double* %91, i64 2
%93 = load double, double* %92
%94 = load double*, double** %10
%95 = getelementptr inbounds double, double* %94, i64 2
%96 = load double, double* %95
%97 = fsub double %93, %96
%98 = fpext double %97 to x86_fp80
store x86_fp80 %98, x86_fp80* %19
%99 = load double*, double** %7
%100 = getelementptr inbounds double, double* %99, i64 2
%101 = load double, double* %100
%102 = load double*, double** %10
%103 = getelementptr inbounds double, double* %102, i64 2
%104 = load double, double* %103
%105 = fsub double %101, %104
%106 = fpext double %105 to x86_fp80
store x86_fp80 %106, x86_fp80* %20
%107 = load double*, double** %8
%108 = getelementptr inbounds double, double* %107, i64 2
%109 = load double, double* %108
%110 = load double*, double** %10
%111 = getelementptr inbounds double, double* %110, i64 2
%112 = load double, double* %111
%113 = fsub double %109, %112
%114 = fpext double %113 to x86_fp80
store x86_fp80 %114, x86_fp80* %21
%115 = load double*, double** %9
%116 = getelementptr inbounds double, double* %115, i64 2
%117 = load double, double* %116
%118 = load double*, double** %10
%119 = getelementptr inbounds double, double* %118, i64 2
%120 = load double, double* %119
%121 = fsub double %117, %120
%122 = fpext double %121 to x86_fp80
store x86_fp80 %122, x86_fp80* %22
%123 = load double*, double** %6
%124 = getelementptr inbounds double, double* %123, i64 3
%125 = load double, double* %124
%126 = load double*, double** %10
%127 = getelementptr inbounds double, double* %126, i64 3
%128 = load double, double* %127
%129 = fsub double %125, %128
%130 = fpext double %129 to x86_fp80
store x86_fp80 %130, x86_fp80* %23
%131 = load double*, double** %7
%132 = getelementptr inbounds double, double* %131, i64 3
%133 = load double, double* %132
%134 = load double*, double** %10
%135 = getelementptr inbounds double, double* %134, i64 3
%136 = load double, double* %135
%137 = fsub double %133, %136
%138 = fpext double %137 to x86_fp80
store x86_fp80 %138, x86_fp80* %24
%139 = load double*, double** %8
%140 = getelementptr inbounds double, double* %139, i64 3
%141 = load double, double* %140
%142 = load double*, double** %10
%143 = getelementptr inbounds double, double* %142, i64 3
%144 = load double, double* %143
%145 = fsub double %141, %144
%146 = fpext double %145 to x86_fp80
store x86_fp80 %146, x86_fp80* %25
%147 = load double*, double** %9
%148 = getelementptr inbounds double, double* %147, i64 3
%149 = load double, double* %148
%150 = load double*, double** %10
%151 = getelementptr inbounds double, double* %150, i64 3
%152 = load double, double* %151
%153 = fsub double %149, %152
%154 = fpext double %153 to x86_fp80
store x86_fp80 %154, x86_fp80* %26
%155 = load x86_fp80, x86_fp80* %11
%156 = load x86_fp80, x86_fp80* %12
%157 = load x86_fp80, x86_fp80* %13
%158 = load x86_fp80, x86_fp80* %14
%159 = load x86_fp80, x86_fp80* %15
%160 = load x86_fp80, x86_fp80* %16
%161 = load x86_fp80, x86_fp80* %17
%162 = load x86_fp80, x86_fp80* %18
%163 = load x86_fp80, x86_fp80* %19
%164 = load x86_fp80, x86_fp80* %20
%165 = load x86_fp80, x86_fp80* %21
%166 = load x86_fp80, x86_fp80* %22
%167 = load x86_fp80, x86_fp80* %23
%168 = load x86_fp80, x86_fp80* %24
%169 = load x86_fp80, x86_fp80* %25
%170 = load x86_fp80, x86_fp80* %26
%171 = call double @lldet4(x86_fp80 %155, x86_fp80 %156, x86_fp80 %157, x86_fp80 %158, x86_fp80 %159, x86_fp80 %160, x86_fp80 %161, x86_fp80 %162, x86_fp80 %163, x86_fp80 %164, x86_fp80 %165, x86_fp80 %166, x86_fp80 %167, x86_fp80 %168, x86_fp80 %169, x86_fp80 %170)
ret double %171
}

LLVM IR (-O2):
define double @orient4d(double* nocapture %0, double* nocapture %1, double* nocapture %2, double* nocapture %3, double* nocapture %4) {
%6 = load double, double* %0
%7 = load double, double* %4
%8 = fsub double %6, %7
%9 = fpext double %8 to x86_fp80
%10 = load double, double* %1
%11 = fsub double %10, %7
%12 = fpext double %11 to x86_fp80
%13 = load double, double* %2
%14 = fsub double %13, %7
%15 = fpext double %14 to x86_fp80
%16 = load double, double* %3
%17 = fsub double %16, %7
%18 = fpext double %17 to x86_fp80
%19 = getelementptr inbounds double, double* %0, i64 1
%20 = load double, double* %19
%21 = getelementptr inbounds double, double* %4, i64 1
%22 = load double, double* %21
%23 = fsub double %20, %22
%24 = fpext double %23 to x86_fp80
%25 = getelementptr inbounds double, double* %1, i64 1
%26 = load double, double* %25
%27 = fsub double %26, %22
%28 = fpext double %27 to x86_fp80
%29 = getelementptr inbounds double, double* %2, i64 1
%30 = load double, double* %29
%31 = fsub double %30, %22
%32 = fpext double %31 to x86_fp80
%33 = getelementptr inbounds double, double* %3, i64 1
%34 = load double, double* %33
%35 = fsub double %34, %22
%36 = fpext double %35 to x86_fp80
%37 = getelementptr inbounds double, double* %0, i64 2
%38 = load double, double* %37
%39 = getelementptr inbounds double, double* %4, i64 2
%40 = load double, double* %39
%41 = fsub double %38, %40
%42 = fpext double %41 to x86_fp80
%43 = getelementptr inbounds double, double* %1, i64 2
%44 = load double, double* %43
%45 = fsub double %44, %40
%46 = fpext double %45 to x86_fp80
%47 = getelementptr inbounds double, double* %2, i64 2
%48 = load double, double* %47
%49 = fsub double %48, %40
%50 = fpext double %49 to x86_fp80
%51 = getelementptr inbounds double, double* %3, i64 2
%52 = load double, double* %51
%53 = fsub double %52, %40
%54 = fpext double %53 to x86_fp80
%55 = getelementptr inbounds double, double* %0, i64 3
%56 = load double, double* %55
%57 = getelementptr inbounds double, double* %4, i64 3
%58 = load double, double* %57
%59 = fsub double %56, %58
%60 = fpext double %59 to x86_fp80
%61 = getelementptr inbounds double, double* %1, i64 3
%62 = load double, double* %61
%63 = fsub double %62, %58
%64 = fpext double %63 to x86_fp80
%65 = getelementptr inbounds double, double* %2, i64 3
%66 = load double, double* %65
%67 = fsub double %66, %58
%68 = fpext double %67 to x86_fp80
%69 = getelementptr inbounds double, double* %3, i64 3
%70 = load double, double* %69
%71 = fsub double %70, %58
%72 = fpext double %71 to x86_fp80
%73 = tail call double @lldet4(x86_fp80 %9, x86_fp80 %12, x86_fp80 %15, x86_fp80 %18, x86_fp80 %24, x86_fp80 %28, x86_fp80 %32, x86_fp80 %36, x86_fp80 %42, x86_fp80 %46, x86_fp80 %50, x86_fp80 %54, x86_fp80 %60, x86_fp80 %64, x86_fp80 %68, x86_fp80 %72)
ret double %73
}