#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 cdflib_beta_cdflib_rcomp(double const *, double const *, double const *,
                                double const *);
double const fabs(double);
double cdflib_beta_frac(const double *a, const double *b, const double *x,
                        const double *y, const double *lambda,
                        const double *eps) {
  double bfrac, alpha, an, anp1, beta, bn, bnp1, c, c0, c1, e, n, p, r, r0, s,
      t, w, yp1;
  bfrac = cdflib_beta_cdflib_rcomp(a, b, x, y);
  if (bfrac == 0.0e0) {
    return bfrac;
  }
  c = 1.0e0 + *lambda;
  c0 = *b / *a;
  c1 = 1.0e0 + 1.0e0 / *a;
  yp1 = *y + 1.0e0;
  n = 0.0e0;
  p = 1.0e0;
  s = *a + 1.0e0;
  an = 0.0e0;
  bn = anp1 = 1.0e0;
  bnp1 = c / c1;
  r = c1 / c;
S10:
  n = n + 1.0e0;
  t = n / *a;
  w = n * (*b - n) * *x;
  e = *a / s;
  alpha = p * (p + c0) * e * e * (w * *x);
  e = (1.0e0 + t) / (c1 + t + t);
  beta = n + w / s + e * (c + n * yp1);
  p = 1.0e0 + t;
  s += 2.0e0;
  t = alpha * an + beta * anp1;
  an = anp1;
  anp1 = t;
  t = alpha * bn + beta * bnp1;
  bn = bnp1;
  bnp1 = t;
  r0 = r;
  r = anp1 / bnp1;
  if (fabs(r - r0) <= (*eps) * r) {
    goto S20;
  }
  an /= bnp1;
  bn /= bnp1;
  anp1 = r;
  bnp1 = 1.0e0;
  goto S10;
S20:
  bfrac = bfrac * r;
  return bfrac;
}


