float select(unsigned long k, unsigned long n, float arr[]) {
  unsigned long i, ir, j, l, mid;
  float a, temp;
  l = 1;
  ir = n;
  for (;;) {
    if (ir <= l + 1) {
      if (ir == l + 1 && arr[ir] < arr[l]) {
        temp = (arr[l]);
        (arr[l]) = (arr[ir]);
        (arr[ir]) = temp;
      }
      return arr[k];
    } else {
      mid = (l + ir) >> 1;
      temp = (arr[mid]);
      (arr[mid]) = (arr[l + 1]);
      (arr[l + 1]) = temp;
      if (arr[l + 1] > arr[ir]) {
        temp = (arr[l + 1]);
        (arr[l + 1]) = (arr[ir]);
        (arr[ir]) = temp;
      }
      if (arr[l] > arr[ir]) {
        temp = (arr[l]);
        (arr[l]) = (arr[ir]);
        (arr[ir]) = temp;
      }
      if (arr[l + 1] > arr[l]) {
        temp = (arr[l + 1]);
        (arr[l + 1]) = (arr[l]);
        (arr[l]) = temp;
      }
      i = l + 1;
      j = ir;
      a = arr[l];
      for (;;) {
        do
          i++;
        while (arr[i] < a);
        do
          j--;
        while (arr[j] > a);
        if (j < i)
          break;
        temp = (arr[i]);
        (arr[i]) = (arr[j]);
        (arr[j]) = temp;
      }
      arr[l] = arr[j];
      arr[j] = a;
      if (j >= k)
        ir = j - 1;
      if (j <= k)
        l = i;
    }
  }
}


