#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 brcmp1(int *, double *, double *, double *, double *);
double exp(double);
scalar_t__ exparg(int *);
scalar_t__ fabs(scalar_t__);
double bup(double *a, double *b, double *x, double *y, int *n, double *eps) {
  static int K1 = 1;
  static int K2 = 0;
  static double bup, ap1, apb, d, l, r, t, w;
  static int i, k, kp1, mu, nm1;
  apb = *a + *b;
  ap1 = *a + 1.0e0;
  mu = 0;
  d = 1.0e0;
  if (*n == 1 || *a < 1.0e0)
    goto S10;
  if (apb < 1.1e0 * ap1)
    goto S10;
  mu = (int)fabs(exparg(&K1));
  k = (int)exparg(&K2);
  if (k < mu)
    mu = k;
  t = mu;
  d = exp(-t);
S10:
  bup = brcmp1(&mu, a, b, x, y) / *a;
  if (*n == 1 || bup == 0.0e0)
    return bup;
  nm1 = *n - 1;
  w = d;
  k = 0;
  if (*b <= 1.0e0)
    goto S50;
  if (*y > 1.e-4)
    goto S20;
  k = nm1;
  goto S30;
S20:
  r = (*b - 1.0e0) * *x / *y - *a;
  if (r < 1.0e0)
    goto S50;
  k = (int)nm1;
  t = nm1;
  if (r < t)
    k = (int)r;
S30:
  for (i = 1; i <= k; i++) {
    l = i - 1;
    d = (apb + l) / (ap1 + l) * *x * d;
    w += d;
  }
  if (k == nm1)
    goto S70;
S50:
  kp1 = k + 1;
  for (i = kp1; i <= nm1; i++) {
    l = i - 1;
    d = (apb + l) / (ap1 + l) * *x * d;
    w += d;
    if (d <= *eps * w)
      goto S70;
  }
S70:
  bup *= w;
  return bup;
}


