#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 = (long)(fabs(exparg(&K1)));
  k = (long)(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;
  t = nm1;
  k = (long)(t);
  if (r < t)
    k = (long)(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    15aa <bup+0x46a>
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    14aa <bup+0x36a>
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    13f5 <bup+0x2b5>
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    14aa <bup+0x36a>
cvtsi2sdl 0x2cf8(%rip),%xmm0
movsd  %xmm0,0x2cd0(%rip)
cvttsd2si 0x2cc7(%rip),%rax
mov    %eax,0x2cd5(%rip)
movsd  0x2cb1(%rip),%xmm1
movsd  0x2cb1(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    13f0 <bup+0x2b0>
cvttsd2si 0x2c96(%rip),%rax
mov    %eax,0x2cac(%rip)
jmp    13f5 <bup+0x2b5>
movl   $0x1,0x2c99(%rip)
mov    0x2c93(%rip),%eax
cmp    0x2c91(%rip),%eax
jg     148e <bup+0x34e>
mov    0x2c81(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2c52(%rip)
movsd  0x2c3a(%rip),%xmm0
addsd  0x2c42(%rip),%xmm0
movsd  0x2c22(%rip),%xmm1
addsd  0x2c32(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2c16(%rip),%xmm0
movsd  %xmm0,0x2c0e(%rip)
movsd  0x2c06(%rip),%xmm0
addsd  0x2c1e(%rip),%xmm0
movsd  %xmm0,0x2c16(%rip)
mov    0x2c18(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2c0f(%rip)
jmp    13ff <bup+0x2bf>
mov    0x2c08(%rip),%eax
cmp    0x2c0e(%rip),%eax
jne    14a5 <bup+0x365>
jmp    1585 <bup+0x445>
jmp    14aa <bup+0x36a>
mov    0x2bec(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2be7(%rip)
mov    0x2be1(%rip),%eax
mov    %eax,0x2bd3(%rip)
mov    0x2bcd(%rip),%eax
cmp    0x2bd7(%rip),%eax
jg     1580 <bup+0x440>
mov    0x2bbb(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2b8c(%rip)
movsd  0x2b74(%rip),%xmm0
addsd  0x2b7c(%rip),%xmm0
movsd  0x2b5c(%rip),%xmm1
addsd  0x2b6c(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2b50(%rip),%xmm0
movsd  %xmm0,0x2b48(%rip)
movsd  0x2b40(%rip),%xmm0
addsd  0x2b58(%rip),%xmm0
movsd  %xmm0,0x2b50(%rip)
movsd  0x2b28(%rip),%xmm1
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
mulsd  0x2b38(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1567 <bup+0x427>
jmp    1585 <bup+0x445>
jmp    156c <bup+0x42c>
mov    0x2b26(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2b1d(%rip)
jmp    14c5 <bup+0x385>
jmp    1585 <bup+0x445>
movsd  0x2b03(%rip),%xmm0
mulsd  0x2ac3(%rip),%xmm0
movsd  %xmm0,0x2abb(%rip)
movsd  0x2ab3(%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    12bd <bup+0x17d>
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    12bd <bup+0x17d>
cvttsd2si %xmm3,%rcx
test   %ecx,%ecx
jle    12f2 <bup+0x1b2>
movsd  0x2d97(%rip),%xmm2
movsd  0x2d87(%rip),%xmm4
movsd  (%r12),%xmm3
cmp    $0x1,%ecx
jne    1303 <bup+0x1c3>
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
xchg   %ax,%ax
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 %193
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 %149
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 %116
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 %149
102: ; preds = %86
%103 = load i32, i32* @bup.nm1
%104 = sitofp i32 %103 to double
store double %104, double* @bup.t
%105 = load double, double* @bup.t
%106 = fptosi double %105 to i64
%107 = trunc i64 %106 to i32
store i32 %107, i32* @bup.k
%108 = load double, double* @bup.r
%109 = load double, double* @bup.t
%110 = fcmp olt double %108, %109
br i1 %110, label %111, label %115
111: ; preds = %102
%112 = load double, double* @bup.r
%113 = fptosi double %112 to i64
%114 = trunc i64 %113 to i32
store i32 %114, i32* @bup.k
br label %115
115: ; preds = %111, %102
br label %116
116: ; preds = %115, %84
store i32 1, i32* @bup.i
br label %117
117: ; preds = %140, %116
%118 = load i32, i32* @bup.i
%119 = load i32, i32* @bup.k
%120 = icmp sle i32 %118, %119
br i1 %120, label %121, label %143
121: ; preds = %117
%122 = load i32, i32* @bup.i
%123 = sub nsw i32 %122, 1
%124 = sitofp i32 %123 to double
store double %124, double* @bup.l
%125 = load double, double* @bup.apb
%126 = load double, double* @bup.l
%127 = fadd double %125, %126
%128 = load double, double* @bup.ap1
%129 = load double, double* @bup.l
%130 = fadd double %128, %129
%131 = fdiv double %127, %130
%132 = load double*, double** %10
%133 = load double, double* %132
%134 = fmul double %131, %133
%135 = load double, double* @bup.d
%136 = fmul double %134, %135
store double %136, double* @bup.d
%137 = load double, double* @bup.d
%138 = load double, double* @bup.w
%139 = fadd double %138, %137
store double %139, double* @bup.w
br label %140
140: ; preds = %121
%141 = load i32, i32* @bup.i
%142 = add nsw i32 %141, 1
store i32 %142, i32* @bup.i
br label %117
143: ; preds = %117
%144 = load i32, i32* @bup.k
%145 = load i32, i32* @bup.nm1
%146 = icmp eq i32 %144, %145
br i1 %146, label %147, label %148
147: ; preds = %143
br label %188
148: ; preds = %143
br label %149
149: ; preds = %148, %101, %78
%150 = load i32, i32* @bup.k
%151 = add nsw i32 %150, 1
store i32 %151, i32* @bup.kp1
%152 = load i32, i32* @bup.kp1
store i32 %152, i32* @bup.i
br label %153
153: ; preds = %184, %149
%154 = load i32, i32* @bup.i
%155 = load i32, i32* @bup.nm1
%156 = icmp sle i32 %154, %155
br i1 %156, label %157, label %187
157: ; preds = %153
%158 = load i32, i32* @bup.i
%159 = sub nsw i32 %158, 1
%160 = sitofp i32 %159 to double
store double %160, double* @bup.l
%161 = load double, double* @bup.apb
%162 = load double, double* @bup.l
%163 = fadd double %161, %162
%164 = load double, double* @bup.ap1
%165 = load double, double* @bup.l
%166 = fadd double %164, %165
%167 = fdiv double %163, %166
%168 = load double*, double** %10
%169 = load double, double* %168
%170 = fmul double %167, %169
%171 = load double, double* @bup.d
%172 = fmul double %170, %171
store double %172, double* @bup.d
%173 = load double, double* @bup.d
%174 = load double, double* @bup.w
%175 = fadd double %174, %173
store double %175, double* @bup.w
%176 = load double, double* @bup.d
%177 = load double*, double** %13
%178 = load double, double* %177
%179 = load double, double* @bup.w
%180 = fmul double %178, %179
%181 = fcmp ole double %176, %180
br i1 %181, label %182, label %183
182: ; preds = %157
br label %188
183: ; preds = %157
br label %184
184: ; preds = %183
%185 = load i32, i32* @bup.i
%186 = add nsw i32 %185, 1
store i32 %186, i32* @bup.i
br label %153
187: ; preds = %153
br label %188
188: ; preds = %187, %182, %147
%189 = load double, double* @bup.w
%190 = load double, double* @bup.bup
%191 = fmul double %190, %189
store double %191, double* @bup.bup
%192 = load double, double* @bup.bup
store double %192, double* %7
br label %193
193: ; preds = %188, %68
%194 = load double, double* %7
ret double %194
}

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 %146, 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 %119
45: ; preds = %40
%46 = load double, double* %3
%47 = fcmp ogt double %46, 1.000000e-04
br i1 %47, label %48, label %61
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 %119, label %55
55: ; preds = %48
%56 = sitofp i32 %41 to double
%57 = fcmp olt double %53, %56
br i1 %57, label %58, label %61
58: ; preds = %55
%59 = fptosi double %53 to i64
%60 = trunc i64 %59 to i32
br label %61
61: ; preds = %58, %45, %55
%62 = phi i32 [ %41, %55 ], [ %60, %58 ], [ %41, %45 ]
%63 = icmp slt i32 %62, 1
br i1 %63, label %115, label %64
64: ; preds = %61
%65 = load double, double* @bup.apb
%66 = load double, double* @bup.ap1
%67 = load double, double* %2
%68 = and i32 %62, 1
%69 = icmp eq i32 %62, 1
br i1 %69, label %98, label %70
70: ; preds = %64
%71 = and i32 %62, -2
br label %72
72: ; preds = %72, %70
%73 = phi i32 [ 1, %70 ], [ %92, %72 ]
%74 = phi double [ %42, %70 ], [ %90, %72 ]
%75 = phi double [ %42, %70 ], [ %91, %72 ]
%76 = phi i32 [ 0, %70 ], [ %93, %72 ]
%77 = add nsw i32 %73, -1
%78 = sitofp i32 %77 to double
%79 = fadd double %65, %78
%80 = fadd double %66, %78
%81 = fdiv double %79, %80
%82 = fmul double %67, %81
%83 = fmul double %74, %82
%84 = fadd double %75, %83
%85 = sitofp i32 %73 to double
%86 = fadd double %65, %85
%87 = fadd double %66, %85
%88 = fdiv double %86, %87
%89 = fmul double %67, %88
%90 = fmul double %83, %89
%91 = fadd double %84, %90
%92 = add nuw i32 %73, 2
%93 = add i32 %76, 2
%94 = icmp eq i32 %93, %71
br i1 %94, label %95, label %72
95: ; preds = %72
%96 = add i32 %73, 1
%97 = sitofp i32 %96 to double
br label %98
98: ; preds = %95, %64
%99 = phi double [ undef, %64 ], [ %90, %95 ]
%100 = phi double [ undef, %64 ], [ %91, %95 ]
%101 = phi double [ 0.000000e+00, %64 ], [ %97, %95 ]
%102 = phi double [ %42, %64 ], [ %90, %95 ]
%103 = phi double [ %42, %64 ], [ %91, %95 ]
%104 = icmp eq i32 %68, 0
br i1 %104, label %112, label %105
105: ; preds = %98
%106 = fadd double %65, %101
%107 = fadd double %66, %101
%108 = fdiv double %106, %107
%109 = fmul double %67, %108
%110 = fmul double %102, %109
%111 = fadd double %103, %110
br label %112
112: ; preds = %98, %105
%113 = phi double [ %99, %98 ], [ %110, %105 ]
%114 = phi double [ %100, %98 ], [ %111, %105 ]
store double %113, double* @bup.d
br label %115
115: ; preds = %112, %61
%116 = phi double [ %114, %112 ], [ %42, %61 ]
%117 = phi double [ %113, %112 ], [ %42, %61 ]
%118 = icmp eq i32 %62, %41
br i1 %118, label %143, label %119
119: ; preds = %115, %48, %40
%120 = phi i32 [ %62, %115 ], [ 0, %48 ], [ 0, %40 ]
%121 = phi double [ %116, %115 ], [ %42, %48 ], [ %42, %40 ]
%122 = phi double [ %117, %115 ], [ %42, %48 ], [ %42, %40 ]
%123 = load double, double* @bup.apb
%124 = load double, double* @bup.ap1
br label %125
125: ; preds = %130, %119
%126 = phi i32 [ %120, %119 ], [ %131, %130 ]
%127 = phi double [ %121, %119 ], [ %139, %130 ]
%128 = phi double [ %122, %119 ], [ %138, %130 ]
%129 = icmp slt i32 %126, %41
br i1 %129, label %130, label %143
130: ; preds = %125
%131 = add nsw i32 %126, 1
%132 = sitofp i32 %126 to double
%133 = fadd double %123, %132
%134 = fadd double %124, %132
%135 = fdiv double %133, %134
%136 = load double, double* %2
%137 = fmul double %136, %135
%138 = fmul double %128, %137
store double %138, double* @bup.d
%139 = fadd double %127, %138
%140 = load double, double* %5
%141 = fmul double %139, %140
%142 = fcmp ugt double %138, %141
br i1 %142, label %125, label %143
143: ; preds = %125, %130, %115
%144 = phi double [ %116, %115 ], [ %139, %130 ], [ %127, %125 ]
%145 = fmul double %35, %144
br label %146
146: ; preds = %32, %143
%147 = phi double [ %145, %143 ], [ %35, %32 ]
ret double %147
}