x86 assembly (clang, -O0):
<select>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x1,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
ja     11ba <select+0xba>
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    11ab <select+0xab>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    11ab <select+0xab>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
pop    %rbp
ret
mov    -0x38(%rbp),%rax
add    -0x28(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,0x4(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    126a <select+0x16a>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,0x4(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    12c7 <select+0x1c7>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    1327 <select+0x227>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,0x4(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    1352 <select+0x252>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x44(%rbp),%xmm0
ucomiss %xmm1,%xmm0
ja     1352 <select+0x252>
jmp    137e <select+0x27e>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss -0x44(%rbp),%xmm0
ja     137e <select+0x27e>
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    13b4 <select+0x2b4>
jmp    13f7 <select+0x2f7>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    134d <select+0x24d>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x44(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
cmp    -0x8(%rbp),%rax
jb     143d <select+0x33d>
mov    -0x30(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x8(%rbp),%rax
ja     1453 <select+0x353>
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1458 <select+0x358>
jmp    1120 <select+0x20>

x86 assembly (clang, -O2):
<select>:
cmp    $0x3,%rsi
jb     1214 <select+0x114>
mov    $0x1,%r9d
mov    $0x2,%eax
mov    %rsi,%r8
jmp    1150 <select+0x50>
nopw   0x0(%rax,%rax,1)
movss  %xmm2,(%rdx,%r9,4)
movss  %xmm0,(%rdx,%rcx,4)
lea    -0x1(%rcx),%rsi
cmp    %rdi,%rcx
mov    %rax,%rcx
cmova  %r9,%rcx
cmovb  %r8,%rsi
lea    0x1(%rcx),%rax
mov    %rsi,%r8
mov    %rcx,%r9
cmp    %rax,%rsi
jbe    121e <select+0x11e>
lea    (%r8,%r9,1),%rcx
and    $0xfffffffffffffffe,%rcx
movss  (%rdx,%rcx,2),%xmm0
movss  (%rdx,%rax,4),%xmm1
movss  %xmm1,(%rdx,%rcx,2)
movss  %xmm0,(%rdx,%rax,4)
movss  (%rdx,%r8,4),%xmm1
ucomiss %xmm1,%xmm0
jbe    1190 <select+0x90>
movss  %xmm1,(%rdx,%rax,4)
movss  %xmm0,(%rdx,%r8,4)
jmp    1193 <select+0x93>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movaps %xmm1,%xmm0
movss  (%rdx,%r9,4),%xmm1
ucomiss %xmm0,%xmm1
jbe    11b0 <select+0xb0>
movss  %xmm0,(%rdx,%r9,4)
movss  %xmm1,(%rdx,%r8,4)
movss  (%rdx,%r9,4),%xmm1
movss  (%rdx,%rax,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    11d0 <select+0xd0>
movss  %xmm1,(%rdx,%rax,4)
movss  %xmm0,(%rdx,%r9,4)
jmp    11d3 <select+0xd3>
nopw   0x0(%rax,%rax,1)
movaps %xmm1,%xmm0
mov    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
movss  0x4(%rdx,%rax,4),%xmm1
add    $0x1,%rax
ucomiss %xmm1,%xmm0
ja     11e0 <select+0xe0>
nop
movss  -0x4(%rdx,%rcx,4),%xmm2
add    $0xffffffffffffffff,%rcx
ucomiss %xmm0,%xmm2
ja     11f0 <select+0xf0>
cmp    %rax,%rcx
jb     1120 <select+0x20>
movss  %xmm2,(%rdx,%rax,4)
movss  %xmm1,(%rdx,%rcx,4)
jmp    11e0 <select+0xe0>
mov    $0x2,%eax
mov    $0x1,%ecx
cmp    %rax,%rsi
jne    123c <select+0x13c>
movss  (%rdx,%rsi,4),%xmm0
movss  (%rdx,%rcx,4),%xmm1
ucomiss %xmm0,%xmm1
jbe    123c <select+0x13c>
movss  %xmm0,(%rdx,%rcx,4)
movss  %xmm1,(%rdx,%rsi,4)
movss  (%rdx,%rdi,4),%xmm0
ret

LLVM IR (-O0):
define float @select(i64 %0, i64 %1, float* %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca float*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca float
%13 = alloca float
store i64 %0, i64* %4
store i64 %1, i64* %5
store float* %2, float** %6
store i64 1, i64* %10
%14 = load i64, i64* %5
store i64 %14, i64* %8
br label %15
15: ; preds = %237, %3
%16 = load i64, i64* %8
%17 = load i64, i64* %10
%18 = add i64 %17, 1
%19 = icmp ule i64 %16, %18
br i1 %19, label %20, label %56
20: ; preds = %15
%21 = load i64, i64* %8
%22 = load i64, i64* %10
%23 = add i64 %22, 1
%24 = icmp eq i64 %21, %23
br i1 %24, label %25, label %51
25: ; preds = %20
%26 = load float*, float** %6
%27 = load i64, i64* %8
%28 = getelementptr inbounds float, float* %26, i64 %27
%29 = load float, float* %28
%30 = load float*, float** %6
%31 = load i64, i64* %10
%32 = getelementptr inbounds float, float* %30, i64 %31
%33 = load float, float* %32
%34 = fcmp olt float %29, %33
br i1 %34, label %35, label %51
35: ; preds = %25
%36 = load float*, float** %6
%37 = load i64, i64* %10
%38 = getelementptr inbounds float, float* %36, i64 %37
%39 = load float, float* %38
store float %39, float* %13
%40 = load float*, float** %6
%41 = load i64, i64* %8
%42 = getelementptr inbounds float, float* %40, i64 %41
%43 = load float, float* %42
%44 = load float*, float** %6
%45 = load i64, i64* %10
%46 = getelementptr inbounds float, float* %44, i64 %45
store float %43, float* %46
%47 = load float, float* %13
%48 = load float*, float** %6
%49 = load i64, i64* %8
%50 = getelementptr inbounds float, float* %48, i64 %49
store float %47, float* %50
br label %51
51: ; preds = %35, %25, %20
%52 = load float*, float** %6
%53 = load i64, i64* %4
%54 = getelementptr inbounds float, float* %52, i64 %53
%55 = load float, float* %54
ret float %55
56: ; preds = %15
%57 = load i64, i64* %10
%58 = load i64, i64* %8
%59 = add i64 %57, %58
%60 = lshr i64 %59, 1
store i64 %60, i64* %11
%61 = load float*, float** %6
%62 = load i64, i64* %11
%63 = getelementptr inbounds float, float* %61, i64 %62
%64 = load float, float* %63
store float %64, float* %13
%65 = load float*, float** %6
%66 = load i64, i64* %10
%67 = add i64 %66, 1
%68 = getelementptr inbounds float, float* %65, i64 %67
%69 = load float, float* %68
%70 = load float*, float** %6
%71 = load i64, i64* %11
%72 = getelementptr inbounds float, float* %70, i64 %71
store float %69, float* %72
%73 = load float, float* %13
%74 = load float*, float** %6
%75 = load i64, i64* %10
%76 = add i64 %75, 1
%77 = getelementptr inbounds float, float* %74, i64 %76
store float %73, float* %77
%78 = load float*, float** %6
%79 = load i64, i64* %10
%80 = add i64 %79, 1
%81 = getelementptr inbounds float, float* %78, i64 %80
%82 = load float, float* %81
%83 = load float*, float** %6
%84 = load i64, i64* %8
%85 = getelementptr inbounds float, float* %83, i64 %84
%86 = load float, float* %85
%87 = fcmp ogt float %82, %86
br i1 %87, label %88, label %106
88: ; preds = %56
%89 = load float*, float** %6
%90 = load i64, i64* %10
%91 = add i64 %90, 1
%92 = getelementptr inbounds float, float* %89, i64 %91
%93 = load float, float* %92
store float %93, float* %13
%94 = load float*, float** %6
%95 = load i64, i64* %8
%96 = getelementptr inbounds float, float* %94, i64 %95
%97 = load float, float* %96
%98 = load float*, float** %6
%99 = load i64, i64* %10
%100 = add i64 %99, 1
%101 = getelementptr inbounds float, float* %98, i64 %100
store float %97, float* %101
%102 = load float, float* %13
%103 = load float*, float** %6
%104 = load i64, i64* %8
%105 = getelementptr inbounds float, float* %103, i64 %104
store float %102, float* %105
br label %106
106: ; preds = %88, %56
%107 = load float*, float** %6
%108 = load i64, i64* %10
%109 = getelementptr inbounds float, float* %107, i64 %108
%110 = load float, float* %109
%111 = load float*, float** %6
%112 = load i64, i64* %8
%113 = getelementptr inbounds float, float* %111, i64 %112
%114 = load float, float* %113
%115 = fcmp ogt float %110, %114
br i1 %115, label %116, label %132
116: ; preds = %106
%117 = load float*, float** %6
%118 = load i64, i64* %10
%119 = getelementptr inbounds float, float* %117, i64 %118
%120 = load float, float* %119
store float %120, float* %13
%121 = load float*, float** %6
%122 = load i64, i64* %8
%123 = getelementptr inbounds float, float* %121, i64 %122
%124 = load float, float* %123
%125 = load float*, float** %6
%126 = load i64, i64* %10
%127 = getelementptr inbounds float, float* %125, i64 %126
store float %124, float* %127
%128 = load float, float* %13
%129 = load float*, float** %6
%130 = load i64, i64* %8
%131 = getelementptr inbounds float, float* %129, i64 %130
store float %128, float* %131
br label %132
132: ; preds = %116, %106
%133 = load float*, float** %6
%134 = load i64, i64* %10
%135 = add i64 %134, 1
%136 = getelementptr inbounds float, float* %133, i64 %135
%137 = load float, float* %136
%138 = load float*, float** %6
%139 = load i64, i64* %10
%140 = getelementptr inbounds float, float* %138, i64 %139
%141 = load float, float* %140
%142 = fcmp ogt float %137, %141
br i1 %142, label %143, label %161
143: ; preds = %132
%144 = load float*, float** %6
%145 = load i64, i64* %10
%146 = add i64 %145, 1
%147 = getelementptr inbounds float, float* %144, i64 %146
%148 = load float, float* %147
store float %148, float* %13
%149 = load float*, float** %6
%150 = load i64, i64* %10
%151 = getelementptr inbounds float, float* %149, i64 %150
%152 = load float, float* %151
%153 = load float*, float** %6
%154 = load i64, i64* %10
%155 = add i64 %154, 1
%156 = getelementptr inbounds float, float* %153, i64 %155
store float %152, float* %156
%157 = load float, float* %13
%158 = load float*, float** %6
%159 = load i64, i64* %10
%160 = getelementptr inbounds float, float* %158, i64 %159
store float %157, float* %160
br label %161
161: ; preds = %143, %132
%162 = load i64, i64* %10
%163 = add i64 %162, 1
store i64 %163, i64* %7
%164 = load i64, i64* %8
store i64 %164, i64* %9
%165 = load float*, float** %6
%166 = load i64, i64* %10
%167 = getelementptr inbounds float, float* %165, i64 %166
%168 = load float, float* %167
store float %168, float* %12
br label %169
169: ; preds = %196, %161
br label %170
170: ; preds = %173, %169
%171 = load i64, i64* %7
%172 = add i64 %171, 1
store i64 %172, i64* %7
br label %173
173: ; preds = %170
%174 = load float*, float** %6
%175 = load i64, i64* %7
%176 = getelementptr inbounds float, float* %174, i64 %175
%177 = load float, float* %176
%178 = load float, float* %12
%179 = fcmp olt float %177, %178
br i1 %179, label %170, label %180
180: ; preds = %173
br label %181
181: ; preds = %184, %180
%182 = load i64, i64* %9
%183 = add i64 %182, -1
store i64 %183, i64* %9
br label %184
184: ; preds = %181
%185 = load float*, float** %6
%186 = load i64, i64* %9
%187 = getelementptr inbounds float, float* %185, i64 %186
%188 = load float, float* %187
%189 = load float, float* %12
%190 = fcmp ogt float %188, %189
br i1 %190, label %181, label %191
191: ; preds = %184
%192 = load i64, i64* %9
%193 = load i64, i64* %7
%194 = icmp ult i64 %192, %193
br i1 %194, label %195, label %196
195: ; preds = %191
br label %212
196: ; preds = %191
%197 = load float*, float** %6
%198 = load i64, i64* %7
%199 = getelementptr inbounds float, float* %197, i64 %198
%200 = load float, float* %199
store float %200, float* %13
%201 = load float*, float** %6
%202 = load i64, i64* %9
%203 = getelementptr inbounds float, float* %201, i64 %202
%204 = load float, float* %203
%205 = load float*, float** %6
%206 = load i64, i64* %7
%207 = getelementptr inbounds float, float* %205, i64 %206
store float %204, float* %207
%208 = load float, float* %13
%209 = load float*, float** %6
%210 = load i64, i64* %9
%211 = getelementptr inbounds float, float* %209, i64 %210
store float %208, float* %211
br label %169
212: ; preds = %195
%213 = load float*, float** %6
%214 = load i64, i64* %9
%215 = getelementptr inbounds float, float* %213, i64 %214
%216 = load float, float* %215
%217 = load float*, float** %6
%218 = load i64, i64* %10
%219 = getelementptr inbounds float, float* %217, i64 %218
store float %216, float* %219
%220 = load float, float* %12
%221 = load float*, float** %6
%222 = load i64, i64* %9
%223 = getelementptr inbounds float, float* %221, i64 %222
store float %220, float* %223
%224 = load i64, i64* %9
%225 = load i64, i64* %4
%226 = icmp uge i64 %224, %225
br i1 %226, label %227, label %230
227: ; preds = %212
%228 = load i64, i64* %9
%229 = sub i64 %228, 1
store i64 %229, i64* %8
br label %230
230: ; preds = %227, %212
%231 = load i64, i64* %9
%232 = load i64, i64* %4
%233 = icmp ule i64 %231, %232
br i1 %233, label %234, label %236
234: ; preds = %230
%235 = load i64, i64* %7
store i64 %235, i64* %10
br label %236
236: ; preds = %234, %230
br label %237
237: ; preds = %236
br label %15
}

LLVM IR (-O2):
define float @select(i64 %0, i64 %1, float* nocapture %2) {
%4 = icmp ugt i64 %1, 2
br i1 %4, label %20, label %5
5: ; preds = %69, %3
%6 = phi i64 [ 1, %3 ], [ %74, %69 ]
%7 = phi i64 [ %1, %3 ], [ %72, %69 ]
%8 = phi i64 [ 2, %3 ], [ %75, %69 ]
%9 = icmp eq i64 %7, %8
br i1 %9, label %10, label %17
10: ; preds = %5
%11 = getelementptr inbounds float, float* %2, i64 %7
%12 = load float, float* %11
%13 = getelementptr inbounds float, float* %2, i64 %6
%14 = load float, float* %13
%15 = fcmp olt float %12, %14
br i1 %15, label %16, label %17
16: ; preds = %10
store float %12, float* %13
store float %14, float* %11
br label %17
17: ; preds = %16, %10, %5
%18 = getelementptr inbounds float, float* %2, i64 %0
%19 = load float, float* %18
ret float %19
20: ; preds = %3, %69
%21 = phi i64 [ %75, %69 ], [ 2, %3 ]
%22 = phi i64 [ %72, %69 ], [ %1, %3 ]
%23 = phi i64 [ %74, %69 ], [ 1, %3 ]
%24 = add i64 %22, %23
%25 = lshr i64 %24, 1
%26 = getelementptr inbounds float, float* %2, i64 %25
%27 = load float, float* %26
%28 = getelementptr inbounds float, float* %2, i64 %21
%29 = load float, float* %28
store float %29, float* %26
store float %27, float* %28
%30 = getelementptr inbounds float, float* %2, i64 %22
%31 = load float, float* %30
%32 = fcmp ogt float %27, %31
br i1 %32, label %33, label %34
33: ; preds = %20
store float %31, float* %28
store float %27, float* %30
br label %34
34: ; preds = %33, %20
%35 = phi float [ %27, %33 ], [ %31, %20 ]
%36 = getelementptr inbounds float, float* %2, i64 %23
%37 = load float, float* %36
%38 = fcmp ogt float %37, %35
br i1 %38, label %39, label %41
39: ; preds = %34
store float %35, float* %36
store float %37, float* %30
%40 = load float, float* %36
br label %41
41: ; preds = %39, %34
%42 = phi float [ %40, %39 ], [ %37, %34 ]
%43 = load float, float* %28
%44 = fcmp ogt float %43, %42
br i1 %44, label %45, label %46
45: ; preds = %41
store float %42, float* %28
store float %43, float* %36
br label %46
46: ; preds = %45, %41
%47 = phi float [ %43, %45 ], [ %42, %41 ]
br label %48
48: ; preds = %68, %46
%49 = phi i64 [ %22, %46 ], [ %61, %68 ]
%50 = phi i64 [ %21, %46 ], [ %53, %68 ]
br label %51
51: ; preds = %51, %48
%52 = phi i64 [ %50, %48 ], [ %53, %51 ]
%53 = add i64 %52, 1
%54 = getelementptr inbounds float, float* %2, i64 %53
%55 = load float, float* %54
%56 = fcmp olt float %55, %47
br i1 %56, label %51, label %57
57: ; preds = %51
%58 = getelementptr inbounds float, float* %2, i64 %53
br label %59
59: ; preds = %57, %59
%60 = phi i64 [ %61, %59 ], [ %49, %57 ]
%61 = add i64 %60, -1
%62 = getelementptr inbounds float, float* %2, i64 %61
%63 = load float, float* %62
%64 = fcmp ogt float %63, %47
br i1 %64, label %59, label %65
65: ; preds = %59
%66 = getelementptr inbounds float, float* %2, i64 %61
%67 = icmp ult i64 %61, %53
br i1 %67, label %69, label %68
68: ; preds = %65
store float %63, float* %58
store float %55, float* %66
br label %48
69: ; preds = %65
store float %63, float* %36
store float %47, float* %66
%70 = icmp ult i64 %61, %0
%71 = add i64 %60, -2
%72 = select i1 %70, i64 %22, i64 %71
%73 = icmp ugt i64 %61, %0
%74 = select i1 %73, i64 %23, i64 %53
%75 = add i64 %74, 1
%76 = icmp ugt i64 %72, %75
br i1 %76, label %20, label %5
}