#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 sqrt(double);
double more_badlags(double *w, int *badlag, double noise_lev, int mplgs,
                    int nave) {
  double fluct0, fluct, fluct_old;
  short int badflag_1, badflag_2, k_old, k;
  short int sum_np;
  badflag_1 = 0;
  badflag_2 = 0;
  fluct0 = w[0] / sqrt(2.0 * (double)nave);
  fluct = w[0] + 2.0 * noise_lev + fluct0;
  fluct_old = fluct;
  sum_np = 0;
  k_old = 0;
  for (k = 0; k < mplgs; k++) {
    if (badlag[k])
      continue;
    if (badflag_2)
      badlag[k] = 7;
    else if (w[k] <= w[0] / sqrt((double)nave)) {
      badlag[k] = 3;
      badflag_2 = badflag_1;
      badflag_1 = 1;
    } else {
      badflag_1 = 0;
      if (w[k] > fluct) {
        badlag[k] = 5;
        if (k < (mplgs - 1)) {
          if ((w[k] < fluct_old) && (w[k + 1] > fluct) && (w[k + 1] < w[k])) {
            badlag[k_old] = 9;
            --sum_np;
            badlag[k] = 0;
          }
        }
      }
      fluct_old = fluct;
      fluct = 2.0 * noise_lev + w[k] + fluct0;
    }
    if (!badlag[k]) {
      ++sum_np;
      k_old = k;
    }
  }
  return (double)sum_np;
}


