#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 */
int /*<<< orphan*/ assert(int);
void tcbwtsortstrheap(const char **arrays, int anum, int len, int skip) {
  assert(arrays && anum >= 0 && len >= 0);
  anum--;
  int bottom = (anum >> 1) + 1;
  int top = anum;
  while (bottom > 0) {
    bottom--;
    int mybot = bottom;
    int i = mybot * 2;
    while (i <= top) {
      if (i < top) {
        int cmp = 0;
        const unsigned char *ap = (unsigned char *)arrays[i + 1];
        const unsigned char *bp = (unsigned char *)arrays[i];
        for (int j = skip; j < len; j++) {
          if (ap[j] != bp[j]) {
            cmp = ap[j] - bp[j];
            break;
          }
        }
        if (cmp > 0)
          i++;
      }
      int cmp = 0;
      const unsigned char *ap = (unsigned char *)arrays[mybot];
      const unsigned char *bp = (unsigned char *)arrays[i];
      for (int j = skip; j < len; j++) {
        if (ap[j] != bp[j]) {
          cmp = ap[j] - bp[j];
          break;
        }
      }
      if (cmp >= 0)
        break;
      const char *swap = arrays[mybot];
      arrays[mybot] = arrays[i];
      arrays[i] = swap;
      mybot = i;
      i = mybot * 2;
    }
  }
  while (top > 0) {
    const char *swap = arrays[0];
    arrays[0] = arrays[top];
    arrays[top] = swap;
    top--;
    int mybot = bottom;
    int i = mybot * 2;
    while (i <= top) {
      if (i < top) {
        int cmp = 0;
        const unsigned char *ap = (unsigned char *)arrays[i + 1];
        const unsigned char *bp = (unsigned char *)arrays[i];
        for (int j = 0; j < len; j++) {
          if (ap[j] != bp[j]) {
            cmp = ap[j] - bp[j];
            break;
          }
        }
        if (cmp > 0)
          i++;
      }
      int cmp = 0;
      const unsigned char *ap = (unsigned char *)arrays[mybot];
      const unsigned char *bp = (unsigned char *)arrays[i];
      for (int j = 0; j < len; j++) {
        if (ap[j] != bp[j]) {
          cmp = ap[j] - bp[j];
          break;
        }
      }
      if (cmp >= 0)
        break;
      swap = arrays[mybot];
      arrays[mybot] = arrays[i];
      arrays[i] = swap;
      mybot = i;
      i = mybot * 2;
    }
  }
}


