#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 DBL_EPSILON;
int /*<<< orphan*/ heap_build(int, double *);
int heap_del_max(int, double *);
int projectI(double xPtr[], double bPtr[], double tau, int n) {
  int i, j;
  double b, csb, alpha = 0, soft = 0;
  if (tau < DBL_EPSILON) {
    for (i = 0; i < n; i++)
      xPtr[i] = 0;
    return 0;
  }
  for (csb = 0, i = 0; i < n; i++)
    csb += bPtr[i];
  if (csb <= tau)
    return 0;
  heap_build(n, xPtr);
  csb = -tau;
  for (i = n, j = 0; j < n; soft = alpha) {
    b = xPtr[0];
    j++;
    csb += b;
    i = heap_del_max(i, xPtr);
    alpha = csb / j;
    if (alpha >= b)
      break;
  }
  for (i = 0; i < n; i++) {
    b = bPtr[i];
    if (b <= soft)
      xPtr[i] = 0;
    else
      xPtr[i] = b - soft;
  }
  return j;
}


x86 assembly (clang, -O0):
<projectI>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    %edx,-0x24(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x20(%rbp),%xmm1
mov    0x2e94(%rip),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    119f <projectI+0x7f>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1193 <projectI+0x73>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1169 <projectI+0x49>
movl   $0x0,-0x4(%rbp)
jmp    1333 <projectI+0x213>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11df <projectI+0xbf>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11ae <projectI+0x8e>
movsd  -0x40(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     11ff <projectI+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    1333 <projectI+0x213>
mov    -0x24(%rbp),%edi
mov    -0x10(%rbp),%rsi
call   1030 <heap_build@plt>
movsd  -0x20(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    12b5 <projectI+0x195>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movsd  -0x38(%rbp),%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x28(%rbp),%edi
mov    -0x10(%rbp),%rsi
call   1040 <heap_del_max@plt>
mov    %eax,-0x28(%rbp)
movsd  -0x40(%rbp),%xmm0
cvtsi2sdl -0x2c(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
ucomisd -0x38(%rbp),%xmm0
jb     12a1 <projectI+0x181>
jmp    12b5 <projectI+0x195>
jmp    12a6 <projectI+0x186>
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    1239 <projectI+0x119>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    132d <projectI+0x20d>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     1303 <projectI+0x1e3>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
jmp    131a <projectI+0x1fa>
movsd  -0x38(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    131f <projectI+0x1ff>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12bc <projectI+0x19c>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<projectI>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x20,%rsp
mov    %edx,%r15d
mov    %rdi,%r14
mov    0x2e9f(%rip),%rax
movsd  (%rax),%xmm1
ucomisd %xmm0,%xmm1
jbe    1170 <projectI+0x40>
test   %r15d,%r15d
jle    1194 <projectI+0x64>
mov    %r15d,%edx
shl    $0x3,%rdx
xor    %ebp,%ebp
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <memset@plt>
jmp    14bc <projectI+0x38c>
test   %r15d,%r15d
jle    119b <projectI+0x6b>
mov    %rsi,%rbx
mov    %r15d,%r12d
lea    -0x1(%r12),%rcx
mov    %r12d,%eax
and    $0x7,%eax
cmp    $0x7,%rcx
jae    11bb <projectI+0x8b>
xorpd  %xmm1,%xmm1
xor    %ecx,%ecx
jmp    1208 <projectI+0xd8>
xor    %ebp,%ebp
jmp    14bc <projectI+0x38c>
xor    %ebp,%ebp
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jae    14bc <projectI+0x38c>
mov    %r15d,%edi
mov    %r14,%rsi
call   1030 <heap_build@plt>
jmp    14bc <projectI+0x38c>
mov    %r12d,%edx
and    $0xfffffff8,%edx
xorpd  %xmm1,%xmm1
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
addsd  (%rbx,%rcx,8),%xmm1
addsd  0x8(%rbx,%rcx,8),%xmm1
addsd  0x10(%rbx,%rcx,8),%xmm1
addsd  0x18(%rbx,%rcx,8),%xmm1
addsd  0x20(%rbx,%rcx,8),%xmm1
addsd  0x28(%rbx,%rcx,8),%xmm1
addsd  0x30(%rbx,%rcx,8),%xmm1
addsd  0x38(%rbx,%rcx,8),%xmm1
add    $0x8,%rcx
cmp    %rcx,%rdx
jne    11d0 <projectI+0xa0>
test   %rax,%rax
je     122e <projectI+0xfe>
lea    (%rbx,%rcx,8),%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
addsd  (%rcx,%rdx,8),%xmm1
add    $0x1,%rdx
cmp    %rdx,%rax
jne    1220 <projectI+0xf0>
xor    %ebp,%ebp
ucomisd %xmm1,%xmm0
jae    14bc <projectI+0x38c>
movsd  %xmm0,(%rsp)
mov    %r15d,%edi
mov    %r14,%rsi
call   1030 <heap_build@plt>
test   %r15d,%r15d
jle    14bc <projectI+0x38c>
movsd  (%r14),%xmm0
movsd  %xmm0,0x8(%rsp)
subsd  (%rsp),%xmm0
movsd  %xmm0,(%rsp)
mov    %r15d,%edi
mov    %r14,%rsi
call   1040 <heap_del_max@plt>
movsd  (%rsp),%xmm2
ucomisd 0x8(%rsp),%xmm2
jae    12e2 <projectI+0x1b2>
mov    $0x1,%ebp
movapd %xmm2,%xmm1
nopl   0x0(%rax)
movapd %xmm2,%xmm0
cmp    %ebp,%r15d
movapd %xmm2,0x10(%rsp)
je     13a8 <projectI+0x278>
movsd  (%r14),%xmm0
movsd  %xmm0,0x8(%rsp)
add    $0x1,%ebp
addsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
mov    %eax,%edi
mov    %r14,%rsi
call   1040 <heap_del_max@plt>
movsd  (%rsp),%xmm1
xorps  %xmm0,%xmm0
cvtsi2sd %ebp,%xmm0
movapd %xmm1,%xmm2
divsd  %xmm0,%xmm2
ucomisd 0x8(%rsp),%xmm2
jb     1290 <projectI+0x160>
jmp    12f1 <projectI+0x1c1>
mov    $0x1,%ebp
xorpd  %xmm0,%xmm0
movapd %xmm0,0x10(%rsp)
test   %r15d,%r15d
jle    14bc <projectI+0x38c>
cmp    $0x4,%r15d
jb     131a <projectI+0x1ea>
lea    (%rbx,%r12,8),%rax
cmp    %r14,%rax
jbe    13b9 <projectI+0x289>
lea    (%r14,%r12,8),%rax
cmp    %rbx,%rax
jbe    13b9 <projectI+0x289>
xor    %eax,%eax
movapd 0x10(%rsp),%xmm5
mov    %rax,%rcx
not    %rcx
test   $0x1,%r12b
je     134e <projectI+0x21e>
movsd  (%rbx,%rax,8),%xmm0
movapd %xmm0,%xmm1
subsd  %xmm5,%xmm1
cmpnlesd %xmm5,%xmm0
andpd  %xmm1,%xmm0
movlpd %xmm0,(%r14,%rax,8)
or     $0x1,%rax
add    %r12,%rcx
je     14bc <projectI+0x38c>
nopw   0x0(%rax,%rax,1)
movsd  (%rbx,%rax,8),%xmm0
movapd %xmm0,%xmm1
subsd  %xmm5,%xmm1
cmpnlesd %xmm5,%xmm0
andpd  %xmm1,%xmm0
movlpd %xmm0,(%r14,%rax,8)
movsd  0x8(%rbx,%rax,8),%xmm0
movapd %xmm0,%xmm1
subsd  %xmm5,%xmm1
cmpnlesd %xmm5,%xmm0
andpd  %xmm1,%xmm0
movlpd %xmm0,0x8(%r14,%rax,8)
add    $0x2,%rax
cmp    %rax,%r12
jne    1360 <projectI+0x230>
jmp    14bc <projectI+0x38c>
mov    %r15d,%ebp
test   %r15d,%r15d
jg     12fa <projectI+0x1ca>
jmp    14bc <projectI+0x38c>
mov    %r12d,%eax
and    $0xfffffffc,%eax
movapd 0x10(%rsp),%xmm5
movapd %xmm5,%xmm0
unpcklpd %xmm5,%xmm0
lea    -0x4(%rax),%rcx
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     1472 <projectI+0x342>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %ecx,%ecx
xchg   %ax,%ax
movupd (%rbx,%rcx,8),%xmm1
movupd 0x10(%rbx,%rcx,8),%xmm2
movapd %xmm1,%xmm3
cmpnlepd %xmm0,%xmm3
movapd %xmm2,%xmm4
cmpnlepd %xmm0,%xmm4
subpd  %xmm0,%xmm1
andpd  %xmm3,%xmm1
subpd  %xmm0,%xmm2
andpd  %xmm4,%xmm2
movupd %xmm1,(%r14,%rcx,8)
movupd %xmm2,0x10(%r14,%rcx,8)
movupd 0x20(%rbx,%rcx,8),%xmm1
movupd 0x30(%rbx,%rcx,8),%xmm2
movapd %xmm1,%xmm3
cmpnlepd %xmm0,%xmm3
movapd %xmm2,%xmm4
cmpnlepd %xmm0,%xmm4
subpd  %xmm0,%xmm1
andpd  %xmm3,%xmm1
subpd  %xmm0,%xmm2
andpd  %xmm4,%xmm2
movupd %xmm1,0x20(%r14,%rcx,8)
movupd %xmm2,0x30(%r14,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rsi
jne    13f0 <projectI+0x2c0>
jmp    1474 <projectI+0x344>
xor    %ecx,%ecx
test   $0x1,%dl
je     14b3 <projectI+0x383>
movupd (%rbx,%rcx,8),%xmm1
movupd 0x10(%rbx,%rcx,8),%xmm2
movapd %xmm1,%xmm3
cmpnlepd %xmm0,%xmm3
movapd %xmm2,%xmm4
cmpnlepd %xmm0,%xmm4
subpd  %xmm0,%xmm1
andpd  %xmm3,%xmm1
subpd  %xmm0,%xmm2
andpd  %xmm4,%xmm2
movupd %xmm1,(%r14,%rcx,8)
movupd %xmm2,0x10(%r14,%rcx,8)
cmp    %r12,%rax
jne    1322 <projectI+0x1f2>
mov    %ebp,%eax
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@DBL_EPSILON = global double 0.000000e+00
define i32 @projectI(double* %0, double* %1, double %2, i32 %3) {
%5 = alloca i32
%6 = alloca double*
%7 = alloca double*
%8 = alloca double
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
store double* %0, double** %6
store double* %1, double** %7
store double %2, double* %8
store i32 %3, i32* %9
store double 0.000000e+00, double* %14
store double 0.000000e+00, double* %15
%16 = load double, double* %8
%17 = load double, double* @DBL_EPSILON
%18 = fcmp olt double %16, %17
br i1 %18, label %19, label %33
19: ; preds = %4
store i32 0, i32* %10
br label %20
20: ; preds = %29, %19
%21 = load i32, i32* %10
%22 = load i32, i32* %9
%23 = icmp slt i32 %21, %22
br i1 %23, label %24, label %32
24: ; preds = %20
%25 = load double*, double** %6
%26 = load i32, i32* %10
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds double, double* %25, i64 %27
store double 0.000000e+00, double* %28
br label %29
29: ; preds = %24
%30 = load i32, i32* %10
%31 = add nsw i32 %30, 1
store i32 %31, i32* %10
br label %20
32: ; preds = %20
store i32 0, i32* %5
br label %121
33: ; preds = %4
store double 0.000000e+00, double* %13
store i32 0, i32* %10
br label %34
34: ; preds = %46, %33
%35 = load i32, i32* %10
%36 = load i32, i32* %9
%37 = icmp slt i32 %35, %36
br i1 %37, label %38, label %49
38: ; preds = %34
%39 = load double*, double** %7
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
%43 = load double, double* %42
%44 = load double, double* %13
%45 = fadd double %44, %43
store double %45, double* %13
br label %46
46: ; preds = %38
%47 = load i32, i32* %10
%48 = add nsw i32 %47, 1
store i32 %48, i32* %10
br label %34
49: ; preds = %34
%50 = load double, double* %13
%51 = load double, double* %8
%52 = fcmp ole double %50, %51
br i1 %52, label %53, label %54
53: ; preds = %49
store i32 0, i32* %5
br label %121
54: ; preds = %49
%55 = load i32, i32* %9
%56 = load double*, double** %6
%57 = call i32 @heap_build(i32 %55, double* %56)
%58 = load double, double* %8
%59 = fneg double %58
store double %59, double* %13
%60 = load i32, i32* %9
store i32 %60, i32* %10
store i32 0, i32* %11
br label %61
61: ; preds = %86, %54
%62 = load i32, i32* %11
%63 = load i32, i32* %9
%64 = icmp slt i32 %62, %63
br i1 %64, label %65, label %88
65: ; preds = %61
%66 = load double*, double** %6
%67 = getelementptr inbounds double, double* %66, i64 0
%68 = load double, double* %67
store double %68, double* %12
%69 = load i32, i32* %11
%70 = add nsw i32 %69, 1
store i32 %70, i32* %11
%71 = load double, double* %12
%72 = load double, double* %13
%73 = fadd double %72, %71
store double %73, double* %13
%74 = load i32, i32* %10
%75 = load double*, double** %6
%76 = call i32 @heap_del_max(i32 %74, double* %75)
store i32 %76, i32* %10
%77 = load double, double* %13
%78 = load i32, i32* %11
%79 = sitofp i32 %78 to double
%80 = fdiv double %77, %79
store double %80, double* %14
%81 = load double, double* %14
%82 = load double, double* %12
%83 = fcmp oge double %81, %82
br i1 %83, label %84, label %85
84: ; preds = %65
br label %88
85: ; preds = %65
br label %86
86: ; preds = %85
%87 = load double, double* %14
store double %87, double* %15
br label %61
88: ; preds = %84, %61
store i32 0, i32* %10
br label %89
89: ; preds = %116, %88
%90 = load i32, i32* %10
%91 = load i32, i32* %9
%92 = icmp slt i32 %90, %91
br i1 %92, label %93, label %119
93: ; preds = %89
%94 = load double*, double** %7
%95 = load i32, i32* %10
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds double, double* %94, i64 %96
%98 = load double, double* %97
store double %98, double* %12
%99 = load double, double* %12
%100 = load double, double* %15
%101 = fcmp ole double %99, %100
br i1 %101, label %102, label %107
102: ; preds = %93
%103 = load double*, double** %6
%104 = load i32, i32* %10
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds double, double* %103, i64 %105
store double 0.000000e+00, double* %106
br label %115
107: ; preds = %93
%108 = load double, double* %12
%109 = load double, double* %15
%110 = fsub double %108, %109
%111 = load double*, double** %6
%112 = load i32, i32* %10
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds double, double* %111, i64 %113
store double %110, double* %114
br label %115
115: ; preds = %107, %102
br label %116
116: ; preds = %115
%117 = load i32, i32* %10
%118 = add nsw i32 %117, 1
store i32 %118, i32* %10
br label %89
119: ; preds = %89
%120 = load i32, i32* %11
store i32 %120, i32* %5
br label %121
121: ; preds = %119, %53, %32
%122 = load i32, i32* %5
ret i32 %122
}

LLVM IR (-O2):
@DBL_EPSILON = global double 0.000000e+00
define i32 @projectI(double* %0, double* nocapture %1, double %2, i32 %3) {
%5 = bitcast double* %0 to i8*
%6 = load double, double* @DBL_EPSILON
%7 = fcmp ogt double %6, %2
%8 = icmp sgt i32 %3, 0
br i1 %7, label %17, label %9
9: ; preds = %4
br i1 %8, label %10, label %77
10: ; preds = %9
%11 = zext i32 %3 to i64
%12 = add nsw i64 %11, -1
%13 = and i64 %11, 7
%14 = icmp ult i64 %12, 7
br i1 %14, label %59, label %15
15: ; preds = %10
%16 = and i64 %11, 4294967288
br label %21
17: ; preds = %4
br i1 %8, label %18, label %222
18: ; preds = %17
%19 = zext i32 %3 to i64
%20 = shl nuw nsw i64 %19, 3
br label %222
21: ; preds = %21, %15
%22 = phi i64 [ 0, %15 ], [ %56, %21 ]
%23 = phi double [ 0.000000e+00, %15 ], [ %55, %21 ]
%24 = phi i64 [ 0, %15 ], [ %57, %21 ]
%25 = getelementptr inbounds double, double* %1, i64 %22
%26 = load double, double* %25
%27 = fadd double %23, %26
%28 = or i64 %22, 1
%29 = getelementptr inbounds double, double* %1, i64 %28
%30 = load double, double* %29
%31 = fadd double %27, %30
%32 = or i64 %22, 2
%33 = getelementptr inbounds double, double* %1, i64 %32
%34 = load double, double* %33
%35 = fadd double %31, %34
%36 = or i64 %22, 3
%37 = getelementptr inbounds double, double* %1, i64 %36
%38 = load double, double* %37
%39 = fadd double %35, %38
%40 = or i64 %22, 4
%41 = getelementptr inbounds double, double* %1, i64 %40
%42 = load double, double* %41
%43 = fadd double %39, %42
%44 = or i64 %22, 5
%45 = getelementptr inbounds double, double* %1, i64 %44
%46 = load double, double* %45
%47 = fadd double %43, %46
%48 = or i64 %22, 6
%49 = getelementptr inbounds double, double* %1, i64 %48
%50 = load double, double* %49
%51 = fadd double %47, %50
%52 = or i64 %22, 7
%53 = getelementptr inbounds double, double* %1, i64 %52
%54 = load double, double* %53
%55 = fadd double %51, %54
%56 = add nuw nsw i64 %22, 8
%57 = add i64 %24, 8
%58 = icmp eq i64 %57, %16
br i1 %58, label %59, label %21
59: ; preds = %21, %10
%60 = phi double [ undef, %10 ], [ %55, %21 ]
%61 = phi i64 [ 0, %10 ], [ %56, %21 ]
%62 = phi double [ 0.000000e+00, %10 ], [ %55, %21 ]
%63 = icmp eq i64 %13, 0
br i1 %63, label %74, label %64
64: ; preds = %59, %64
%65 = phi i64 [ %71, %64 ], [ %61, %59 ]
%66 = phi double [ %70, %64 ], [ %62, %59 ]
%67 = phi i64 [ %72, %64 ], [ 0, %59 ]
%68 = getelementptr inbounds double, double* %1, i64 %65
%69 = load double, double* %68
%70 = fadd double %66, %69
%71 = add nuw nsw i64 %65, 1
%72 = add i64 %67, 1
%73 = icmp eq i64 %72, %13
br i1 %73, label %74, label %64
74: ; preds = %64, %59
%75 = phi double [ %60, %59 ], [ %70, %64 ]
%76 = fcmp ugt double %75, %2
br i1 %76, label %81, label %222
77: ; preds = %9
%78 = fcmp ult double %2, 0.000000e+00
br i1 %78, label %79, label %222
79: ; preds = %77
%80 = tail call i32 @heap_build(i32 %3, double* %0)
br label %222
81: ; preds = %74
%82 = tail call i32 @heap_build(i32 %3, double* %0)
br i1 %8, label %83, label %222
83: ; preds = %81
%84 = load double, double* %0
%85 = fsub double %84, %2
%86 = tail call i32 @heap_del_max(i32 %3, double* %0)
%87 = fcmp ult double %85, %84
br i1 %87, label %88, label %102
88: ; preds = %83, %94
%89 = phi double [ %100, %94 ], [ %85, %83 ]
%90 = phi i32 [ %98, %94 ], [ %86, %83 ]
%91 = phi double [ %97, %94 ], [ %85, %83 ]
%92 = phi i32 [ %96, %94 ], [ 1, %83 ]
%93 = icmp eq i32 %92, %3
br i1 %93, label %102, label %94
94: ; preds = %88
%95 = load double, double* %0
%96 = add nuw nsw i32 %92, 1
%97 = fadd double %91, %95
%98 = tail call i32 @heap_del_max(i32 %90, double* %0)
%99 = sitofp i32 %96 to double
%100 = fdiv double %97, %99
%101 = fcmp ult double %100, %95
br i1 %101, label %88, label %102
102: ; preds = %94, %88, %83
%103 = phi double [ 0.000000e+00, %83 ], [ %89, %88 ], [ %89, %94 ]
%104 = phi i32 [ 1, %83 ], [ %96, %94 ], [ %3, %88 ]
br i1 %8, label %105, label %222
105: ; preds = %102
%106 = zext i32 %3 to i64
%107 = icmp ult i32 %3, 4
br i1 %107, label %188, label %108
108: ; preds = %105
%109 = getelementptr double, double* %0, i64 %11
%110 = getelementptr double, double* %1, i64 %11
%111 = icmp ugt double* %110, %0
%112 = icmp ugt double* %109, %1
%113 = and i1 %111, %112
br i1 %113, label %188, label %114
114: ; preds = %108
%115 = and i64 %11, 4294967292
%116 = insertelement <2 x double> poison, double %103, i64 0
%117 = shufflevector <2 x double> %116, <2 x double> poison, <2 x i32> zeroinitializer
%118 = insertelement <2 x double> poison, double %103, i64 0
%119 = shufflevector <2 x double> %118, <2 x double> poison, <2 x i32> zeroinitializer
%120 = add nsw i64 %115, -4
%121 = lshr exact i64 %120, 2
%122 = add nuw nsw i64 %121, 1
%123 = and i64 %122, 1
%124 = icmp eq i64 %120, 0
br i1 %124, label %166, label %125
125: ; preds = %114
%126 = and i64 %122, 9223372036854775806
br label %127
127: ; preds = %127, %125
%128 = phi i64 [ 0, %125 ], [ %163, %127 ]
%129 = phi i64 [ 0, %125 ], [ %164, %127 ]
%130 = getelementptr inbounds double, double* %1, i64 %128
%131 = bitcast double* %130 to <2 x double>*
%132 = load <2 x double>, <2 x double>* %131
%133 = getelementptr inbounds double, double* %130, i64 2
%134 = bitcast double* %133 to <2 x double>*
%135 = load <2 x double>, <2 x double>* %134
%136 = fcmp ugt <2 x double> %132, %117
%137 = fcmp ugt <2 x double> %135, %119
%138 = fsub <2 x double> %132, %117
%139 = fsub <2 x double> %135, %119
%140 = select <2 x i1> %136, <2 x double> %138, <2 x double> zeroinitializer
%141 = select <2 x i1> %137, <2 x double> %139, <2 x double> zeroinitializer
%142 = getelementptr inbounds double, double* %0, i64 %128
%143 = bitcast double* %142 to <2 x double>*
store <2 x double> %140, <2 x double>* %143
%144 = getelementptr inbounds double, double* %142, i64 2
%145 = bitcast double* %144 to <2 x double>*
store <2 x double> %141, <2 x double>* %145
%146 = or i64 %128, 4
%147 = getelementptr inbounds double, double* %1, i64 %146
%148 = bitcast double* %147 to <2 x double>*
%149 = load <2 x double>, <2 x double>* %148
%150 = getelementptr inbounds double, double* %147, i64 2
%151 = bitcast double* %150 to <2 x double>*
%152 = load <2 x double>, <2 x double>* %151
%153 = fcmp ugt <2 x double> %149, %117
%154 = fcmp ugt <2 x double> %152, %119
%155 = fsub <2 x double> %149, %117
%156 = fsub <2 x double> %152, %119
%157 = select <2 x i1> %153, <2 x double> %155, <2 x double> zeroinitializer
%158 = select <2 x i1> %154, <2 x double> %156, <2 x double> zeroinitializer
%159 = getelementptr inbounds double, double* %0, i64 %146
%160 = bitcast double* %159 to <2 x double>*
store <2 x double> %157, <2 x double>* %160
%161 = getelementptr inbounds double, double* %159, i64 2
%162 = bitcast double* %161 to <2 x double>*
store <2 x double> %158, <2 x double>* %162
%163 = add nuw i64 %128, 8
%164 = add i64 %129, 2
%165 = icmp eq i64 %164, %126
br i1 %165, label %166, label %127
166: ; preds = %127, %114
%167 = phi i64 [ 0, %114 ], [ %163, %127 ]
%168 = icmp eq i64 %123, 0
br i1 %168, label %186, label %169
169: ; preds = %166
%170 = getelementptr inbounds double, double* %1, i64 %167
%171 = bitcast double* %170 to <2 x double>*
%172 = load <2 x double>, <2 x double>* %171
%173 = getelementptr inbounds double, double* %170, i64 2
%174 = bitcast double* %173 to <2 x double>*
%175 = load <2 x double>, <2 x double>* %174
%176 = fcmp ugt <2 x double> %172, %117
%177 = fcmp ugt <2 x double> %175, %119
%178 = fsub <2 x double> %172, %117
%179 = fsub <2 x double> %175, %119
%180 = select <2 x i1> %176, <2 x double> %178, <2 x double> zeroinitializer
%181 = select <2 x i1> %177, <2 x double> %179, <2 x double> zeroinitializer
%182 = getelementptr inbounds double, double* %0, i64 %167
%183 = bitcast double* %182 to <2 x double>*
store <2 x double> %180, <2 x double>* %183
%184 = getelementptr inbounds double, double* %182, i64 2
%185 = bitcast double* %184 to <2 x double>*
store <2 x double> %181, <2 x double>* %185
br label %186
186: ; preds = %166, %169
%187 = icmp eq i64 %115, %11
br i1 %187, label %222, label %188
188: ; preds = %108, %105, %186
%189 = phi i64 [ 0, %108 ], [ 0, %105 ], [ %115, %186 ]
%190 = xor i64 %189, -1
%191 = and i64 %11, 1
%192 = icmp eq i64 %191, 0
br i1 %192, label %201, label %193
193: ; preds = %188
%194 = getelementptr inbounds double, double* %1, i64 %189
%195 = load double, double* %194
%196 = fcmp ugt double %195, %103
%197 = fsub double %195, %103
%198 = select i1 %196, double %197, double 0.000000e+00
%199 = getelementptr inbounds double, double* %0, i64 %189
store double %198, double* %199
%200 = or i64 %189, 1
br label %201
201: ; preds = %193, %188
%202 = phi i64 [ %189, %188 ], [ %200, %193 ]
%203 = sub nsw i64 0, %11
%204 = icmp eq i64 %190, %203
br i1 %204, label %222, label %205
205: ; preds = %201, %205
%206 = phi i64 [ %220, %205 ], [ %202, %201 ]
%207 = getelementptr inbounds double, double* %1, i64 %206
%208 = load double, double* %207
%209 = fcmp ugt double %208, %103
%210 = fsub double %208, %103
%211 = select i1 %209, double %210, double 0.000000e+00
%212 = getelementptr inbounds double, double* %0, i64 %206
store double %211, double* %212
%213 = add nuw nsw i64 %206, 1
%214 = getelementptr inbounds double, double* %1, i64 %213
%215 = load double, double* %214
%216 = fcmp ugt double %215, %103
%217 = fsub double %215, %103
%218 = select i1 %216, double %217, double 0.000000e+00
%219 = getelementptr inbounds double, double* %0, i64 %213
store double %218, double* %219
%220 = add nuw nsw i64 %206, 2
%221 = icmp eq i64 %220, %106
br i1 %221, label %222, label %205
222: ; preds = %201, %205, %186, %81, %79, %77, %18, %102, %17, %74
%223 = phi i32 [ 0, %74 ], [ 0, %17 ], [ %104, %102 ], [ 0, %18 ], [ 0, %77 ], [ 0, %79 ], [ 0, %81 ], [ %104, %186 ], [ %104, %205 ], [ %104, %201 ]
ret i32 %223
}