#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 */
scalar_t__ malloc(int);
int /*<<< orphan*/ memcpy(int *, int *, int);
void merge_sort(int x[], int count) {
  if (count == 1) {
    return;
  } else if (count == 2) {
    if (x[0] > x[1]) {
      int tmp = x[0];
      x[0] = x[1];
      x[1] = tmp;
    }
    return;
  } else {
    int mid = count / 2;
    merge_sort(x, mid);
    merge_sort(x + mid, count - mid);
    int s1 = 0, s2 = mid, pos = 0;
    int *result = (int *)malloc(sizeof(int) * count);
    while ((s1 < mid) && (s2 < count)) {
      if (x[s1] <= x[s2]) {
        result[pos++] = x[s1++];
      } else {
        result[pos++] = x[s2++];
      }
    }
    while (s1 < mid) {
      result[pos++] = x[s1++];
    }
    while (s2 < count) {
      result[pos++] = x[s2++];
    }
    memcpy(x, result, sizeof(int) * count);
  }
}


x86 assembly (clang, -O0):
<merge_sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jne    114e <merge_sort+0x1e>
jmp    132e <merge_sort+0x1fe>
cmpl   $0x2,-0xc(%rbp)
jne    1190 <merge_sort+0x60>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    118b <merge_sort+0x5b>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
jmp    132e <merge_sort+0x1fe>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <merge_sort@plt>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0xc(%rbp),%esi
sub    -0x14(%rbp),%esi
call   1050 <merge_sort@plt>
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x29(%rbp)
jge    1208 <merge_sort+0xd8>
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1218 <merge_sort+0xe8>
jmp    1292 <merge_sort+0x162>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     1263 <merge_sort+0x133>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    128d <merge_sort+0x15d>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11eb <merge_sort+0xbb>
jmp    1297 <merge_sort+0x167>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12d2 <merge_sort+0x1a2>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1297 <merge_sort+0x167>
jmp    12d7 <merge_sort+0x1a7>
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1312 <merge_sort+0x1e2>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x20(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12d7 <merge_sort+0x1a7>
mov    -0x8(%rbp),%rdi
mov    -0x28(%rbp),%rsi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edx
call   1030 <memcpy@plt>
jmp    132e <merge_sort+0x1fe>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge_sort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
cmp    $0x1,%esi
je     115d <merge_sort+0x2d>
mov    %esi,%r13d
mov    %rdi,%r15
cmp    $0x2,%esi
jne    116c <merge_sort+0x3c>
mov    (%r15),%eax
mov    0x4(%r15),%ecx
cmp    %ecx,%eax
jle    115d <merge_sort+0x2d>
mov    %ecx,(%r15)
mov    %eax,0x4(%r15)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r13d,%r14d
shr    $0x1f,%r14d
add    %r13d,%r14d
sar    %r14d
mov    %r15,%rdi
mov    %r14d,%esi
call   1050 <merge_sort@plt>
movslq %r14d,%rax
lea    (%r15,%rax,4),%r12
mov    %r13d,%esi
mov    %rax,(%rsp)
sub    %eax,%esi
mov    %r12,%rdi
call   1050 <merge_sort@plt>
lea    0x0(,%r13,4),%ebp
mov    %ebp,%edi
call   1040 <malloc@plt>
xor    %r8d,%r8d
mov    %r14d,%edx
cmp    $0x2,%r13d
jl     12ba <merge_sort+0x18a>
mov    $0x0,%esi
cmp    %r13d,%r14d
jge    1208 <merge_sort+0xd8>
mov    %ebp,%r9d
xor    %r8d,%r8d
xor    %esi,%esi
mov    %r14d,%edx
mov    %esi,%edi
mov    %esi,%esi
mov    (%r15,%rsi,4),%ebx
movslq %edx,%rdx
mov    (%r15,%rdx,4),%ebp
xor    %esi,%esi
xor    %ecx,%ecx
cmp    %ebp,%ebx
setle  %sil
setg   %cl
cmovg  %ebp,%ebx
add    %ecx,%edx
add    %edi,%esi
mov    %ebx,(%rax,%r8,4)
add    $0x1,%r8
cmp    %r14d,%esi
jge    1205 <merge_sort+0xd5>
cmp    %r13d,%edx
jl     11d0 <merge_sort+0xa0>
mov    %r9d,%ebp
cmp    %r14d,%esi
jge    138d <merge_sort+0x25d>
movslq %esi,%rsi
mov    %r8d,%r8d
mov    (%rsp),%r9
mov    %r9,%r10
sub    %rsi,%r10
cmp    $0x8,%r10
jb     1300 <merge_sort+0x1d0>
lea    (%rax,%r8,4),%rdi
cmp    %r12,%rdi
jae    124c <merge_sort+0x11c>
lea    (%r9,%r8,1),%rdi
sub    %rsi,%rdi
lea    (%rax,%rdi,4),%rdi
lea    (%r15,%rsi,4),%rbx
cmp    %rdi,%rbx
jb     1300 <merge_sort+0x1d0>
mov    %r10,%rcx
and    $0xfffffffffffffff8,%rcx
lea    -0x8(%rcx),%rdi
mov    %rdi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rdi,%rdi
je     12ca <merge_sort+0x19a>
mov    %r9,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rax,%r8,4),%r11
add    $0x30,%r11
lea    (%r15,%rsi,4),%r12
add    $0x30,%r12
xor    %edi,%edi
movups -0x30(%r12,%rdi,4),%xmm0
movups -0x20(%r12,%rdi,4),%xmm1
movups %xmm0,-0x30(%r11,%rdi,4)
movups %xmm1,-0x20(%r11,%rdi,4)
movups -0x10(%r12,%rdi,4),%xmm0
movups (%r12,%rdi,4),%xmm1
movups %xmm0,-0x10(%r11,%rdi,4)
movups %xmm1,(%r11,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbx
jne    1280 <merge_sort+0x150>
jmp    12cc <merge_sort+0x19c>
xor    %esi,%esi
cmp    %r14d,%esi
jl     1211 <merge_sort+0xe1>
jmp    138d <merge_sort+0x25d>
xor    %edi,%edi
test   $0x1,%r9b
je     12ed <merge_sort+0x1bd>
lea    (%rdi,%r8,1),%rbx
add    %rsi,%rdi
movups (%r15,%rdi,4),%xmm0
movups 0x10(%r15,%rdi,4),%xmm1
movups %xmm0,(%rax,%rbx,4)
movups %xmm1,0x10(%rax,%rbx,4)
add    %rcx,%r8
cmp    %rcx,%r10
mov    (%rsp),%r9
je     138d <merge_sort+0x25d>
add    %rcx,%rsi
sub    %esi,%r14d
mov    %rsi,%rdi
not    %rdi
add    %r9,%rdi
and    $0x3,%r14
je     1336 <merge_sort+0x206>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%r15,%rsi,4),%ebx
add    $0x1,%rsi
mov    %ebx,(%rax,%r8,4)
add    $0x1,%r8
add    $0xffffffffffffffff,%r14
jne    1320 <merge_sort+0x1f0>
cmp    $0x3,%rdi
jb     138d <merge_sort+0x25d>
mov    %ebp,%ebx
lea    (%rax,%r8,4),%rdi
add    $0xc,%rdi
sub    %rsi,%r9
lea    (%r15,%rsi,4),%rbp
add    $0xc,%rbp
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    -0xc(%rbp,%rsi,4),%ecx
mov    %ecx,-0xc(%rdi,%rsi,4)
mov    -0x8(%rbp,%rsi,4),%ecx
mov    %ecx,-0x8(%rdi,%rsi,4)
mov    -0x4(%rbp,%rsi,4),%ecx
mov    %ecx,-0x4(%rdi,%rsi,4)
mov    0x0(%rbp,%rsi,4),%ecx
mov    %ecx,(%rdi,%rsi,4)
add    $0x4,%rsi
cmp    %rsi,%r9
jne    1360 <merge_sort+0x230>
add    %rsi,%r8
mov    %ebx,%ebp
cmp    %r13d,%edx
jge    14e7 <merge_sort+0x3b7>
mov    %r8d,%esi
movslq %edx,%rdx
movslq %r13d,%r11
mov    %r11,%r10
sub    %rdx,%r10
cmp    $0x8,%r10
jb     1473 <merge_sort+0x343>
lea    (%rax,%rsi,4),%rcx
lea    (%r15,%r11,4),%rdi
cmp    %rdi,%rcx
jae    13d4 <merge_sort+0x2a4>
lea    (%r11,%rsi,1),%rcx
sub    %rdx,%rcx
lea    (%rax,%rcx,4),%rcx
lea    (%r15,%rdx,4),%rdi
cmp    %rcx,%rdi
jb     1473 <merge_sort+0x343>
mov    %ebp,%r14d
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     1442 <merge_sort+0x312>
mov    %r9,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%r15,%rdx,4),%rdi
add    $0x30,%rdi
lea    (%rax,%rsi,4),%rcx
add    $0x30,%rcx
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movups -0x30(%rdi,%rbp,4),%xmm0
movups -0x20(%rdi,%rbp,4),%xmm1
movups %xmm0,-0x30(%rcx,%rbp,4)
movups %xmm1,-0x20(%rcx,%rbp,4)
movups -0x10(%rdi,%rbp,4),%xmm0
movups (%rdi,%rbp,4),%xmm1
movups %xmm0,-0x10(%rcx,%rbp,4)
movups %xmm1,(%rcx,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rbx
jne    1410 <merge_sort+0x2e0>
jmp    1444 <merge_sort+0x314>
xor    %ebp,%ebp
test   $0x1,%r9b
je     1465 <merge_sort+0x335>
lea    (%rdx,%rbp,1),%rcx
add    %rsi,%rbp
movups (%r15,%rcx,4),%xmm0
movups 0x10(%r15,%rcx,4),%xmm1
movups %xmm0,(%rax,%rbp,4)
movups %xmm1,0x10(%rax,%rbp,4)
cmp    %r8,%r10
mov    %r14d,%ebp
je     14e7 <merge_sort+0x3b7>
add    %r8,%rdx
add    %r8,%rsi
sub    %edx,%r13d
mov    %rdx,%rdi
not    %rdi
add    %r11,%rdi
and    $0x3,%r13
je     14a5 <merge_sort+0x375>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r15,%rdx,4),%ecx
add    $0x1,%rdx
mov    %ecx,(%rax,%rsi,4)
add    $0x1,%rsi
add    $0xffffffffffffffff,%r13
jne    1490 <merge_sort+0x360>
cmp    $0x3,%rdi
jb     14e7 <merge_sort+0x3b7>
sub    %rdx,%r11
lea    (%r15,%rdx,4),%rcx
add    $0xc,%rcx
lea    (%rax,%rsi,4),%rdx
add    $0xc,%rdx
xor    %esi,%esi
mov    -0xc(%rcx,%rsi,4),%edi
mov    %edi,-0xc(%rdx,%rsi,4)
mov    -0x8(%rcx,%rsi,4),%edi
mov    %edi,-0x8(%rdx,%rsi,4)
mov    -0x4(%rcx,%rsi,4),%edi
mov    %edi,-0x4(%rdx,%rsi,4)
mov    (%rcx,%rsi,4),%edi
mov    %edi,(%rdx,%rsi,4)
add    $0x4,%rsi
cmp    %rsi,%r11
jne    14c0 <merge_sort+0x390>
mov    %r15,%rdi
mov    %rax,%rsi
mov    %ebp,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <memcpy@plt>

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

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