void sort(void *base, unsigned num, unsigned width,
          int (*cmp)(const void *p1, const void *p2, long n, long offset),
          long n, long offset) {
  if (num < 2 || width == 0) {
    return;
  }
  char *lostk[30];
  char *histk[30];
  int stkptr = 0;
  char *lo = (char *)base;
  char *hi = (char *)base + (width * (num - 1));
  unsigned size;
recurse:
  size = (hi - lo) / width + 1;
  if (size <= 8) {
    shortsort(lo, hi, width, cmp, n, offset);
  } else {
    char *mid = lo + (size / 2) * width;
    swap(mid, lo, width);
    char *loguy = lo;
    char *higuy = hi + width;
    for (;;) {
      do {
        loguy += width;
      } while (loguy <= hi && cmp(loguy, lo, n, offset) <= 0);
      do {
        higuy -= width;
      } while (higuy > lo && cmp(higuy, lo, n, offset) >= 0);
      if (higuy < loguy) {
        break;
      }
      swap(loguy, higuy, width);
    }
    swap(lo, higuy, width);
    if (higuy - 1 - lo >= hi - loguy) {
      if (lo + width < higuy) {
        lostk[stkptr] = lo;
        histk[stkptr] = higuy - width;
        ++stkptr;
      }
      if (loguy < hi) {
        lo = loguy;
        goto recurse;
      }
    } else {
      if (loguy < hi) {
        lostk[stkptr] = loguy;
        histk[stkptr] = hi;
        ++stkptr;
      }
      if (lo + width < higuy) {
        hi = higuy - width;
        goto recurse;
      }
    }
  }
  --stkptr;
  if (stkptr >= 0) {
    lo = lostk[stkptr];
    hi = histk[stkptr];
    goto recurse;
  }
}


