int selectKpartition(int *nums, int start, int end) {
  int i = start;
  int j = end;
  while (i < j - 1) {
    while (nums[i] <= nums[j] && i < j - 1) {
      i++;
    }
    if (nums[i] > nums[j]) {
      nums[i] = nums[i] ^ nums[j];
      nums[j] = nums[i] ^ nums[j];
      nums[i] = nums[i] ^ nums[j];
    }
    while (nums[i] < nums[j] && i < j - 1) {
      j--;
    }
    if (nums[i] <= nums[j]) {
      nums[i] = nums[i] ^ nums[j];
      nums[j] = nums[i] ^ nums[j];
      nums[i] = nums[i] ^ nums[j];
    }
  }
  return i;
}


x86 assembly (clang, -O0):
<selectKpartition>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12d8 <selectKpartition+0x1d8>
jmp    1130 <selectKpartition+0x30>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x8(%rbp),%rdx
movslq -0x18(%rbp),%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x19(%rbp)
jg     1162 <selectKpartition+0x62>
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setl   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1172 <selectKpartition+0x72>
jmp    1180 <selectKpartition+0x80>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1130 <selectKpartition+0x30>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11ff <selectKpartition+0xff>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1204 <selectKpartition+0x104>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x8(%rbp),%rdx
movslq -0x18(%rbp),%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x1a(%rbp)
jge    1236 <selectKpartition+0x136>
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setl   %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    1246 <selectKpartition+0x146>
jmp    1254 <selectKpartition+0x154>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1204 <selectKpartition+0x104>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     12d3 <selectKpartition+0x1d3>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    111a <selectKpartition+0x1a>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<selectKpartition>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%eax
lea    -0x1(%rdx),%ecx
cmp    %esi,%ecx
jle    11e9 <selectKpartition+0xe9>
movabs $0xffffffff00000000,%r8
ff ff ff
movabs $0x100000000,%r9
jmp    113b <selectKpartition+0x3b>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rcx),%edx
cmp    %eax,%ecx
jle    11e9 <selectKpartition+0xe9>
movslq %edx,%r11
mov    (%rdi,%r11,4),%r14d
movslq %eax,%rsi
movslq %ecx,%rcx
lea    -0x1(%rsi),%eax
mov    %rsi,%rbp
shl    $0x20,%rbp
add    %r8,%rbp
cs nopw 0x0(%rax,%rax,1)
nop
add    %r9,%rbp
mov    (%rdi,%rsi,4),%ebx
lea    0x1(%rsi),%r10
add    $0x1,%eax
cmp    %r14d,%ebx
jg     117a <selectKpartition+0x7a>
cmp    %rcx,%rsi
mov    %r10,%rsi
jl     1160 <selectKpartition+0x60>
cmp    %r14d,%ebx
jle    119c <selectKpartition+0x9c>
xor    %ebx,%r14d
mov    %r14d,-0x4(%rdi,%r10,4)
xor    (%rdi,%r11,4),%r14d
mov    %r14d,(%rdi,%r11,4)
xor    -0x4(%rdi,%r10,4),%r14d
mov    %r14d,-0x4(%rdi,%r10,4)
mov    %r14d,%ebx
sar    $0x20,%rbp
add    $0xffffffffffffffff,%r11
mov    %edx,%ecx
cs nopw 0x0(%rax,%rax,1)
mov    0x4(%rdi,%r11,4),%edx
lea    -0x1(%r11),%rsi
add    $0xffffffff,%ecx
cmp    %edx,%ebx
jge    11c8 <selectKpartition+0xc8>
cmp    %r11,%rbp
mov    %rsi,%r11
jl     11b0 <selectKpartition+0xb0>
cmp    %edx,%ebx
jg     1130 <selectKpartition+0x30>
xor    %ebx,%edx
mov    %edx,-0x4(%rdi,%r10,4)
xor    0x8(%rdi,%rsi,4),%edx
mov    %edx,0x8(%rdi,%rsi,4)
xor    %edx,-0x4(%rdi,%r10,4)
jmp    1130 <selectKpartition+0x30>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @selectKpartition(i32* nocapture %0, i32 %1, i32 %2) {
%4 = add nsw i32 %2, -1
%5 = icmp sgt i32 %4, %1
br i1 %5, label %6, label %60
6: ; preds = %3, %55
%7 = phi i32 [ %56, %55 ], [ %4, %3 ]
%8 = phi i32 [ %47, %55 ], [ %2, %3 ]
%9 = phi i32 [ %25, %55 ], [ %1, %3 ]
%10 = sext i32 %8 to i64
%11 = getelementptr inbounds i32, i32* %0, i64 %10
%12 = load i32, i32* %11
%13 = sext i32 %9 to i64
%14 = sext i32 %7 to i64
br label %15
15: ; preds = %15, %6
%16 = phi i64 [ %22, %15 ], [ %13, %6 ]
%17 = getelementptr inbounds i32, i32* %0, i64 %16
%18 = load i32, i32* %17
%19 = icmp sle i32 %18, %12
%20 = icmp slt i64 %16, %14
%21 = select i1 %19, i1 %20, i1 false
%22 = add nsw i64 %16, 1
br i1 %21, label %15, label %23
23: ; preds = %15
%24 = getelementptr inbounds i32, i32* %0, i64 %16
%25 = trunc i64 %16 to i32
%26 = icmp sgt i32 %18, %12
br i1 %26, label %27, label %33
27: ; preds = %23
%28 = xor i32 %12, %18
store i32 %28, i32* %24
%29 = load i32, i32* %11
%30 = xor i32 %29, %28
store i32 %30, i32* %11
%31 = load i32, i32* %24
%32 = xor i32 %31, %30
store i32 %32, i32* %24
br label %33
33: ; preds = %27, %23
%34 = phi i32 [ %32, %27 ], [ %18, %23 ]
%35 = shl i64 %16, 32
%36 = ashr exact i64 %35, 32
br label %37
37: ; preds = %37, %33
%38 = phi i64 [ %42, %37 ], [ %10, %33 ]
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = load i32, i32* %39
%41 = icmp slt i32 %34, %40
%42 = add nsw i64 %38, -1
%43 = icmp slt i64 %36, %42
%44 = select i1 %41, i1 %43, i1 false
br i1 %44, label %37, label %45
45: ; preds = %37
%46 = getelementptr inbounds i32, i32* %0, i64 %38
%47 = trunc i64 %38 to i32
%48 = icmp sgt i32 %34, %40
br i1 %48, label %55, label %49
49: ; preds = %45
%50 = xor i32 %40, %34
store i32 %50, i32* %24
%51 = load i32, i32* %46
%52 = xor i32 %51, %50
store i32 %52, i32* %46
%53 = load i32, i32* %24
%54 = xor i32 %53, %52
store i32 %54, i32* %24
br label %55
55: ; preds = %49, %45
%56 = add nsw i32 %47, -1
%57 = icmp sgt i32 %56, %25
br i1 %57, label %6, label %58
58: ; preds = %55
%59 = trunc i64 %16 to i32
br label %60
60: ; preds = %58, %3
%61 = phi i32 [ %1, %3 ], [ %59, %58 ]
ret i32 %61
}