#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*/ ShellSort_int(int *, size_t);
int /*<<< orphan*/ free(int *);
int *malloc(size_t);
size_t rand();
void select_rc(int *a, size_t n, size_t k, int *result) {
  if (n < 25) {
    ShellSort_int(a, n);
    *result = a[k - 1];
    return;
  }
  size_t p = a[rand() % n];
  size_t u = 0;
  size_t v = 0;
  size_t i;
  for (i = 0; i < n; i++) {
    if (a[i] < p) {
      u++;
    }
    if (a[i] <= p) {
      v++;
    }
  }
  if (k <= u) {
    int *U = malloc(u * sizeof(int));
    size_t used = 0;
    for (i = 0; i < n; i++) {
      if (a[i] < p) {
        U[used++] = a[i];
      }
    }
    select_rc(U, u, k, result);
    free(U);
    return;
  }
  if (k <= v) {
    *result = p;
    return;
  }
  int *V = malloc((n - v) * sizeof(int));
  size_t used = 0;
  for (i = 0; i < n; i++) {
    if (a[i] > p) {
      V[used++] = a[i];
    }
  }
  select_rc(V, n - v, k - v, result);
  free(V);
}


x86 assembly (clang, -O0):
<select_rc>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpq   $0x19,-0x10(%rbp)
jae    119a <select_rc+0x4a>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1060 <ShellSort_int@plt>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    13af <select_rc+0x25f>
mov    -0x8(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    $0x0,%al
call   1070 <rand@plt>
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x10(%rbp)
mov    -0x68(%rbp),%rax
movslq (%rax,%rdx,4),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    123d <select_rc+0xed>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
cmp    -0x28(%rbp),%rax
jae    1205 <select_rc+0xb5>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
cmp    -0x28(%rbp),%rax
ja     1227 <select_rc+0xd7>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    122c <select_rc+0xdc>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11d5 <select_rc+0x85>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
ja     12ea <select_rc+0x19a>
mov    -0x30(%rbp),%rdi
shl    $0x2,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    12c7 <select_rc+0x177>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
cmp    -0x28(%rbp),%rax
jae    12b1 <select_rc+0x161>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x48(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x50(%rbp)
mov    %edx,(%rax,%rcx,4)
jmp    12b6 <select_rc+0x166>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    126c <select_rc+0x11c>
mov    -0x48(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
call   1050 <select_rc@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
jmp    13af <select_rc+0x25f>
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
ja     1309 <select_rc+0x1b9>
mov    -0x28(%rbp),%rax
mov    %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    13af <select_rc+0x25f>
mov    -0x10(%rbp),%rdi
sub    -0x38(%rbp),%rdi
shl    $0x2,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1389 <select_rc+0x239>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
movslq (%rax,%rcx,4),%rax
cmp    -0x28(%rbp),%rax
jbe    1373 <select_rc+0x223>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x60(%rbp)
mov    %edx,(%rax,%rcx,4)
jmp    1378 <select_rc+0x228>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    132e <select_rc+0x1de>
mov    -0x58(%rbp),%rdi
mov    -0x10(%rbp),%rsi
sub    -0x38(%rbp),%rsi
mov    -0x18(%rbp),%rdx
sub    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rcx
call   1050 <select_rc@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<select_rc>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%rbp
mov    %rdx,%rbx
mov    %rsi,%r12
mov    %rdi,%r13
cmp    $0x18,%rsi
ja     1192 <select_rc+0x42>
mov    %r13,%rdi
mov    %r12,%rsi
call   1060 <ShellSort_int@plt>
mov    -0x4(%r13,%rbx,4),%eax
mov    %eax,0x0(%rbp)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
call   1070 <rand@plt>
mov    %rax,%rcx
or     %r12,%rcx
shr    $0x20,%rcx
je     11ac <select_rc+0x5c>
xor    %edx,%edx
div    %r12
jmp    11b1 <select_rc+0x61>
xor    %edx,%edx
div    %r12d
mov    %rbx,0x8(%rsp)
mov    0x0(%r13,%rdx,4),%r14d
mov    %r12,%rax
and    $0xfffffffffffffffc,%rax
movd   %r14d,%xmm0
pshufd $0x50,%xmm0,%xmm5
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
movdqa 0xe25(%rip),%xmm8
pxor   %xmm8,%xmm5
movdqa 0xe27(%rip),%xmm9
pxor   %xmm1,%xmm1
pxor   %xmm6,%xmm6
pxor   %xmm4,%xmm4
cs nopw 0x0(%rax,%rax,1)
nop
movq   0x0(%r13,%rcx,4),%xmm7
movq   0x8(%r13,%rcx,4),%xmm3
pxor   %xmm8,%xmm7
movdqa %xmm5,%xmm2
pcmpgtd %xmm7,%xmm2
pshufd $0xd4,%xmm2,%xmm2
pand   %xmm9,%xmm2
paddq  %xmm2,%xmm0
pxor   %xmm8,%xmm3
movdqa %xmm5,%xmm2
pcmpgtd %xmm3,%xmm2
pshufd $0xd4,%xmm2,%xmm2
pand   %xmm9,%xmm2
paddq  %xmm2,%xmm1
pcmpgtd %xmm5,%xmm7
pshufd $0xd4,%xmm7,%xmm2
pandn  %xmm9,%xmm2
paddq  %xmm2,%xmm6
pcmpgtd %xmm5,%xmm3
pshufd $0xd4,%xmm3,%xmm2
pandn  %xmm9,%xmm2
paddq  %xmm2,%xmm4
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1200 <select_rc+0xb0>
paddq  %xmm6,%xmm4
pshufd $0xee,%xmm4,%xmm2
paddq  %xmm4,%xmm2
movq   %xmm2,%r15
paddq  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddq  %xmm1,%xmm0
movq   %xmm0,%rbx
cmp    %r12,%rax
je     12c0 <select_rc+0x170>
nopw   0x0(%rax,%rax,1)
mov    0x0(%r13,%rax,4),%ecx
cmp    %r14d,%ecx
adc    $0x0,%rbx
xor    %edx,%edx
cmp    %r14d,%ecx
setbe  %dl
add    %rdx,%r15
add    $0x1,%rax
cmp    %rax,%r12
jne    12a0 <select_rc+0x150>
mov    0x8(%rsp),%rax
cmp    %rax,%rbx
jae    132d <select_rc+0x1dd>
cmp    %rax,%r15
jae    138f <select_rc+0x23f>
mov    %rbp,0x10(%rsp)
mov    %r12,%rbx
sub    %r15,%rbx
lea    0x0(,%rbx,4),%rdi
call   1040 <malloc@plt>
mov    %rax,%rbp
mov    $0x1,%ecx
cmp    $0x2,%r12
cmovae %r12,%rcx
jae    13df <select_rc+0x28f>
xor    %eax,%eax
xor    %edx,%edx
test   $0x1,%cl
je     1318 <select_rc+0x1c8>
mov    0x0(%r13,%rdx,4),%ecx
cmp    %r14d,%ecx
jbe    1318 <select_rc+0x1c8>
mov    %ecx,0x0(%rbp,%rax,4)
mov    0x8(%rsp),%rdx
sub    %r15,%rdx
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    0x10(%rsp),%rcx
jmp    1374 <select_rc+0x224>
mov    %rbp,%r15
lea    0x0(,%rbx,4),%rdi
call   1040 <malloc@plt>
mov    %rax,%rbp
mov    $0x1,%ecx
cmp    $0x2,%r12
cmovae %r12,%rcx
jae    1398 <select_rc+0x248>
xor    %eax,%eax
xor    %edx,%edx
test   $0x1,%cl
je     1366 <select_rc+0x216>
mov    0x0(%r13,%rdx,4),%ecx
cmp    %r14d,%ecx
jae    1366 <select_rc+0x216>
mov    %ecx,0x0(%rbp,%rax,4)
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    0x8(%rsp),%rdx
mov    %r15,%rcx
call   1050 <select_rc@plt>
mov    %rbp,%rdi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>
mov    %r14d,0x0(%rbp)
jmp    1183 <select_rc+0x33>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %eax,%eax
xor    %edx,%edx
jmp    13b9 <select_rc+0x269>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x2,%rdx
cmp    %rdx,%rsi
je     1353 <select_rc+0x203>
mov    0x0(%r13,%rdx,4),%edi
cmp    %r14d,%edi
jae    13cb <select_rc+0x27b>
mov    %edi,0x0(%rbp,%rax,4)
add    $0x1,%rax
mov    0x4(%r13,%rdx,4),%edi
cmp    %r14d,%edi
jae    13b0 <select_rc+0x260>
mov    %edi,0x0(%rbp,%rax,4)
add    $0x1,%rax
jmp    13b0 <select_rc+0x260>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %eax,%eax
xor    %edx,%edx
jmp    13fd <select_rc+0x2ad>
nopl   0x0(%rax)
add    $0x2,%rdx
cmp    %rdx,%rsi
je     1305 <select_rc+0x1b5>
mov    0x0(%r13,%rdx,4),%edi
cmp    %r14d,%edi
jbe    140f <select_rc+0x2bf>
mov    %edi,0x0(%rbp,%rax,4)
add    $0x1,%rax
mov    0x4(%r13,%rdx,4),%edi
cmp    %r14d,%edi
jbe    13f0 <select_rc+0x2a0>
mov    %edi,0x0(%rbp,%rax,4)
add    $0x1,%rax
jmp    13f0 <select_rc+0x2a0>

LLVM IR (-O0):
define void @select_rc(i32* %0, i64 %1, i64 %2, i32* %3) {
%5 = alloca i32*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i32*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i32*
%14 = alloca i64
%15 = alloca i32*
%16 = alloca i64
store i32* %0, i32** %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i32* %3, i32** %8
%17 = load i64, i64* %6
%18 = icmp ult i64 %17, 25
br i1 %18, label %19, label %29
19: ; preds = %4
%20 = load i32*, i32** %5
%21 = load i64, i64* %6
%22 = call i32 @ShellSort_int(i32* %20, i64 %21)
%23 = load i32*, i32** %5
%24 = load i64, i64* %7
%25 = sub i64 %24, 1
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = load i32*, i32** %8
store i32 %27, i32* %28
br label %157
29: ; preds = %4
%30 = load i32*, i32** %5
%31 = call i64 (...) @rand()
%32 = load i64, i64* %6
%33 = urem i64 %31, %32
%34 = getelementptr inbounds i32, i32* %30, i64 %33
%35 = load i32, i32* %34
%36 = sext i32 %35 to i64
store i64 %36, i64* %9
store i64 0, i64* %10
store i64 0, i64* %11
store i64 0, i64* %12
br label %37
37: ; preds = %64, %29
%38 = load i64, i64* %12
%39 = load i64, i64* %6
%40 = icmp ult i64 %38, %39
br i1 %40, label %41, label %67
41: ; preds = %37
%42 = load i32*, i32** %5
%43 = load i64, i64* %12
%44 = getelementptr inbounds i32, i32* %42, i64 %43
%45 = load i32, i32* %44
%46 = sext i32 %45 to i64
%47 = load i64, i64* %9
%48 = icmp ult i64 %46, %47
br i1 %48, label %49, label %52
49: ; preds = %41
%50 = load i64, i64* %10
%51 = add i64 %50, 1
store i64 %51, i64* %10
br label %52
52: ; preds = %49, %41
%53 = load i32*, i32** %5
%54 = load i64, i64* %12
%55 = getelementptr inbounds i32, i32* %53, i64 %54
%56 = load i32, i32* %55
%57 = sext i32 %56 to i64
%58 = load i64, i64* %9
%59 = icmp ule i64 %57, %58
br i1 %59, label %60, label %63
60: ; preds = %52
%61 = load i64, i64* %11
%62 = add i64 %61, 1
store i64 %62, i64* %11
br label %63
63: ; preds = %60, %52
br label %64
64: ; preds = %63
%65 = load i64, i64* %12
%66 = add i64 %65, 1
store i64 %66, i64* %12
br label %37
67: ; preds = %37
%68 = load i64, i64* %7
%69 = load i64, i64* %10
%70 = icmp ule i64 %68, %69
br i1 %70, label %71, label %107
71: ; preds = %67
%72 = load i64, i64* %10
%73 = mul i64 %72, 4
%74 = call i32* @malloc(i64 %73)
store i32* %74, i32** %13
store i64 0, i64* %14
store i64 0, i64* %12
br label %75
75: ; preds = %97, %71
%76 = load i64, i64* %12
%77 = load i64, i64* %6
%78 = icmp ult i64 %76, %77
br i1 %78, label %79, label %100
79: ; preds = %75
%80 = load i32*, i32** %5
%81 = load i64, i64* %12
%82 = getelementptr inbounds i32, i32* %80, i64 %81
%83 = load i32, i32* %82
%84 = sext i32 %83 to i64
%85 = load i64, i64* %9
%86 = icmp ult i64 %84, %85
br i1 %86, label %87, label %96
87: ; preds = %79
%88 = load i32*, i32** %5
%89 = load i64, i64* %12
%90 = getelementptr inbounds i32, i32* %88, i64 %89
%91 = load i32, i32* %90
%92 = load i32*, i32** %13
%93 = load i64, i64* %14
%94 = add i64 %93, 1
store i64 %94, i64* %14
%95 = getelementptr inbounds i32, i32* %92, i64 %93
store i32 %91, i32* %95
br label %96
96: ; preds = %87, %79
br label %97
97: ; preds = %96
%98 = load i64, i64* %12
%99 = add i64 %98, 1
store i64 %99, i64* %12
br label %75
100: ; preds = %75
%101 = load i32*, i32** %13
%102 = load i64, i64* %10
%103 = load i64, i64* %7
%104 = load i32*, i32** %8
%105 = load i32*, i32** %13
%106 = call i32 @free(i32* %105)
br label %157
107: ; preds = %67
%108 = load i64, i64* %7
%109 = load i64, i64* %11
%110 = icmp ule i64 %108, %109
br i1 %110, label %111, label %115
111: ; preds = %107
%112 = load i64, i64* %9
%113 = trunc i64 %112 to i32
%114 = load i32*, i32** %8
store i32 %113, i32* %114
br label %157
115: ; preds = %107
%116 = load i64, i64* %6
%117 = load i64, i64* %11
%118 = sub i64 %116, %117
%119 = mul i64 %118, 4
%120 = call i32* @malloc(i64 %119)
store i32* %120, i32** %15
store i64 0, i64* %16
store i64 0, i64* %12
br label %121
121: ; preds = %143, %115
%122 = load i64, i64* %12
%123 = load i64, i64* %6
%124 = icmp ult i64 %122, %123
br i1 %124, label %125, label %146
125: ; preds = %121
%126 = load i32*, i32** %5
%127 = load i64, i64* %12
%128 = getelementptr inbounds i32, i32* %126, i64 %127
%129 = load i32, i32* %128
%130 = sext i32 %129 to i64
%131 = load i64, i64* %9
%132 = icmp ugt i64 %130, %131
br i1 %132, label %133, label %142
133: ; preds = %125
%134 = load i32*, i32** %5
%135 = load i64, i64* %12
%136 = getelementptr inbounds i32, i32* %134, i64 %135
%137 = load i32, i32* %136
%138 = load i32*, i32** %15
%139 = load i64, i64* %16
%140 = add i64 %139, 1
store i64 %140, i64* %16
%141 = getelementptr inbounds i32, i32* %138, i64 %139
store i32 %137, i32* %141
br label %142
142: ; preds = %133, %125
br label %143
143: ; preds = %142
%144 = load i64, i64* %12
%145 = add i64 %144, 1
store i64 %145, i64* %12
br label %121
146: ; preds = %121
%147 = load i32*, i32** %15
%148 = load i64, i64* %6
%149 = load i64, i64* %11
%150 = sub i64 %148, %149
%151 = load i64, i64* %7
%152 = load i64, i64* %11
%153 = sub i64 %151, %152
%154 = load i32*, i32** %8
%155 = load i32*, i32** %15
%156 = call i32 @free(i32* %155)
br label %157
157: ; preds = %146, %111, %100, %19
ret void
}

LLVM IR (-O2):
define void @select_rc(i32* %0, i64 %1, i64 %2, i32* %3) {
%5 = icmp ult i64 %1, 25
br i1 %5, label %6, label %11
6: ; preds = %4
%7 = tail call i32 @ShellSort_int(i32* %0, i64 %1)
%8 = add i64 %2, -1
%9 = getelementptr inbounds i32, i32* %0, i64 %8
%10 = load i32, i32* %9
store i32 %10, i32* %3
br label %103
11: ; preds = %4
%12 = tail call i64 (...) @rand()
%13 = urem i64 %12, %1
%14 = getelementptr inbounds i32, i32* %0, i64 %13
%15 = load i32, i32* %14
%16 = and i64 %1, -4
%17 = insertelement <2 x i32> poison, i32 %15, i64 0
%18 = shufflevector <2 x i32> %17, <2 x i32> poison, <2 x i32> zeroinitializer
%19 = insertelement <2 x i32> poison, i32 %15, i64 0
%20 = shufflevector <2 x i32> %19, <2 x i32> poison, <2 x i32> zeroinitializer
br label %21
21: ; preds = %21, %11
%22 = phi i64 [ 0, %11 ], [ %45, %21 ]
%23 = phi <2 x i64> [ zeroinitializer, %11 ], [ %37, %21 ]
%24 = phi <2 x i64> [ zeroinitializer, %11 ], [ %38, %21 ]
%25 = phi <2 x i64> [ zeroinitializer, %11 ], [ %43, %21 ]
%26 = phi <2 x i64> [ zeroinitializer, %11 ], [ %44, %21 ]
%27 = getelementptr inbounds i32, i32* %0, i64 %22
%28 = bitcast i32* %27 to <2 x i32>*
%29 = load <2 x i32>, <2 x i32>* %28
%30 = getelementptr inbounds i32, i32* %27, i64 2
%31 = bitcast i32* %30 to <2 x i32>*
%32 = load <2 x i32>, <2 x i32>* %31
%33 = icmp ult <2 x i32> %29, %18
%34 = icmp ult <2 x i32> %32, %20
%35 = zext <2 x i1> %33 to <2 x i64>
%36 = zext <2 x i1> %34 to <2 x i64>
%37 = add <2 x i64> %23, %35
%38 = add <2 x i64> %24, %36
%39 = icmp ule <2 x i32> %29, %18
%40 = icmp ule <2 x i32> %32, %20
%41 = zext <2 x i1> %39 to <2 x i64>
%42 = zext <2 x i1> %40 to <2 x i64>
%43 = add <2 x i64> %25, %41
%44 = add <2 x i64> %26, %42
%45 = add nuw i64 %22, 4
%46 = icmp eq i64 %45, %16
br i1 %46, label %47, label %21
47: ; preds = %21
%48 = add <2 x i64> %44, %43
%49 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %48)
%50 = add <2 x i64> %38, %37
%51 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %50)
%52 = icmp eq i64 %16, %1
br i1 %52, label %67, label %53
53: ; preds = %47, %53
%54 = phi i64 [ %61, %53 ], [ %51, %47 ]
%55 = phi i64 [ %64, %53 ], [ %49, %47 ]
%56 = phi i64 [ %65, %53 ], [ %16, %47 ]
%57 = getelementptr inbounds i32, i32* %0, i64 %56
%58 = load i32, i32* %57
%59 = icmp ult i32 %58, %15
%60 = zext i1 %59 to i64
%61 = add i64 %54, %60
%62 = icmp ule i32 %58, %15
%63 = zext i1 %62 to i64
%64 = add i64 %55, %63
%65 = add nuw i64 %56, 1
%66 = icmp eq i64 %65, %1
br i1 %66, label %67, label %53
67: ; preds = %53, %47
%68 = phi i64 [ %51, %47 ], [ %61, %53 ]
%69 = phi i64 [ %49, %47 ], [ %64, %53 ]
%70 = icmp ult i64 %68, %2
br i1 %70, label %116, label %71
71: ; preds = %67
%72 = shl i64 %68, 2
%73 = tail call i32* @malloc(i64 %72)
%74 = call i64 @llvm.umax.i64(i64 %1, i64 1)
%75 = and i64 %74, 1
%76 = icmp ult i64 %1, 2
br i1 %76, label %104, label %77
77: ; preds = %71
%78 = and i64 %74, -2
br label %79
79: ; preds = %98, %77
%80 = phi i64 [ 0, %77 ], [ %99, %98 ]
%81 = phi i64 [ 0, %77 ], [ %100, %98 ]
%82 = phi i64 [ 0, %77 ], [ %101, %98 ]
%83 = getelementptr inbounds i32, i32* %0, i64 %81
%84 = load i32, i32* %83
%85 = icmp ult i32 %84, %15
br i1 %85, label %86, label %89
86: ; preds = %79
%87 = add i64 %80, 1
%88 = getelementptr inbounds i32, i32* %73, i64 %80
store i32 %84, i32* %88
br label %89
89: ; preds = %79, %86
%90 = phi i64 [ %87, %86 ], [ %80, %79 ]
%91 = or i64 %81, 1
%92 = getelementptr inbounds i32, i32* %0, i64 %91
%93 = load i32, i32* %92
%94 = icmp ult i32 %93, %15
br i1 %94, label %95, label %98
95: ; preds = %89
%96 = add i64 %90, 1
%97 = getelementptr inbounds i32, i32* %73, i64 %90
store i32 %93, i32* %97
br label %98
98: ; preds = %95, %89
%99 = phi i64 [ %96, %95 ], [ %90, %89 ]
%100 = add nuw i64 %81, 2
%101 = add i64 %82, 2
%102 = icmp eq i64 %101, %78
br i1 %102, label %104, label %79
103: ; preds = %6, %118, %162, %114
ret void
104: ; preds = %98, %71
%105 = phi i64 [ 0, %71 ], [ %99, %98 ]
%106 = phi i64 [ 0, %71 ], [ %100, %98 ]
%107 = icmp eq i64 %75, 0
br i1 %107, label %114, label %108
108: ; preds = %104
%109 = getelementptr inbounds i32, i32* %0, i64 %106
%110 = load i32, i32* %109
%111 = icmp ult i32 %110, %15
br i1 %111, label %112, label %114
112: ; preds = %108
%113 = getelementptr inbounds i32, i32* %73, i64 %105
store i32 %110, i32* %113
br label %114
114: ; preds = %108, %112, %104
tail call void @select_rc(i32* %73, i64 %68, i64 %2, i32* %3)
%115 = tail call i32 @free(i32* %73)
br label %103
116: ; preds = %67
%117 = icmp ult i64 %69, %2
br i1 %117, label %119, label %118
118: ; preds = %116
store i32 %15, i32* %3
br label %103
119: ; preds = %116
%120 = sub i64 %1, %69
%121 = shl i64 %120, 2
%122 = tail call i32* @malloc(i64 %121)
%123 = call i64 @llvm.umax.i64(i64 %1, i64 1)
%124 = and i64 %123, 1
%125 = icmp ult i64 %1, 2
br i1 %125, label %152, label %126
126: ; preds = %119
%127 = and i64 %123, -2
br label %128
128: ; preds = %147, %126
%129 = phi i64 [ 0, %126 ], [ %148, %147 ]
%130 = phi i64 [ 0, %126 ], [ %149, %147 ]
%131 = phi i64 [ 0, %126 ], [ %150, %147 ]
%132 = getelementptr inbounds i32, i32* %0, i64 %130
%133 = load i32, i32* %132
%134 = icmp ugt i32 %133, %15
br i1 %134, label %135, label %138
135: ; preds = %128
%136 = add i64 %129, 1
%137 = getelementptr inbounds i32, i32* %122, i64 %129
store i32 %133, i32* %137
br label %138
138: ; preds = %128, %135
%139 = phi i64 [ %136, %135 ], [ %129, %128 ]
%140 = or i64 %130, 1
%141 = getelementptr inbounds i32, i32* %0, i64 %140
%142 = load i32, i32* %141
%143 = icmp ugt i32 %142, %15
br i1 %143, label %144, label %147
144: ; preds = %138
%145 = add i64 %139, 1
%146 = getelementptr inbounds i32, i32* %122, i64 %139
store i32 %142, i32* %146
br label %147
147: ; preds = %144, %138
%148 = phi i64 [ %145, %144 ], [ %139, %138 ]
%149 = add nuw i64 %130, 2
%150 = add i64 %131, 2
%151 = icmp eq i64 %150, %127
br i1 %151, label %152, label %128
152: ; preds = %147, %119
%153 = phi i64 [ 0, %119 ], [ %148, %147 ]
%154 = phi i64 [ 0, %119 ], [ %149, %147 ]
%155 = icmp eq i64 %124, 0
br i1 %155, label %162, label %156
156: ; preds = %152
%157 = getelementptr inbounds i32, i32* %0, i64 %154
%158 = load i32, i32* %157
%159 = icmp ugt i32 %158, %15
br i1 %159, label %160, label %162
160: ; preds = %156
%161 = getelementptr inbounds i32, i32* %122, i64 %153
store i32 %158, i32* %161
br label %162
162: ; preds = %156, %160, %152
%163 = sub i64 %2, %69
tail call void @select_rc(i32* %122, i64 %120, i64 %163, i32* %3)
%164 = tail call i32 @free(i32* %122)
br label %103
}