#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 */
void stacksort(int *array, size_t nelem,
               int (*compar)(const void *, const void *)) {
  int left[10000];
  int right[10000];
  int i, nleft, nright, il, ir;
  if (nelem == 1)
    return;
  if (nelem == 2) {
    if (compar(&array[0], &array[1]) > 0) {
      int t = array[0];
      array[0] = array[1];
      array[1] = t;
    }
    return;
  }
  for (i = 0; i < nelem / 2; i++) {
    left[i] = array[2 * i];
    right[i] = array[2 * i + 1];
  }
  nleft = nright = nelem / 2;
  if (nelem % 2) {
    left[nleft++] = array[nelem - 1];
  }
  stacksort(left, nleft, compar);
  stacksort(right, nright, compar);
  for (il = ir = i = 0; i < nelem; i++) {
    if (il == nleft) {
      array[i] = right[ir++];
      continue;
    }
    if (ir == nright) {
      array[i] = left[il++];
      continue;
    }
    if (compar(&left[il], &right[ir]) > 0)
      array[i] = right[ir++];
    else
      array[i] = left[il++];
  }
}


x86 assembly (clang, -O0):
<stacksort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x138c0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x1,-0x10(%rbp)
jne    1137 <stacksort+0x27>
jmp    13d4 <stacksort+0x2c4>
cmpq   $0x2,-0x10(%rbp)
jne    1188 <stacksort+0x78>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    $0x4,%rsi
call   *%rax
cmp    $0x0,%eax
jle    1183 <stacksort+0x73>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x138b8(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x138b8(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
jmp    13d4 <stacksort+0x2c4>
movl   $0x0,-0x138a4(%rbp)
movslq -0x138a4(%rbp),%rax
mov    -0x10(%rbp),%rcx
shr    $0x1,%rcx
cmp    %rcx,%rax
jae    1203 <stacksort+0xf3>
mov    -0x8(%rbp),%rax
mov    -0x138a4(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x138a4(%rbp),%rax
mov    %ecx,-0x9c60(%rbp,%rax,4)
mov    -0x8(%rbp),%rax
mov    -0x138a4(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x138a4(%rbp),%rax
mov    %ecx,-0x138a0(%rbp,%rax,4)
mov    -0x138a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x138a4(%rbp)
jmp    1192 <stacksort+0x82>
mov    -0x10(%rbp),%rax
shr    $0x1,%rax
mov    %eax,-0x138ac(%rbp)
mov    %eax,-0x138a8(%rbp)
mov    -0x10(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1252 <stacksort+0x142>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x138a8(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x138a8(%rbp)
cltq
mov    %ecx,-0x9c60(%rbp,%rax,4)
lea    -0x9c60(%rbp),%rdi
movslq -0x138a8(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <stacksort@plt>
lea    -0x138a0(%rbp),%rdi
movslq -0x138ac(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <stacksort@plt>
movl   $0x0,-0x138a4(%rbp)
movl   $0x0,-0x138b4(%rbp)
movl   $0x0,-0x138b0(%rbp)
movslq -0x138a4(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    13d4 <stacksort+0x2c4>
mov    -0x138b0(%rbp),%eax
cmp    -0x138a8(%rbp),%eax
jne    12ee <stacksort+0x1de>
mov    -0x138b4(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x138b4(%rbp)
cltq
mov    -0x138a0(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x138a4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13c0 <stacksort+0x2b0>
mov    -0x138b4(%rbp),%eax
cmp    -0x138ac(%rbp),%eax
jne    132d <stacksort+0x21d>
mov    -0x138b0(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x138b0(%rbp)
cltq
mov    -0x9c60(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x138a4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13c0 <stacksort+0x2b0>
mov    -0x18(%rbp),%rax
movslq -0x138b0(%rbp),%rcx
lea    -0x9c60(%rbp),%rdi
shl    $0x2,%rcx
add    %rcx,%rdi
movslq -0x138b4(%rbp),%rcx
lea    -0x138a0(%rbp),%rsi
shl    $0x2,%rcx
add    %rcx,%rsi
call   *%rax
cmp    $0x0,%eax
jle    1393 <stacksort+0x283>
mov    -0x138b4(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x138b4(%rbp)
cltq
mov    -0x138a0(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x138a4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13bb <stacksort+0x2ab>
mov    -0x138b0(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x138b0(%rbp)
cltq
mov    -0x9c60(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x138a4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13c0 <stacksort+0x2b0>
mov    -0x138a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x138a4(%rbp)
jmp    129e <stacksort+0x18e>
add    $0x138c0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stacksort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x138a8,%rsp
mov    %rdx,0x10(%rsp)
cmp    $0x1,%rsi
je     1311 <stacksort+0x201>
mov    %rsi,%r13
mov    %rdi,%r12
cmp    $0x2,%rsi
jne    115a <stacksort+0x4a>
lea    0x4(%r12),%rsi
mov    %r12,%rdi
call   *0x10(%rsp)
test   %eax,%eax
jle    1311 <stacksort+0x201>
rolq   $0x20,(%r12)
jmp    1311 <stacksort+0x201>
mov    %r13,%rsi
shr    %rsi
cmp    $0x1,%r13
jbe    1205 <stacksort+0xf5>
cmp    $0x2,%rsi
mov    $0x1,%eax
cmovae %rsi,%rax
cmp    $0x8,%rax
jae    1181 <stacksort+0x71>
xor    %ecx,%ecx
jmp    11e2 <stacksort+0xd2>
mov    %rax,%rcx
and    $0xfffffffffffffff8,%rcx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movups (%r12,%rdx,8),%xmm0
movups 0x10(%r12,%rdx,8),%xmm1
movups 0x20(%r12,%rdx,8),%xmm2
movups 0x30(%r12,%rdx,8),%xmm3
movaps %xmm0,%xmm4
shufps $0x88,%xmm1,%xmm4
movaps %xmm2,%xmm5
shufps $0x88,%xmm3,%xmm5
shufps $0xdd,%xmm1,%xmm0
shufps $0xdd,%xmm3,%xmm2
movaps %xmm4,0x20(%rsp,%rdx,4)
movaps %xmm5,0x30(%rsp,%rdx,4)
movaps %xmm0,0x9c60(%rsp,%rdx,4)
movaps %xmm2,0x9c70(%rsp,%rdx,4)
add    $0x8,%rdx
cmp    %rdx,%rcx
jne    1190 <stacksort+0x80>
jmp    11fa <stacksort+0xea>
mov    (%r12,%rcx,8),%edx
mov    %edx,0x20(%rsp,%rcx,4)
mov    0x4(%r12,%rcx,8),%edx
mov    %edx,0x9c60(%rsp,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    11e2 <stacksort+0xd2>
test   $0x1,%r13b
jne    1213 <stacksort+0x103>
mov    %esi,%ecx
movslq %esi,%rbx
mov    %esi,%eax
mov    %rax,0x8(%rsp)
jmp    1227 <stacksort+0x117>
mov    -0x4(%r12,%r13,4),%eax
lea    0x1(%rsi),%ecx
mov    %rsi,0x8(%rsp)
movslq %esi,%rbx
mov    %eax,0x20(%rsp,%rbx,4)
mov    %ecx,0x4(%rsp)
movslq %ecx,%rsi
lea    0x20(%rsp),%rdi
mov    0x10(%rsp),%rbp
mov    %rbp,%rdx
call   1030 <stacksort@plt>
lea    0x9c60(%rsp),%rdi
mov    %rbx,%rsi
mov    %rbp,%rdx
call   1030 <stacksort@plt>
mov    0x4(%rsp),%edx
test   %r13,%r13
mov    0x8(%rsp),%rcx
je     1311 <stacksort+0x201>
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %r14d,%r14d
mov    %r13,0x18(%rsp)
jmp    12a4 <stacksort+0x194>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %r15d,%rax
add    $0x1,%r15d
lea    (%rsp,%rax,4),%rbx
add    $0x9c60,%rbx
mov    %edx,%r14d
mov    (%rbx),%eax
mov    %eax,(%r12,%rbp,4)
add    $0x1,%rbp
cmp    %rbp,%r13
je     1311 <stacksort+0x201>
cmp    %edx,%r14d
je     1280 <stacksort+0x170>
movslq %r14d,%rax
cmp    %ecx,%r15d
jne    12d0 <stacksort+0x1c0>
add    $0x1,%r14d
lea    (%rsp,%rax,4),%rbx
add    $0x20,%rbx
mov    %ecx,%r15d
jmp    1295 <stacksort+0x185>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rsp,%rax,4),%r13
add    $0x20,%r13
movslq %r15d,%rax
lea    (%rsp,%rax,4),%rbx
add    $0x9c60,%rbx
mov    %r13,%rdi
mov    %rbx,%rsi
call   *0x10(%rsp)
test   %eax,%eax
jle    12fa <stacksort+0x1ea>
add    $0x1,%r15d
jmp    1301 <stacksort+0x1f1>
add    $0x1,%r14d
mov    %r13,%rbx
mov    0x18(%rsp),%r13
mov    0x8(%rsp),%rcx
mov    0x4(%rsp),%edx
jmp    1295 <stacksort+0x185>
add    $0x138a8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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