#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 brcomp(double, double, double, double);
int /*<<< orphan*/ fabs(double);
double bfrac(double a, double b, double x, double y, double lambda,
             double eps) {
  double ret_val, d__1;
  double c__, e, n, p, r__, s, t, w, c0, c1, r0, an, bn, yp1, anp1, bnp1, beta,
      alpha;
  ret_val = brcomp(a, b, x, y);
  if (ret_val == 0.0) {
    return ret_val;
  }
  c__ = lambda + 1.0;
  c0 = b / a;
  c1 = 1.0 / a + 1.0;
  yp1 = y + 1.0;
  n = 0.0;
  p = 1.0;
  s = a + 1.0;
  an = 0.0;
  bn = 1.0;
  anp1 = 1.0;
  bnp1 = c__ / c1;
  r__ = c1 / c__;
L10:
  n += 1.0;
  t = n / a;
  w = n * (b - n) * x;
  e = a / s;
  alpha = p * (p + c0) * e * e * (w * x);
  e = (t + 1.0) / (c1 + t + t);
  beta = n + w / s + e * (c__ + n * yp1);
  p = t + 1.0;
  s += 2.0;
  t = alpha * an + beta * anp1;
  an = anp1;
  anp1 = t;
  t = alpha * bn + beta * bnp1;
  bn = bnp1;
  bnp1 = t;
  r0 = r__;
  r__ = anp1 / bnp1;
  if ((d__1 = r__ - r0, fabs(d__1)) <= eps * r__) {
    goto L20;
  }
  an /= bnp1;
  bn /= bnp1;
  anp1 = r__;
  bnp1 = 1.0;
  goto L10;
L20:
  ret_val *= r__;
  return ret_val;
}