x86 assembly (clang, -O0):
<tcbwtsortstrheap>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0xa5(%rbp)
je     115a <tcbwtsortstrheap+0x4a>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0xa5(%rbp)
jl     115a <tcbwtsortstrheap+0x4a>
cmpl   $0x0,-0x10(%rbp)
setge  %al
mov    %al,-0xa5(%rbp)
mov    -0xa5(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
sar    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jle    1358 <tcbwtsortstrheap+0x248>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1353 <tcbwtsortstrheap+0x243>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    126a <tcbwtsortstrheap+0x15a>
movl   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x38(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1252 <tcbwtsortstrheap+0x142>
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x38(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     123f <tcbwtsortstrheap+0x12f>
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x38(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
jmp    1252 <tcbwtsortstrheap+0x142>
jmp    1244 <tcbwtsortstrheap+0x134>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11f1 <tcbwtsortstrheap+0xe1>
cmpl   $0x0,-0x28(%rbp)
jle    1265 <tcbwtsortstrheap+0x155>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    126a <tcbwtsortstrheap+0x15a>
movl   $0x0,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x50(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    12f8 <tcbwtsortstrheap+0x1e8>
mov    -0x48(%rbp),%rax
movslq -0x54(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x50(%rbp),%rcx
movslq -0x54(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     12e5 <tcbwtsortstrheap+0x1d5>
mov    -0x48(%rbp),%rax
movslq -0x54(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x50(%rbp),%rcx
movslq -0x54(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x40(%rbp)
jmp    12f8 <tcbwtsortstrheap+0x1e8>
jmp    12ea <tcbwtsortstrheap+0x1da>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1297 <tcbwtsortstrheap+0x187>
cmpl   $0x0,-0x40(%rbp)
jl     1307 <tcbwtsortstrheap+0x1f7>
jmp    1353 <tcbwtsortstrheap+0x243>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x60(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x60(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11a7 <tcbwtsortstrheap+0x97>
jmp    1185 <tcbwtsortstrheap+0x75>
jmp    135d <tcbwtsortstrheap+0x24d>
cmpl   $0x0,-0x1c(%rbp)
jle    15b4 <tcbwtsortstrheap+0x4a4>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x68(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x68(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     15af <tcbwtsortstrheap+0x49f>
mov    -0x70(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1492 <tcbwtsortstrheap+0x382>
movl   $0x0,-0x74(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x70(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x80(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x88(%rbp)
movl   $0x0,-0x8c(%rbp)
mov    -0x8c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    147a <tcbwtsortstrheap+0x36a>
mov    -0x80(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x88(%rbp),%rcx
movslq -0x8c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1461 <tcbwtsortstrheap+0x351>
mov    -0x80(%rbp),%rax
movslq -0x8c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x88(%rbp),%rcx
movslq -0x8c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x74(%rbp)
jmp    147a <tcbwtsortstrheap+0x36a>
jmp    1466 <tcbwtsortstrheap+0x356>
mov    -0x8c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8c(%rbp)
jmp    13fe <tcbwtsortstrheap+0x2ee>
cmpl   $0x0,-0x74(%rbp)
jle    148d <tcbwtsortstrheap+0x37d>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    1492 <tcbwtsortstrheap+0x382>
movl   $0x0,-0x90(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x98(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xa0(%rbp)
movl   $0x0,-0xa4(%rbp)
mov    -0xa4(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1551 <tcbwtsortstrheap+0x441>
mov    -0x98(%rbp),%rax
movslq -0xa4(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0xa0(%rbp),%rcx
movslq -0xa4(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1538 <tcbwtsortstrheap+0x428>
mov    -0x98(%rbp),%rax
movslq -0xa4(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0xa0(%rbp),%rcx
movslq -0xa4(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x90(%rbp)
jmp    1551 <tcbwtsortstrheap+0x441>
jmp    153d <tcbwtsortstrheap+0x42d>
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa4(%rbp)
jmp    14cc <tcbwtsortstrheap+0x3bc>
cmpl   $0x0,-0x90(%rbp)
jl     1563 <tcbwtsortstrheap+0x453>
jmp    15af <tcbwtsortstrheap+0x49f>
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x68(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x68(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x70(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    13ad <tcbwtsortstrheap+0x29d>
jmp    135d <tcbwtsortstrheap+0x24d>
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tcbwtsortstrheap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %ecx,%ebx
mov    %esi,%r12d
mov    %rdi,%r13
test   %rdi,%rdi
setne  %al
mov    %edx,0xc(%rsp)
mov    %edx,%ecx
or     %esi,%ecx
setns  %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
test   %r12d,%r12d
jle    1366 <tcbwtsortstrheap+0x256>
lea    -0x1(%r12),%eax
mov    %eax,0x14(%rsp)
mov    %eax,%r15d
sar    %r15d
add    $0x1,%r15d
mov    %ebx,0x10(%rsp)
movslq %ebx,%r9
mov    0xc(%rsp),%eax
mov    %eax,%esi
sub    %r9d,%esi
jmp    117a <tcbwtsortstrheap+0x6a>
nop
cmp    $0x1,%r10d
jle    1253 <tcbwtsortstrheap+0x143>
mov    %r15d,%r10d
lea    -0x1(%r10),%r15d
lea    (%r10,%r10,1),%ecx
add    $0xfffffffe,%ecx
cmp    %r12d,%ecx
jge    1170 <tcbwtsortstrheap+0x60>
mov    %r15d,%r8d
cmp    0x14(%rsp),%ecx
jge    11e3 <tcbwtsortstrheap+0xd3>
mov    0x10(%rsp),%eax
cmp    0xc(%rsp),%eax
jge    1170 <tcbwtsortstrheap+0x60>
mov    %ecx,%ebp
or     $0x1,%ebp
movslq %ebp,%rdx
movslq %ecx,%rdi
mov    0x0(%r13,%rdx,8),%rdx
add    %r9,%rdx
mov    0x0(%r13,%rdi,8),%rbx
add    %r9,%rbx
xor    %edi,%edi
nopl   (%rax)
movzbl (%rbx,%rdi,1),%eax
cmp    %al,(%rdx,%rdi,1)
jne    11e0 <tcbwtsortstrheap+0xd0>
add    $0x1,%rdi
cmp    %edi,%esi
jne    11c0 <tcbwtsortstrheap+0xb0>
jmp    11e3 <tcbwtsortstrheap+0xd3>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmova  %ebp,%ecx
mov    %ecx,%r11d
mov    0x10(%rsp),%eax
cmp    0xc(%rsp),%eax
jge    1170 <tcbwtsortstrheap+0x60>
movslq %r8d,%rbp
mov    0x0(%r13,%rbp,8),%rdi
movslq %r11d,%rcx
mov    0x0(%r13,%rcx,8),%rbx
lea    (%rdi,%r9,1),%rax
lea    (%rbx,%r9,1),%r8
xor    %r14d,%r14d
nopl   0x0(%rax,%rax,1)
movzbl (%r8,%r14,1),%edx
cmp    %dl,(%rax,%r14,1)
jne    1230 <tcbwtsortstrheap+0x120>
add    $0x1,%r14
cmp    %r14d,%esi
jne    1210 <tcbwtsortstrheap+0x100>
jmp    1170 <tcbwtsortstrheap+0x60>
nopl   0x0(%rax)
jae    1170 <tcbwtsortstrheap+0x60>
mov    %rbx,0x0(%r13,%rbp,8)
mov    %rdi,0x0(%r13,%rcx,8)
add    %ecx,%ecx
mov    %r11d,%r8d
cmp    %r12d,%ecx
jl     1190 <tcbwtsortstrheap+0x80>
jmp    1170 <tcbwtsortstrheap+0x60>
cmp    $0x2,%r12d
jl     1366 <tcbwtsortstrheap+0x256>
lea    (%r15,%r15,1),%r9d
mov    0x14(%rsp),%r11d
movslq %r9d,%r8
mov    0xc(%rsp),%esi
jmp    127a <tcbwtsortstrheap+0x16a>
nop
cmp    $0x1,%rdi
jle    1366 <tcbwtsortstrheap+0x256>
mov    %r11,%rdi
mov    0x0(%r13),%rax
mov    0x0(%r13,%r11,8),%rcx
mov    %rcx,0x0(%r13)
mov    %rax,0x0(%r13,%r11,8)
add    $0xffffffffffffffff,%r11
cmp    %r8,%rdi
jle    1270 <tcbwtsortstrheap+0x160>
mov    %r9d,%edx
mov    %r15d,%r14d
cmp    %r11d,%edx
jge    12f4 <tcbwtsortstrheap+0x1e4>
cmpl   $0x0,0xc(%rsp)
jle    1270 <tcbwtsortstrheap+0x160>
mov    %edx,%r10d
or     $0x1,%r10d
movslq %r10d,%rcx
mov    0x0(%r13,%rcx,8),%rbx
movslq %edx,%rcx
mov    0x0(%r13,%rcx,8),%rbp
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x0(%rbp,%rcx,1),%eax
cmp    %al,(%rbx,%rcx,1)
jne    12f0 <tcbwtsortstrheap+0x1e0>
add    $0x1,%rcx
cmp    %rcx,%rsi
jne    12d0 <tcbwtsortstrheap+0x1c0>
jmp    12f4 <tcbwtsortstrheap+0x1e4>
cs nopw 0x0(%rax,%rax,1)
nop
cmova  %r10d,%edx
mov    %edx,%r10d
cmpl   $0x0,0xc(%rsp)
jle    1270 <tcbwtsortstrheap+0x160>
movslq %r14d,%r14
mov    0x0(%r13,%r14,8),%rbx
movslq %r10d,%rdx
mov    0x0(%r13,%rdx,8),%rbp
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl 0x0(%rbp,%rax,1),%ecx
cmp    %cl,(%rbx,%rax,1)
jne    1340 <tcbwtsortstrheap+0x230>
add    $0x1,%rax
cmp    %rax,%rsi
jne    1320 <tcbwtsortstrheap+0x210>
jmp    1270 <tcbwtsortstrheap+0x160>
nopl   0x0(%rax,%rax,1)
jae    1270 <tcbwtsortstrheap+0x160>
mov    %rbp,0x0(%r13,%r14,8)
mov    %rbx,0x0(%r13,%rdx,8)
add    %edx,%edx
movslq %edx,%rax
mov    %r10d,%r14d
cmp    %rax,%rdi
jg     129e <tcbwtsortstrheap+0x18e>
jmp    1270 <tcbwtsortstrheap+0x160>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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