#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);
int exparg(int *);
int fabs(int);
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 = fabs(exparg(&K1));
  k = 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 = t = nm1;
  if (r < t)
    k = 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    127e <bup+0x13e>
movsd  0x2e8e(%rip),%xmm1
movsd  0xe26(%rip),%xmm0
mulsd  0x2e76(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11f9 <bup+0xb9>
jmp    127e <bup+0x13e>
lea    0x2e40(%rip),%rdi
call   1060 <exparg@plt>
mov    %eax,%edi
call   1030 <fabs@plt>
mov    %eax,0x2e92(%rip)
lea    0x2e37(%rip),%rdi
call   1060 <exparg@plt>
mov    %eax,0x2e78(%rip)
mov    0x2e72(%rip),%eax
cmp    0x2e74(%rip),%eax
jge    1242 <bup+0x102>
mov    0x2e60(%rip),%eax
mov    %eax,0x2e62(%rip)
cvtsi2sdl 0x2e5a(%rip),%xmm0
movsd  %xmm0,0x2e36(%rip)
movsd  0x2e2e(%rip),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x2df2(%rip)
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
lea    0x2e0f(%rip),%rdi
call   1050 <brcmp1@plt>
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,0x2dae(%rip)
mov    -0x30(%rbp),%rax
cmpl   $0x1,(%rax)
je     12d2 <bup+0x192>
movsd  0x2d99(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12e4 <bup+0x1a4>
jp     12e4 <bup+0x1a4>
movsd  0x2d7e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15a3 <bup+0x463>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
sub    $0x1,%eax
mov    %eax,0x2db5(%rip)
movsd  0x2d75(%rip),%xmm0
movsd  %xmm0,0x2d8d(%rip)
movl   $0x0,0x2d8f(%rip)
mov    -0x18(%rbp),%rax
movsd  0xce7(%rip),%xmm0
ucomisd (%rax),%xmm0
jb     1328 <bup+0x1e8>
jmp    14a3 <bup+0x363>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xcd8(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1347 <bup+0x207>
jmp    1358 <bup+0x218>
mov    0x2d5b(%rip),%eax
mov    %eax,0x2d49(%rip)
jmp    13ee <bup+0x2ae>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  0xc98(%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,0x2cf4(%rip)
movsd  0xc6c(%rip),%xmm0
ucomisd 0x2ce4(%rip),%xmm0
jbe    13a7 <bup+0x267>
jmp    14a3 <bup+0x363>
cvtsi2sdl 0x2cf9(%rip),%xmm0
movsd  %xmm0,0x2cd1(%rip)
cvttsd2si %xmm0,%eax
mov    %eax,0x2cdb(%rip)
movsd  0x2cb7(%rip),%xmm1
movsd  0x2cb7(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    13e9 <bup+0x2a9>
cvttsd2si 0x2c9d(%rip),%eax
mov    %eax,0x2cb3(%rip)
jmp    13ee <bup+0x2ae>
movl   $0x1,0x2ca0(%rip)
mov    0x2c9a(%rip),%eax
cmp    0x2c98(%rip),%eax
jg     1487 <bup+0x347>
mov    0x2c88(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2c59(%rip)
movsd  0x2c41(%rip),%xmm0
addsd  0x2c49(%rip),%xmm0
movsd  0x2c29(%rip),%xmm1
addsd  0x2c39(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2c1d(%rip),%xmm0
movsd  %xmm0,0x2c15(%rip)
movsd  0x2c0d(%rip),%xmm0
addsd  0x2c25(%rip),%xmm0
movsd  %xmm0,0x2c1d(%rip)
mov    0x2c1f(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2c16(%rip)
jmp    13f8 <bup+0x2b8>
mov    0x2c0f(%rip),%eax
cmp    0x2c15(%rip),%eax
jne    149e <bup+0x35e>
jmp    157e <bup+0x43e>
jmp    14a3 <bup+0x363>
mov    0x2bf3(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2bee(%rip)
mov    0x2be8(%rip),%eax
mov    %eax,0x2bda(%rip)
mov    0x2bd4(%rip),%eax
cmp    0x2bde(%rip),%eax
jg     1579 <bup+0x439>
mov    0x2bc2(%rip),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2b93(%rip)
movsd  0x2b7b(%rip),%xmm0
addsd  0x2b83(%rip),%xmm0
movsd  0x2b63(%rip),%xmm1
addsd  0x2b73(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
mulsd  0x2b57(%rip),%xmm0
movsd  %xmm0,0x2b4f(%rip)
movsd  0x2b47(%rip),%xmm0
addsd  0x2b5f(%rip),%xmm0
movsd  %xmm0,0x2b57(%rip)
movsd  0x2b2f(%rip),%xmm1
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
mulsd  0x2b3f(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1560 <bup+0x420>
jmp    157e <bup+0x43e>
jmp    1565 <bup+0x425>
mov    0x2b2d(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2b24(%rip)
jmp    14be <bup+0x37e>
jmp    157e <bup+0x43e>
movsd  0x2b0a(%rip),%xmm0
mulsd  0x2aca(%rip),%xmm0
movsd  %xmm0,0x2ac2(%rip)
movsd  0x2aba(%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     1215 <bup+0xd5>
movsd  0xe52(%rip),%xmm3
ucomisd %xmm2,%xmm3
ja     1215 <bup+0xd5>
mulsd  0xe4c(%rip),%xmm1
ucomisd %xmm0,%xmm1
ja     1215 <bup+0xd5>
lea    0x2e77(%rip),%rdi
call   1060 <exparg@plt>
mov    %eax,%edi
call   1030 <fabs@plt>
mov    %eax,0x2e95(%rip)
lea    0x2e6e(%rip),%rdi
call   1060 <exparg@plt>
mov    0x2e83(%rip),%ecx
cmp    %ecx,%eax
jge    11f9 <bup+0xb9>
mov    %eax,0x2e79(%rip)
mov    %eax,%ecx
xorps  %xmm0,%xmm0
cvtsi2sd %ecx,%xmm0
xorpd  0xe18(%rip),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,0x2e53(%rip)
lea    0x2e54(%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    1253 <bup+0x113>
jnp    13f7 <bup+0x2b7>
add    $0xffffffff,%eax
movsd  0x2e0a(%rip),%xmm1
movsd  (%rbx),%xmm3
movsd  0xd96(%rip),%xmm4
ucomisd %xmm3,%xmm4
jae    129d <bup+0x15d>
movsd  (%r15),%xmm5
ucomisd 0xd93(%rip),%xmm5
mov    %eax,%ecx
jbe    12bb <bup+0x17b>
addsd  0xd8f(%rip),%xmm3
mulsd  (%r12),%xmm3
divsd  %xmm5,%xmm3
subsd  %xmm2,%xmm3
ucomisd %xmm3,%xmm4
jbe    12a8 <bup+0x168>
xor    %ecx,%ecx
movapd %xmm1,%xmm2
jmp    1398 <bup+0x258>
xorps  %xmm2,%xmm2
cvtsi2sd %eax,%xmm2
ucomisd %xmm3,%xmm2
mov    %eax,%ecx
jbe    12bb <bup+0x17b>
cvttsd2si %xmm3,%ecx
test   %ecx,%ecx
jle    12f0 <bup+0x1b0>
movsd  0x2d99(%rip),%xmm2
movsd  0x2d89(%rip),%xmm4
movsd  (%r12),%xmm3
cmp    $0x1,%ecx
jne    1301 <bup+0x1c1>
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   0x0(%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 %51
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 %51
36: ; preds = %30
%37 = call i32 @exparg(i32* @bup.K1)
%38 = call i32 @fabs(i32 %37)
store i32 %38, i32* @bup.mu
%39 = call i32 @exparg(i32* @bup.K2)
store i32 %39, i32* @bup.k
%40 = load i32, i32* @bup.k
%41 = load i32, i32* @bup.mu
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %45
43: ; preds = %36
%44 = load i32, i32* @bup.k
store i32 %44, i32* @bup.mu
br label %45
45: ; preds = %43, %36
%46 = load i32, i32* @bup.mu
%47 = sitofp i32 %46 to double
store double %47, double* @bup.t
%48 = load double, double* @bup.t
%49 = fneg double %48
%50 = call double @exp(double %49)
store double %50, double* @bup.d
br label %51
51: ; preds = %45, %35, %29
%52 = load double*, double** %8
%53 = load double*, double** %9
%54 = load double*, double** %10
%55 = load double*, double** %11
%56 = call double @brcmp1(i32* @bup.mu, double* %52, double* %53, double* %54, double* %55)
%57 = load double*, double** %8
%58 = load double, double* %57
%59 = fdiv double %56, %58
store double %59, double* @bup.bup
%60 = load i32*, i32** %12
%61 = load i32, i32* %60
%62 = icmp eq i32 %61, 1
br i1 %62, label %66, label %63
63: ; preds = %51
%64 = load double, double* @bup.bup
%65 = fcmp oeq double %64, 0.000000e+00
br i1 %65, label %66, label %68
66: ; preds = %63, %51
%67 = load double, double* @bup.bup
store double %67, double* %7
br label %188
68: ; preds = %63
%69 = load i32*, i32** %12
%70 = load i32, i32* %69
%71 = sub nsw i32 %70, 1
store i32 %71, i32* @bup.nm1
%72 = load double, double* @bup.d
store double %72, double* @bup.w
store i32 0, i32* @bup.k
%73 = load double*, double** %9
%74 = load double, double* %73
%75 = fcmp ole double %74, 1.000000e+00
br i1 %75, label %76, label %77
76: ; preds = %68
br label %144
77: ; preds = %68
%78 = load double*, double** %11
%79 = load double, double* %78
%80 = fcmp ogt double %79, 1.000000e-04
br i1 %80, label %81, label %82
81: ; preds = %77
br label %84
82: ; preds = %77
%83 = load i32, i32* @bup.nm1
store i32 %83, i32* @bup.k
br label %111
84: ; preds = %81
%85 = load double*, double** %9
%86 = load double, double* %85
%87 = fsub double %86, 1.000000e+00
%88 = load double*, double** %10
%89 = load double, double* %88
%90 = fmul double %87, %89
%91 = load double*, double** %11
%92 = load double, double* %91
%93 = fdiv double %90, %92
%94 = load double*, double** %8
%95 = load double, double* %94
%96 = fsub double %93, %95
store double %96, double* @bup.r
%97 = load double, double* @bup.r
%98 = fcmp olt double %97, 1.000000e+00
br i1 %98, label %99, label %100
99: ; preds = %84
br label %144
100: ; preds = %84
%101 = load i32, i32* @bup.nm1
%102 = sitofp i32 %101 to double
store double %102, double* @bup.t
%103 = fptosi double %102 to i32
store i32 %103, i32* @bup.k
%104 = load double, double* @bup.r
%105 = load double, double* @bup.t
%106 = fcmp olt double %104, %105
br i1 %106, label %107, label %110
107: ; preds = %100
%108 = load double, double* @bup.r
%109 = fptosi double %108 to i32
store i32 %109, i32* @bup.k
br label %110
110: ; preds = %107, %100
br label %111
111: ; preds = %110, %82
store i32 1, i32* @bup.i
br label %112
112: ; preds = %135, %111
%113 = load i32, i32* @bup.i
%114 = load i32, i32* @bup.k
%115 = icmp sle i32 %113, %114
br i1 %115, label %116, label %138
116: ; preds = %112
%117 = load i32, i32* @bup.i
%118 = sub nsw i32 %117, 1
%119 = sitofp i32 %118 to double
store double %119, double* @bup.l
%120 = load double, double* @bup.apb
%121 = load double, double* @bup.l
%122 = fadd double %120, %121
%123 = load double, double* @bup.ap1
%124 = load double, double* @bup.l
%125 = fadd double %123, %124
%126 = fdiv double %122, %125
%127 = load double*, double** %10
%128 = load double, double* %127
%129 = fmul double %126, %128
%130 = load double, double* @bup.d
%131 = fmul double %129, %130
store double %131, double* @bup.d
%132 = load double, double* @bup.d
%133 = load double, double* @bup.w
%134 = fadd double %133, %132
store double %134, double* @bup.w
br label %135
135: ; preds = %116
%136 = load i32, i32* @bup.i
%137 = add nsw i32 %136, 1
store i32 %137, i32* @bup.i
br label %112
138: ; preds = %112
%139 = load i32, i32* @bup.k
%140 = load i32, i32* @bup.nm1
%141 = icmp eq i32 %139, %140
br i1 %141, label %142, label %143
142: ; preds = %138
br label %183
143: ; preds = %138
br label %144
144: ; preds = %143, %99, %76
%145 = load i32, i32* @bup.k
%146 = add nsw i32 %145, 1
store i32 %146, i32* @bup.kp1
%147 = load i32, i32* @bup.kp1
store i32 %147, i32* @bup.i
br label %148
148: ; preds = %179, %144
%149 = load i32, i32* @bup.i
%150 = load i32, i32* @bup.nm1
%151 = icmp sle i32 %149, %150
br i1 %151, label %152, label %182
152: ; preds = %148
%153 = load i32, i32* @bup.i
%154 = sub nsw i32 %153, 1
%155 = sitofp i32 %154 to double
store double %155, double* @bup.l
%156 = load double, double* @bup.apb
%157 = load double, double* @bup.l
%158 = fadd double %156, %157
%159 = load double, double* @bup.ap1
%160 = load double, double* @bup.l
%161 = fadd double %159, %160
%162 = fdiv double %158, %161
%163 = load double*, double** %10
%164 = load double, double* %163
%165 = fmul double %162, %164
%166 = load double, double* @bup.d
%167 = fmul double %165, %166
store double %167, double* @bup.d
%168 = load double, double* @bup.d
%169 = load double, double* @bup.w
%170 = fadd double %169, %168
store double %170, double* @bup.w
%171 = load double, double* @bup.d
%172 = load double*, double** %13
%173 = load double, double* %172
%174 = load double, double* @bup.w
%175 = fmul double %173, %174
%176 = fcmp ole double %171, %175
br i1 %176, label %177, label %178
177: ; preds = %152
br label %183
178: ; preds = %152
br label %179
179: ; preds = %178
%180 = load i32, i32* @bup.i
%181 = add nsw i32 %180, 1
store i32 %181, i32* @bup.i
br label %148
182: ; preds = %148
br label %183
183: ; preds = %182, %177, %142
%184 = load double, double* @bup.w
%185 = load double, double* @bup.bup
%186 = fmul double %185, %184
store double %186, double* @bup.bup
%187 = load double, double* @bup.bup
store double %187, double* %7
br label %188
188: ; preds = %183, %66
%189 = load double, double* %7
ret double %189
}

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