double interp_weno5(double phim2, double phim1, double phi, double phip1,
                    double phip2) {
  const double p0 =
      (1.0 / 3.0) * phim2 - (7.0 / 6.0) * phim1 + (11.0 / 6.0) * phi;
  const double p1 =
      (-1.0 / 6.0) * phim1 + (5.0 / 6.0) * phi + (1.0 / 3.0) * phip1;
  const double p2 =
      (1.0 / 3.0) * phi + (5.0 / 6.0) * phip1 - (1.0 / 6.0) * phip2;
  const double beta2 =
      (13.0 / 12.0 * (phi - 2.0 * phip1 + phip2) * (phi - 2.0 * phip1 + phip2) +
       0.25 * (3.0 * phi - 4.0 * phip1 + phip2) *
           (3.0 * phi - 4.0 * phip1 + phip2));
  const double beta1 =
      (13.0 / 12.0 * (phim1 - 2.0 * phi + phip1) * (phim1 - 2.0 * phi + phip1) +
       0.25 * (phim1 - phip1) * (phim1 - phip1));
  const double beta0 =
      (13.0 / 12.0 * (phim2 - 2.0 * phim1 + phi) * (phim2 - 2.0 * phim1 + phi) +
       0.25 * (phim2 - 4.0 * phim1 + 3.0 * phi) *
           (phim2 - 4.0 * phim1 + 3.0 * phi));
  const double alpha0 = 0.1 / ((beta0 + 1e-10) * (beta0 + 1e-10));
  const double alpha1 = 0.6 / ((beta1 + 1e-10) * (beta1 + 1e-10));
  const double alpha2 = 0.3 / ((beta2 + 1e-10) * (beta2 + 1e-10));
  const double alpha_sum_inv = 1.0 / (alpha0 + alpha1 + alpha2);
  const double w0 = alpha0 * alpha_sum_inv;
  const double w1 = alpha1 * alpha_sum_inv;
  const double w2 = alpha2 * alpha_sum_inv;
  return w0 * p0 + w1 * p1 + w2 * p2;
}


