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] > arr[ir]) {
        temp = (arr[l]);
        (arr[l]) = (arr[ir]);
        (arr[ir]) = temp;
      }
      if (arr[l + 1] > arr[ir]) {
        temp = (arr[l + 1]);
        (arr[l + 1]) = (arr[ir]);
        (arr[ir]) = temp;
      }
      if (arr[l] > arr[l + 1]) {
        temp = (arr[l]);
        (arr[l]) = (arr[l + 1]);
        (arr[l + 1]) = temp;
      }
      i = l + 1;
      j = ir;
      a = arr[l + 1];
      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 + 1] = 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  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    1267 <select+0x167>
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    -0x28(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    12c7 <select+0x1c7>
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    -0x38(%rbp),%rcx
ucomiss 0x4(%rax,%rcx,4),%xmm0
jbe    1327 <select+0x227>
mov    -0x18(%rbp),%rax
mov    -0x38(%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    -0x38(%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    -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  0x4(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    1353 <select+0x253>
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     1353 <select+0x253>
jmp    137f <select+0x27f>
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     137f <select+0x27f>
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    13b5 <select+0x2b5>
jmp    13f8 <select+0x2f8>
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    134e <select+0x24e>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movss  %xmm0,0x4(%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     143f <select+0x33f>
mov    -0x30(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x8(%rbp),%rax
ja     1455 <select+0x355>
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    145a <select+0x35a>
jmp    1120 <select+0x20>

x86 assembly (clang, -O2):
<select>:
cmp    $0x3,%rsi
jb     1224 <select+0x124>
mov    $0x1,%r8d
mov    $0x2,%r10d
mov    %rsi,%r9
jmp    114d <select+0x4d>
nopl   0x0(%rax,%rax,1)
movss  %xmm2,(%rdx,%r10,4)
movss  %xmm0,(%rdx,%rcx,4)
lea    -0x1(%rcx),%rsi
cmp    %rdi,%rcx
cmova  %r8,%rax
cmovb  %r9,%rsi
lea    0x1(%rax),%r10
mov    %rsi,%r9
mov    %rax,%r8
cmp    %r10,%rsi
jbe    122f <select+0x12f>
lea    (%r9,%r8,1),%rax
and    $0xfffffffffffffffe,%rax
movss  (%rdx,%rax,2),%xmm1
movss  (%rdx,%r10,4),%xmm0
movss  %xmm0,(%rdx,%rax,2)
movss  %xmm1,(%rdx,%r10,4)
movss  (%rdx,%r8,4),%xmm0
movss  (%rdx,%r9,4),%xmm2
ucomiss %xmm2,%xmm0
jbe    11a0 <select+0xa0>
movss  %xmm2,(%rdx,%r8,4)
movss  %xmm0,(%rdx,%r9,4)
movss  (%rdx,%r10,4),%xmm1
ucomiss %xmm0,%xmm1
ja     11a8 <select+0xa8>
jmp    11ba <select+0xba>
cs nopw 0x0(%rax,%rax,1)
nop
movaps %xmm2,%xmm0
ucomiss %xmm0,%xmm1
jbe    11ba <select+0xba>
movss  %xmm0,(%rdx,%r10,4)
movss  %xmm1,(%rdx,%r9,4)
movss  (%rdx,%r10,4),%xmm1
movss  (%rdx,%r8,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    11e0 <select+0xe0>
movss  %xmm1,(%rdx,%r8,4)
movss  %xmm0,(%rdx,%r10,4)
jmp    11e3 <select+0xe3>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movaps %xmm1,%xmm0
mov    %r9,%rcx
mov    %r10,%rax
nopl   0x0(%rax)
movss  0x4(%rdx,%rax,4),%xmm1
add    $0x1,%rax
ucomiss %xmm1,%xmm0
ja     11f0 <select+0xf0>
nop
movss  -0x4(%rdx,%rcx,4),%xmm2
add    $0xffffffffffffffff,%rcx
ucomiss %xmm0,%xmm2
ja     1200 <select+0x100>
cmp    %rax,%rcx
jb     1120 <select+0x20>
movss  %xmm2,(%rdx,%rax,4)
movss  %xmm1,(%rdx,%rcx,4)
jmp    11f0 <select+0xf0>
mov    $0x2,%r10d
mov    $0x1,%eax
cmp    %r10,%rsi
jne    124d <select+0x14d>
movss  (%rdx,%rsi,4),%xmm0
movss  (%rdx,%rax,4),%xmm1
ucomiss %xmm0,%xmm1
jbe    124d <select+0x14d>
movss  %xmm0,(%rdx,%rax,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 = %239, %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 = getelementptr inbounds float, float* %78, i64 %79
%81 = load float, float* %80
%82 = load float*, float** %6
%83 = load i64, i64* %8
%84 = getelementptr inbounds float, float* %82, i64 %83
%85 = load float, float* %84
%86 = fcmp ogt float %81, %85
br i1 %86, label %87, label %103
87: ; preds = %56
%88 = load float*, float** %6
%89 = load i64, i64* %10
%90 = getelementptr inbounds float, float* %88, i64 %89
%91 = load float, float* %90
store float %91, float* %13
%92 = load float*, float** %6
%93 = load i64, i64* %8
%94 = getelementptr inbounds float, float* %92, i64 %93
%95 = load float, float* %94
%96 = load float*, float** %6
%97 = load i64, i64* %10
%98 = getelementptr inbounds float, float* %96, i64 %97
store float %95, float* %98
%99 = load float, float* %13
%100 = load float*, float** %6
%101 = load i64, i64* %8
%102 = getelementptr inbounds float, float* %100, i64 %101
store float %99, float* %102
br label %103
103: ; preds = %87, %56
%104 = load float*, float** %6
%105 = load i64, i64* %10
%106 = add i64 %105, 1
%107 = getelementptr inbounds float, float* %104, i64 %106
%108 = load float, float* %107
%109 = load float*, float** %6
%110 = load i64, i64* %8
%111 = getelementptr inbounds float, float* %109, i64 %110
%112 = load float, float* %111
%113 = fcmp ogt float %108, %112
br i1 %113, label %114, label %132
114: ; preds = %103
%115 = load float*, float** %6
%116 = load i64, i64* %10
%117 = add i64 %116, 1
%118 = getelementptr inbounds float, float* %115, i64 %117
%119 = load float, float* %118
store float %119, float* %13
%120 = load float*, float** %6
%121 = load i64, i64* %8
%122 = getelementptr inbounds float, float* %120, i64 %121
%123 = load float, float* %122
%124 = load float*, float** %6
%125 = load i64, i64* %10
%126 = add i64 %125, 1
%127 = getelementptr inbounds float, float* %124, i64 %126
store float %123, 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 = %114, %103
%133 = load float*, float** %6
%134 = load i64, i64* %10
%135 = getelementptr inbounds float, float* %133, i64 %134
%136 = load float, float* %135
%137 = load float*, float** %6
%138 = load i64, i64* %10
%139 = add i64 %138, 1
%140 = getelementptr inbounds float, float* %137, i64 %139
%141 = load float, float* %140
%142 = fcmp ogt float %136, %141
br i1 %142, label %143, label %161
143: ; preds = %132
%144 = load float*, float** %6
%145 = load i64, i64* %10
%146 = getelementptr inbounds float, float* %144, i64 %145
%147 = load float, float* %146
store float %147, float* %13
%148 = load float*, float** %6
%149 = load i64, i64* %10
%150 = add i64 %149, 1
%151 = getelementptr inbounds float, float* %148, i64 %150
%152 = load float, float* %151
%153 = load float*, float** %6
%154 = load i64, i64* %10
%155 = getelementptr inbounds float, float* %153, i64 %154
store float %152, float* %155
%156 = load float, float* %13
%157 = load float*, float** %6
%158 = load i64, i64* %10
%159 = add i64 %158, 1
%160 = getelementptr inbounds float, float* %157, i64 %159
store float %156, 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 = add i64 %166, 1
%168 = getelementptr inbounds float, float* %165, i64 %167
%169 = load float, float* %168
store float %169, float* %12
br label %170
170: ; preds = %197, %161
br label %171
171: ; preds = %174, %170
%172 = load i64, i64* %7
%173 = add i64 %172, 1
store i64 %173, i64* %7
br label %174
174: ; preds = %171
%175 = load float*, float** %6
%176 = load i64, i64* %7
%177 = getelementptr inbounds float, float* %175, i64 %176
%178 = load float, float* %177
%179 = load float, float* %12
%180 = fcmp olt float %178, %179
br i1 %180, label %171, label %181
181: ; preds = %174
br label %182
182: ; preds = %185, %181
%183 = load i64, i64* %9
%184 = add i64 %183, -1
store i64 %184, i64* %9
br label %185
185: ; preds = %182
%186 = load float*, float** %6
%187 = load i64, i64* %9
%188 = getelementptr inbounds float, float* %186, i64 %187
%189 = load float, float* %188
%190 = load float, float* %12
%191 = fcmp ogt float %189, %190
br i1 %191, label %182, label %192
192: ; preds = %185
%193 = load i64, i64* %9
%194 = load i64, i64* %7
%195 = icmp ult i64 %193, %194
br i1 %195, label %196, label %197
196: ; preds = %192
br label %213
197: ; preds = %192
%198 = load float*, float** %6
%199 = load i64, i64* %7
%200 = getelementptr inbounds float, float* %198, i64 %199
%201 = load float, float* %200
store float %201, float* %13
%202 = load float*, float** %6
%203 = load i64, i64* %9
%204 = getelementptr inbounds float, float* %202, i64 %203
%205 = load float, float* %204
%206 = load float*, float** %6
%207 = load i64, i64* %7
%208 = getelementptr inbounds float, float* %206, i64 %207
store float %205, float* %208
%209 = load float, float* %13
%210 = load float*, float** %6
%211 = load i64, i64* %9
%212 = getelementptr inbounds float, float* %210, i64 %211
store float %209, float* %212
br label %170
213: ; preds = %196
%214 = load float*, float** %6
%215 = load i64, i64* %9
%216 = getelementptr inbounds float, float* %214, i64 %215
%217 = load float, float* %216
%218 = load float*, float** %6
%219 = load i64, i64* %10
%220 = add i64 %219, 1
%221 = getelementptr inbounds float, float* %218, i64 %220
store float %217, float* %221
%222 = load float, float* %12
%223 = load float*, float** %6
%224 = load i64, i64* %9
%225 = getelementptr inbounds float, float* %223, i64 %224
store float %222, float* %225
%226 = load i64, i64* %9
%227 = load i64, i64* %4
%228 = icmp uge i64 %226, %227
br i1 %228, label %229, label %232
229: ; preds = %213
%230 = load i64, i64* %9
%231 = sub i64 %230, 1
store i64 %231, i64* %8
br label %232
232: ; preds = %229, %213
%233 = load i64, i64* %9
%234 = load i64, i64* %4
%235 = icmp ule i64 %233, %234
br i1 %235, label %236, label %238
236: ; preds = %232
%237 = load i64, i64* %7
store i64 %237, i64* %10
br label %238
238: ; preds = %236, %232
br label %239
239: ; preds = %238
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 = %71, %3
%6 = phi i64 [ 1, %3 ], [ %76, %71 ]
%7 = phi i64 [ %1, %3 ], [ %74, %71 ]
%8 = phi i64 [ 2, %3 ], [ %77, %71 ]
%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, %71
%21 = phi i64 [ %77, %71 ], [ 2, %3 ]
%22 = phi i64 [ %74, %71 ], [ %1, %3 ]
%23 = phi i64 [ %76, %71 ], [ 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 %23
%31 = load float, float* %30
%32 = getelementptr inbounds float, float* %2, i64 %22
%33 = load float, float* %32
%34 = fcmp ogt float %31, %33
br i1 %34, label %35, label %37
35: ; preds = %20
store float %33, float* %30
store float %31, float* %32
%36 = load float, float* %28
br label %37
37: ; preds = %35, %20
%38 = phi float [ %31, %35 ], [ %33, %20 ]
%39 = phi float [ %36, %35 ], [ %27, %20 ]
%40 = fcmp ogt float %39, %38
br i1 %40, label %41, label %43
41: ; preds = %37
store float %38, float* %28
store float %39, float* %32
%42 = load float, float* %28
br label %43
43: ; preds = %41, %37
%44 = phi float [ %42, %41 ], [ %39, %37 ]
%45 = load float, float* %30
%46 = fcmp ogt float %45, %44
br i1 %46, label %47, label %48
47: ; preds = %43
store float %44, float* %30
store float %45, float* %28
br label %48
48: ; preds = %47, %43
%49 = phi float [ %45, %47 ], [ %44, %43 ]
br label %50
50: ; preds = %70, %48
%51 = phi i64 [ %22, %48 ], [ %63, %70 ]
%52 = phi i64 [ %21, %48 ], [ %55, %70 ]
br label %53
53: ; preds = %53, %50
%54 = phi i64 [ %52, %50 ], [ %55, %53 ]
%55 = add i64 %54, 1
%56 = getelementptr inbounds float, float* %2, i64 %55
%57 = load float, float* %56
%58 = fcmp olt float %57, %49
br i1 %58, label %53, label %59
59: ; preds = %53
%60 = getelementptr inbounds float, float* %2, i64 %55
br label %61
61: ; preds = %59, %61
%62 = phi i64 [ %63, %61 ], [ %51, %59 ]
%63 = add i64 %62, -1
%64 = getelementptr inbounds float, float* %2, i64 %63
%65 = load float, float* %64
%66 = fcmp ogt float %65, %49
br i1 %66, label %61, label %67
67: ; preds = %61
%68 = getelementptr inbounds float, float* %2, i64 %63
%69 = icmp ult i64 %63, %55
br i1 %69, label %71, label %70
70: ; preds = %67
store float %65, float* %60
store float %57, float* %68
br label %50
71: ; preds = %67
store float %65, float* %28
store float %49, float* %68
%72 = icmp ult i64 %63, %0
%73 = add i64 %62, -2
%74 = select i1 %72, i64 %22, i64 %73
%75 = icmp ugt i64 %63, %0
%76 = select i1 %75, i64 %23, i64 %55
%77 = add i64 %76, 1
%78 = icmp ugt i64 %74, %77
br i1 %78, label %20, label %5
}