void SortInts2(int *item, int *assoc, int left, int right,
               int descendingOrder) {
  register int i, j, x, y;
  if (descendingOrder == 1) {
    i = left;
    j = right;
    x = item[(left + right) / 2];
    do {
      while (item[i] > x && i < right)
        i++;
      while (x > item[j] && j > left)
        j--;
      if (i <= j) {
        y = item[i];
        item[i] = item[j];
        item[j] = y;
        if (assoc) {
          y = assoc[i];
          assoc[i] = assoc[j];
          assoc[j] = y;
        }
        i++;
        j--;
      }
    } while (i <= j);
    if (left < j)
      SortInts2(item, assoc, left, j, descendingOrder);
    if (i < right)
      SortInts2(item, assoc, i, right, descendingOrder);
  } else {
    i = left;
    j = right;
    x = item[(left + right) / 2];
    do {
      while (item[i] < x && i < right)
        i++;
      while (x < item[j] && j > left)
        j--;
      if (i <= j) {
        y = item[i];
        item[i] = item[j];
        item[j] = y;
        if (assoc) {
          y = assoc[i];
          assoc[i] = assoc[j];
          assoc[j] = y;
        }
        i++;
        j--;
      }
    } while (i <= j);
    if (left < j)
      SortInts2(item, assoc, left, j, descendingOrder);
    if (i < right)
      SortInts2(item, assoc, i, right, descendingOrder);
  }
}