x86 assembly (clang, -O0):
<cdflib_beta_frac>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%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),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   1030 <cdflib_beta_cdflib_rcomp@plt>
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1184 <cdflib_beta_frac+0x64>
jp     1184 <cdflib_beta_frac+0x64>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14fe <cdflib_beta_frac+0x3de>
mov    -0x30(%rbp),%rax
movsd  0xe70(%rip),%xmm0
addsd  (%rax),%xmm0
movsd  %xmm0,-0x78(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x10(%rbp),%rax
movsd  0xe46(%rip),%xmm1
divsd  (%rax),%xmm1
movsd  0xe3a(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x28(%rbp),%rax
movsd  0xe22(%rip),%xmm0
addsd  (%rax),%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  0xe03(%rip),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
mov    -0x10(%rbp),%rax
movsd  0xdef(%rip),%xmm0
addsd  (%rax),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xdd3(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xdc6(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x78(%rbp),%xmm0
divsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x70(%rbp)
movsd  -0x88(%rbp),%xmm0
ff
divsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  0xd92(%rip),%xmm0
addsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
mov    -0x10(%rbp),%rax
divsd  (%rax),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm1
subsd  -0x98(%rbp),%xmm1
ff
mulsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
divsd  -0xb8(%rbp),%xmm0
ff
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
movsd  -0xa0(%rbp),%xmm1
ff
addsd  -0x80(%rbp),%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x90(%rbp),%xmm0
ff
mulsd  -0x90(%rbp),%xmm0
ff
movsd  -0xc8(%rbp),%xmm1
ff
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xcdc(%rip),%xmm0
addsd  -0xc0(%rbp),%xmm0
ff
movsd  -0x88(%rbp),%xmm1
ff
addsd  -0xc0(%rbp),%xmm1
ff
addsd  -0xc0(%rbp),%xmm1
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x98(%rbp),%xmm1
ff
movsd  -0xc8(%rbp),%xmm0
ff
divsd  -0xb8(%rbp),%xmm0
ff
addsd  %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x78(%rbp),%xmm3
movsd  -0x98(%rbp),%xmm2
ff
movsd  -0xd0(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xc5a(%rip),%xmm0
addsd  -0xc0(%rbp),%xmm0
ff
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xc4a(%rip),%xmm0
addsd  -0xb8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0xc0(%rbp),%xmm0
ff
movsd  %xmm0,-0x58(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x70(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0xc0(%rbp),%xmm0
ff
movsd  %xmm0,-0x70(%rbp)
movsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x58(%rbp),%xmm0
divsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
subsd  -0xb0(%rbp),%xmm0
ff
call   1040 <fabs@plt>
movaps %xmm0,%xmm1
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
ucomisd %xmm1,%xmm0
jb     149d <cdflib_beta_frac+0x37d>
jmp    14e2 <cdflib_beta_frac+0x3c2>
movsd  -0x70(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x70(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0x58(%rbp)
movsd  0xb28(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    1266 <cdflib_beta_frac+0x146>
movsd  -0x40(%rbp),%xmm0
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cdflib_beta_frac>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,%r14
mov    %r8,%rbp
mov    %rcx,%r12
mov    %rdx,%r15
mov    %rsi,%r13
mov    %rdi,%rbx
call   1030 <cdflib_beta_cdflib_rcomp@plt>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1145 <cdflib_beta_frac+0x35>
jnp    12f9 <cdflib_beta_frac+0x1e9>
movsd  %xmm0,0x8(%rsp)
movsd  0xead(%rip),%xmm0
movsd  0x0(%rbp),%xmm1
addsd  %xmm0,%xmm1
movsd  0x0(%r13),%xmm15
movsd  (%rbx),%xmm11
movsd  %xmm15,0x18(%rsp)
divsd  %xmm11,%xmm15
movapd %xmm0,%xmm13
divsd  %xmm11,%xmm13
addsd  %xmm0,%xmm13
movsd  (%r12),%xmm2
addsd  %xmm0,%xmm2
movsd  %xmm2,0x10(%rsp)
movapd %xmm11,%xmm4
addsd  %xmm0,%xmm4
movapd %xmm1,%xmm2
divsd  %xmm13,%xmm2
movapd %xmm13,%xmm7
movsd  %xmm1,0x20(%rsp)
divsd  %xmm1,%xmm7
movsd  (%r14),%xmm12
movapd 0xe50(%rip),%xmm0
shufpd $0x2,%xmm0,%xmm2
movhpd (%r15),%xmm3
shufpd $0x2,%xmm0,%xmm15
movsd  0xe28(%rip),%xmm0
movapd %xmm0,%xmm9
nopl   (%rax)
movapd %xmm15,%xmm8
addpd  %xmm9,%xmm8
movapd %xmm8,%xmm5
unpckhpd %xmm8,%xmm5
movapd %xmm5,%xmm14
divsd  %xmm11,%xmm14
movsd  0x18(%rsp),%xmm6
subsd  %xmm5,%xmm6
unpcklpd %xmm6,%xmm9
movapd %xmm13,%xmm6
addsd  %xmm14,%xmm6
addsd  %xmm14,%xmm6
addsd  0xddb(%rip),%xmm14
movapd %xmm14,%xmm10
divsd  %xmm6,%xmm10
movapd %xmm11,%xmm1
divsd  %xmm4,%xmm1
shufpd $0x2,%xmm3,%xmm1
mulpd  %xmm8,%xmm9
mulpd  %xmm1,%xmm9
mulpd  %xmm9,%xmm1
unpckhpd %xmm9,%xmm9
divsd  %xmm4,%xmm9
addsd  %xmm5,%xmm9
mulsd  0x10(%rsp),%xmm5
addsd  0x20(%rsp),%xmm5
mulsd  %xmm10,%xmm5
addsd  %xmm9,%xmm5
movapd %xmm1,%xmm6
unpckhpd %xmm1,%xmm6
mulsd  %xmm1,%xmm6
movapd %xmm7,%xmm1
unpcklpd %xmm5,%xmm5
mulpd  %xmm2,%xmm5
unpcklpd %xmm6,%xmm6
mulpd  %xmm0,%xmm6
addpd  %xmm5,%xmm6
movapd %xmm6,%xmm7
unpckhpd %xmm6,%xmm7
divsd  %xmm6,%xmm7
movapd %xmm7,%xmm0
subsd  %xmm1,%xmm0
andpd  0xd6f(%rip),%xmm0
movapd %xmm12,%xmm1
mulsd  %xmm7,%xmm1
ucomisd %xmm0,%xmm1
jae    12ef <cdflib_beta_frac+0x1df>
addsd  0xd40(%rip),%xmm4
unpcklpd %xmm6,%xmm6
divpd  %xmm6,%xmm2
movapd %xmm2,%xmm0
movapd 0xd54(%rip),%xmm2
unpcklpd %xmm7,%xmm2
movsd  %xmm14,%xmm8
movapd %xmm8,%xmm9
jmp    11e0 <cdflib_beta_frac+0xd0>
movsd  0x8(%rsp),%xmm0
mulsd  %xmm7,%xmm0
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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