#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 */
typedef int /*<<< orphan*/ array;

/* Variables and functions */
int /*<<< orphan*/ memmove(int *, int *, int);
void ShuffleSortedArray(int *array, int count) {
  struct {
    int first, count;
  } aStack[64];
  int stk = 0;
  int first = 0;
  int tmp;
  while (count > 1 || stk) {
    if (count <= 1) {
      stk--;
      first = aStack[stk].first;
      count = aStack[stk].count;
    }
    switch (count) {
    case 2:
    case 3:
      tmp = array[first];
      array[first] = array[first + 1];
      array[first + 1] = tmp;
      count = 0;
      break;
    case 4:
      tmp = array[first];
      array[first] = array[first + 2];
      array[first + 2] = tmp;
      count = 0;
      break;
    case 5:
      tmp = array[first];
      array[first] = array[first + 2];
      array[first + 2] = tmp;
      tmp = array[first + 3];
      array[first + 3] = array[first + 4];
      array[first + 4] = tmp;
      count = 0;
      break;
    case 6:
    case 7:
      tmp = array[first];
      array[first] = array[first + 3];
      array[first + 3] = array[first + 2];
      array[first + 2] = tmp;
      tmp = array[first + 4];
      array[first + 4] = array[first + 5];
      array[first + 5] = tmp;
      count = 0;
      break;
    case 8:
      tmp = array[first];
      array[first] = array[first + 4];
      array[first + 4] = array[first + 3];
      array[first + 3] = tmp;
      tmp = array[first + 1];
      array[first + 1] = array[first + 2];
      array[first + 2] = tmp;
      tmp = array[first + 5];
      array[first + 5] = array[first + 6];
      array[first + 6] = tmp;
      count = 0;
      break;
    default:
      tmp = array[first + count / 2];
      memmove(&array[first + 1], &array[first], sizeof(array[0]) * (count / 2));
      array[first] = tmp;
      first++;
      aStack[stk].first = first + count / 2;
      aStack[stk].count = (count - 1) / 2;
      stk++;
      count = count / 2;
      break;
    }
  }
}