x86 assembly (clang, -O0):
<sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x250,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
cmpl   $0x2,-0xc(%rbp)
jb     1155 <sort+0x35>
cmpl   $0x0,-0x10(%rbp)
jne    115a <sort+0x3a>
jmp    150a <sort+0x3ea>
movl   $0x0,-0x214(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x220(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
imul   %edx,%ecx
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x228(%rbp)
mov    -0x228(%rbp),%rax
mov    -0x220(%rbp),%rcx
sub    %rcx,%rax
mov    -0x10(%rbp),%ecx
cqto
idiv   %rcx
add    $0x1,%rax
mov    %eax,-0x22c(%rbp)
cmpl   $0x8,-0x22c(%rbp)
ja     11e4 <sort+0xc4>
mov    -0x220(%rbp),%rdi
mov    -0x228(%rbp),%rsi
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x28(%rbp),%r9
mov    $0x0,%al
call   1040 <shortsort@plt>
jmp    14bd <sort+0x39d>
mov    -0x220(%rbp),%rax
mov    -0x22c(%rbp),%ecx
shr    $0x1,%ecx
imul   -0x10(%rbp),%ecx
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x238(%rbp)
mov    -0x238(%rbp),%rdi
mov    -0x220(%rbp),%rsi
mov    -0x10(%rbp),%edx
mov    $0x0,%al
call   1030 <swap@plt>
mov    -0x220(%rbp),%rax
mov    %rax,-0x240(%rbp)
mov    -0x228(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x248(%rbp)
jmp    1243 <sort+0x123>
mov    -0x10(%rbp),%ecx
mov    -0x240(%rbp),%rax
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x240(%rbp)
mov    -0x240(%rbp),%rcx
xor    %eax,%eax
cmp    -0x228(%rbp),%rcx
mov    %al,-0x249(%rbp)
ja     129d <sort+0x17d>
mov    -0x18(%rbp),%rax
mov    -0x240(%rbp),%rdi
mov    -0x220(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   *%rax
cmp    $0x0,%eax
setle  %al
mov    %al,-0x249(%rbp)
mov    -0x249(%rbp),%al
test   $0x1,%al
jne    1243 <sort+0x123>
jmp    12b0 <sort+0x190>
mov    -0x10(%rbp),%ecx
mov    -0x248(%rbp),%rax
mov    %ecx,%ecx
mov    %ecx,%edx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x248(%rbp)
mov    -0x248(%rbp),%rcx
xor    %eax,%eax
cmp    -0x220(%rbp),%rcx
mov    %al,-0x24a(%rbp)
jbe    1311 <sort+0x1f1>
mov    -0x18(%rbp),%rax
mov    -0x248(%rbp),%rdi
mov    -0x220(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   *%rax
cmp    $0x0,%eax
setge  %al
mov    %al,-0x24a(%rbp)
mov    -0x24a(%rbp),%al
test   $0x1,%al
jne    12b0 <sort+0x190>
mov    -0x248(%rbp),%rax
cmp    -0x240(%rbp),%rax
jae    1338 <sort+0x218>
jmp    1355 <sort+0x235>
mov    -0x240(%rbp),%rdi
mov    -0x248(%rbp),%rsi
mov    -0x10(%rbp),%edx
mov    $0x0,%al
call   1030 <swap@plt>
jmp    123e <sort+0x11e>
mov    -0x220(%rbp),%rdi
mov    -0x248(%rbp),%rsi
mov    -0x10(%rbp),%edx
mov    $0x0,%al
call   1030 <swap@plt>
mov    -0x248(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    -0x220(%rbp),%rcx
sub    %rcx,%rax
mov    -0x228(%rbp),%rcx
mov    -0x240(%rbp),%rdx
sub    %rdx,%rcx
cmp    %rcx,%rax
jl     142a <sort+0x30a>
mov    -0x220(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    %rcx,%rax
cmp    -0x248(%rbp),%rax
jae    13fe <sort+0x2de>
mov    -0x220(%rbp),%rcx
movslq -0x214(%rbp),%rax
mov    %rcx,-0x120(%rbp,%rax,8)
ff
mov    -0x248(%rbp),%rcx
mov    -0x10(%rbp),%eax
mov    %eax,%edx
xor    %eax,%eax
sub    %rdx,%rax
add    %rax,%rcx
movslq -0x214(%rbp),%rax
mov    %rcx,-0x210(%rbp,%rax,8)
ff
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
mov    -0x240(%rbp),%rax
cmp    -0x228(%rbp),%rax
jae    1425 <sort+0x305>
mov    -0x240(%rbp),%rax
mov    %rax,-0x220(%rbp)
jmp    118b <sort+0x6b>
jmp    14b8 <sort+0x398>
mov    -0x240(%rbp),%rax
cmp    -0x228(%rbp),%rax
jae    1479 <sort+0x359>
mov    -0x240(%rbp),%rcx
movslq -0x214(%rbp),%rax
mov    %rcx,-0x120(%rbp,%rax,8)
ff
mov    -0x228(%rbp),%rcx
movslq -0x214(%rbp),%rax
mov    %rcx,-0x210(%rbp,%rax,8)
ff
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
mov    -0x220(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    %rcx,%rax
cmp    -0x248(%rbp),%rax
jae    14b3 <sort+0x393>
mov    -0x248(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %ecx,%edx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x228(%rbp)
jmp    118b <sort+0x6b>
jmp    14b8 <sort+0x398>
jmp    14bd <sort+0x39d>
mov    -0x214(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x214(%rbp)
cmpl   $0x0,-0x214(%rbp)
jl     150a <sort+0x3ea>
movslq -0x214(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rax
ff
mov    %rax,-0x220(%rbp)
movslq -0x214(%rbp),%rax
mov    -0x210(%rbp,%rax,8),%rax
ff
mov    %rax,-0x228(%rbp)
jmp    118b <sort+0x6b>
add    $0x250,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x258,%rsp
mov    %r9,0x38(%rsp)
mov    %r8,0x30(%rsp)
mov    %rcx,0x28(%rsp)
cmp    $0x2,%esi
jb     13e5 <sort+0x2c5>
mov    %edx,%r13d
test   %edx,%edx
je     13e5 <sort+0x2c5>
mov    %esi,%r14d
mov    %rdi,%rbp
add    $0xffffffff,%r14d
imul   %r13d,%r14d
add    %rdi,%r14
mov    %r13d,%eax
mov    %rax,%rcx
neg    %rcx
mov    %rcx,0x40(%rsp)
lea    (%rax,%rax,1),%rcx
neg    %rcx
mov    %rcx,0x58(%rsp)
mov    %rax,0x8(%rsp)
not    %rax
mov    %rax,0x48(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    %r13d,0x24(%rsp)
nopl   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rax
add    %r14,%rax
mov    %rax,0x50(%rsp)
mov    %r14,0x18(%rsp)
jmp    11d1 <sort+0xb1>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x18(%rsp),%r14
mov    %rcx,%rbp
cmp    %r14,%rcx
jae    13c0 <sort+0x2a0>
mov    %r14,%rax
sub    %rbp,%rax
mov    %rax,%rcx
shr    $0x20,%rcx
je     11f0 <sort+0xd0>
cqto
idivq  0x8(%rsp)
jmp    11f6 <sort+0xd6>
nopl   0x0(%rax)
xor    %edx,%edx
divl   0x8(%rsp)
add    $0x1,%eax
cmp    $0x8,%eax
jbe    1350 <sort+0x230>
shr    %eax
imul   %r13d,%eax
add    %rbp,%rax
mov    %rax,%rdi
mov    %rbp,%rsi
mov    %r13d,%edx
xor    %eax,%eax
call   1030 <swap@plt>
mov    0x48(%rsp),%rax
sub    %rbp,%rax
mov    %rax,0x60(%rsp)
mov    %rbp,%rbx
mov    0x50(%rsp),%r12
mov    0x8(%rsp),%rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rcx,%r15
lea    (%rbx,%rcx,1),%r13
cmp    %r14,%r13
ja     126c <sort+0x14c>
mov    %r13,%rdi
mov    %rbp,%rsi
mov    0x30(%rsp),%rdx
mov    0x38(%rsp),%rcx
call   *0x28(%rsp)
mov    0x8(%rsp),%rcx
add    %r15,%rcx
test   %eax,%eax
jle    1240 <sort+0x120>
mov    %rbx,0x68(%rsp)
mov    0x58(%rsp),%rax
lea    (%r12,%rax,1),%rcx
mov    0x60(%rsp),%rax
lea    (%rax,%r12,1),%rdx
add    0x40(%rsp),%r12
mov    %r12,%rsi
nopl   0x0(%rax,%rax,1)
mov    %rcx,%r14
mov    %rsi,%r12
mov    %rdx,%rbx
cmp    %rbp,%rsi
jbe    12cb <sort+0x1ab>
mov    %r12,%rdi
mov    %rbp,%rsi
mov    0x30(%rsp),%rdx
mov    0x38(%rsp),%rcx
call   *0x28(%rsp)
mov    0x40(%rsp),%rdx
lea    (%r14,%rdx,1),%rcx
lea    (%r12,%rdx,1),%rsi
mov    %rbx,%rdx
sub    0x8(%rsp),%rdx
test   %eax,%eax
jns    1290 <sort+0x170>
cmp    %r13,%r12
jb     12f0 <sort+0x1d0>
mov    %r13,%rdi
mov    %r12,%rsi
mov    0x24(%rsp),%edx
xor    %eax,%eax
call   1030 <swap@plt>
mov    %r13,%rbx
mov    0x18(%rsp),%r14
jmp    1230 <sort+0x110>
xchg   %ax,%ax
mov    %rbp,%rdi
mov    %r12,%rsi
mov    0x24(%rsp),%r13d
mov    %r13d,%edx
xor    %eax,%eax
call   1030 <swap@plt>
mov    0x18(%rsp),%rax
mov    0x68(%rsp),%rcx
sub    %rcx,%rax
sub    %r15,%rax
add    %r15,%rcx
cmp    %rax,%rbx
jl     1380 <sort+0x260>
mov    0x8(%rsp),%rax
add    %rbp,%rax
cmp    %r12,%rax
jae    11c0 <sort+0xa0>
mov    0x10(%rsp),%rax
cltq
mov    %rbp,0x160(%rsp,%rax,8)
mov    %r14,0x70(%rsp,%rax,8)
add    $0x1,%eax
mov    %rax,0x10(%rsp)
jmp    11c0 <sort+0xa0>
nop
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r13d,%edx
mov    0x28(%rsp),%rcx
mov    0x30(%rsp),%r8
mov    0x38(%rsp),%r9
xor    %eax,%eax
call   1040 <shortsort@plt>
jmp    13c0 <sort+0x2a0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x18(%rsp),%rdx
cmp    %rdx,%rcx
jae    13aa <sort+0x28a>
mov    %rcx,%rsi
mov    0x10(%rsp),%rcx
movslq %ecx,%rax
mov    %rsi,0x160(%rsp,%rax,8)
mov    %rdx,0x70(%rsp,%rax,8)
add    $0x1,%ecx
mov    %rcx,0x10(%rsp)
mov    0x8(%rsp),%rax
add    %rbp,%rax
cmp    %r12,%rax
jb     11a0 <sort+0x80>
nopl   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rax
test   %eax,%eax
jle    13e5 <sort+0x2c5>
add    $0xffffffff,%eax
mov    %rax,0x10(%rsp)
mov    %eax,%eax
mov    0x160(%rsp,%rax,8),%rbp
mov    0x70(%rsp,%rax,8),%r14
jmp    11a0 <sort+0x80>
add    $0x258,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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