#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 */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ memcpy(float *, float *, size_t);
float ksmall_flt(float *data, size_t n, size_t k, float *buf) {
  size_t a, b, l, r;
  float p, x;
  assert(data && buf && (n > 0) && (k < n));
  if (n <= 2) {
    if (n <= 1)
      return data[0];
    if (k > 0)
      return (data[0] > data[1]) ? data[0] : data[1];
    else
      return (data[0] > data[1]) ? data[1] : data[0];
  }
  if (buf != data)
    memcpy(buf, data, n * sizeof(float));
  a = 0;
  b = n - 1;
  while (a < b) {
    l = a;
    r = b;
    p = buf[(l + r) / 2];
    if (buf[l] > buf[r]) {
      x = buf[l];
      buf[l] = buf[r];
      buf[r] = x;
    }
    if (p < buf[l])
      p = buf[l];
    else if (p > buf[r])
      p = buf[r];
    while (1) {
      while (buf[++l] < p)
        ;
      while (buf[--r] > p)
        ;
      if (l >= r)
        break;
      x = buf[l];
      buf[l] = buf[r];
      buf[r] = x;
    }
    if (l > k)
      b = l - 1;
    else
      a = r + 1;
  }
  return buf[k];
}


x86 assembly (clang, -O0):
<ksmall_flt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x51(%rbp)
je     1176 <ksmall_flt+0x56>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x51(%rbp)
je     1176 <ksmall_flt+0x56>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x51(%rbp)
jbe    1176 <ksmall_flt+0x56>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
setb   %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0x2,-0x18(%rbp)
ja     1240 <ksmall_flt+0x120>
cmpq   $0x1,-0x18(%rbp)
ja     11ab <ksmall_flt+0x8b>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1467 <ksmall_flt+0x347>
cmpq   $0x0,-0x20(%rbp)
jbe    11fb <ksmall_flt+0xdb>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    11de <ksmall_flt+0xbe>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x58(%rbp)
jmp    11ec <ksmall_flt+0xcc>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x58(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1467 <ksmall_flt+0x347>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    1224 <ksmall_flt+0x104>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x5c(%rbp)
jmp    1231 <ksmall_flt+0x111>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x5c(%rbp)
movss  -0x5c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1467 <ksmall_flt+0x347>
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     1263 <ksmall_flt+0x143>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
shl    $0x2,%rdx
call   1040 <memcpy@plt>
movq   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    1455 <ksmall_flt+0x335>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    -0x48(%rbp),%rcx
shr    $0x1,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    130c <ksmall_flt+0x1ec>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm1
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    133e <ksmall_flt+0x21e>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    136c <ksmall_flt+0x24c>
movss  -0x4c(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    1367 <ksmall_flt+0x247>
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    136c <ksmall_flt+0x24c>
jmp    1371 <ksmall_flt+0x251>
jmp    1376 <ksmall_flt+0x256>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movss  0x4(%rax,%rcx,4),%xmm1
movss  -0x4c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    13a2 <ksmall_flt+0x282>
jmp    1376 <ksmall_flt+0x256>
jmp    13a7 <ksmall_flt+0x287>
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    %rcx,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x48(%rbp)
movss  -0x4(%rax,%rcx,4),%xmm0
ucomiss -0x4c(%rbp),%xmm0
jbe    13cf <ksmall_flt+0x2af>
jmp    13a7 <ksmall_flt+0x287>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
jb     13e2 <ksmall_flt+0x2c2>
jmp    1425 <ksmall_flt+0x305>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1371 <ksmall_flt+0x251>
mov    -0x40(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    1444 <ksmall_flt+0x324>
mov    -0x40(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1450 <ksmall_flt+0x330>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1277 <ksmall_flt+0x157>
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ksmall_flt>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
test   %rdi,%rdi
setne  %al
test   %rcx,%rcx
setne  %cl
and    %al,%cl
cmp    %rsi,%rdx
setb   %al
and    %cl,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmp    $0x2,%r15
ja     117d <ksmall_flt+0x5d>
jne    123c <ksmall_flt+0x11c>
movss  (%r12),%xmm0
movss  0x4(%r12),%xmm1
test   %r14,%r14
je     1244 <ksmall_flt+0x124>
maxss  %xmm1,%xmm0
jmp    124b <ksmall_flt+0x12b>
cmp    %r12,%rbx
je     1195 <ksmall_flt+0x75>
lea    0x0(,%r15,4),%rdx
mov    %rbx,%rdi
mov    %r12,%rsi
call   1040 <memcpy@plt>
add    $0xffffffffffffffff,%r15
xor    %eax,%eax
jmp    11b8 <ksmall_flt+0x98>
nopl   (%rax)
add    $0x1,%rcx
lea    -0x1(%rdx),%rsi
cmp    %r14,%rdx
cmovbe %rcx,%rax
cmova  %rsi,%r15
cmp    %r15,%rax
jae    1234 <ksmall_flt+0x114>
lea    (%r15,%rax,1),%rcx
and    $0xfffffffffffffffe,%rcx
movss  (%rbx,%rcx,2),%xmm1
movss  (%rbx,%rax,4),%xmm0
movss  (%rbx,%r15,4),%xmm2
ucomiss %xmm2,%xmm0
jbe    11e8 <ksmall_flt+0xc8>
movss  %xmm2,(%rbx,%rax,4)
movss  %xmm0,(%rbx,%r15,4)
movaps %xmm0,%xmm2
movss  (%rbx,%rax,4),%xmm0
ucomiss %xmm1,%xmm0
ja     11f8 <ksmall_flt+0xd8>
ucomiss %xmm2,%xmm1
movaps %xmm1,%xmm0
jbe    11f8 <ksmall_flt+0xd8>
movaps %xmm2,%xmm0
mov    %rax,%rdx
mov    %r15,%rcx
xchg   %ax,%ax
movss  0x4(%rbx,%rdx,4),%xmm1
add    $0x1,%rdx
ucomiss %xmm1,%xmm0
ja     1200 <ksmall_flt+0xe0>
nop
movss  -0x4(%rbx,%rcx,4),%xmm2
add    $0xffffffffffffffff,%rcx
ucomiss %xmm0,%xmm2
ja     1210 <ksmall_flt+0xf0>
cmp    %rcx,%rdx
jae    11a0 <ksmall_flt+0x80>
movss  %xmm2,(%rbx,%rdx,4)
movss  %xmm1,(%rbx,%rcx,4)
jmp    1200 <ksmall_flt+0xe0>
movss  (%rbx,%r14,4),%xmm0
jmp    124b <ksmall_flt+0x12b>
movss  (%r12),%xmm0
jmp    124b <ksmall_flt+0x12b>
minss  %xmm0,%xmm1
movaps %xmm1,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

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