x86 assembly (clang, -O0):
<ShuffleSortedArray>:
push   %rbp
mov    %rsp,%rbp
sub    $0x230,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x214(%rbp)
movl   $0x0,-0x218(%rbp)
mov    $0x1,%al
cmpl   $0x1,-0xc(%rbp)
mov    %al,-0x21d(%rbp)
jg     1158 <ShuffleSortedArray+0x48>
cmpl   $0x0,-0x214(%rbp)
setne  %al
mov    %al,-0x21d(%rbp)
mov    -0x21d(%rbp),%al
test   $0x1,%al
jne    116b <ShuffleSortedArray+0x5b>
jmp    163d <ShuffleSortedArray+0x52d>
cmpl   $0x1,-0xc(%rbp)
jg     11a9 <ShuffleSortedArray+0x99>
mov    -0x214(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x214(%rbp)
movslq -0x214(%rbp),%rax
mov    -0x210(%rbp,%rax,8),%eax
mov    %eax,-0x218(%rbp)
movslq -0x214(%rbp),%rax
mov    -0x20c(%rbp,%rax,8),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0xfffffffe,%eax
mov    %eax,%ecx
mov    %rcx,-0x228(%rbp)
sub    $0x6,%eax
ja     1546 <ShuffleSortedArray+0x436>
mov    -0x228(%rbp),%rax
lea    0xe31(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%rbp)
jmp    1638 <ShuffleSortedArray+0x528>
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%rbp)
jmp    1638 <ShuffleSortedArray+0x528>
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%rbp)
jmp    1638 <ShuffleSortedArray+0x528>
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%rbp)
jmp    1638 <ShuffleSortedArray+0x528>
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x218(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0xc(%rbp)
jmp    1638 <ShuffleSortedArray+0x528>
mov    -0x8(%rbp),%rax
mov    %rax,-0x230(%rbp)
mov    -0x218(%rbp),%ecx
mov    -0xc(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x230(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x218(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x218(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cltq
shl    $0x2,%rax
mov    %eax,%edx
call   1030 <memmove@plt>
mov    -0x21c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x218(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x218(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x218(%rbp)
mov    -0x218(%rbp),%ecx
mov    -0xc(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
add    %eax,%ecx
movslq -0x214(%rbp),%rax
mov    %ecx,-0x210(%rbp,%rax,8)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
movslq -0x214(%rbp),%rax
mov    %ecx,-0x20c(%rbp,%rax,8)
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0xc(%rbp)
jmp    1136 <ShuffleSortedArray+0x26>
add    $0x230,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ShuffleSortedArray>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x218,%rsp
cmp    $0x2,%esi
jl     12e0 <ShuffleSortedArray+0x1d0>
mov    %esi,%ebx
mov    %rdi,%r14
xor    %r13d,%r13d
lea    0xec7(%rip),%rdi
xor    %r12d,%r12d
jmp    11c9 <ShuffleSortedArray+0xb9>
mov    %ebx,%ebp
shr    $0x1f,%ebp
add    %ebx,%ebp
sar    %ebp
lea    0x0(%r13,%rbp,1),%eax
cltq
mov    (%r14,%rax,4),%eax
mov    %eax,0x8(%rsp)
lea    0x1(%r13),%eax
mov    %eax,0xc(%rsp)
movslq %r13d,%r15
lea    (%r14,%r15,4),%rdi
add    $0x4,%rdi
lea    (%r14,%r15,4),%rsi
lea    0x0(,%rbp,4),%edx
call   1030 <memmove@plt>
lea    0xe7d(%rip),%rdi
mov    0x8(%rsp),%eax
mov    %eax,(%r14,%r15,4)
lea    0x1(%r13,%rbp,1),%eax
movslq %r12d,%r12
mov    %eax,0x10(%rsp,%r12,8)
mov    %ebx,%eax
add    $0xffffffff,%eax
shr    $0x1f,%eax
add    %ebx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x14(%rsp,%r12,8)
add    $0x1,%r12d
mov    %ebp,%ebx
mov    0xc(%rsp),%eax
mov    %eax,%r13d
cmp    $0x1,%ebx
jg     11c9 <ShuffleSortedArray+0xb9>
xchg   %ax,%ax
test   %r12d,%r12d
je     12e0 <ShuffleSortedArray+0x1d0>
cmp    $0x1,%ebx
jg     11de <ShuffleSortedArray+0xce>
movslq %r12d,%rax
add    $0xffffffff,%r12d
mov    0x8(%rsp,%rax,8),%r13d
mov    0xc(%rsp,%rax,8),%ebx
lea    -0x2(%rbx),%eax
cmp    $0x6,%eax
ja     1141 <ShuffleSortedArray+0x31>
movslq (%rdi,%rax,4),%rax
add    %rdi,%rax
jmp    *%rax
movslq %r13d,%rax
rolq   $0x20,(%r14,%rax,4)
jmp    12d0 <ShuffleSortedArray+0x1c0>
movslq %r13d,%rax
mov    0xc(%r14,%rax,4),%ecx
mov    (%r14,%rax,4),%edx
mov    0x8(%r14,%rax,4),%esi
mov    %ecx,(%r14,%rax,4)
mov    %esi,0xc(%r14,%rax,4)
mov    %edx,0x8(%r14,%rax,4)
mov    0x10(%r14,%rax,4),%ecx
mov    0x14(%r14,%rax,4),%edx
mov    %edx,0x10(%r14,%rax,4)
mov    %ecx,0x14(%r14,%rax,4)
jmp    12d0 <ShuffleSortedArray+0x1c0>
movslq %r13d,%rax
mov    (%r14,%rax,4),%ecx
mov    0x8(%r14,%rax,4),%edx
mov    %edx,(%r14,%rax,4)
mov    %ecx,0x8(%r14,%rax,4)
mov    0xc(%r14,%rax,4),%ecx
mov    0x10(%r14,%rax,4),%edx
mov    %edx,0xc(%r14,%rax,4)
mov    %ecx,0x10(%r14,%rax,4)
jmp    12d0 <ShuffleSortedArray+0x1c0>
movslq %r13d,%rax
mov    (%r14,%rax,4),%ecx
mov    0x8(%r14,%rax,4),%edx
mov    %edx,(%r14,%rax,4)
mov    %ecx,0x8(%r14,%rax,4)
jmp    12d0 <ShuffleSortedArray+0x1c0>
movslq %r13d,%rax
mov    0x10(%r14,%rax,4),%ecx
mov    (%r14,%rax,4),%edx
mov    0x4(%r14,%rax,4),%esi
mov    %ecx,(%r14,%rax,4)
mov    0xc(%r14,%rax,4),%ecx
mov    %ecx,0x10(%r14,%rax,4)
mov    %edx,0xc(%r14,%rax,4)
mov    0x8(%r14,%rax,4),%ecx
mov    %ecx,0x4(%r14,%rax,4)
mov    %esi,0x8(%r14,%rax,4)
mov    0x14(%r14,%rax,4),%ecx
mov    0x18(%r14,%rax,4),%edx
mov    %edx,0x14(%r14,%rax,4)
mov    %ecx,0x18(%r14,%rax,4)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %ebx,%ebx
cmp    $0x1,%ebx
jle    11c0 <ShuffleSortedArray+0xb0>
jmp    11c9 <ShuffleSortedArray+0xb9>
add    $0x218,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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