x86 assembly (clang, -O0):
<bup>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,0x2ef0(%rip)
mov    -0x10(%rbp),%rax
movsd  0xe7c(%rip),%xmm0
addsd  (%rax),%xmm0
movsd  %xmm0,0x2ed0(%rip)
movl   $0x0,0x2f0a(%rip)
movsd  0xe5e(%rip),%xmm0
movsd  %xmm0,0x2ec6(%rip)
mov    -0x30(%rbp),%rax
cmpl   $0x1,(%rax)
je     11cd <bup+0x8d>
mov    -0x10(%rbp),%rax
movsd  0xe3d(%rip),%xmm0
ucomisd (%rax),%xmm0
jbe    11d2 <bup+0x92>
jmp    127f <bup+0x13f>
movsd  0x2e8e(%rip),%xmm1
movsd  0xe26(%rip),%xmm0
mulsd  0x2e76(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11f9 <bup+0xb9>
jmp    127f <bup+0x13f>
lea    0x2e40(%rip),%rdi
call   1060 <exparg@plt>
mov    %rax,%rdi
call   1030 <fabs@plt>
mov    %eax,0x2e91(%rip)
lea    0x2e36(%rip),%rdi
call   1060 <exparg@plt>
mov    %eax,0x2e77(%rip)
mov    0x2e71(%rip),%eax
cmp    0x2e73(%rip),%eax
jge    1243 <bup+0x103>
mov    0x2e5f(%rip),%eax
mov    %eax,0x2e61(%rip)
cvtsi2sdl 0x2e59(%rip),%xmm0
movsd  %xmm0,0x2e35(%rip)
movsd  0x2e2d(%rip),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x2df1(%rip)
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
lea    0x2e0e(%rip),%rdi
call   1050 <brcmp1@plt>
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,0x2dad(%rip)
mov    -0x30(%rbp),%rax
cmpl   $0x1,(%rax)
je     12d3 <bup+0x193>
movsd  0x2d98(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12e5 <bup+0x1a5>
jp     12e5 <bup+0x1a5>
movsd  0x2d7d(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a6 <bup+0x466>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
sub    $0x1,%eax
mov    %eax,0x2db4(%rip)
movsd  0x2d74(%rip),%xmm0
movsd  %xmm0,0x2d8c(%rip)
movl   $0x0,0x2d8e(%rip)
mov    -0x18(%rbp),%rax
movsd  0xce6(%rip),%xmm0
ucomisd (%rax),%xmm0
jb     1329 <bup+0x1e9>
jmp    14a6 <bup+0x366>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xcd7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1348 <bup+0x208>
jmp    1359 <bup+0x219>
mov    0x2d5a(%rip),%eax
mov    %eax,0x2d48(%rip)
jmp    13f1 <bup+0x2b1>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xc97(%rip),%xmm1
subsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
divsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subsd  (%rax),%xmm0
movsd  %xmm0,0x2cf3(%rip)
movsd  0xc6b(%rip),%xmm0
ucomisd 0x2ce3(%rip),%xmm0
jbe    13a8 <bup+0x268>
jmp    14a6 <bup+0x366>
mov    0x2cfa(%rip),%eax
mov    %eax,0x2ce8(%rip)
cvtsi2sdl 0x2cec(%rip),%xmm0
movsd  %xmm0,0x2cc4(%rip)
movsd  0x2cb4(%rip),%xmm1
movsd  0x2cb4(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    13ec <bup+0x2ac>
cvttsd2si 0x2c9a(%rip),%eax
mov    %eax,0x2cb0(%rip)
jmp    13f1 <bup+0x2b1>
movl   $0x1,0x2c9d(%rip)
mov    0x2c97(%rip),%eax
cmp    0x2c95(%rip),%eax
jg     148a <bup+0x34a>
mov    0x2c85(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2c56(%rip)
movsd  0x2c3e(%rip),%xmm0
addsd  0x2c46(%rip),%xmm0
movsd  0x2c26(%rip),%xmm1
addsd  0x2c36(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2c1a(%rip),%xmm0
movsd  %xmm0,0x2c12(%rip)
movsd  0x2c0a(%rip),%xmm0
addsd  0x2c22(%rip),%xmm0
movsd  %xmm0,0x2c1a(%rip)
mov    0x2c1c(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2c13(%rip)
jmp    13fb <bup+0x2bb>
mov    0x2c0c(%rip),%eax
cmp    0x2c12(%rip),%eax
jne    14a1 <bup+0x361>
jmp    1581 <bup+0x441>
jmp    14a6 <bup+0x366>
mov    0x2bf0(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2beb(%rip)
mov    0x2be5(%rip),%eax
mov    %eax,0x2bd7(%rip)
mov    0x2bd1(%rip),%eax
cmp    0x2bdb(%rip),%eax
jg     157c <bup+0x43c>
mov    0x2bbf(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2b90(%rip)
movsd  0x2b78(%rip),%xmm0
addsd  0x2b80(%rip),%xmm0
movsd  0x2b60(%rip),%xmm1
addsd  0x2b70(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2b54(%rip),%xmm0
movsd  %xmm0,0x2b4c(%rip)
movsd  0x2b44(%rip),%xmm0
addsd  0x2b5c(%rip),%xmm0
movsd  %xmm0,0x2b54(%rip)
movsd  0x2b2c(%rip),%xmm1
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
mulsd  0x2b3c(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1563 <bup+0x423>
jmp    1581 <bup+0x441>
jmp    1568 <bup+0x428>
mov    0x2b2a(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2b21(%rip)
jmp    14c1 <bup+0x381>
jmp    1581 <bup+0x441>
movsd  0x2b07(%rip),%xmm0
mulsd  0x2ac7(%rip),%xmm0
movsd  %xmm0,0x2abf(%rip)
movsd  0x2ab7(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bup>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%r14
mov    %r8,%r13
mov    %rcx,%r15
mov    %rdx,%r12
mov    %rsi,%rbx
mov    %rdi,%rbp
movsd  (%rdi),%xmm2
movsd  (%rsi),%xmm0
addsd  %xmm2,%xmm0
movsd  %xmm0,0x2eef(%rip)
movsd  0xe87(%rip),%xmm1
addsd  %xmm2,%xmm1
movsd  %xmm1,0x2ed3(%rip)
movl   $0x0,0x2ee1(%rip)
movabs $0x3ff0000000000000,%rax
mov    %rax,0x2ec8(%rip)
cmpl   $0x1,(%r8)
je     1216 <bup+0xd6>
movsd  0xe52(%rip),%xmm3
ucomisd %xmm2,%xmm3
ja     1216 <bup+0xd6>
mulsd  0xe4c(%rip),%xmm1
ucomisd %xmm0,%xmm1
ja     1216 <bup+0xd6>
lea    0x2e77(%rip),%rdi
call   1060 <exparg@plt>
mov    %rax,%rdi
call   1030 <fabs@plt>
mov    %eax,0x2e94(%rip)
lea    0x2e6d(%rip),%rdi
call   1060 <exparg@plt>
mov    0x2e82(%rip),%ecx
cmp    %eax,%ecx
jle    11fa <bup+0xba>
mov    %eax,0x2e78(%rip)
mov    %eax,%ecx
xorps  %xmm0,%xmm0
cvtsi2sd %ecx,%xmm0
xorpd  0xe17(%rip),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x2e52(%rip)
lea    0x2e53(%rip),%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r12,%rcx
mov    %r15,%r8
call   1050 <brcmp1@plt>
movsd  0x0(%rbp),%xmm2
divsd  %xmm2,%xmm0
mov    0x0(%r13),%eax
cmp    $0x1,%eax
je     13f7 <bup+0x2b7>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1254 <bup+0x114>
jnp    13f7 <bup+0x2b7>
add    $0xffffffff,%eax
movsd  0x2e09(%rip),%xmm1
movsd  (%rbx),%xmm3
movsd  0xd95(%rip),%xmm4
ucomisd %xmm3,%xmm4
jae    129e <bup+0x15e>
movsd  (%r15),%xmm5
ucomisd 0xd92(%rip),%xmm5
mov    %eax,%ecx
jbe    12bc <bup+0x17c>
addsd  0xd8e(%rip),%xmm3
mulsd  (%r12),%xmm3
divsd  %xmm5,%xmm3
subsd  %xmm2,%xmm3
ucomisd %xmm3,%xmm4
jbe    12a9 <bup+0x169>
xor    %ecx,%ecx
movapd %xmm1,%xmm2
jmp    1398 <bup+0x258>
xorps  %xmm2,%xmm2
cvtsi2sd %eax,%xmm2
ucomisd %xmm3,%xmm2
mov    %eax,%ecx
jbe    12bc <bup+0x17c>
cvttsd2si %xmm3,%ecx
test   %ecx,%ecx
jle    12f1 <bup+0x1b1>
movsd  0x2d98(%rip),%xmm2
movsd  0x2d88(%rip),%xmm4
movsd  (%r12),%xmm3
cmp    $0x1,%ecx
jne    1302 <bup+0x1c2>
xorpd  %xmm6,%xmm6
movapd %xmm1,%xmm5
test   $0x1,%cl
jne    136c <bup+0x22c>
jmp    1384 <bup+0x244>
movapd %xmm1,%xmm2
cmp    %eax,%ecx
jne    1398 <bup+0x258>
jmp    13f3 <bup+0x2b3>
mov    %ecx,%edx
and    $0xfffffffe,%edx
xor    %esi,%esi
movapd %xmm1,%xmm5
nopl   (%rax)
lea    0x1(%rsi),%edi
xorps  %xmm6,%xmm6
cvtsi2sd %esi,%xmm6
movapd %xmm2,%xmm7
addsd  %xmm6,%xmm7
addsd  %xmm4,%xmm6
divsd  %xmm6,%xmm7
mulsd  %xmm3,%xmm7
mulsd  %xmm1,%xmm7
addsd  %xmm7,%xmm5
xorps  %xmm6,%xmm6
cvtsi2sd %edi,%xmm6
movapd %xmm2,%xmm1
addsd  %xmm6,%xmm1
addsd  %xmm4,%xmm6
divsd  %xmm6,%xmm1
mulsd  %xmm3,%xmm1
mulsd  %xmm7,%xmm1
addsd  %xmm1,%xmm5
add    $0x2,%esi
cmp    %esi,%edx
jne    1310 <bup+0x1d0>
xorps  %xmm6,%xmm6
cvtsi2sd %esi,%xmm6
test   $0x1,%cl
je     1384 <bup+0x244>
addsd  %xmm6,%xmm2
addsd  %xmm6,%xmm4
divsd  %xmm4,%xmm2
mulsd  %xmm2,%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm1,%xmm5
movapd %xmm1,%xmm2
movsd  %xmm1,0x2cd8(%rip)
movapd %xmm5,%xmm1
cmp    %eax,%ecx
je     13f3 <bup+0x2b3>
movsd  0x2cc0(%rip),%xmm3
movsd  0x2cb0(%rip),%xmm4
nopl   0x0(%rax,%rax,1)
cmp    %eax,%ecx
jge    13f3 <bup+0x2b3>
xorps  %xmm5,%xmm5
cvtsi2sd %ecx,%xmm5
movapd %xmm3,%xmm6
addsd  %xmm5,%xmm6
addsd  %xmm4,%xmm5
divsd  %xmm5,%xmm6
mulsd  (%r12),%xmm6
add    $0x1,%ecx
mulsd  %xmm6,%xmm2
movsd  %xmm2,0x2c88(%rip)
addsd  %xmm2,%xmm1
movsd  (%r14),%xmm5
mulsd  %xmm1,%xmm5
ucomisd %xmm2,%xmm5
jb     13b0 <bup+0x270>
mulsd  %xmm1,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@bup.K1 = internal global i32 1
@bup.K2 = internal global i32 0
@bup.bup = internal global double 0.000000e+00
@bup.ap1 = internal global double 0.000000e+00
@bup.apb = internal global double 0.000000e+00
@bup.d = internal global double 0.000000e+00
@bup.l = internal global double 0.000000e+00
@bup.r = internal global double 0.000000e+00
@bup.t = internal global double 0.000000e+00
@bup.w = internal global double 0.000000e+00
@bup.i = internal global i32 0
@bup.k = internal global i32 0
@bup.kp1 = internal global i32 0
@bup.mu = internal global i32 0
@bup.nm1 = internal global i32 0
define double @bup(double* %0, double* %1, double* %2, double* %3, i32* %4, double* %5) {
%7 = alloca double
%8 = alloca double*
%9 = alloca double*
%10 = alloca double*
%11 = alloca double*
%12 = alloca i32*
%13 = alloca double*
store double* %0, double** %8
store double* %1, double** %9
store double* %2, double** %10
store double* %3, double** %11
store i32* %4, i32** %12
store double* %5, double** %13
%14 = load double*, double** %8
%15 = load double, double* %14
%16 = load double*, double** %9
%17 = load double, double* %16
%18 = fadd double %15, %17
store double %18, double* @bup.apb
%19 = load double*, double** %8
%20 = load double, double* %19
%21 = fadd double %20, 1.000000e+00
store double %21, double* @bup.ap1
store i32 0, i32* @bup.mu
store double 1.000000e+00, double* @bup.d
%22 = load i32*, i32** %12
%23 = load i32, i32* %22
%24 = icmp eq i32 %23, 1
br i1 %24, label %29, label %25
25: ; preds = %6
%26 = load double*, double** %8
%27 = load double, double* %26
%28 = fcmp olt double %27, 1.000000e+00
br i1 %28, label %29, label %30
29: ; preds = %25, %6
br label %53
30: ; preds = %25
%31 = load double, double* @bup.apb
%32 = load double, double* @bup.ap1
%33 = fmul double 1.100000e+00, %32
%34 = fcmp olt double %31, %33
br i1 %34, label %35, label %36
35: ; preds = %30
br label %53
36: ; preds = %30
%37 = call i64 @exparg(i32* @bup.K1)
%38 = call i64 @fabs(i64 %37)
%39 = trunc i64 %38 to i32
store i32 %39, i32* @bup.mu
%40 = call i64 @exparg(i32* @bup.K2)
%41 = trunc i64 %40 to i32
store i32 %41, i32* @bup.k
%42 = load i32, i32* @bup.k
%43 = load i32, i32* @bup.mu
%44 = icmp slt i32 %42, %43
br i1 %44, label %45, label %47
45: ; preds = %36
%46 = load i32, i32* @bup.k
store i32 %46, i32* @bup.mu
br label %47
47: ; preds = %45, %36
%48 = load i32, i32* @bup.mu
%49 = sitofp i32 %48 to double
store double %49, double* @bup.t
%50 = load double, double* @bup.t
%51 = fneg double %50
%52 = call double @exp(double %51)
store double %52, double* @bup.d
br label %53
53: ; preds = %47, %35, %29
%54 = load double*, double** %8
%55 = load double*, double** %9
%56 = load double*, double** %10
%57 = load double*, double** %11
%58 = call double @brcmp1(i32* @bup.mu, double* %54, double* %55, double* %56, double* %57)
%59 = load double*, double** %8
%60 = load double, double* %59
%61 = fdiv double %58, %60
store double %61, double* @bup.bup
%62 = load i32*, i32** %12
%63 = load i32, i32* %62
%64 = icmp eq i32 %63, 1
br i1 %64, label %68, label %65
65: ; preds = %53
%66 = load double, double* @bup.bup
%67 = fcmp oeq double %66, 0.000000e+00
br i1 %67, label %68, label %70
68: ; preds = %65, %53
%69 = load double, double* @bup.bup
store double %69, double* %7
br label %190
70: ; preds = %65
%71 = load i32*, i32** %12
%72 = load i32, i32* %71
%73 = sub nsw i32 %72, 1
store i32 %73, i32* @bup.nm1
%74 = load double, double* @bup.d
store double %74, double* @bup.w
store i32 0, i32* @bup.k
%75 = load double*, double** %9
%76 = load double, double* %75
%77 = fcmp ole double %76, 1.000000e+00
br i1 %77, label %78, label %79
78: ; preds = %70
br label %146
79: ; preds = %70
%80 = load double*, double** %11
%81 = load double, double* %80
%82 = fcmp ogt double %81, 1.000000e-04
br i1 %82, label %83, label %84
83: ; preds = %79
br label %86
84: ; preds = %79
%85 = load i32, i32* @bup.nm1
store i32 %85, i32* @bup.k
br label %113
86: ; preds = %83
%87 = load double*, double** %9
%88 = load double, double* %87
%89 = fsub double %88, 1.000000e+00
%90 = load double*, double** %10
%91 = load double, double* %90
%92 = fmul double %89, %91
%93 = load double*, double** %11
%94 = load double, double* %93
%95 = fdiv double %92, %94
%96 = load double*, double** %8
%97 = load double, double* %96
%98 = fsub double %95, %97
store double %98, double* @bup.r
%99 = load double, double* @bup.r
%100 = fcmp olt double %99, 1.000000e+00
br i1 %100, label %101, label %102
101: ; preds = %86
br label %146
102: ; preds = %86
%103 = load i32, i32* @bup.nm1
store i32 %103, i32* @bup.k
%104 = load i32, i32* @bup.nm1
%105 = sitofp i32 %104 to double
store double %105, double* @bup.t
%106 = load double, double* @bup.r
%107 = load double, double* @bup.t
%108 = fcmp olt double %106, %107
br i1 %108, label %109, label %112
109: ; preds = %102
%110 = load double, double* @bup.r
%111 = fptosi double %110 to i32
store i32 %111, i32* @bup.k
br label %112
112: ; preds = %109, %102
br label %113
113: ; preds = %112, %84
store i32 1, i32* @bup.i
br label %114
114: ; preds = %137, %113
%115 = load i32, i32* @bup.i
%116 = load i32, i32* @bup.k
%117 = icmp sle i32 %115, %116
br i1 %117, label %118, label %140
118: ; preds = %114
%119 = load i32, i32* @bup.i
%120 = sub nsw i32 %119, 1
%121 = sitofp i32 %120 to double
store double %121, double* @bup.l
%122 = load double, double* @bup.apb
%123 = load double, double* @bup.l
%124 = fadd double %122, %123
%125 = load double, double* @bup.ap1
%126 = load double, double* @bup.l
%127 = fadd double %125, %126
%128 = fdiv double %124, %127
%129 = load double*, double** %10
%130 = load double, double* %129
%131 = fmul double %128, %130
%132 = load double, double* @bup.d
%133 = fmul double %131, %132
store double %133, double* @bup.d
%134 = load double, double* @bup.d
%135 = load double, double* @bup.w
%136 = fadd double %135, %134
store double %136, double* @bup.w
br label %137
137: ; preds = %118
%138 = load i32, i32* @bup.i
%139 = add nsw i32 %138, 1
store i32 %139, i32* @bup.i
br label %114
140: ; preds = %114
%141 = load i32, i32* @bup.k
%142 = load i32, i32* @bup.nm1
%143 = icmp eq i32 %141, %142
br i1 %143, label %144, label %145
144: ; preds = %140
br label %185
145: ; preds = %140
br label %146
146: ; preds = %145, %101, %78
%147 = load i32, i32* @bup.k
%148 = add nsw i32 %147, 1
store i32 %148, i32* @bup.kp1
%149 = load i32, i32* @bup.kp1
store i32 %149, i32* @bup.i
br label %150
150: ; preds = %181, %146
%151 = load i32, i32* @bup.i
%152 = load i32, i32* @bup.nm1
%153 = icmp sle i32 %151, %152
br i1 %153, label %154, label %184
154: ; preds = %150
%155 = load i32, i32* @bup.i
%156 = sub nsw i32 %155, 1
%157 = sitofp i32 %156 to double
store double %157, double* @bup.l
%158 = load double, double* @bup.apb
%159 = load double, double* @bup.l
%160 = fadd double %158, %159
%161 = load double, double* @bup.ap1
%162 = load double, double* @bup.l
%163 = fadd double %161, %162
%164 = fdiv double %160, %163
%165 = load double*, double** %10
%166 = load double, double* %165
%167 = fmul double %164, %166
%168 = load double, double* @bup.d
%169 = fmul double %167, %168
store double %169, double* @bup.d
%170 = load double, double* @bup.d
%171 = load double, double* @bup.w
%172 = fadd double %171, %170
store double %172, double* @bup.w
%173 = load double, double* @bup.d
%174 = load double*, double** %13
%175 = load double, double* %174
%176 = load double, double* @bup.w
%177 = fmul double %175, %176
%178 = fcmp ole double %173, %177
br i1 %178, label %179, label %180
179: ; preds = %154
br label %185
180: ; preds = %154
br label %181
181: ; preds = %180
%182 = load i32, i32* @bup.i
%183 = add nsw i32 %182, 1
store i32 %183, i32* @bup.i
br label %150
184: ; preds = %150
br label %185
185: ; preds = %184, %179, %144
%186 = load double, double* @bup.w
%187 = load double, double* @bup.bup
%188 = fmul double %187, %186
store double %188, double* @bup.bup
%189 = load double, double* @bup.bup
store double %189, double* %7
br label %190
190: ; preds = %185, %68
%191 = load double, double* %7
ret double %191
}

LLVM IR (-O2):
@bup.K1 = internal global i32 1
@bup.K2 = internal global i32 0
@bup.ap1 = internal unnamed_addr global double 0.000000e+00
@bup.apb = internal unnamed_addr global double 0.000000e+00
@bup.d = internal unnamed_addr global double 0.000000e+00
@bup.mu = internal global i32 0
define double @bup(double* %0, double* %1, double* %2, double* %3, i32* nocapture %4, double* nocapture %5) {
%7 = load double, double* %0
%8 = load double, double* %1
%9 = fadd double %7, %8
store double %9, double* @bup.apb
%10 = fadd double %7, 1.000000e+00
store double %10, double* @bup.ap1
store i32 0, i32* @bup.mu
store double 1.000000e+00, double* @bup.d
%11 = load i32, i32* %4
%12 = icmp eq i32 %11, 1
%13 = fcmp olt double %7, 1.000000e+00
%14 = select i1 %12, i1 true, i1 %13
%15 = fmul double %10, 1.100000e+00
%16 = fcmp olt double %9, %15
%17 = select i1 %14, i1 true, i1 %16
br i1 %17, label %32, label %18
18: ; preds = %6
%19 = tail call i64 @exparg(i32* @bup.K1)
%20 = tail call i64 @fabs(i64 %19)
%21 = trunc i64 %20 to i32
store i32 %21, i32* @bup.mu
%22 = tail call i64 @exparg(i32* @bup.K2)
%23 = trunc i64 %22 to i32
%24 = load i32, i32* @bup.mu
%25 = icmp sgt i32 %24, %23
br i1 %25, label %26, label %27
26: ; preds = %18
store i32 %23, i32* @bup.mu
br label %27
27: ; preds = %26, %18
%28 = phi i32 [ %23, %26 ], [ %24, %18 ]
%29 = sitofp i32 %28 to double
%30 = fneg double %29
%31 = tail call double @exp(double %30)
store double %31, double* @bup.d
br label %32
32: ; preds = %6, %27
%33 = tail call double @brcmp1(i32* @bup.mu, double* %0, double* %1, double* %2, double* %3)
%34 = load double, double* %0
%35 = fdiv double %33, %34
%36 = load i32, i32* %4
%37 = icmp eq i32 %36, 1
%38 = fcmp oeq double %35, 0.000000e+00
%39 = select i1 %37, i1 true, i1 %38
br i1 %39, label %145, label %40
40: ; preds = %32
%41 = add nsw i32 %36, -1
%42 = load double, double* @bup.d
%43 = load double, double* %1
%44 = fcmp ugt double %43, 1.000000e+00
br i1 %44, label %45, label %118
45: ; preds = %40
%46 = load double, double* %3
%47 = fcmp ogt double %46, 1.000000e-04
br i1 %47, label %48, label %60
48: ; preds = %45
%49 = fadd double %43, -1.000000e+00
%50 = load double, double* %2
%51 = fmul double %49, %50
%52 = fdiv double %51, %46
%53 = fsub double %52, %34
%54 = fcmp olt double %53, 1.000000e+00
br i1 %54, label %118, label %55
55: ; preds = %48
%56 = sitofp i32 %41 to double
%57 = fcmp olt double %53, %56
br i1 %57, label %58, label %60
58: ; preds = %55
%59 = fptosi double %53 to i32
br label %60
60: ; preds = %58, %45, %55
%61 = phi i32 [ %41, %55 ], [ %59, %58 ], [ %41, %45 ]
%62 = icmp slt i32 %61, 1
br i1 %62, label %114, label %63
63: ; preds = %60
%64 = load double, double* @bup.apb
%65 = load double, double* @bup.ap1
%66 = load double, double* %2
%67 = and i32 %61, 1
%68 = icmp eq i32 %61, 1
br i1 %68, label %97, label %69
69: ; preds = %63
%70 = and i32 %61, -2
br label %71
71: ; preds = %71, %69
%72 = phi i32 [ 1, %69 ], [ %91, %71 ]
%73 = phi double [ %42, %69 ], [ %89, %71 ]
%74 = phi double [ %42, %69 ], [ %90, %71 ]
%75 = phi i32 [ 0, %69 ], [ %92, %71 ]
%76 = add nsw i32 %72, -1
%77 = sitofp i32 %76 to double
%78 = fadd double %64, %77
%79 = fadd double %65, %77
%80 = fdiv double %78, %79
%81 = fmul double %66, %80
%82 = fmul double %73, %81
%83 = fadd double %74, %82
%84 = sitofp i32 %72 to double
%85 = fadd double %64, %84
%86 = fadd double %65, %84
%87 = fdiv double %85, %86
%88 = fmul double %66, %87
%89 = fmul double %82, %88
%90 = fadd double %83, %89
%91 = add nuw i32 %72, 2
%92 = add i32 %75, 2
%93 = icmp eq i32 %92, %70
br i1 %93, label %94, label %71
94: ; preds = %71
%95 = add i32 %72, 1
%96 = sitofp i32 %95 to double
br label %97
97: ; preds = %94, %63
%98 = phi double [ undef, %63 ], [ %89, %94 ]
%99 = phi double [ undef, %63 ], [ %90, %94 ]
%100 = phi double [ 0.000000e+00, %63 ], [ %96, %94 ]
%101 = phi double [ %42, %63 ], [ %89, %94 ]
%102 = phi double [ %42, %63 ], [ %90, %94 ]
%103 = icmp eq i32 %67, 0
br i1 %103, label %111, label %104
104: ; preds = %97
%105 = fadd double %64, %100
%106 = fadd double %65, %100
%107 = fdiv double %105, %106
%108 = fmul double %66, %107
%109 = fmul double %101, %108
%110 = fadd double %102, %109
br label %111
111: ; preds = %97, %104
%112 = phi double [ %98, %97 ], [ %109, %104 ]
%113 = phi double [ %99, %97 ], [ %110, %104 ]
store double %112, double* @bup.d
br label %114
114: ; preds = %111, %60
%115 = phi double [ %113, %111 ], [ %42, %60 ]
%116 = phi double [ %112, %111 ], [ %42, %60 ]
%117 = icmp eq i32 %61, %41
br i1 %117, label %142, label %118
118: ; preds = %114, %48, %40
%119 = phi i32 [ %61, %114 ], [ 0, %48 ], [ 0, %40 ]
%120 = phi double [ %115, %114 ], [ %42, %48 ], [ %42, %40 ]
%121 = phi double [ %116, %114 ], [ %42, %48 ], [ %42, %40 ]
%122 = load double, double* @bup.apb
%123 = load double, double* @bup.ap1
br label %124
124: ; preds = %129, %118
%125 = phi i32 [ %119, %118 ], [ %130, %129 ]
%126 = phi double [ %120, %118 ], [ %138, %129 ]
%127 = phi double [ %121, %118 ], [ %137, %129 ]
%128 = icmp slt i32 %125, %41
br i1 %128, label %129, label %142
129: ; preds = %124
%130 = add nsw i32 %125, 1
%131 = sitofp i32 %125 to double
%132 = fadd double %122, %131
%133 = fadd double %123, %131
%134 = fdiv double %132, %133
%135 = load double, double* %2
%136 = fmul double %135, %134
%137 = fmul double %127, %136
store double %137, double* @bup.d
%138 = fadd double %126, %137
%139 = load double, double* %5
%140 = fmul double %138, %139
%141 = fcmp ugt double %137, %140
br i1 %141, label %124, label %142
142: ; preds = %124, %129, %114
%143 = phi double [ %115, %114 ], [ %138, %129 ], [ %126, %124 ]
%144 = fmul double %35, %143
br label %145
145: ; preds = %32, %142
%146 = phi double [ %144, %142 ], [ %35, %32 ]
ret double %146
}