#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 bd0(double, double);
double exp(double);
double log(double);
double log1p(double);
double stirlerr(double);
double dbinom_raw(double x, double n, double p, double q, int l) {
  double lf, lc;
  if (p == 0)
    return ((x == 0) ? 1.0 : 0.0);
  if (q == 0)
    return ((x == n) ? 1.0 : 0.0);
  if (x == 0) {
    if (n == 0)
      return 1.0;
    lc = (p < 0.1) ? -bd0(n, n * q) - n * p : n * log(q);
    return (exp(lc));
  }
  if (x == n) {
    lc = (q < 0.1) ? -bd0(n, n * p) - n * q : n * log(p);
    return (exp(lc));
  }
  if (x < 0 || x > n)
    return 0.0;
  lc = stirlerr(n) - stirlerr(x) - stirlerr(n - x) - bd0(x, n * p) -
       bd0(n - x, n * q);
  lf = 1.837877066409345483560659472811 + log(x) + log1p(-x / n);
  if (l == 1)
    return (lc - 0.5 * lf);
  return (exp(lc - 0.5 * lf));
}


x86 assembly (clang, -O0):
<dbinom_raw>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
mov    %edi,-0x2c(%rbp)
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11b8 <dbinom_raw+0x68>
jp     11b8 <dbinom_raw+0x68>
movsd  -0x10(%rbp),%xmm0
movsd  0xe81(%rip),%xmm3
xorps  %xmm2,%xmm2
cmpeqsd %xmm2,%xmm0
movaps %xmm0,%xmm1
andpd  %xmm3,%xmm1
andnpd %xmm2,%xmm0
orpd   %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  -0x28(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1203 <dbinom_raw+0xb3>
jp     1203 <dbinom_raw+0xb3>
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  0xe36(%rip),%xmm3
xorps  %xmm2,%xmm2
cmpeqsd %xmm1,%xmm0
movaps %xmm0,%xmm1
andpd  %xmm3,%xmm1
andnpd %xmm2,%xmm0
orpd   %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12f9 <dbinom_raw+0x1a9>
jp     12f9 <dbinom_raw+0x1a9>
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1245 <dbinom_raw+0xf5>
jp     1245 <dbinom_raw+0xf5>
movsd  0xddd(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  0xdc3(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    12b6 <dbinom_raw+0x166>
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
call   1030 <bd0@plt>
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    12db <dbinom_raw+0x18b>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
call   1050 <exp@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    13c3 <dbinom_raw+0x273>
jp     13c3 <dbinom_raw+0x273>
movsd  0xcf9(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    1380 <dbinom_raw+0x230>
movsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  -0x20(%rbp),%xmm1
call   1030 <bd0@plt>
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    13a5 <dbinom_raw+0x255>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x20(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x60(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
call   1050 <exp@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
ja     13e1 <dbinom_raw+0x291>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    13ee <dbinom_raw+0x29e>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  -0x18(%rbp),%xmm0
call   1040 <stirlerr@plt>
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
call   1040 <stirlerr@plt>
movaps %xmm0,%xmm1
movsd  -0x88(%rbp),%xmm0
ff
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x18(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
call   1040 <stirlerr@plt>
movaps %xmm0,%xmm1
movsd  -0x80(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  -0x20(%rbp),%xmm1
call   1030 <bd0@plt>
movaps %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x18(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
call   1030 <bd0@plt>
movaps %xmm0,%xmm1
movsd  -0x70(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1060 <log@plt>
movaps %xmm0,%xmm1
movsd  0xb5e(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
divsd  -0x18(%rbp),%xmm0
call   1070 <log1p@plt>
movaps %xmm0,%xmm1
movsd  -0x68(%rbp),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jne    1510 <dbinom_raw+0x3c0>
movsd  -0x40(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
movsd  0xb0a(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1534 <dbinom_raw+0x3e4>
movsd  -0x40(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
movsd  0xae6(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1050 <exp@plt>
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dbinom_raw>:
push   %rbx
sub    $0x50,%rsp
movapd %xmm0,%xmm4
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jne    116c <dbinom_raw+0x1c>
jp     116c <dbinom_raw+0x1c>
cmpeqsd %xmm0,%xmm4
jmp    1179 <dbinom_raw+0x29>
ucomisd %xmm0,%xmm3
jne    118b <dbinom_raw+0x3b>
jp     118b <dbinom_raw+0x3b>
cmpeqsd %xmm1,%xmm4
movsd  0xe97(%rip),%xmm0
andpd  %xmm4,%xmm0
add    $0x50,%rsp
pop    %rbx
ret
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm4
jne    11a9 <dbinom_raw+0x59>
jp     11a9 <dbinom_raw+0x59>
ucomisd %xmm0,%xmm1
jne    1205 <dbinom_raw+0xb5>
jp     1205 <dbinom_raw+0xb5>
movsd  0xe71(%rip),%xmm0
jmp    1185 <dbinom_raw+0x35>
ucomisd %xmm1,%xmm4
jne    1251 <dbinom_raw+0x101>
jp     1251 <dbinom_raw+0x101>
movsd  0xe4f(%rip),%xmm0
ucomisd %xmm3,%xmm0
movapd %xmm1,0x10(%rsp)
jbe    1369 <dbinom_raw+0x219>
mulsd  %xmm1,%xmm2
movapd %xmm1,%xmm0
movapd %xmm2,%xmm1
movsd  %xmm3,0x8(%rsp)
call   1030 <bd0@plt>
movapd 0x10(%rsp),%xmm1
xorpd  0xe2a(%rip),%xmm1
mulsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
jmp    1382 <dbinom_raw+0x232>
movsd  0xe03(%rip),%xmm0
ucomisd %xmm2,%xmm0
movapd %xmm1,0x10(%rsp)
jbe    136f <dbinom_raw+0x21f>
mulsd  %xmm1,%xmm3
movapd %xmm1,%xmm0
movapd %xmm3,%xmm1
movsd  %xmm2,0x28(%rsp)
call   1030 <bd0@plt>
movapd 0x10(%rsp),%xmm1
xorpd  0xdde(%rip),%xmm1
mulsd  0x28(%rsp),%xmm1
subsd  %xmm0,%xmm1
jmp    1382 <dbinom_raw+0x232>
xorpd  %xmm0,%xmm0
ucomisd %xmm4,%xmm0
ja     1185 <dbinom_raw+0x35>
ucomisd %xmm1,%xmm4
ja     1185 <dbinom_raw+0x35>
mov    %edi,%ebx
movapd %xmm1,%xmm0
movapd %xmm1,0x10(%rsp)
movsd  %xmm3,0x8(%rsp)
movapd %xmm4,0x30(%rsp)
movsd  %xmm2,0x28(%rsp)
call   1040 <stirlerr@plt>
movsd  %xmm0,(%rsp)
movapd 0x30(%rsp),%xmm0
call   1040 <stirlerr@plt>
movsd  (%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movapd 0x10(%rsp),%xmm0
subsd  0x30(%rsp),%xmm0
movapd %xmm0,0x40(%rsp)
call   1040 <stirlerr@plt>
movsd  (%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movsd  0x28(%rsp),%xmm1
mulsd  0x10(%rsp),%xmm1
movapd 0x30(%rsp),%xmm0
call   1030 <bd0@plt>
movsd  (%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movsd  0x8(%rsp),%xmm1
mulsd  0x10(%rsp),%xmm1
movapd 0x40(%rsp),%xmm0
call   1030 <bd0@plt>
movsd  (%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movapd 0x30(%rsp),%xmm0
call   1060 <log@plt>
addsd  0xcd4(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movapd 0x30(%rsp),%xmm0
xorpd  0xce0(%rip),%xmm0
divsd  0x10(%rsp),%xmm0
call   1070 <log1p@plt>
addsd  0x8(%rsp),%xmm0
mulsd  0xcaf(%rip),%xmm0
addsd  (%rsp),%xmm0
cmp    $0x1,%ebx
je     1185 <dbinom_raw+0x35>
jmp    1386 <dbinom_raw+0x236>
movapd %xmm2,%xmm0
jmp    1373 <dbinom_raw+0x223>
movapd %xmm3,%xmm0
call   1060 <log@plt>
movapd 0x10(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
add    $0x50,%rsp
pop    %rbx
jmp    1050 <exp@plt>

LLVM IR (-O0):
define double @dbinom_raw(double %0, double %1, double %2, double %3, i32 %4) {
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca double
%13 = alloca double
store double %0, double* %7
store double %1, double* %8
store double %2, double* %9
store double %3, double* %10
store i32 %4, i32* %11
%14 = load double, double* %9
%15 = fcmp oeq double %14, 0.000000e+00
br i1 %15, label %16, label %21
16: ; preds = %5
%17 = load double, double* %7
%18 = fcmp oeq double %17, 0.000000e+00
%19 = zext i1 %18 to i64
%20 = select i1 %18, double 1.000000e+00, double 0.000000e+00
store double %20, double* %6
br label %140
21: ; preds = %5
%22 = load double, double* %10
%23 = fcmp oeq double %22, 0.000000e+00
br i1 %23, label %24, label %30
24: ; preds = %21
%25 = load double, double* %7
%26 = load double, double* %8
%27 = fcmp oeq double %25, %26
%28 = zext i1 %27 to i64
%29 = select i1 %27, double 1.000000e+00, double 0.000000e+00
store double %29, double* %6
br label %140
30: ; preds = %21
%31 = load double, double* %7
%32 = fcmp oeq double %31, 0.000000e+00
br i1 %32, label %33, label %60
33: ; preds = %30
%34 = load double, double* %8
%35 = fcmp oeq double %34, 0.000000e+00
br i1 %35, label %36, label %37
36: ; preds = %33
store double 1.000000e+00, double* %6
br label %140
37: ; preds = %33
%38 = load double, double* %9
%39 = fcmp olt double %38, 1.000000e-01
br i1 %39, label %40, label %51
40: ; preds = %37
%41 = load double, double* %8
%42 = load double, double* %8
%43 = load double, double* %10
%44 = fmul double %42, %43
%45 = call double @bd0(double %41, double %44)
%46 = fneg double %45
%47 = load double, double* %8
%48 = load double, double* %9
%49 = fneg double %47
%50 = call double @llvm.fmuladd.f64(double %49, double %48, double %46)
br label %56
51: ; preds = %37
%52 = load double, double* %8
%53 = load double, double* %10
%54 = call double @log(double %53)
%55 = fmul double %52, %54
br label %56
56: ; preds = %51, %40
%57 = phi double [ %50, %40 ], [ %55, %51 ]
store double %57, double* %13
%58 = load double, double* %13
%59 = call double @exp(double %58)
store double %59, double* %6
br label %140
60: ; preds = %30
%61 = load double, double* %7
%62 = load double, double* %8
%63 = fcmp oeq double %61, %62
br i1 %63, label %64, label %87
64: ; preds = %60
%65 = load double, double* %10
%66 = fcmp olt double %65, 1.000000e-01
br i1 %66, label %67, label %78
67: ; preds = %64
%68 = load double, double* %8
%69 = load double, double* %8
%70 = load double, double* %9
%71 = fmul double %69, %70
%72 = call double @bd0(double %68, double %71)
%73 = fneg double %72
%74 = load double, double* %8
%75 = load double, double* %10
%76 = fneg double %74
%77 = call double @llvm.fmuladd.f64(double %76, double %75, double %73)
br label %83
78: ; preds = %64
%79 = load double, double* %8
%80 = load double, double* %9
%81 = call double @log(double %80)
%82 = fmul double %79, %81
br label %83
83: ; preds = %78, %67
%84 = phi double [ %77, %67 ], [ %82, %78 ]
store double %84, double* %13
%85 = load double, double* %13
%86 = call double @exp(double %85)
store double %86, double* %6
br label %140
87: ; preds = %60
%88 = load double, double* %7
%89 = fcmp olt double %88, 0.000000e+00
br i1 %89, label %94, label %90
90: ; preds = %87
%91 = load double, double* %7
%92 = load double, double* %8
%93 = fcmp ogt double %91, %92
br i1 %93, label %94, label %95
94: ; preds = %90, %87
store double 0.000000e+00, double* %6
br label %140
95: ; preds = %90
%96 = load double, double* %8
%97 = call double @stirlerr(double %96)
%98 = load double, double* %7
%99 = call double @stirlerr(double %98)
%100 = fsub double %97, %99
%101 = load double, double* %8
%102 = load double, double* %7
%103 = fsub double %101, %102
%104 = call double @stirlerr(double %103)
%105 = fsub double %100, %104
%106 = load double, double* %7
%107 = load double, double* %8
%108 = load double, double* %9
%109 = fmul double %107, %108
%110 = call double @bd0(double %106, double %109)
%111 = fsub double %105, %110
%112 = load double, double* %8
%113 = load double, double* %7
%114 = fsub double %112, %113
%115 = load double, double* %8
%116 = load double, double* %10
%117 = fmul double %115, %116
%118 = call double @bd0(double %114, double %117)
%119 = fsub double %111, %118
store double %119, double* %13
%120 = load double, double* %7
%121 = call double @log(double %120)
%122 = fadd double 0x3FFD67F1C864BEB5, %121
%123 = load double, double* %7
%124 = fneg double %123
%125 = load double, double* %8
%126 = fdiv double %124, %125
%127 = call double @log1p(double %126)
%128 = fadd double %122, %127
store double %128, double* %12
%129 = load i32, i32* %11
%130 = icmp eq i32 %129, 1
br i1 %130, label %131, label %135
131: ; preds = %95
%132 = load double, double* %13
%133 = load double, double* %12
%134 = call double @llvm.fmuladd.f64(double -5.000000e-01, double %133, double %132)
store double %134, double* %6
br label %140
135: ; preds = %95
%136 = load double, double* %13
%137 = load double, double* %12
%138 = call double @llvm.fmuladd.f64(double -5.000000e-01, double %137, double %136)
%139 = call double @exp(double %138)
store double %139, double* %6
br label %140
140: ; preds = %135, %131, %94, %83, %56, %36, %24, %16
%141 = load double, double* %6
ret double %141
}

LLVM IR (-O2):
define double @dbinom_raw(double %0, double %1, double %2, double %3, i32 %4) {
%6 = fcmp oeq double %2, 0.000000e+00
br i1 %6, label %7, label %10
7: ; preds = %5
%8 = fcmp oeq double %0, 0.000000e+00
%9 = select i1 %8, double 1.000000e+00, double 0.000000e+00
br label %76
10: ; preds = %5
%11 = fcmp oeq double %3, 0.000000e+00
br i1 %11, label %12, label %15
12: ; preds = %10
%13 = fcmp oeq double %0, %1
%14 = select i1 %13, double 1.000000e+00, double 0.000000e+00
br label %76
15: ; preds = %10
%16 = fcmp oeq double %0, 0.000000e+00
br i1 %16, label %17, label %33
17: ; preds = %15
%18 = fcmp oeq double %1, 0.000000e+00
br i1 %18, label %76, label %19
19: ; preds = %17
%20 = fcmp olt double %2, 1.000000e-01
br i1 %20, label %21, label %27
21: ; preds = %19
%22 = fmul double %1, %3
%23 = tail call double @bd0(double %1, double %22)
%24 = fneg double %23
%25 = fneg double %1
%26 = tail call double @llvm.fmuladd.f64(double %25, double %2, double %24)
br label %30
27: ; preds = %19
%28 = tail call double @log(double %3)
%29 = fmul double %28, %1
br label %30
30: ; preds = %27, %21
%31 = phi double [ %26, %21 ], [ %29, %27 ]
%32 = tail call double @exp(double %31)
br label %76
33: ; preds = %15
%34 = fcmp oeq double %0, %1
br i1 %34, label %35, label %49
35: ; preds = %33
%36 = fcmp olt double %3, 1.000000e-01
br i1 %36, label %37, label %43
37: ; preds = %35
%38 = fmul double %1, %2
%39 = tail call double @bd0(double %1, double %38)
%40 = fneg double %39
%41 = fneg double %1
%42 = tail call double @llvm.fmuladd.f64(double %41, double %3, double %40)
br label %46
43: ; preds = %35
%44 = tail call double @log(double %2)
%45 = fmul double %44, %1
br label %46
46: ; preds = %43, %37
%47 = phi double [ %42, %37 ], [ %45, %43 ]
%48 = tail call double @exp(double %47)
br label %76
49: ; preds = %33
%50 = fcmp olt double %0, 0.000000e+00
%51 = fcmp ogt double %0, %1
%52 = or i1 %50, %51
br i1 %52, label %76, label %53
53: ; preds = %49
%54 = tail call double @stirlerr(double %1)
%55 = tail call double @stirlerr(double %0)
%56 = fsub double %54, %55
%57 = fsub double %1, %0
%58 = tail call double @stirlerr(double %57)
%59 = fsub double %56, %58
%60 = fmul double %1, %2
%61 = tail call double @bd0(double %0, double %60)
%62 = fsub double %59, %61
%63 = fmul double %1, %3
%64 = tail call double @bd0(double %57, double %63)
%65 = fsub double %62, %64
%66 = tail call double @log(double %0)
%67 = fadd double %66, 0x3FFD67F1C864BEB5
%68 = fneg double %0
%69 = fdiv double %68, %1
%70 = tail call double @log1p(double %69)
%71 = fadd double %67, %70
%72 = icmp eq i32 %4, 1
%73 = tail call double @llvm.fmuladd.f64(double %71, double -5.000000e-01, double %65)
br i1 %72, label %76, label %74
74: ; preds = %53
%75 = tail call double @exp(double %73)
br label %76
76: ; preds = %53, %49, %17, %74, %46, %30, %12, %7
%77 = phi double [ %9, %7 ], [ %14, %12 ], [ %32, %30 ], [ %48, %46 ], [ %75, %74 ], [ 1.000000e+00, %17 ], [ 0.000000e+00, %49 ], [ %73, %53 ]
ret double %77
}