#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(double *, double *, size_t);
double ksmall_dbl(double *data, size_t n, size_t k, double *buf) {
  size_t a, b, l, r;
  double 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(double));
  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_dbl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%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,-0x59(%rbp)
je     1176 <ksmall_dbl+0x56>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x59(%rbp)
je     1176 <ksmall_dbl+0x56>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x59(%rbp)
jbe    1176 <ksmall_dbl+0x56>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
setb   %al
mov    %al,-0x59(%rbp)
mov    -0x59(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0x2,-0x18(%rbp)
ja     1242 <ksmall_dbl+0x122>
cmpq   $0x1,-0x18(%rbp)
ja     11ab <ksmall_dbl+0x8b>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    146e <ksmall_dbl+0x34e>
cmpq   $0x0,-0x20(%rbp)
jbe    11fc <ksmall_dbl+0xdc>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jbe    11df <ksmall_dbl+0xbf>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    11ed <ksmall_dbl+0xcd>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    146e <ksmall_dbl+0x34e>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jbe    1226 <ksmall_dbl+0x106>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    1233 <ksmall_dbl+0x113>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    146e <ksmall_dbl+0x34e>
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     1265 <ksmall_dbl+0x145>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
shl    $0x3,%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    145c <ksmall_dbl+0x33c>
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
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    130f <ksmall_dbl+0x1ef>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x58(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x50(%rbp),%xmm1
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    1342 <ksmall_dbl+0x222>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    1371 <ksmall_dbl+0x251>
movsd  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    136c <ksmall_dbl+0x24c>
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    1371 <ksmall_dbl+0x251>
jmp    1376 <ksmall_dbl+0x256>
jmp    137b <ksmall_dbl+0x25b>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movsd  0x8(%rax,%rcx,8),%xmm1
movsd  -0x50(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    13a8 <ksmall_dbl+0x288>
jmp    137b <ksmall_dbl+0x25b>
jmp    13ad <ksmall_dbl+0x28d>
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    %rcx,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x48(%rbp)
movsd  -0x8(%rax,%rcx,8),%xmm0
ucomisd -0x50(%rbp),%xmm0
jbe    13d6 <ksmall_dbl+0x2b6>
jmp    13ad <ksmall_dbl+0x28d>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
jb     13e9 <ksmall_dbl+0x2c9>
jmp    142c <ksmall_dbl+0x30c>
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x58(%rbp),%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1376 <ksmall_dbl+0x256>
mov    -0x40(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    144b <ksmall_dbl+0x32b>
mov    -0x40(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1457 <ksmall_dbl+0x337>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1279 <ksmall_dbl+0x159>
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ksmall_dbl>:
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_dbl+0x5d>
jne    124d <ksmall_dbl+0x12d>
movsd  (%r12),%xmm0
movsd  0x8(%r12),%xmm1
test   %r14,%r14
je     1255 <ksmall_dbl+0x135>
maxsd  %xmm1,%xmm0
jmp    125d <ksmall_dbl+0x13d>
cmp    %r12,%rbx
je     1195 <ksmall_dbl+0x75>
lea    0x0(,%r15,8),%rdx
mov    %rbx,%rdi
mov    %r12,%rsi
call   1040 <memcpy@plt>
add    $0xffffffffffffffff,%r15
xor    %eax,%eax
jmp    11bc <ksmall_dbl+0x9c>
nopl   (%rax)
add    $0x1,%rcx
lea    -0x1(%rdx),%rsi
cmp    %r14,%rdx
cmovbe %rcx,%rax
cmova  %rsi,%r15
cmp    %r15,%rax
jae    1245 <ksmall_dbl+0x125>
lea    (%r15,%rax,1),%rcx
and    $0xfffffffffffffffe,%rcx
movsd  (%rbx,%rcx,4),%xmm1
movsd  (%rbx,%rax,8),%xmm0
movsd  (%rbx,%r15,8),%xmm2
ucomisd %xmm2,%xmm0
jbe    11ee <ksmall_dbl+0xce>
movsd  %xmm2,(%rbx,%rax,8)
movsd  %xmm0,(%rbx,%r15,8)
movapd %xmm0,%xmm2
movsd  (%rbx,%rax,8),%xmm0
ucomisd %xmm1,%xmm0
ja     1202 <ksmall_dbl+0xe2>
ucomisd %xmm2,%xmm1
movapd %xmm1,%xmm0
jbe    1202 <ksmall_dbl+0xe2>
movapd %xmm2,%xmm0
mov    %rax,%rdx
mov    %r15,%rcx
nopl   0x0(%rax,%rax,1)
movsd  0x8(%rbx,%rdx,8),%xmm1
add    $0x1,%rdx
ucomisd %xmm1,%xmm0
ja     1210 <ksmall_dbl+0xf0>
movsd  -0x8(%rbx,%rcx,8),%xmm2
add    $0xffffffffffffffff,%rcx
ucomisd %xmm0,%xmm2
ja     1220 <ksmall_dbl+0x100>
cmp    %rcx,%rdx
jae    11a0 <ksmall_dbl+0x80>
movsd  %xmm2,(%rbx,%rdx,8)
movsd  %xmm1,(%rbx,%rcx,8)
jmp    1210 <ksmall_dbl+0xf0>
movsd  (%rbx,%r14,8),%xmm0
jmp    125d <ksmall_dbl+0x13d>
movsd  (%r12),%xmm0
jmp    125d <ksmall_dbl+0x13d>
minsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define double @ksmall_dbl(double* %0, i64 %1, i64 %2, double* %3) {
%5 = alloca double
%6 = alloca double*
%7 = alloca i64
%8 = alloca i64
%9 = alloca double*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca double
%15 = alloca double
store double* %0, double** %6
store i64 %1, i64* %7
store i64 %2, i64* %8
store double* %3, double** %9
%16 = load double*, double** %6
%17 = icmp ne double* %16, null
br i1 %17, label %18, label %28
18: ; preds = %4
%19 = load double*, double** %9
%20 = icmp ne double* %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 double*, double** %6
%39 = getelementptr inbounds double, double* %38, i64 0
%40 = load double, double* %39
store double %40, double* %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 double*, double** %6
%46 = getelementptr inbounds double, double* %45, i64 0
%47 = load double, double* %46
%48 = load double*, double** %6
%49 = getelementptr inbounds double, double* %48, i64 1
%50 = load double, double* %49
%51 = fcmp ogt double %47, %50
br i1 %51, label %52, label %56
52: ; preds = %44
%53 = load double*, double** %6
%54 = getelementptr inbounds double, double* %53, i64 0
%55 = load double, double* %54
br label %60
56: ; preds = %44
%57 = load double*, double** %6
%58 = getelementptr inbounds double, double* %57, i64 1
%59 = load double, double* %58
br label %60
60: ; preds = %56, %52
%61 = phi double [ %55, %52 ], [ %59, %56 ]
store double %61, double* %5
br label %215
62: ; preds = %41
%63 = load double*, double** %6
%64 = getelementptr inbounds double, double* %63, i64 0
%65 = load double, double* %64
%66 = load double*, double** %6
%67 = getelementptr inbounds double, double* %66, i64 1
%68 = load double, double* %67
%69 = fcmp ogt double %65, %68
br i1 %69, label %70, label %74
70: ; preds = %62
%71 = load double*, double** %6
%72 = getelementptr inbounds double, double* %71, i64 1
%73 = load double, double* %72
br label %78
74: ; preds = %62
%75 = load double*, double** %6
%76 = getelementptr inbounds double, double* %75, i64 0
%77 = load double, double* %76
br label %78
78: ; preds = %74, %70
%79 = phi double [ %73, %70 ], [ %77, %74 ]
store double %79, double* %5
br label %215
80: ; preds = %28
%81 = load double*, double** %9
%82 = load double*, double** %6
%83 = icmp ne double* %81, %82
br i1 %83, label %84, label %90
84: ; preds = %80
%85 = load double*, double** %9
%86 = load double*, double** %6
%87 = load i64, i64* %7
%88 = mul i64 %87, 8
%89 = call i32 @memcpy(double* %85, double* %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 double*, double** %9
%101 = load i64, i64* %12
%102 = load i64, i64* %13
%103 = add i64 %101, %102
%104 = udiv i64 %103, 2
%105 = getelementptr inbounds double, double* %100, i64 %104
%106 = load double, double* %105
store double %106, double* %14
%107 = load double*, double** %9
%108 = load i64, i64* %12
%109 = getelementptr inbounds double, double* %107, i64 %108
%110 = load double, double* %109
%111 = load double*, double** %9
%112 = load i64, i64* %13
%113 = getelementptr inbounds double, double* %111, i64 %112
%114 = load double, double* %113
%115 = fcmp ogt double %110, %114
br i1 %115, label %116, label %132
116: ; preds = %97
%117 = load double*, double** %9
%118 = load i64, i64* %12
%119 = getelementptr inbounds double, double* %117, i64 %118
%120 = load double, double* %119
store double %120, double* %15
%121 = load double*, double** %9
%122 = load i64, i64* %13
%123 = getelementptr inbounds double, double* %121, i64 %122
%124 = load double, double* %123
%125 = load double*, double** %9
%126 = load i64, i64* %12
%127 = getelementptr inbounds double, double* %125, i64 %126
store double %124, double* %127
%128 = load double, double* %15
%129 = load double*, double** %9
%130 = load i64, i64* %13
%131 = getelementptr inbounds double, double* %129, i64 %130
store double %128, double* %131
br label %132
132: ; preds = %116, %97
%133 = load double, double* %14
%134 = load double*, double** %9
%135 = load i64, i64* %12
%136 = getelementptr inbounds double, double* %134, i64 %135
%137 = load double, double* %136
%138 = fcmp olt double %133, %137
br i1 %138, label %139, label %144
139: ; preds = %132
%140 = load double*, double** %9
%141 = load i64, i64* %12
%142 = getelementptr inbounds double, double* %140, i64 %141
%143 = load double, double* %142
store double %143, double* %14
br label %157
144: ; preds = %132
%145 = load double, double* %14
%146 = load double*, double** %9
%147 = load i64, i64* %13
%148 = getelementptr inbounds double, double* %146, i64 %147
%149 = load double, double* %148
%150 = fcmp ogt double %145, %149
br i1 %150, label %151, label %156
151: ; preds = %144
%152 = load double*, double** %9
%153 = load i64, i64* %13
%154 = getelementptr inbounds double, double* %152, i64 %153
%155 = load double, double* %154
store double %155, double* %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 double*, double** %9
%161 = load i64, i64* %12
%162 = add i64 %161, 1
store i64 %162, i64* %12
%163 = getelementptr inbounds double, double* %160, i64 %162
%164 = load double, double* %163
%165 = load double, double* %14
%166 = fcmp olt double %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 double*, double** %9
%171 = load i64, i64* %13
%172 = add i64 %171, -1
store i64 %172, i64* %13
%173 = getelementptr inbounds double, double* %170, i64 %172
%174 = load double, double* %173
%175 = load double, double* %14
%176 = fcmp ogt double %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 double*, double** %9
%185 = load i64, i64* %12
%186 = getelementptr inbounds double, double* %184, i64 %185
%187 = load double, double* %186
store double %187, double* %15
%188 = load double*, double** %9
%189 = load i64, i64* %13
%190 = getelementptr inbounds double, double* %188, i64 %189
%191 = load double, double* %190
%192 = load double*, double** %9
%193 = load i64, i64* %12
%194 = getelementptr inbounds double, double* %192, i64 %193
store double %191, double* %194
%195 = load double, double* %15
%196 = load double*, double** %9
%197 = load i64, i64* %13
%198 = getelementptr inbounds double, double* %196, i64 %197
store double %195, double* %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 double*, double** %9
%212 = load i64, i64* %8
%213 = getelementptr inbounds double, double* %211, i64 %212
%214 = load double, double* %213
store double %214, double* %5
br label %215
215: ; preds = %210, %78, %60, %37
%216 = load double, double* %5
ret double %216
}

LLVM IR (-O2):
define double @ksmall_dbl(double* %0, i64 %1, i64 %2, double* %3) {
%5 = icmp ne double* %0, null
%6 = icmp ne double* %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 double, double* %0
br label %86
17: ; preds = %13
%18 = icmp eq i64 %2, 0
%19 = load double, double* %0
%20 = getelementptr inbounds double, double* %0, i64 1
%21 = load double, double* %20
%22 = fcmp ogt double %19, %21
br i1 %18, label %25, label %23
23: ; preds = %17
%24 = select i1 %22, double %19, double %21
br label %86
25: ; preds = %17
%26 = select i1 %22, double %21, double %19
br label %86
27: ; preds = %4
%28 = icmp eq double* %3, %0
br i1 %28, label %32, label %29
29: ; preds = %27
%30 = shl i64 %1, 3
%31 = tail call i32 @memcpy(double* %3, double* %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 double, double* %3, i64 %38
%40 = load double, double* %39
%41 = getelementptr inbounds double, double* %3, i64 %36
%42 = load double, double* %41
%43 = getelementptr inbounds double, double* %3, i64 %35
%44 = load double, double* %43
%45 = fcmp ogt double %42, %44
br i1 %45, label %46, label %48
46: ; preds = %34
store double %44, double* %41
store double %42, double* %43
%47 = load double, double* %41
br label %48
48: ; preds = %46, %34
%49 = phi double [ %42, %46 ], [ %44, %34 ]
%50 = phi double [ %47, %46 ], [ %42, %34 ]
%51 = fcmp olt double %40, %50
br i1 %51, label %55, label %52
52: ; preds = %48
%53 = fcmp ogt double %40, %49
br i1 %53, label %54, label %55
54: ; preds = %52
br label %55
55: ; preds = %48, %52, %54
%56 = phi double [ %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 double, double* %3, i64 %62
%64 = load double, double* %63
%65 = fcmp olt double %64, %56
br i1 %65, label %60, label %66
66: ; preds = %60
%67 = getelementptr inbounds double, double* %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 double, double* %3, i64 %70
%72 = load double, double* %71
%73 = fcmp ogt double %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 double, double* %3, i64 %70
store double %72, double* %67
store double %64, double* %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 double, double* %3, i64 %2
%85 = load double, double* %84
br label %86
86: ; preds = %83, %25, %23, %15
%87 = phi double [ %16, %15 ], [ %24, %23 ], [ %26, %25 ], [ %85, %83 ]
ret double %87
}