x86 assembly (clang, -O0):
<SortInts2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    12de <SortInts2+0x1ce>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
jmp    116a <SortInts2+0x5a>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
xor    %eax,%eax
cmp    -0x28(%rbp),%ecx
mov    %al,-0x39(%rbp)
jle    118f <SortInts2+0x7f>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
setl   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    119f <SortInts2+0x8f>
jmp    11ad <SortInts2+0x9d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    116a <SortInts2+0x5a>
jmp    11b2 <SortInts2+0xa2>
mov    -0x28(%rbp),%ecx
mov    -0x8(%rbp),%rdx
movslq -0x24(%rbp),%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x3a(%rbp)
jle    11d7 <SortInts2+0xc7>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
setg   %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
test   $0x1,%al
jne    11e7 <SortInts2+0xd7>
jmp    11f5 <SortInts2+0xe5>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    11b2 <SortInts2+0xa2>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     1282 <SortInts2+0x172>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
cmpq   $0x0,-0x10(%rbp)
je     1270 <SortInts2+0x160>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1287 <SortInts2+0x177>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1165 <SortInts2+0x55>
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    12b6 <SortInts2+0x1a6>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
call   1030 <SortInts2@plt>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12d9 <SortInts2+0x1c9>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
call   1030 <SortInts2@plt>
jmp    1488 <SortInts2+0x378>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x28(%rbp)
jmp    1314 <SortInts2+0x204>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
xor    %eax,%eax
cmp    -0x28(%rbp),%ecx
mov    %al,-0x49(%rbp)
jge    1339 <SortInts2+0x229>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
setl   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1349 <SortInts2+0x239>
jmp    1357 <SortInts2+0x247>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1314 <SortInts2+0x204>
jmp    135c <SortInts2+0x24c>
mov    -0x28(%rbp),%ecx
mov    -0x8(%rbp),%rdx
movslq -0x24(%rbp),%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x4a(%rbp)
jge    1381 <SortInts2+0x271>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
setg   %al
mov    %al,-0x4a(%rbp)
mov    -0x4a(%rbp),%al
test   $0x1,%al
jne    1391 <SortInts2+0x281>
jmp    139f <SortInts2+0x28f>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    135c <SortInts2+0x24c>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     142c <SortInts2+0x31c>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
cmpq   $0x0,-0x10(%rbp)
je     141a <SortInts2+0x30a>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1431 <SortInts2+0x321>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    130f <SortInts2+0x1ff>
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1460 <SortInts2+0x350>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
call   1030 <SortInts2@plt>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1483 <SortInts2+0x373>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
call   1030 <SortInts2@plt>
jmp    1488 <SortInts2+0x378>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SortInts2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %ecx,%r10d
mov    %edx,%r13d
mov    %rsi,%r15
mov    %rdi,%r14
movslq %ecx,%r12
mov    %r10,0x10(%rsp)
mov    %r13d,%edx
mov    %rdx,0x8(%rsp)
jmp    114c <SortInts2+0x3c>
nopl   0x0(%rax)
mov    %r13d,%edx
cmp    %r10d,%r13d
jge    130e <SortInts2+0x1fe>
cmp    $0x1,%r8d
je     1230 <SortInts2+0x120>
lea    (%rdx,%r10,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %ecx,%rax
mov    (%r14,%rax,4),%r9d
movslq %edx,%r11
mov    %edx,%r13d
mov    %r10d,%ecx
jmp    118a <SortInts2+0x7a>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edi,%r13d
mov    %ebx,%ecx
cmp    %ecx,%r13d
jg     1200 <SortInts2+0xf0>
movslq %r13d,%rax
nopl   (%rax)
mov    (%r14,%rax,4),%ebp
lea    0x1(%rax),%rdi
cmp    %r9d,%ebp
jge    11a5 <SortInts2+0x95>
cmp    %r12,%rax
mov    %rdi,%rax
jl     1190 <SortInts2+0x80>
lea    -0x1(%rdi),%r13d
movslq %ecx,%rsi
add    $0x1,%rsi
mov    %ecx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x4(%r14,%rsi,4),%eax
add    $0xffffffffffffffff,%rsi
add    $0xffffffff,%ebx
cmp    %eax,%r9d
jge    11d6 <SortInts2+0xc6>
cmp    %r11,%rsi
jg     11c0 <SortInts2+0xb0>
lea    0x1(%rbx),%ecx
cmp    %ecx,%r13d
jg     1185 <SortInts2+0x75>
mov    %eax,-0x4(%r14,%rdi,4)
mov    %ebp,(%r14,%rsi,4)
test   %r15,%r15
je     1180 <SortInts2+0x70>
mov    -0x4(%r15,%rdi,4),%eax
mov    (%r15,%rsi,4),%ecx
mov    %ecx,-0x4(%r15,%rdi,4)
mov    %eax,(%r15,%rsi,4)
jmp    1180 <SortInts2+0x70>
cmp    %edx,%ecx
jle    1140 <SortInts2+0x30>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r8d,%ebx
call   1030 <SortInts2@plt>
mov    %ebx,%r8d
mov    0x10(%rsp),%r10
jmp    1140 <SortInts2+0x30>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x8(%rsp),%rdx
lea    (%rdx,%r10,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %ecx,%rax
mov    (%r14,%rax,4),%eax
movslq %edx,%r8
mov    %edx,%r13d
mov    %r10d,%ecx
jmp    126a <SortInts2+0x15a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %esi,%r13d
mov    %ebp,%ecx
cmp    %ecx,%r13d
jg     12e0 <SortInts2+0x1d0>
movslq %r13d,%rdx
nopl   (%rax)
mov    (%r14,%rdx,4),%edi
lea    0x1(%rdx),%rsi
cmp    %eax,%edi
jle    1284 <SortInts2+0x174>
cmp    %r12,%rdx
mov    %rsi,%rdx
jl     1270 <SortInts2+0x160>
lea    -0x1(%rsi),%r13d
movslq %ecx,%rbx
add    $0x1,%rbx
mov    %ecx,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0x4(%r14,%rbx,4),%edx
add    $0xffffffffffffffff,%rbx
add    $0xffffffff,%ebp
cmp    %edx,%eax
jle    12b5 <SortInts2+0x1a5>
cmp    %r8,%rbx
jg     12a0 <SortInts2+0x190>
lea    0x1(%rbp),%ecx
cmp    %ecx,%r13d
jg     1265 <SortInts2+0x155>
mov    %edx,-0x4(%r14,%rsi,4)
mov    %edi,(%r14,%rbx,4)
test   %r15,%r15
je     1260 <SortInts2+0x150>
mov    -0x4(%r15,%rsi,4),%ecx
mov    (%r15,%rbx,4),%edx
mov    %edx,-0x4(%r15,%rsi,4)
mov    %ecx,(%r15,%rbx,4)
jmp    1260 <SortInts2+0x150>
nop
mov    0x8(%rsp),%rdx
cmp    %edx,%ecx
jle    12ff <SortInts2+0x1ef>
mov    %r14,%rdi
mov    %r15,%rsi
mov    $0x1,%r8d
call   1030 <SortInts2@plt>
mov    0x10(%rsp),%r10
mov    $0x1,%r8d
cmp    %r10d,%r13d
jl     1132 <SortInts2+0x22>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @SortInts2(i32* %0, i32* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%15 = load i32, i32* %10
%16 = icmp eq i32 %15, 1
br i1 %16, label %17, label %141
17: ; preds = %5
%18 = load i32, i32* %8
store i32 %18, i32* %11
%19 = load i32, i32* %9
store i32 %19, i32* %12
%20 = load i32*, i32** %6
%21 = load i32, i32* %8
%22 = load i32, i32* %9
%23 = add nsw i32 %21, %22
%24 = sdiv i32 %23, 2
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %20, i64 %25
%27 = load i32, i32* %26
store i32 %27, i32* %13
br label %28
28: ; preds = %116, %17
br label %29
29: ; preds = %43, %28
%30 = load i32*, i32** %6
%31 = load i32, i32* %11
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = load i32, i32* %13
%36 = icmp sgt i32 %34, %35
br i1 %36, label %37, label %41
37: ; preds = %29
%38 = load i32, i32* %11
%39 = load i32, i32* %9
%40 = icmp slt i32 %38, %39
br label %41
41: ; preds = %37, %29
%42 = phi i1 [ false, %29 ], [ %40, %37 ]
br i1 %42, label %43, label %46
43: ; preds = %41
%44 = load i32, i32* %11
%45 = add nsw i32 %44, 1
store i32 %45, i32* %11
br label %29
46: ; preds = %41
br label %47
47: ; preds = %61, %46
%48 = load i32, i32* %13
%49 = load i32*, i32** %6
%50 = load i32, i32* %12
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
%54 = icmp sgt i32 %48, %53
br i1 %54, label %55, label %59
55: ; preds = %47
%56 = load i32, i32* %12
%57 = load i32, i32* %8
%58 = icmp sgt i32 %56, %57
br label %59
59: ; preds = %55, %47
%60 = phi i1 [ false, %47 ], [ %58, %55 ]
br i1 %60, label %61, label %64
61: ; preds = %59
%62 = load i32, i32* %12
%63 = add nsw i32 %62, -1
store i32 %63, i32* %12
br label %47
64: ; preds = %59
%65 = load i32, i32* %11
%66 = load i32, i32* %12
%67 = icmp sle i32 %65, %66
br i1 %67, label %68, label %115
68: ; preds = %64
%69 = load i32*, i32** %6
%70 = load i32, i32* %11
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
%73 = load i32, i32* %72
store i32 %73, i32* %14
%74 = load i32*, i32** %6
%75 = load i32, i32* %12
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = load i32*, i32** %6
%80 = load i32, i32* %11
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
store i32 %78, i32* %82
%83 = load i32, i32* %14
%84 = load i32*, i32** %6
%85 = load i32, i32* %12
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %84, i64 %86
store i32 %83, i32* %87
%88 = load i32*, i32** %7
%89 = icmp ne i32* %88, null
br i1 %89, label %90, label %110
90: ; preds = %68
%91 = load i32*, i32** %7
%92 = load i32, i32* %11
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
store i32 %95, i32* %14
%96 = load i32*, i32** %7
%97 = load i32, i32* %12
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i32, i32* %96, i64 %98
%100 = load i32, i32* %99
%101 = load i32*, i32** %7
%102 = load i32, i32* %11
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
store i32 %100, i32* %104
%105 = load i32, i32* %14
%106 = load i32*, i32** %7
%107 = load i32, i32* %12
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
store i32 %105, i32* %109
br label %110
110: ; preds = %90, %68
%111 = load i32, i32* %11
%112 = add nsw i32 %111, 1
store i32 %112, i32* %11
%113 = load i32, i32* %12
%114 = add nsw i32 %113, -1
store i32 %114, i32* %12
br label %115
115: ; preds = %110, %64
br label %116
116: ; preds = %115
%117 = load i32, i32* %11
%118 = load i32, i32* %12
%119 = icmp sle i32 %117, %118
br i1 %119, label %28, label %120
120: ; preds = %116
%121 = load i32, i32* %8
%122 = load i32, i32* %12
%123 = icmp slt i32 %121, %122
br i1 %123, label %124, label %130
124: ; preds = %120
%125 = load i32*, i32** %6
%126 = load i32*, i32** %7
%127 = load i32, i32* %8
%128 = load i32, i32* %12
%129 = load i32, i32* %10
br label %130
130: ; preds = %124, %120
%131 = load i32, i32* %11
%132 = load i32, i32* %9
%133 = icmp slt i32 %131, %132
br i1 %133, label %134, label %140
134: ; preds = %130
%135 = load i32*, i32** %6
%136 = load i32*, i32** %7
%137 = load i32, i32* %11
%138 = load i32, i32* %9
%139 = load i32, i32* %10
br label %140
140: ; preds = %134, %130
br label %265
141: ; preds = %5
%142 = load i32, i32* %8
store i32 %142, i32* %11
%143 = load i32, i32* %9
store i32 %143, i32* %12
%144 = load i32*, i32** %6
%145 = load i32, i32* %8
%146 = load i32, i32* %9
%147 = add nsw i32 %145, %146
%148 = sdiv i32 %147, 2
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %144, i64 %149
%151 = load i32, i32* %150
store i32 %151, i32* %13
br label %152
152: ; preds = %240, %141
br label %153
153: ; preds = %167, %152
%154 = load i32*, i32** %6
%155 = load i32, i32* %11
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32, i32* %154, i64 %156
%158 = load i32, i32* %157
%159 = load i32, i32* %13
%160 = icmp slt i32 %158, %159
br i1 %160, label %161, label %165
161: ; preds = %153
%162 = load i32, i32* %11
%163 = load i32, i32* %9
%164 = icmp slt i32 %162, %163
br label %165
165: ; preds = %161, %153
%166 = phi i1 [ false, %153 ], [ %164, %161 ]
br i1 %166, label %167, label %170
167: ; preds = %165
%168 = load i32, i32* %11
%169 = add nsw i32 %168, 1
store i32 %169, i32* %11
br label %153
170: ; preds = %165
br label %171
171: ; preds = %185, %170
%172 = load i32, i32* %13
%173 = load i32*, i32** %6
%174 = load i32, i32* %12
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i32, i32* %173, i64 %175
%177 = load i32, i32* %176
%178 = icmp slt i32 %172, %177
br i1 %178, label %179, label %183
179: ; preds = %171
%180 = load i32, i32* %12
%181 = load i32, i32* %8
%182 = icmp sgt i32 %180, %181
br label %183
183: ; preds = %179, %171
%184 = phi i1 [ false, %171 ], [ %182, %179 ]
br i1 %184, label %185, label %188
185: ; preds = %183
%186 = load i32, i32* %12
%187 = add nsw i32 %186, -1
store i32 %187, i32* %12
br label %171
188: ; preds = %183
%189 = load i32, i32* %11
%190 = load i32, i32* %12
%191 = icmp sle i32 %189, %190
br i1 %191, label %192, label %239
192: ; preds = %188
%193 = load i32*, i32** %6
%194 = load i32, i32* %11
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds i32, i32* %193, i64 %195
%197 = load i32, i32* %196
store i32 %197, i32* %14
%198 = load i32*, i32** %6
%199 = load i32, i32* %12
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i32, i32* %198, i64 %200
%202 = load i32, i32* %201
%203 = load i32*, i32** %6
%204 = load i32, i32* %11
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds i32, i32* %203, i64 %205
store i32 %202, i32* %206
%207 = load i32, i32* %14
%208 = load i32*, i32** %6
%209 = load i32, i32* %12
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds i32, i32* %208, i64 %210
store i32 %207, i32* %211
%212 = load i32*, i32** %7
%213 = icmp ne i32* %212, null
br i1 %213, label %214, label %234
214: ; preds = %192
%215 = load i32*, i32** %7
%216 = load i32, i32* %11
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i32, i32* %215, i64 %217
%219 = load i32, i32* %218
store i32 %219, i32* %14
%220 = load i32*, i32** %7
%221 = load i32, i32* %12
%222 = sext i32 %221 to i64
%223 = getelementptr inbounds i32, i32* %220, i64 %222
%224 = load i32, i32* %223
%225 = load i32*, i32** %7
%226 = load i32, i32* %11
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i32, i32* %225, i64 %227
store i32 %224, i32* %228
%229 = load i32, i32* %14
%230 = load i32*, i32** %7
%231 = load i32, i32* %12
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds i32, i32* %230, i64 %232
store i32 %229, i32* %233
br label %234
234: ; preds = %214, %192
%235 = load i32, i32* %11
%236 = add nsw i32 %235, 1
store i32 %236, i32* %11
%237 = load i32, i32* %12
%238 = add nsw i32 %237, -1
store i32 %238, i32* %12
br label %239
239: ; preds = %234, %188
br label %240
240: ; preds = %239
%241 = load i32, i32* %11
%242 = load i32, i32* %12
%243 = icmp sle i32 %241, %242
br i1 %243, label %152, label %244
244: ; preds = %240
%245 = load i32, i32* %8
%246 = load i32, i32* %12
%247 = icmp slt i32 %245, %246
br i1 %247, label %248, label %254
248: ; preds = %244
%249 = load i32*, i32** %6
%250 = load i32*, i32** %7
%251 = load i32, i32* %8
%252 = load i32, i32* %12
%253 = load i32, i32* %10
br label %254
254: ; preds = %248, %244
%255 = load i32, i32* %11
%256 = load i32, i32* %9
%257 = icmp slt i32 %255, %256
br i1 %257, label %258, label %264
258: ; preds = %254
%259 = load i32*, i32** %6
%260 = load i32*, i32** %7
%261 = load i32, i32* %11
%262 = load i32, i32* %9
%263 = load i32, i32* %10
br label %264
264: ; preds = %258, %254
br label %265
265: ; preds = %264, %140
ret void
}

LLVM IR (-O2):
define void @SortInts2(i32* %0, i32* %1, i32 %2, i32 %3, i32 %4) {
%6 = icmp eq i32* %1, null
%7 = sext i32 %3 to i64
br label %8
8: ; preds = %65, %5
%9 = phi i32 [ %59, %65 ], [ %2, %5 ]
%10 = phi i32 [ 1, %65 ], [ %4, %5 ]
%11 = icmp eq i32 %10, 1
br label %12
12: ; preds = %8, %118
%13 = phi i32 [ %112, %118 ], [ %9, %8 ]
br i1 %11, label %14, label %67
14: ; preds = %12
%15 = add nsw i32 %9, %3
%16 = sdiv i32 %15, 2
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %0, i64 %17
%19 = load i32, i32* %18
%20 = sext i32 %9 to i64
br label %21
21: ; preds = %58, %14
%22 = phi i32 [ %9, %14 ], [ %59, %58 ]
%23 = phi i32 [ %3, %14 ], [ %60, %58 ]
%24 = sext i32 %22 to i64
br label %25
25: ; preds = %25, %21
%26 = phi i64 [ %32, %25 ], [ %24, %21 ]
%27 = getelementptr inbounds i32, i32* %0, i64 %26
%28 = load i32, i32* %27
%29 = icmp sgt i32 %28, %19
%30 = icmp slt i64 %26, %7
%31 = select i1 %29, i1 %30, i1 false
%32 = add nsw i64 %26, 1
br i1 %31, label %25, label %33
33: ; preds = %25
%34 = getelementptr inbounds i32, i32* %0, i64 %26
%35 = trunc i64 %26 to i32
%36 = sext i32 %23 to i64
br label %37
37: ; preds = %37, %33
%38 = phi i64 [ %44, %37 ], [ %36, %33 ]
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = load i32, i32* %39
%41 = icmp sgt i32 %19, %40
%42 = icmp sgt i64 %38, %20
%43 = select i1 %41, i1 %42, i1 false
%44 = add nsw i64 %38, -1
br i1 %43, label %37, label %45
45: ; preds = %37
%46 = trunc i64 %38 to i32
%47 = icmp sgt i32 %35, %46
br i1 %47, label %58, label %48
48: ; preds = %45
%49 = getelementptr inbounds i32, i32* %0, i64 %38
store i32 %40, i32* %34
store i32 %28, i32* %49
br i1 %6, label %55, label %50
50: ; preds = %48
%51 = getelementptr inbounds i32, i32* %1, i64 %26
%52 = load i32, i32* %51
%53 = getelementptr inbounds i32, i32* %1, i64 %38
%54 = load i32, i32* %53
store i32 %54, i32* %51
store i32 %52, i32* %53
br label %55
55: ; preds = %50, %48
%56 = add nsw i32 %35, 1
%57 = add nsw i32 %46, -1
br label %58
58: ; preds = %45, %55
%59 = phi i32 [ %56, %55 ], [ %35, %45 ]
%60 = phi i32 [ %57, %55 ], [ %46, %45 ]
%61 = icmp sgt i32 %59, %60
br i1 %61, label %62, label %21
62: ; preds = %58
%63 = icmp sgt i32 %60, %9
br i1 %63, label %64, label %65
64: ; preds = %62
tail call void @SortInts2(i32* %0, i32* %1, i32 %9, i32 %60, i32 1)
br label %65
65: ; preds = %64, %62
%66 = icmp slt i32 %59, %3
br i1 %66, label %8, label %120
67: ; preds = %12
%68 = add nsw i32 %13, %3
%69 = sdiv i32 %68, 2
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32, i32* %0, i64 %70
%72 = load i32, i32* %71
%73 = sext i32 %13 to i64
br label %74
74: ; preds = %111, %67
%75 = phi i32 [ %13, %67 ], [ %112, %111 ]
%76 = phi i32 [ %3, %67 ], [ %113, %111 ]
%77 = sext i32 %75 to i64
br label %78
78: ; preds = %78, %74
%79 = phi i64 [ %85, %78 ], [ %77, %74 ]
%80 = getelementptr inbounds i32, i32* %0, i64 %79
%81 = load i32, i32* %80
%82 = icmp slt i32 %81, %72
%83 = icmp slt i64 %79, %7
%84 = select i1 %82, i1 %83, i1 false
%85 = add nsw i64 %79, 1
br i1 %84, label %78, label %86
86: ; preds = %78
%87 = getelementptr inbounds i32, i32* %0, i64 %79
%88 = trunc i64 %79 to i32
%89 = sext i32 %76 to i64
br label %90
90: ; preds = %90, %86
%91 = phi i64 [ %97, %90 ], [ %89, %86 ]
%92 = getelementptr inbounds i32, i32* %0, i64 %91
%93 = load i32, i32* %92
%94 = icmp slt i32 %72, %93
%95 = icmp sgt i64 %91, %73
%96 = select i1 %94, i1 %95, i1 false
%97 = add nsw i64 %91, -1
br i1 %96, label %90, label %98
98: ; preds = %90
%99 = trunc i64 %91 to i32
%100 = icmp sgt i32 %88, %99
br i1 %100, label %111, label %101
101: ; preds = %98
%102 = getelementptr inbounds i32, i32* %0, i64 %91
store i32 %93, i32* %87
store i32 %81, i32* %102
br i1 %6, label %108, label %103
103: ; preds = %101
%104 = getelementptr inbounds i32, i32* %1, i64 %79
%105 = load i32, i32* %104
%106 = getelementptr inbounds i32, i32* %1, i64 %91
%107 = load i32, i32* %106
store i32 %107, i32* %104
store i32 %105, i32* %106
br label %108
108: ; preds = %103, %101
%109 = add nsw i32 %88, 1
%110 = add nsw i32 %99, -1
br label %111
111: ; preds = %98, %108
%112 = phi i32 [ %109, %108 ], [ %88, %98 ]
%113 = phi i32 [ %110, %108 ], [ %99, %98 ]
%114 = icmp sgt i32 %112, %113
br i1 %114, label %115, label %74
115: ; preds = %111
%116 = icmp sgt i32 %113, %13
br i1 %116, label %117, label %118
117: ; preds = %115
tail call void @SortInts2(i32* %0, i32* %1, i32 %13, i32 %113, i32 %10)
br label %118
118: ; preds = %117, %115
%119 = icmp slt i32 %112, %3
br i1 %119, label %12, label %120
120: ; preds = %65, %118
ret void
}