x86 assembly (clang, -O0):
<bfrac>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
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  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
call   1040 <brcomp@plt>
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    118e <bfrac+0x6e>
jp     118e <bfrac+0x6e>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14dd <bfrac+0x3bd>
movsd  0xe6a(%rip),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x18(%rbp),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xe46(%rip),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  0xe39(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xe25(%rip),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xe08(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xdfb(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xdde(%rip),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  0xdce(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
divsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
divsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xd97(%rip),%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
subsd  -0x60(%rbp),%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
divsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
addsd  -0x90(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
mulsd  -0x58(%rbp),%xmm0
mulsd  -0x58(%rbp),%xmm0
movsd  -0x88(%rbp),%xmm1
ff
mulsd  -0x20(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  0xd0e(%rip),%xmm0
addsd  -0x80(%rbp),%xmm0
movsd  -0x98(%rbp),%xmm1
ff
addsd  -0x80(%rbp),%xmm1
addsd  -0x80(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x60(%rbp),%xmm1
movsd  -0x88(%rbp),%xmm0
ff
divsd  -0x78(%rbp),%xmm0
addsd  %xmm0,%xmm1
movsd  -0x58(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm3
movsd  -0x60(%rbp),%xmm2
movsd  -0xb8(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  0xca1(%rip),%xmm0
addsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xc97(%rip),%xmm0
addsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0xd8(%rbp),%xmm0
ff
movsd  -0xa8(%rbp),%xmm2
ff
movsd  -0xd0(%rbp),%xmm1
ff
mulsd  -0xc0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0xc0(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0xd8(%rbp),%xmm0
ff
movsd  -0xb0(%rbp),%xmm2
ff
movsd  -0xd0(%rbp),%xmm1
ff
mulsd  -0xc8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0xc8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
divsd  -0xc8(%rbp),%xmm0
ff
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
subsd  -0xa0(%rbp),%xmm0
ff
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
call   1030 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  -0x38(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     146a <bfrac+0x34a>
jmp    14c4 <bfrac+0x3a4>
movsd  -0xc8(%rbp),%xmm1
ff
movsd  -0xa8(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm1
ff
movsd  -0xb0(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  0xb49(%rip),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
jmp    1261 <bfrac+0x141>
movsd  -0x70(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bfrac>:
sub    $0xc8,%rsp
movsd  %xmm5,0x40(%rsp)
movsd  %xmm4,0x8(%rsp)
movsd  %xmm0,0x10(%rsp)
movsd  %xmm1,0x18(%rsp)
movaps %xmm2,0x20(%rsp)
movsd  %xmm3,(%rsp)
call   1040 <brcomp@plt>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1162 <bfrac+0x42>
jp     1162 <bfrac+0x42>
add    $0xc8,%rsp
ret
movsd  %xmm0,0x38(%rsp)
movsd  0xe90(%rip),%xmm1
movsd  0x8(%rsp),%xmm10
addsd  %xmm1,%xmm10
movsd  0x18(%rsp),%xmm5
movapd %xmm5,%xmm2
movsd  0x10(%rsp),%xmm7
divsd  %xmm7,%xmm2
movapd %xmm1,%xmm3
divsd  %xmm7,%xmm3
addsd  %xmm1,%xmm3
movsd  (%rsp),%xmm11
addsd  %xmm1,%xmm11
movapd %xmm7,%xmm0
addsd  %xmm1,%xmm0
movapd %xmm10,%xmm4
divsd  %xmm3,%xmm4
movapd %xmm3,0x60(%rsp)
movapd %xmm3,%xmm12
divsd  %xmm10,%xmm12
movapd 0xe3f(%rip),%xmm9
unpcklpd %xmm4,%xmm9
shufpd $0x2,0xe41(%rip),%xmm2
movapd %xmm2,0x70(%rsp)
xorpd  %xmm8,%xmm8
unpcklpd %xmm1,%xmm8
unpcklpd 0x20(%rsp),%xmm1
movapd %xmm1,0x50(%rsp)
movsd  0xdfd(%rip),%xmm1
movapd %xmm5,%xmm4
movsd  %xmm10,0x8(%rsp)
movsd  %xmm11,(%rsp)
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movapd 0x70(%rsp),%xmm6
addpd  %xmm1,%xmm6
movapd %xmm6,%xmm2
unpckhpd %xmm6,%xmm2
movapd %xmm2,%xmm3
divsd  %xmm7,%xmm3
subsd  %xmm2,%xmm4
unpcklpd %xmm4,%xmm1
movapd 0x60(%rsp),%xmm4
addsd  %xmm3,%xmm4
addsd  %xmm3,%xmm4
movapd %xmm3,%xmm5
movsd  0xda4(%rip),%xmm3
addsd  %xmm3,%xmm5
movapd %xmm5,0x90(%rsp)
movapd %xmm5,%xmm3
divsd  %xmm4,%xmm3
movapd %xmm7,%xmm4
divsd  %xmm0,%xmm4
shufpd $0x2,0x50(%rsp),%xmm4
movapd %xmm6,0xa0(%rsp)
mulpd  %xmm6,%xmm1
mulpd  %xmm4,%xmm1
mulpd  %xmm1,%xmm4
unpckhpd %xmm1,%xmm1
movsd  %xmm0,0x48(%rsp)
divsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm11,%xmm2
addsd  %xmm10,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
movapd %xmm4,%xmm1
unpckhpd %xmm4,%xmm1
mulsd  %xmm4,%xmm1
unpcklpd %xmm2,%xmm2
movapd %xmm9,0xb0(%rsp)
mulpd  %xmm9,%xmm2
unpcklpd %xmm1,%xmm1
mulpd  %xmm8,%xmm1
addpd  %xmm2,%xmm1
movapd %xmm1,%xmm0
unpckhpd %xmm1,%xmm0
movapd %xmm0,0x80(%rsp)
divsd  %xmm0,%xmm1
movapd %xmm1,0x20(%rsp)
movapd %xmm1,%xmm0
subsd  %xmm12,%xmm0
call   1030 <fabs@plt>
movapd 0x20(%rsp),%xmm12
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movapd %xmm12,%xmm1
mulsd  0x40(%rsp),%xmm1
ucomisd %xmm0,%xmm1
jae    1395 <bfrac+0x275>
movsd  0x48(%rsp),%xmm0
addsd  0xccd(%rip),%xmm0
movapd 0xb0(%rsp),%xmm8
divpd  0x80(%rsp),%xmm8
movapd 0xcc9(%rip),%xmm1
movsd  %xmm12,%xmm1
movapd 0xa0(%rsp),%xmm2
movlpd 0x90(%rsp),%xmm2
movapd %xmm1,%xmm9
movapd %xmm2,%xmm1
movsd  0x8(%rsp),%xmm10
movsd  (%rsp),%xmm11
movsd  0x18(%rsp),%xmm4
movsd  0x10(%rsp),%xmm7
jmp    1220 <bfrac+0x100>
movsd  0x38(%rsp),%xmm0
mulsd  %xmm12,%xmm0
add    $0xc8,%rsp
ret

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

LLVM IR (-O2):
define double @bfrac(double %0, double %1, double %2, double %3, double %4, double %5) {
%7 = tail call double @brcomp(double %0, double %1, double %2, double %3)
%8 = fcmp oeq double %7, 0.000000e+00
br i1 %8, label %69, label %9
9: ; preds = %6
%10 = fadd double %4, 1.000000e+00
%11 = fdiv double %1, %0
%12 = fdiv double 1.000000e+00, %0
%13 = fadd double %12, 1.000000e+00
%14 = fadd double %3, 1.000000e+00
%15 = fadd double %0, 1.000000e+00
%16 = fdiv double %10, %13
%17 = fdiv double %13, %10
%18 = insertelement <2 x double> <double 1.000000e+00, double poison>, double %16, i64 1
%19 = insertelement <2 x double> <double poison, double 1.000000e+00>, double %11, i64 0
%20 = insertelement <2 x double> poison, double %2, i64 1
br label %21
21: ; preds = %61, %9
%22 = phi double [ %15, %9 ], [ %62, %61 ]
%23 = phi double [ %17, %9 ], [ %55, %61 ]
%24 = phi <2 x double> [ <double 0.000000e+00, double 1.000000e+00>, %9 ], [ %64, %61 ]
%25 = phi <2 x double> [ %18, %9 ], [ %65, %61 ]
%26 = phi <2 x double> [ <double 1.000000e+00, double 0.000000e+00>, %9 ], [ %66, %61 ]
%27 = fadd <2 x double> %19, %26
%28 = extractelement <2 x double> %27, i64 1
%29 = fdiv double %28, %0
%30 = fsub double %1, %28
%31 = fdiv double %0, %22
%32 = insertelement <2 x double> %26, double %30, i64 1
%33 = fmul <2 x double> %32, %27
%34 = insertelement <2 x double> %20, double %31, i64 0
%35 = fmul <2 x double> %33, %34
%36 = fmul <2 x double> %35, %34
%37 = shufflevector <2 x double> %36, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%38 = fmul <2 x double> %36, %37
%39 = fadd double %29, 1.000000e+00
%40 = fadd double %13, %29
%41 = fadd double %29, %40
%42 = fdiv double %39, %41
%43 = extractelement <2 x double> %35, i64 1
%44 = fdiv double %43, %22
%45 = fadd double %28, %44
%46 = tail call double @llvm.fmuladd.f64(double %28, double %14, double %10)
%47 = tail call double @llvm.fmuladd.f64(double %42, double %46, double %45)
%48 = insertelement <2 x double> poison, double %47, i64 0
%49 = shufflevector <2 x double> %48, <2 x double> poison, <2 x i32> zeroinitializer
%50 = fmul <2 x double> %25, %49
%51 = shufflevector <2 x double> %38, <2 x double> undef, <2 x i32> zeroinitializer
%52 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %51, <2 x double> %24, <2 x double> %50)
%53 = extractelement <2 x double> %52, i64 0
%54 = extractelement <2 x double> %52, i64 1
%55 = fdiv double %53, %54
%56 = fsub double %55, %23
%57 = tail call i32 @fabs(double %56)
%58 = sitofp i32 %57 to double
%59 = fmul double %55, %5
%60 = fcmp ult double %59, %58
br i1 %60, label %61, label %67
61: ; preds = %21
%62 = fadd double %22, 2.000000e+00
%63 = shufflevector <2 x double> %52, <2 x double> undef, <2 x i32> <i32 1, i32 1>
%64 = fdiv <2 x double> %25, %63
%65 = insertelement <2 x double> <double poison, double 1.000000e+00>, double %55, i64 0
%66 = insertelement <2 x double> %27, double %39, i64 0
br label %21
67: ; preds = %21
%68 = fmul double %7, %55
br label %69
69: ; preds = %6, %67
%70 = phi double [ %68, %67 ], [ %7, %6 ]
ret double %70
}