#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 */
unsigned int genrand_int32();
int stub1(void const *, void const *, void *);
int stub2(void const *, void const *, void *);
int stub3(void const *, void const *, void *);
int stub4(void const *, void const *, void *);
int stub5(void const *, void const *, void *);
int /*<<< orphan*/ swap_memory(char *, char *, size_t);
void xsort(void *ptr, size_t nmemb, size_t size,
           int (*cmpfunc)(const void *, const void *, void *), void *arg) {
  unsigned int l, r, mid;
  int cmp, cmp1, cmp2;
  char *cptr;
  cptr = (char *)ptr;
  if (nmemb <= 1)
    return;
  if (nmemb < 4) {
    cmp = (*cmpfunc)(ptr, &cptr[size], arg);
    if (cmp > 0)
      swap_memory(ptr, &cptr[size], size);
    if (nmemb == 2)
      return;
    cmp = (*cmpfunc)(ptr, &cptr[2 * size], arg);
    if (cmp > 0)
      swap_memory(ptr, &cptr[2 * size], size);
    cmp = (*cmpfunc)(&cptr[size], &cptr[2 * size], arg);
    if (cmp > 0)
      swap_memory(&cptr[size], &cptr[2 * size], size);
    return;
  }
  cmp1 = 1;
  cmp2 = 0;
partition:
  l = 0;
  r = (unsigned int)(nmemb - 1);
  mid = genrand_int32() % ((unsigned int)nmemb);
  while (r + 1 != l) {
    while (r + 1 != l) {
      cmp = (*cmpfunc)(&cptr[l * size], &cptr[mid * size], arg);
      if (cmp >= cmp1)
        break;
      l++;
    }
    if (r + 1 == l)
      break;
    while (r + 1 != l) {
      cmp = (*cmpfunc)(&cptr[mid * size], &cptr[r * size], arg);
      if (cmp >= cmp2)
        break;
      r--;
    }
    if (r + 1 == l)
      break;
    swap_memory(&cptr[l * size], &cptr[r * size], size);
    if (l == mid) {
      mid = r;
    } else if (r == mid) {
      mid = l;
    }
    l++;
    r--;
  }
  if (l == nmemb) {
    cmp1 = 0;
    cmp2 = 1;
    goto partition;
  } else if (l == 0) {
    return;
  } else {
    xsort(ptr, (size_t)l, size, cmpfunc, arg);
    xsort(&cptr[l * size], (size_t)(nmemb - l), size, cmpfunc, arg);
  }
}