x86 assembly (clang, -O0):
<interp_weno5>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  0xf42(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  0xf06(%rip),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  0xf01(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  0xedf(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  0xec2(%rip),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x20(%rbp),%xmm0
movsd  0xeb5(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x18(%rbp),%xmm1
movsd  0xea3(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  0xe8e(%rip),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x28(%rbp),%xmm0
movsd  0xe71(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm1
addsd  -0x28(%rbp),%xmm1
movsd  0xe35(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm1
addsd  %xmm1,%xmm1
subsd  %xmm1,%xmm2
addsd  -0x28(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  0xe15(%rip),%xmm1
mulsd  -0x20(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0xdd1(%rip),%xmm4
mulsd  %xmm4,%xmm3
addsd  %xmm1,%xmm3
addsd  -0x28(%rbp),%xmm3
movsd  0xdcc(%rip),%xmm1
mulsd  %xmm3,%xmm1
movsd  -0x18(%rbp),%xmm3
movsd  0xdcb(%rip),%xmm4
mulsd  -0x20(%rbp),%xmm4
movq   %xmm4,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm4
movsd  0xd87(%rip),%xmm5
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
addsd  -0x28(%rbp),%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm1
addsd  -0x20(%rbp),%xmm1
movsd  0xd62(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm1
addsd  %xmm1,%xmm1
subsd  %xmm1,%xmm2
addsd  -0x20(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm3
subsd  -0x20(%rbp),%xmm3
movsd  0xd2d(%rip),%xmm1
mulsd  %xmm3,%xmm1
movsd  -0x10(%rbp),%xmm3
subsd  -0x20(%rbp),%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
addsd  %xmm0,%xmm0
subsd  %xmm0,%xmm1
addsd  -0x18(%rbp),%xmm1
movsd  0xcf7(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x8(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm1
addsd  %xmm1,%xmm1
subsd  %xmm1,%xmm2
addsd  -0x18(%rbp),%xmm2
movsd  -0x8(%rbp),%xmm3
movsd  -0x10(%rbp),%xmm1
movsd  0xcba(%rip),%xmm4
mulsd  %xmm4,%xmm1
addsd  %xmm3,%xmm1
movsd  -0x18(%rbp),%xmm3
movsd  0xc9d(%rip),%xmm4
mulsd  %xmm4,%xmm3
addsd  %xmm1,%xmm3
movsd  0xc9d(%rip),%xmm1
mulsd  %xmm3,%xmm1
movsd  -0x8(%rbp),%xmm3
movsd  -0x10(%rbp),%xmm4
movsd  0xc7f(%rip),%xmm5
mulsd  %xmm5,%xmm4
addsd  %xmm3,%xmm4
movsd  -0x18(%rbp),%xmm3
movsd  0xc62(%rip),%xmm5
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xc29(%rip),%xmm1
addsd  -0x58(%rbp),%xmm1
movsd  0xc1c(%rip),%xmm0
addsd  -0x58(%rbp),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xc1b(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xbfa(%rip),%xmm1
addsd  -0x50(%rbp),%xmm1
movsd  0xbed(%rip),%xmm0
addsd  -0x50(%rbp),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xbe4(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xbcb(%rip),%xmm1
addsd  -0x48(%rbp),%xmm1
movsd  0xbbe(%rip),%xmm0
addsd  -0x48(%rbp),%xmm0
mulsd  %xmm0,%xmm1
movsd  0xba5(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x60(%rbp),%xmm1
addsd  -0x68(%rbp),%xmm1
addsd  -0x70(%rbp),%xmm1
movsd  0xb7d(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x60(%rbp),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x68(%rbp),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x70(%rbp),%xmm0
mulsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x80(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm2
movsd  -0x88(%rbp),%xmm0
ff
mulsd  -0x38(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x40(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<interp_weno5>:
movsd  0xef7(%rip),%xmm9
mulsd  %xmm1,%xmm9
movsd  0xef1(%rip),%xmm11
movapd %xmm1,%xmm10
movsd  0xf03(%rip),%xmm8
movapd %xmm1,%xmm13
movapd %xmm1,%xmm12
movapd %xmm1,%xmm14
movapd %xmm0,%xmm15
mulsd  %xmm8,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm11,%xmm0
addsd  %xmm9,%xmm0
movsd  0xebb(%rip),%xmm9
mulsd  %xmm2,%xmm9
addsd  %xmm0,%xmm9
movsd  0xeb1(%rip),%xmm0
movapd %xmm2,%xmm6
mulsd  %xmm0,%xmm6
movsd  0xea9(%rip),%xmm5
mulsd  %xmm5,%xmm10
addsd  %xmm6,%xmm10
mulsd  %xmm3,%xmm0
movapd %xmm2,%xmm6
addsd  %xmm2,%xmm6
subsd  %xmm6,%xmm13
movapd %xmm3,%xmm6
addsd  %xmm3,%xmm13
subsd  %xmm3,%xmm12
unpcklpd %xmm3,%xmm14
mulsd  %xmm11,%xmm3
addsd  %xmm10,%xmm3
mulsd  %xmm2,%xmm11
addsd  %xmm0,%xmm11
mulsd  %xmm4,%xmm5
addsd  %xmm11,%xmm5
mulsd  %xmm8,%xmm6
movsd  0xe60(%rip),%xmm8
mulsd  %xmm2,%xmm8
addsd  %xmm8,%xmm6
addsd  %xmm4,%xmm6
movsd  0xe52(%rip),%xmm7
mulsd  %xmm13,%xmm7
movsd  0xe4d(%rip),%xmm0
mulsd  %xmm12,%xmm0
mulsd  %xmm12,%xmm0
mulsd  %xmm13,%xmm7
addsd  %xmm0,%xmm7
unpcklpd %xmm2,%xmm15
addpd  %xmm14,%xmm14
subpd  %xmm14,%xmm15
unpcklpd %xmm4,%xmm2
addpd  %xmm15,%xmm2
movapd 0xe3a(%rip),%xmm0
mulpd  %xmm2,%xmm0
addsd  %xmm8,%xmm1
unpcklpd %xmm6,%xmm1
movapd 0xe35(%rip),%xmm4
mulpd  %xmm1,%xmm4
mulpd  %xmm1,%xmm4
mulpd  %xmm2,%xmm0
addpd  %xmm4,%xmm0
addsd  0xdf5(%rip),%xmm7
mulsd  %xmm7,%xmm7
movsd  0xdf1(%rip),%xmm1
divsd  %xmm7,%xmm1
addpd  0xe15(%rip),%xmm0
mulpd  %xmm0,%xmm0
movapd 0xe19(%rip),%xmm2
divpd  %xmm0,%xmm2
movapd %xmm2,%xmm4
addsd  %xmm1,%xmm4
movapd %xmm2,%xmm6
unpckhpd %xmm2,%xmm6
addsd  %xmm6,%xmm4
movsd  0xdc1(%rip),%xmm0
divsd  %xmm4,%xmm0
mulsd  %xmm0,%xmm2
mulsd  %xmm9,%xmm2
mulsd  %xmm0,%xmm1
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm6,%xmm0
mulsd  %xmm5,%xmm0
addsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @interp_weno5(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 double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
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
%24 = load double, double* %6
%25 = load double, double* %7
%26 = fmul double 0x3FF2AAAAAAAAAAAB, %25
%27 = fneg double %26
%28 = call double @llvm.fmuladd.f64(double 0x3FD5555555555555, double %24, double %27)
%29 = load double, double* %8
%30 = call double @llvm.fmuladd.f64(double 0x3FFD555555555555, double %29, double %28)
store double %30, double* %11
%31 = load double, double* %7
%32 = load double, double* %8
%33 = fmul double 0x3FEAAAAAAAAAAAAB, %32
%34 = call double @llvm.fmuladd.f64(double 0xBFC5555555555555, double %31, double %33)
%35 = load double, double* %9
%36 = call double @llvm.fmuladd.f64(double 0x3FD5555555555555, double %35, double %34)
store double %36, double* %12
%37 = load double, double* %8
%38 = load double, double* %9
%39 = fmul double 0x3FEAAAAAAAAAAAAB, %38
%40 = call double @llvm.fmuladd.f64(double 0x3FD5555555555555, double %37, double %39)
%41 = load double, double* %10
%42 = call double @llvm.fmuladd.f64(double 0xBFC5555555555555, double %41, double %40)
store double %42, double* %13
%43 = load double, double* %8
%44 = load double, double* %9
%45 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %44, double %43)
%46 = load double, double* %10
%47 = fadd double %45, %46
%48 = fmul double 0x3FF1555555555555, %47
%49 = load double, double* %8
%50 = load double, double* %9
%51 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %50, double %49)
%52 = load double, double* %10
%53 = fadd double %51, %52
%54 = load double, double* %8
%55 = load double, double* %9
%56 = fmul double 4.000000e+00, %55
%57 = fneg double %56
%58 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %54, double %57)
%59 = load double, double* %10
%60 = fadd double %58, %59
%61 = fmul double 2.500000e-01, %60
%62 = load double, double* %8
%63 = load double, double* %9
%64 = fmul double 4.000000e+00, %63
%65 = fneg double %64
%66 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %62, double %65)
%67 = load double, double* %10
%68 = fadd double %66, %67
%69 = fmul double %61, %68
%70 = call double @llvm.fmuladd.f64(double %48, double %53, double %69)
store double %70, double* %14
%71 = load double, double* %7
%72 = load double, double* %8
%73 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %72, double %71)
%74 = load double, double* %9
%75 = fadd double %73, %74
%76 = fmul double 0x3FF1555555555555, %75
%77 = load double, double* %7
%78 = load double, double* %8
%79 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %78, double %77)
%80 = load double, double* %9
%81 = fadd double %79, %80
%82 = load double, double* %7
%83 = load double, double* %9
%84 = fsub double %82, %83
%85 = fmul double 2.500000e-01, %84
%86 = load double, double* %7
%87 = load double, double* %9
%88 = fsub double %86, %87
%89 = fmul double %85, %88
%90 = call double @llvm.fmuladd.f64(double %76, double %81, double %89)
store double %90, double* %15
%91 = load double, double* %6
%92 = load double, double* %7
%93 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %92, double %91)
%94 = load double, double* %8
%95 = fadd double %93, %94
%96 = fmul double 0x3FF1555555555555, %95
%97 = load double, double* %6
%98 = load double, double* %7
%99 = call double @llvm.fmuladd.f64(double -2.000000e+00, double %98, double %97)
%100 = load double, double* %8
%101 = fadd double %99, %100
%102 = load double, double* %6
%103 = load double, double* %7
%104 = call double @llvm.fmuladd.f64(double -4.000000e+00, double %103, double %102)
%105 = load double, double* %8
%106 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %105, double %104)
%107 = fmul double 2.500000e-01, %106
%108 = load double, double* %6
%109 = load double, double* %7
%110 = call double @llvm.fmuladd.f64(double -4.000000e+00, double %109, double %108)
%111 = load double, double* %8
%112 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %111, double %110)
%113 = fmul double %107, %112
%114 = call double @llvm.fmuladd.f64(double %96, double %101, double %113)
store double %114, double* %16
%115 = load double, double* %16
%116 = fadd double %115, 1.000000e-10
%117 = load double, double* %16
%118 = fadd double %117, 1.000000e-10
%119 = fmul double %116, %118
%120 = fdiv double 1.000000e-01, %119
store double %120, double* %17
%121 = load double, double* %15
%122 = fadd double %121, 1.000000e-10
%123 = load double, double* %15
%124 = fadd double %123, 1.000000e-10
%125 = fmul double %122, %124
%126 = fdiv double 6.000000e-01, %125
store double %126, double* %18
%127 = load double, double* %14
%128 = fadd double %127, 1.000000e-10
%129 = load double, double* %14
%130 = fadd double %129, 1.000000e-10
%131 = fmul double %128, %130
%132 = fdiv double 3.000000e-01, %131
store double %132, double* %19
%133 = load double, double* %17
%134 = load double, double* %18
%135 = fadd double %133, %134
%136 = load double, double* %19
%137 = fadd double %135, %136
%138 = fdiv double 1.000000e+00, %137
store double %138, double* %20
%139 = load double, double* %17
%140 = load double, double* %20
%141 = fmul double %139, %140
store double %141, double* %21
%142 = load double, double* %18
%143 = load double, double* %20
%144 = fmul double %142, %143
store double %144, double* %22
%145 = load double, double* %19
%146 = load double, double* %20
%147 = fmul double %145, %146
store double %147, double* %23
%148 = load double, double* %21
%149 = load double, double* %11
%150 = load double, double* %22
%151 = load double, double* %12
%152 = fmul double %150, %151
%153 = call double @llvm.fmuladd.f64(double %148, double %149, double %152)
%154 = load double, double* %23
%155 = load double, double* %13
%156 = call double @llvm.fmuladd.f64(double %154, double %155, double %153)
ret double %156
}

LLVM IR (-O2):
define double @interp_weno5(double %0, double %1, double %2, double %3, double %4) {
%6 = fmul double %1, 0xBFF2AAAAAAAAAAAB
%7 = tail call double @llvm.fmuladd.f64(double %0, double 0x3FD5555555555555, double %6)
%8 = tail call double @llvm.fmuladd.f64(double %2, double 0x3FFD555555555555, double %7)
%9 = fmul double %2, 0x3FEAAAAAAAAAAAAB
%10 = tail call double @llvm.fmuladd.f64(double %1, double 0xBFC5555555555555, double %9)
%11 = tail call double @llvm.fmuladd.f64(double %3, double 0x3FD5555555555555, double %10)
%12 = fmul double %3, 0x3FEAAAAAAAAAAAAB
%13 = tail call double @llvm.fmuladd.f64(double %2, double 0x3FD5555555555555, double %12)
%14 = tail call double @llvm.fmuladd.f64(double %4, double 0xBFC5555555555555, double %13)
%15 = fmul double %3, -4.000000e+00
%16 = tail call double @llvm.fmuladd.f64(double %2, double 3.000000e+00, double %15)
%17 = fadd double %16, %4
%18 = tail call double @llvm.fmuladd.f64(double %2, double -2.000000e+00, double %1)
%19 = fadd double %18, %3
%20 = fmul double %19, 0x3FF1555555555555
%21 = fsub double %1, %3
%22 = fmul double %21, 2.500000e-01
%23 = fmul double %21, %22
%24 = tail call double @llvm.fmuladd.f64(double %20, double %19, double %23)
%25 = insertelement <2 x double> poison, double %1, i64 0
%26 = insertelement <2 x double> %25, double %3, i64 1
%27 = insertelement <2 x double> poison, double %0, i64 0
%28 = insertelement <2 x double> %27, double %2, i64 1
%29 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %26, <2 x double> <double -2.000000e+00, double -2.000000e+00>, <2 x double> %28)
%30 = insertelement <2 x double> poison, double %2, i64 0
%31 = insertelement <2 x double> %30, double %4, i64 1
%32 = fadd <2 x double> %29, %31
%33 = fmul <2 x double> %32, <double 0x3FF1555555555555, double 0x3FF1555555555555>
%34 = tail call double @llvm.fmuladd.f64(double %1, double -4.000000e+00, double %0)
%35 = tail call double @llvm.fmuladd.f64(double %2, double 3.000000e+00, double %34)
%36 = insertelement <2 x double> poison, double %35, i64 0
%37 = insertelement <2 x double> %36, double %17, i64 1
%38 = fmul <2 x double> %37, <double 2.500000e-01, double 2.500000e-01>
%39 = fmul <2 x double> %37, %38
%40 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %33, <2 x double> %32, <2 x double> %39)
%41 = fadd double %24, 1.000000e-10
%42 = fmul double %41, %41
%43 = fdiv double 6.000000e-01, %42
%44 = fadd <2 x double> %40, <double 1.000000e-10, double 1.000000e-10>
%45 = fmul <2 x double> %44, %44
%46 = fdiv <2 x double> <double 1.000000e-01, double 3.000000e-01>, %45
%47 = extractelement <2 x double> %46, i64 0
%48 = fadd double %47, %43
%49 = extractelement <2 x double> %46, i64 1
%50 = fadd double %48, %49
%51 = fdiv double 1.000000e+00, %50
%52 = fmul double %47, %51
%53 = fmul double %43, %51
%54 = fmul double %49, %51
%55 = fmul double %11, %53
%56 = tail call double @llvm.fmuladd.f64(double %52, double %8, double %55)
%57 = tail call double @llvm.fmuladd.f64(double %54, double %14, double %56)
ret double %57
}