x86 assembly (clang, -O0):
<more_badlags>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
movw   $0x0,-0x3a(%rbp)
movw   $0x0,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
cvtsi2sdl -0x20(%rbp),%xmm1
movsd  0xeaf(%rip),%xmm0
mulsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x18(%rbp),%xmm0
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movw   $0x0,-0x42(%rbp)
movw   $0x0,-0x3e(%rbp)
movw   $0x0,-0x40(%rbp)
movswl -0x40(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13a1 <more_badlags+0x291>
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     11cb <more_badlags+0xbb>
jmp    1390 <more_badlags+0x280>
cmpw   $0x0,-0x3c(%rbp)
je     11eb <more_badlags+0xdb>
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
movl   $0x7,(%rax,%rcx,4)
jmp    1364 <more_badlags+0x254>
mov    -0x8(%rbp),%rax
movswq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x58(%rbp)
cvtsi2sdl -0x20(%rbp),%xmm0
call   1030 <sqrt@plt>
movsd  -0x60(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x58(%rbp),%xmm0
divsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jb     1253 <more_badlags+0x143>
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x3a(%rbp),%ax
mov    %ax,-0x3c(%rbp)
movw   $0x1,-0x3a(%rbp)
jmp    135f <more_badlags+0x24f>
movw   $0x0,-0x3a(%rbp)
mov    -0x8(%rbp),%rax
movswq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    1330 <more_badlags+0x220>
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
movl   $0x5,(%rax,%rcx,4)
movswl -0x40(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    132b <more_badlags+0x21b>
mov    -0x8(%rbp),%rax
movswq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1326 <more_badlags+0x216>
mov    -0x8(%rbp),%rax
movswl -0x40(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    1326 <more_badlags+0x216>
mov    -0x8(%rbp),%rax
movswl -0x40(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movswq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    1326 <more_badlags+0x216>
mov    -0x10(%rbp),%rax
movswq -0x3e(%rbp),%rcx
movl   $0x9,(%rax,%rcx,4)
mov    -0x42(%rbp),%ax
add    $0xffff,%ax
mov    %ax,-0x42(%rbp)
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    132b <more_badlags+0x21b>
jmp    1330 <more_badlags+0x220>
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movswq -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1364 <more_badlags+0x254>
mov    -0x10(%rbp),%rax
movswq -0x40(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    138b <more_badlags+0x27b>
mov    -0x42(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x42(%rbp)
mov    -0x40(%rbp),%ax
mov    %ax,-0x3e(%rbp)
jmp    1390 <more_badlags+0x280>
mov    -0x40(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x40(%rbp)
jmp    11a6 <more_badlags+0x96>
movswl -0x42(%rbp),%eax
cvtsi2sd %eax,%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<more_badlags>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %edx,%r14d
movsd  %xmm0,0x8(%rsp)
mov    %rsi,%rbx
movsd  (%rdi),%xmm0
movsd  %xmm0,(%rsp)
cvtsi2sd %ecx,%xmm2
movapd %xmm2,%xmm0
addsd  %xmm2,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %rdi,0x20(%rsp)
movsd  %xmm2,0x18(%rsp)
jb     115a <more_badlags+0x4a>
sqrtsd %xmm0,%xmm0
jmp    116a <more_badlags+0x5a>
call   1030 <sqrt@plt>
movsd  0x18(%rsp),%xmm2
mov    0x20(%rsp),%rdi
xor    %ebp,%ebp
test   %r14d,%r14d
jle    1329 <more_badlags+0x219>
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  0x8(%rsp),%xmm0
addsd  %xmm0,%xmm0
movsd  (%rdi),%xmm6
movsd  %xmm0,0x8(%rsp)
addsd  %xmm0,%xmm6
movsd  %xmm1,(%rsp)
addsd  %xmm1,%xmm6
lea    -0x1(%r14),%eax
mov    %eax,0x14(%rsp)
sqrtsd %xmm2,%xmm3
xorpd  %xmm4,%xmm4
xor    %r9d,%r9d
xor    %r13d,%r13d
xor    %ecx,%ecx
xor    %r15d,%r15d
movapd %xmm6,%xmm5
movsd  %xmm3,0x30(%rsp)
mov    %r14,0x28(%rsp)
jmp    1219 <more_badlags+0x109>
nopl   0x0(%rax,%rax,1)
movl   $0x7,(%rbx,%r12,4)
mov    $0x7,%eax
movapd %xmm5,%xmm0
movapd %xmm6,%xmm5
mov    %r15d,%edx
mov    $0x1,%r15w
mov    %r15d,%ecx
movapd %xmm5,%xmm6
xor    %esi,%esi
test   %eax,%eax
sete   %sil
cmove  %ebp,%r13d
add    %esi,%r9d
movapd %xmm0,%xmm5
mov    %edx,%r15d
add    $0x1,%ebp
movswl %bp,%ebp
cmp    %r14d,%ebp
jge    132c <more_badlags+0x21c>
movslq %ebp,%r12
cmpl   $0x0,(%rbx,%r12,4)
jne    120a <more_badlags+0xfa>
test   %cx,%cx
jne    11d0 <more_badlags+0xc0>
movsd  (%rdi,%r12,8),%xmm1
movsd  (%rdi),%xmm7
ucomisd %xmm4,%xmm2
movapd %xmm3,%xmm0
jae    1295 <more_badlags+0x185>
movapd %xmm2,%xmm0
mov    %r9d,%r14d
movsd  %xmm5,0x50(%rsp)
movsd  %xmm6,0x48(%rsp)
movsd  %xmm1,0x40(%rsp)
movsd  %xmm7,0x38(%rsp)
call   1030 <sqrt@plt>
movsd  0x38(%rsp),%xmm7
movsd  0x40(%rsp),%xmm1
movsd  0x48(%rsp),%xmm6
movsd  0x50(%rsp),%xmm5
mov    %r14d,%r9d
mov    0x28(%rsp),%r14
xorpd  %xmm4,%xmm4
movsd  0x30(%rsp),%xmm3
movsd  0x18(%rsp),%xmm2
mov    0x20(%rsp),%rdi
divsd  %xmm0,%xmm7
ucomisd %xmm1,%xmm7
jae    12f2 <more_badlags+0x1e2>
movsd  (%rdi,%r12,8),%xmm0
ucomisd %xmm5,%xmm0
jbe    1310 <more_badlags+0x200>
movl   $0x5,(%rbx,%r12,4)
mov    $0x5,%eax
cmp    %ebp,0x14(%rsp)
jle    1314 <more_badlags+0x204>
ucomisd %xmm0,%xmm6
jbe    1314 <more_badlags+0x204>
movsd  0x8(%rdi,%r12,8),%xmm1
ucomisd %xmm5,%xmm1
jbe    1314 <more_badlags+0x204>
ucomisd %xmm1,%xmm0
jbe    1314 <more_badlags+0x204>
movswq %r13w,%rax
movl   $0x9,(%rbx,%rax,4)
add    $0xffffffff,%r9d
movl   $0x0,(%rbx,%r12,4)
xor    %eax,%eax
jmp    1314 <more_badlags+0x204>
movl   $0x3,(%rbx,%r12,4)
mov    $0x1,%dx
mov    $0x7,%eax
movapd %xmm5,%xmm0
movapd %xmm6,%xmm5
jmp    11ed <more_badlags+0xdd>
mov    (%rbx,%r12,4),%eax
addsd  0x8(%rsp),%xmm0
addsd  (%rsp),%xmm0
xor    %edx,%edx
xor    %r15d,%r15d
jmp    11ed <more_badlags+0xdd>
xor    %r9d,%r9d
movswl %r9w,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define double @more_badlags(double* nocapture %0, i32* nocapture %1, double %2, i32 %3, i32 %4) {
%6 = load double, double* %0
%7 = sitofp i32 %4 to double
%8 = fmul double %7, 2.000000e+00
%9 = tail call double @sqrt(double %8)
%10 = fdiv double %6, %9
%11 = load double, double* %0
%12 = tail call double @llvm.fmuladd.f64(double %2, double 2.000000e+00, double %11)
%13 = fadd double %10, %12
%14 = icmp sgt i32 %3, 0
br i1 %14, label %15, label %89
15: ; preds = %5
%16 = add nsw i32 %3, -1
br label %17
17: ; preds = %15, %78
%18 = phi i32 [ 0, %15 ], [ %87, %78 ]
%19 = phi i16 [ 0, %15 ], [ %84, %78 ]
%20 = phi i16 [ 0, %15 ], [ %83, %78 ]
%21 = phi i16 [ 0, %15 ], [ %82, %78 ]
%22 = phi i16 [ 0, %15 ], [ %81, %78 ]
%23 = phi double [ %13, %15 ], [ %80, %78 ]
%24 = phi double [ %13, %15 ], [ %79, %78 ]
%25 = trunc i32 %18 to i16
%26 = sext i32 %18 to i64
%27 = getelementptr inbounds i32, i32* %1, i64 %26
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %78
30: ; preds = %17
%31 = icmp eq i16 %21, 0
br i1 %31, label %33, label %32
32: ; preds = %30
store i32 7, i32* %27
br label %67
33: ; preds = %30
%34 = getelementptr inbounds double, double* %0, i64 %26
%35 = load double, double* %34
%36 = load double, double* %0
%37 = tail call double @sqrt(double %7)
%38 = fdiv double %36, %37
%39 = fcmp ugt double %35, %38
br i1 %39, label %41, label %40
40: ; preds = %33
store i32 3, i32* %27
br label %67
41: ; preds = %33
%42 = load double, double* %34
%43 = fcmp ogt double %42, %24
br i1 %43, label %46, label %44
44: ; preds = %41
%45 = load i32, i32* %27
br label %62
46: ; preds = %41
store i32 5, i32* %27
%47 = icmp sgt i32 %16, %18
%48 = fcmp olt double %42, %23
%49 = select i1 %47, i1 %48, i1 false
br i1 %49, label %50, label %62
50: ; preds = %46
%51 = add nsw i32 %18, 1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds double, double* %0, i64 %52
%54 = load double, double* %53
%55 = fcmp ogt double %54, %24
%56 = fcmp olt double %54, %42
%57 = select i1 %55, i1 %56, i1 false
br i1 %57, label %58, label %62
58: ; preds = %50
%59 = sext i16 %20 to i64
%60 = getelementptr inbounds i32, i32* %1, i64 %59
store i32 9, i32* %60
%61 = add i16 %19, -1
store i32 0, i32* %27
br label %62
62: ; preds = %44, %46, %58, %50
%63 = phi i32 [ 0, %58 ], [ 5, %50 ], [ 5, %46 ], [ %45, %44 ]
%64 = phi i16 [ %61, %58 ], [ %19, %50 ], [ %19, %46 ], [ %19, %44 ]
%65 = tail call double @llvm.fmuladd.f64(double %2, double 2.000000e+00, double %42)
%66 = fadd double %10, %65
br label %67
67: ; preds = %40, %62, %32
%68 = phi i32 [ 7, %32 ], [ 7, %40 ], [ %63, %62 ]
%69 = phi double [ %24, %32 ], [ %24, %40 ], [ %66, %62 ]
%70 = phi double [ %23, %32 ], [ %23, %40 ], [ %24, %62 ]
%71 = phi i16 [ %22, %32 ], [ 1, %40 ], [ 0, %62 ]
%72 = phi i16 [ 1, %32 ], [ %22, %40 ], [ 0, %62 ]
%73 = phi i16 [ %19, %32 ], [ %19, %40 ], [ %64, %62 ]
%74 = icmp eq i32 %68, 0
%75 = select i1 %74, i16 %25, i16 %20
%76 = zext i1 %74 to i16
%77 = add i16 %73, %76
br label %78
78: ; preds = %67, %17
%79 = phi double [ %24, %17 ], [ %69, %67 ]
%80 = phi double [ %23, %17 ], [ %70, %67 ]
%81 = phi i16 [ %22, %17 ], [ %71, %67 ]
%82 = phi i16 [ %21, %17 ], [ %72, %67 ]
%83 = phi i16 [ %20, %17 ], [ %75, %67 ]
%84 = phi i16 [ %19, %17 ], [ %77, %67 ]
%85 = shl nsw i32 %18, 16
%86 = add i32 %85, 65536
%87 = ashr exact i32 %86, 16
%88 = icmp slt i32 %87, %3
br i1 %88, label %17, label %89
89: ; preds = %78, %5
%90 = phi i16 [ 0, %5 ], [ %84, %78 ]
%91 = sitofp i16 %90 to double
ret double %91
}