x86 assembly (clang, -O0):
<xsort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
cmpq   $0x1,-0x10(%rbp)
ja     1164 <xsort+0x34>
jmp    1459 <xsort+0x329>
cmpq   $0x4,-0x10(%rbp)
jae    1250 <xsort+0x120>
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
add    -0x18(%rbp),%rsi
mov    -0x28(%rbp),%rdx
call   *%rax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jle    11a7 <xsort+0x77>
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
add    -0x18(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1050 <swap_memory@plt>
cmpq   $0x2,-0x10(%rbp)
jne    11b7 <xsort+0x87>
jmp    1459 <xsort+0x329>
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x18(%rbp),%rcx
shl    $0x1,%rcx
add    %rcx,%rsi
mov    -0x28(%rbp),%rdx
call   *%rax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jle    11fd <xsort+0xcd>
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x18(%rbp),%rax
shl    $0x1,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
call   1050 <swap_memory@plt>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%rdi
add    -0x18(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x18(%rbp),%rcx
shl    $0x1,%rcx
add    %rcx,%rsi
mov    -0x28(%rbp),%rdx
call   *%rax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jle    124b <xsort+0x11b>
mov    -0x48(%rbp),%rdi
add    -0x18(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x18(%rbp),%rax
shl    $0x1,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
call   1050 <swap_memory@plt>
jmp    1459 <xsort+0x329>
movl   $0x1,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
mov    %eax,-0x30(%rbp)
mov    $0x0,%al
call   1030 <genrand_int32@plt>
mov    -0x10(%rbp),%rcx
xor    %edx,%edx
div    %ecx
mov    %edx,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    -0x2c(%rbp),%eax
je     13e1 <xsort+0x2b1>
jmp    1296 <xsort+0x166>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    -0x2c(%rbp),%eax
je     12ef <xsort+0x1bf>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%rdi
mov    -0x2c(%rbp),%ecx
imul   -0x18(%rbp),%rcx
add    %rcx,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x34(%rbp),%ecx
imul   -0x18(%rbp),%rcx
add    %rcx,%rsi
mov    -0x28(%rbp),%rdx
call   *%rax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jl     12e1 <xsort+0x1b1>
jmp    12ef <xsort+0x1bf>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1296 <xsort+0x166>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    -0x2c(%rbp),%eax
jne    1303 <xsort+0x1d3>
jmp    13e1 <xsort+0x2b1>
jmp    1308 <xsort+0x1d8>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    -0x2c(%rbp),%eax
je     1361 <xsort+0x231>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%rdi
mov    -0x34(%rbp),%ecx
imul   -0x18(%rbp),%rcx
add    %rcx,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x30(%rbp),%ecx
imul   -0x18(%rbp),%rcx
add    %rcx,%rsi
mov    -0x28(%rbp),%rdx
call   *%rax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x40(%rbp),%eax
jl     1353 <xsort+0x223>
jmp    1361 <xsort+0x231>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1308 <xsort+0x1d8>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    -0x2c(%rbp),%eax
jne    1375 <xsort+0x245>
jmp    13e1 <xsort+0x2b1>
mov    -0x48(%rbp),%rdi
mov    -0x2c(%rbp),%eax
imul   -0x18(%rbp),%rax
add    %rax,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x30(%rbp),%eax
imul   -0x18(%rbp),%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
call   1050 <swap_memory@plt>
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jne    13b3 <xsort+0x283>
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    13ca <xsort+0x29a>
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
jne    13c5 <xsort+0x295>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    13ca <xsort+0x29a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1282 <xsort+0x152>
mov    -0x2c(%rbp),%eax
cmp    -0x10(%rbp),%rax
jne    1401 <xsort+0x2d1>
movl   $0x0,-0x3c(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    125e <xsort+0x12e>
cmpl   $0x0,-0x2c(%rbp)
jne    1410 <xsort+0x2e0>
jmp    1459 <xsort+0x329>
mov    -0x8(%rbp),%rdi
mov    -0x2c(%rbp),%eax
mov    %eax,%esi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
call   1040 <xsort@plt>
mov    -0x48(%rbp),%rdi
mov    -0x2c(%rbp),%eax
imul   -0x18(%rbp),%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x2c(%rbp),%eax
sub    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
call   1040 <xsort@plt>
jmp    1459 <xsort+0x329>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<xsort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8,0x10(%rsp)
mov    %rdi,0x8(%rsp)
cmp    $0x2,%rsi
jae    115d <xsort+0x2d>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rcx,%r15
mov    %rdx,%r14
mov    %rsi,%r13
mov    %rcx,0x28(%rsp)
cmp    $0x4,%r13
jb     1311 <xsort+0x1e1>
xor    %eax,%eax
call   1030 <genrand_int32@plt>
test   %r13d,%r13d
je     114e <xsort+0x1e>
movl   $0x1,0x1c(%rsp)
movl   $0x0,0x18(%rsp)
mov    %r13,0x20(%rsp)
cs nopw 0x0(%rax,%rax,1)
xor    %edx,%edx
div    %r13d
xor    %r12d,%r12d
mov    %r13d,%ebx
cmp    %r12d,%ebx
je     12bc <xsort+0x18c>
mov    %edx,0x34(%rsp)
mov    %edx,%r13d
imul   %r14,%r13
add    0x8(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r12d,%ebp
imul   %r14,%rbp
add    0x8(%rsp),%rbp
mov    %rbp,%rdi
mov    %r13,%rsi
mov    0x10(%rsp),%rdx
call   *%r15
cmp    0x1c(%rsp),%eax
jge    1200 <xsort+0xd0>
add    $0x1,%r12d
cmp    %r12d,%ebx
jne    11d0 <xsort+0xa0>
jmp    128b <xsort+0x15b>
xchg   %ax,%ax
mov    %r14,%r15
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    %ebx,%r12d
je     1280 <xsort+0x150>
add    $0xffffffff,%ebx
mov    %ebx,%r14d
imul   %r15,%r14
add    0x8(%rsp),%r14
mov    %r13,%rdi
mov    %r14,%rsi
mov    0x10(%rsp),%rdx
call   *0x28(%rsp)
cmp    0x18(%rsp),%eax
jl     1210 <xsort+0xe0>
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r15,%r14
mov    %r15,%rdx
call   1050 <swap_memory@plt>
mov    0x34(%rsp),%ecx
cmp    %ebx,%ecx
mov    %ecx,%eax
cmove  %r12d,%eax
cmp    %r12d,%ecx
cmove  %ebx,%eax
add    $0x1,%r12d
mov    %eax,%edx
cmp    %ebx,%r12d
mov    0x28(%rsp),%r15
mov    0x20(%rsp),%r13
jne    11ab <xsort+0x7b>
jmp    1290 <xsort+0x160>
nopw   0x0(%rax,%rax,1)
mov    %r12d,%ebx
mov    %r15,%r14
mov    0x28(%rsp),%r15
mov    0x20(%rsp),%r13
mov    %ebx,%ebp
cmp    %rbp,%r13
jne    12d0 <xsort+0x1a0>
movl   $0x0,0x1c(%rsp)
xor    %eax,%eax
call   1030 <genrand_int32@plt>
movl   $0x1,0x18(%rsp)
test   %r13d,%r13d
jne    11a0 <xsort+0x70>
jmp    114e <xsort+0x1e>
mov    %r12d,%ebx
jmp    1290 <xsort+0x160>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
test   %ebx,%ebx
je     114e <xsort+0x1e>
mov    0x8(%rsp),%rbx
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r14,%rdx
mov    %r15,%rcx
mov    0x10(%rsp),%r8
call   1040 <xsort@plt>
sub    %rbp,%r13
imul   %r14,%rbp
add    %rbp,%rbx
mov    %rbx,0x8(%rsp)
cmp    $0x1,%r13
ja     116b <xsort+0x3b>
jmp    114e <xsort+0x1e>
mov    0x8(%rsp),%rbx
lea    (%rbx,%r14,1),%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    0x10(%rsp),%rdx
call   *%r15
test   %eax,%eax
jle    133a <xsort+0x20a>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r14,%rdx
call   1050 <swap_memory@plt>
cmp    $0x2,%r13
je     114e <xsort+0x1e>
mov    0x8(%rsp),%rbx
lea    (%rbx,%r14,2),%r13
mov    %rbx,%rdi
mov    %r13,%rsi
mov    0x10(%rsp),%rdx
call   *%r15
test   %eax,%eax
jle    136d <xsort+0x23d>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %r14,%rdx
call   1050 <swap_memory@plt>
mov    %rbp,%rdi
mov    %r13,%rsi
mov    0x10(%rsp),%rdx
call   *%r15
test   %eax,%eax
jle    114e <xsort+0x1e>
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %r14,%rdx
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <swap_memory@plt>

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

LLVM IR (-O2):
define void @xsort(i8* %0, i64 %1, i64 %2, i32 (i8*, i8*, i8*)* %3, i8* %4) {
%6 = icmp ult i64 %1, 2
br i1 %6, label %91, label %7
7: ; preds = %5, %86
%8 = phi i64 [ %89, %86 ], [ %1, %5 ]
%9 = phi i8* [ %88, %86 ], [ %0, %5 ]
%10 = icmp ult i64 %8, 4
br i1 %10, label %15, label %11
11: ; preds = %7
%12 = trunc i64 %8 to i32
%13 = icmp eq i32 %12, 0
%14 = tail call i32 (...) @genrand_int32()
br i1 %13, label %91, label %37
15: ; preds = %7
%16 = getelementptr inbounds i8, i8* %9, i64 %2
%17 = tail call i32 %3(i8* %9, i8* %16, i8* %4)
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %15
%20 = tail call i32 @swap_memory(i8* %9, i8* %16, i64 %2)
br label %21
21: ; preds = %19, %15
%22 = icmp eq i64 %8, 2
br i1 %22, label %91, label %23
23: ; preds = %21
%24 = shl i64 %2, 1
%25 = getelementptr inbounds i8, i8* %9, i64 %24
%26 = tail call i32 %3(i8* %9, i8* %25, i8* %4)
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %30
28: ; preds = %23
%29 = tail call i32 @swap_memory(i8* %9, i8* %25, i64 %2)
br label %30
30: ; preds = %28, %23
%31 = tail call i32 %3(i8* %16, i8* %25, i8* %4)
%32 = icmp sgt i32 %31, 0
br i1 %32, label %33, label %91
33: ; preds = %30
%34 = tail call i32 @swap_memory(i8* %16, i8* %25, i64 %2)
br label %91
35: ; preds = %79
%36 = tail call i32 (...) @genrand_int32()
br i1 %13, label %91, label %37
37: ; preds = %11, %35
%38 = phi i32 [ %36, %35 ], [ %14, %11 ]
%39 = phi i32 [ 1, %35 ], [ 0, %11 ]
%40 = phi i32 [ 0, %35 ], [ 1, %11 ]
%41 = urem i32 %38, %12
br label %42
42: ; preds = %37, %71
%43 = phi i32 [ %77, %71 ], [ 0, %37 ]
%44 = phi i32 [ %76, %71 ], [ %41, %37 ]
%45 = phi i32 [ %63, %71 ], [ %12, %37 ]
%46 = icmp eq i32 %45, %43
br i1 %46, label %79, label %47
47: ; preds = %42
%48 = zext i32 %44 to i64
%49 = mul i64 %48, %2
%50 = getelementptr inbounds i8, i8* %9, i64 %49
br label %51
51: ; preds = %47, %58
%52 = phi i32 [ %43, %47 ], [ %59, %58 ]
%53 = zext i32 %52 to i64
%54 = mul i64 %53, %2
%55 = getelementptr inbounds i8, i8* %9, i64 %54
%56 = tail call i32 %3(i8* %55, i8* %50, i8* %4)
%57 = icmp slt i32 %56, %40
br i1 %57, label %58, label %61
58: ; preds = %51
%59 = add i32 %52, 1
%60 = icmp eq i32 %45, %59
br i1 %60, label %79, label %51
61: ; preds = %51, %65
%62 = phi i32 [ %63, %65 ], [ %45, %51 ]
%63 = add i32 %62, -1
%64 = icmp eq i32 %62, %52
br i1 %64, label %79, label %65
65: ; preds = %61
%66 = zext i32 %63 to i64
%67 = mul i64 %66, %2
%68 = getelementptr inbounds i8, i8* %9, i64 %67
%69 = tail call i32 %3(i8* %50, i8* %68, i8* %4)
%70 = icmp slt i32 %69, %39
br i1 %70, label %61, label %71
71: ; preds = %65
%72 = tail call i32 @swap_memory(i8* %55, i8* %68, i64 %2)
%73 = icmp eq i32 %52, %44
%74 = icmp eq i32 %63, %44
%75 = select i1 %74, i32 %52, i32 %44
%76 = select i1 %73, i32 %63, i32 %75
%77 = add i32 %52, 1
%78 = icmp eq i32 %63, %77
br i1 %78, label %79, label %42
79: ; preds = %71, %42, %58, %61
%80 = phi i32 [ %52, %61 ], [ %45, %58 ], [ %43, %42 ], [ %63, %71 ]
%81 = zext i32 %80 to i64
%82 = icmp eq i64 %8, %81
br i1 %82, label %35, label %83
83: ; preds = %79
%84 = zext i32 %80 to i64
%85 = icmp eq i32 %80, 0
br i1 %85, label %91, label %86
86: ; preds = %83
tail call void @xsort(i8* %9, i64 %84, i64 %2, i32 (i8*, i8*, i8*)* %3, i8* %4)
%87 = mul i64 %84, %2
%88 = getelementptr inbounds i8, i8* %9, i64 %87
%89 = sub i64 %8, %84
%90 = icmp ult i64 %89, 2
br i1 %90, label %91, label %7
91: ; preds = %86, %83, %11, %35, %5, %30, %33, %21
ret void
}