#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 cbnd(double const, double const, double const);
double exp(double);
double gbs(int, double, double, double, double, double, double);
double log(double);
double sqrt(double const);
double ExtendibleWriter(int fCall, double S, double X1, double X2, double t1,
                        double T2, double r, double b, double v) {
  const double vv = v * v;
  const double Rho = sqrt(t1 / T2);
  const double z1 = (log(S / X2) + (b + vv / 2.0) * T2) / (v * sqrt(T2));
  const double z2 = (log(S / X1) + (b + vv / 2.0) * t1) / (v * sqrt(t1));
  const double vt1 = sqrt(vv * t1);
  const double vT2 = sqrt(vv * T2);
  const double res1 = gbs(fCall, S, X1, t1, r, b, v);
  double result;
  if (fCall) {
    result = res1 + S * exp((b - r) * T2) * cbnd(z1, -z2, -Rho) -
             X2 * exp(-r * T2) * cbnd(z1 - vT2, -z2 + vt1, -Rho);
  } else {
    result = res1 + X2 * exp(-r * T2) * cbnd(-z1 + vT2, z2 - vt1, -Rho) -
             S * exp((b - r) * T2) * cbnd(-z1, z2, -Rho);
  }
  return result;
}


x86 assembly (clang, -O0):
<ExtendibleWriter>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
mov    %edi,-0x4(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  %xmm6,-0x40(%rbp)
movsd  %xmm7,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x20(%rbp),%xmm0
call   1050 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  0xe33(%rip),%xmm3
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm0
movsd  -0x30(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  -0xa8(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
call   1050 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  0xdbb(%rip),%xmm3
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm0
movsd  -0x28(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x28(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  -0x98(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x90(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x50(%rbp),%xmm0
mulsd  -0x28(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  %xmm0,-0x70(%rbp)
movsd  -0x50(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  %xmm0,-0x78(%rbp)
mov    -0x4(%rbp),%edi
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm3
movsd  -0x40(%rbp),%xmm4
movsd  -0x48(%rbp),%xmm5
call   1070 <gbs@plt>
movsd  %xmm0,-0x80(%rbp)
cmpl   $0x0,-0x4(%rbp)
je     1475 <ExtendibleWriter+0x325>
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  -0x58(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
call   1030 <cbnd@plt>
movsd  -0xd0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xc0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
subsd  -0x78(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
addsd  -0x70(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
call   1030 <cbnd@plt>
movsd  -0xb8(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xb0(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
jmp    15ef <ExtendibleWriter+0x49f>
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0x108(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
addsd  -0x78(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
subsd  -0x70(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
call   1030 <cbnd@plt>
movsd  -0x100(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xf8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
call   1040 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xf0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x68(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
call   1030 <cbnd@plt>
movsd  -0xe8(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xe0(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ExtendibleWriter>:
push   %rbx
sub    $0xb0,%rsp
movsd  %xmm4,(%rsp)
movsd  %xmm3,0x10(%rsp)
movsd  %xmm1,0x58(%rsp)
movapd %xmm0,%xmm8
mov    %edi,%ebx
movapd %xmm7,%xmm0
mulsd  %xmm7,%xmm0
movsd  %xmm0,0x18(%rsp)
movapd %xmm3,%xmm0
divsd  %xmm4,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
movsd  %xmm8,0x8(%rsp)
movaps %xmm5,0x90(%rsp)
movsd  %xmm2,0x88(%rsp)
movsd  %xmm6,0x30(%rsp)
movsd  %xmm7,0x80(%rsp)
jb     11bd <ExtendibleWriter+0x6d>
sqrtsd %xmm0,%xmm0
jmp    11d2 <ExtendibleWriter+0x82>
call   1060 <sqrt@plt>
movsd  0x8(%rsp),%xmm8
movsd  0x88(%rsp),%xmm2
movapd %xmm0,0x60(%rsp)
divsd  %xmm2,%xmm8
movapd %xmm8,%xmm0
call   1050 <log@plt>
movapd %xmm0,%xmm2
movsd  0xe0d(%rip),%xmm1
mulsd  0x18(%rsp),%xmm1
movsd  (%rsp),%xmm0
ucomisd 0xe02(%rip),%xmm0
movsd  %xmm2,0xa8(%rsp)
jb     1217 <ExtendibleWriter+0xc7>
sqrtsd %xmm0,%xmm0
jmp    1228 <ExtendibleWriter+0xd8>
movapd %xmm1,0x20(%rsp)
call   1060 <sqrt@plt>
movapd 0x20(%rsp),%xmm1
movsd  %xmm0,0x38(%rsp)
movsd  0x8(%rsp),%xmm0
movsd  0x30(%rsp),%xmm2
addsd  %xmm2,%xmm1
movapd %xmm1,0x20(%rsp)
divsd  0x58(%rsp),%xmm0
call   1050 <log@plt>
xorpd  %xmm1,%xmm1
movsd  0x10(%rsp),%xmm3
ucomisd %xmm1,%xmm3
movsd  %xmm0,0xa0(%rsp)
jb     1273 <ExtendibleWriter+0x123>
xorps  %xmm8,%xmm8
sqrtsd %xmm3,%xmm8
jmp    128b <ExtendibleWriter+0x13b>
movapd %xmm3,%xmm0
call   1060 <sqrt@plt>
xorpd  %xmm1,%xmm1
movsd  0x10(%rsp),%xmm3
movapd %xmm0,%xmm8
movsd  (%rsp),%xmm4
movapd 0x20(%rsp),%xmm7
movsd  0x18(%rsp),%xmm2
movapd %xmm7,%xmm6
mulsd  %xmm4,%xmm6
mulsd  %xmm3,%xmm7
movapd %xmm2,%xmm0
mulsd  %xmm3,%xmm0
ucomisd %xmm1,%xmm0
jb     12bc <ExtendibleWriter+0x16c>
sqrtsd %xmm0,%xmm0
jmp    12f2 <ExtendibleWriter+0x1a2>
movapd %xmm7,0x20(%rsp)
movapd %xmm6,0x40(%rsp)
movsd  %xmm8,0x70(%rsp)
call   1060 <sqrt@plt>
movsd  0x70(%rsp),%xmm8
movsd  0x18(%rsp),%xmm2
movapd 0x40(%rsp),%xmm6
movapd 0x20(%rsp),%xmm7
movsd  (%rsp),%xmm4
movsd  %xmm0,0x78(%rsp)
movsd  0x80(%rsp),%xmm5
movsd  0x38(%rsp),%xmm1
movsd  0xa8(%rsp),%xmm0
movsd  0xa0(%rsp),%xmm3
addsd  %xmm0,%xmm6
mulsd  %xmm5,%xmm1
addsd  %xmm3,%xmm7
mulsd  %xmm5,%xmm8
mulsd  %xmm4,%xmm2
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jb     1341 <ExtendibleWriter+0x1f1>
xorps  %xmm0,%xmm0
sqrtsd %xmm2,%xmm0
jmp    1385 <ExtendibleWriter+0x235>
movapd %xmm2,%xmm0
movapd %xmm7,0x20(%rsp)
movapd %xmm6,0x40(%rsp)
movsd  %xmm1,0x38(%rsp)
movsd  %xmm8,0x70(%rsp)
call   1060 <sqrt@plt>
movsd  0x70(%rsp),%xmm8
movsd  0x38(%rsp),%xmm1
movsd  0x80(%rsp),%xmm5
movapd 0x40(%rsp),%xmm6
movapd 0x20(%rsp),%xmm7
movsd  %xmm0,0x18(%rsp)
movapd 0x90(%rsp),%xmm3
movsd  0x8(%rsp),%xmm0
movsd  0x30(%rsp),%xmm4
movsd  0x10(%rsp),%xmm2
divsd  %xmm1,%xmm6
movapd %xmm6,0x40(%rsp)
divsd  %xmm8,%xmm7
movapd %xmm7,0x20(%rsp)
mov    %ebx,%edi
movsd  0x58(%rsp),%xmm1
call   1070 <gbs@plt>
movsd  %xmm0,0x10(%rsp)
test   %ebx,%ebx
je     1493 <ExtendibleWriter+0x343>
movsd  0x30(%rsp),%xmm0
subsd  0x90(%rsp),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
mulsd  0x8(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movaps 0xc0e(%rip),%xmm0
movaps 0x20(%rsp),%xmm1
xorps  %xmm0,%xmm1
movaps 0x60(%rsp),%xmm2
xorps  %xmm0,%xmm2
movaps %xmm2,0x60(%rsp)
movapd 0x40(%rsp),%xmm0
call   1030 <cbnd@plt>
mulsd  0x8(%rsp),%xmm0
addsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x8(%rsp)
movapd 0x90(%rsp),%xmm0
xorpd  0xbcb(%rip),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,(%rsp)
movapd 0x40(%rsp),%xmm0
subsd  0x18(%rsp),%xmm0
movsd  0x78(%rsp),%xmm1
subsd  0x20(%rsp),%xmm1
movaps 0x60(%rsp),%xmm2
call   1030 <cbnd@plt>
movsd  (%rsp),%xmm1
mulsd  0x88(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x8(%rsp),%xmm0
jmp    155a <ExtendibleWriter+0x40a>
movapd 0x90(%rsp),%xmm0
xorpd  0xb6c(%rip),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
mulsd  0x88(%rsp),%xmm0
movsd  %xmm0,0x58(%rsp)
movapd 0x40(%rsp),%xmm1
movsd  0x18(%rsp),%xmm0
subsd  %xmm1,%xmm0
movapd 0xb3b(%rip),%xmm3
xorpd  %xmm3,%xmm1
movapd %xmm1,0x40(%rsp)
movapd 0x20(%rsp),%xmm1
subsd  0x78(%rsp),%xmm1
movapd 0x60(%rsp),%xmm2
xorpd  %xmm3,%xmm2
movapd %xmm2,0x60(%rsp)
call   1030 <cbnd@plt>
mulsd  0x58(%rsp),%xmm0
addsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x30(%rsp),%xmm0
subsd  0x90(%rsp),%xmm0
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,(%rsp)
movapd 0x40(%rsp),%xmm0
movaps 0x20(%rsp),%xmm1
movaps 0x60(%rsp),%xmm2
call   1030 <cbnd@plt>
movsd  (%rsp),%xmm1
mulsd  0x8(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  0x10(%rsp),%xmm0
subsd  %xmm1,%xmm0
add    $0xb0,%rsp
pop    %rbx
ret

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

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