#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*/ free(int *);
scalar_t__ malloc(int);
void isorti(char dir, int n, int *x, int *indx) {
  int i, j, h, asc, indtmp, xtmp, *priv;
  priv = (int *)malloc(n * sizeof(int));
  for (j = 0; j < n; ++j)
    priv[j] = x[j];
  if (dir == 'a' || dir == 'A')
    asc = 1;
  else
    asc = 0;
  for (j = 0; j < n; ++j)
    indx[j] = j;
  h = 1;
  do {
    h = 3 * h + 1;
  } while (h <= n);
  do {
    h = h / 3;
    for (i = h; i < n; i++) {
      xtmp = priv[i];
      indtmp = indx[i];
      j = i;
      if (asc) {
        while (priv[j - h] > xtmp) {
          priv[j] = priv[j - h];
          indx[j] = indx[j - h];
          j = j - h;
          if (j < h)
            goto end;
        }
      } else {
        while (priv[j - h] < xtmp) {
          priv[j] = priv[j - h];
          indx[j] = indx[j - h];
          j = j - h;
          if (j < h)
            goto end;
        }
      }
    end:
      priv[j] = xtmp;
      indx[j] = indtmp;
    }
  } while (h != 1);
  free(priv);
}


x86 assembly (clang, -O0):
<isorti>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movslq -0x8(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1183 <isorti+0x63>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1153 <isorti+0x33>
movsbl -0x1(%rbp),%eax
cmp    $0x61,%eax
je     119d <isorti+0x7d>
movsbl -0x1(%rbp),%eax
cmp    $0x41,%eax
jne    11a9 <isorti+0x89>
movl   $0x1,-0x28(%rbp)
jmp    11b0 <isorti+0x90>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11df <isorti+0xbf>
mov    -0x20(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11b7 <isorti+0x97>
movl   $0x1,-0x24(%rbp)
imul   $0x3,-0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    11e6 <isorti+0xc6>
jmp    1201 <isorti+0xe1>
mov    -0x24(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    136c <isorti+0x24c>
mov    -0x38(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     12c5 <isorti+0x1a5>
jmp    1252 <isorti+0x132>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x30(%rbp),%eax
jle    12c0 <isorti+0x1a0>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    12bb <isorti+0x19b>
jmp    1342 <isorti+0x222>
jmp    1252 <isorti+0x132>
jmp    133d <isorti+0x21d>
jmp    12ca <isorti+0x1aa>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x30(%rbp),%eax
jge    1338 <isorti+0x218>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1333 <isorti+0x213>
jmp    1342 <isorti+0x222>
jmp    12ca <isorti+0x1aa>
jmp    133d <isorti+0x21d>
jmp    1342 <isorti+0x222>
mov    -0x30(%rbp),%edx
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1215 <isorti+0xf5>
jmp    1371 <isorti+0x251>
cmpl   $0x1,-0x24(%rbp)
jne    1201 <isorti+0xe1>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isorti>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r13
mov    %rdx,%r15
mov    %esi,%r14d
mov    %edi,%r12d
lea    0x0(,%r14,4),%edi
call   1040 <malloc@plt>
test   %r14d,%r14d
jle    142e <isorti+0x30e>
mov    %r14d,%ecx
cmp    $0x8,%r14d
jb     1168 <isorti+0x48>
lea    (%r15,%rcx,4),%rdx
cmp    %rdx,%rax
jae    11d0 <isorti+0xb0>
lea    (%rax,%rcx,4),%rdx
cmp    %r15,%rdx
jbe    11d0 <isorti+0xb0>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
add    %rcx,%rsi
mov    %rcx,%rdi
and    $0x3,%rdi
je     1191 <isorti+0x71>
nopl   0x0(%rax)
mov    (%r15,%rdx,4),%ebp
mov    %ebp,(%rax,%rdx,4)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1180 <isorti+0x60>
cmp    $0x3,%rsi
jb     12a9 <isorti+0x189>
nopl   0x0(%rax,%rax,1)
mov    (%r15,%rdx,4),%esi
mov    %esi,(%rax,%rdx,4)
mov    0x4(%r15,%rdx,4),%esi
mov    %esi,0x4(%rax,%rdx,4)
mov    0x8(%r15,%rdx,4),%esi
mov    %esi,0x8(%rax,%rdx,4)
mov    0xc(%r15,%rdx,4),%esi
mov    %esi,0xc(%rax,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%rcx
jne    11a0 <isorti+0x80>
jmp    12a9 <isorti+0x189>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x18,%rsi
jae    11f5 <isorti+0xd5>
xor    %ebp,%ebp
jmp    1264 <isorti+0x144>
and    $0xfffffffffffffffc,%rdi
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movups (%r15,%rbp,4),%xmm0
movups 0x10(%r15,%rbp,4),%xmm1
movups %xmm0,(%rax,%rbp,4)
movups %xmm1,0x10(%rax,%rbp,4)
movups 0x20(%r15,%rbp,4),%xmm0
movups 0x30(%r15,%rbp,4),%xmm1
movups %xmm0,0x20(%rax,%rbp,4)
movups %xmm1,0x30(%rax,%rbp,4)
movups 0x40(%r15,%rbp,4),%xmm0
movups 0x50(%r15,%rbp,4),%xmm1
movups %xmm0,0x40(%rax,%rbp,4)
movups %xmm1,0x50(%rax,%rbp,4)
movdqu 0x60(%r15,%rbp,4),%xmm0
movdqu 0x70(%r15,%rbp,4),%xmm1
movdqu %xmm0,0x60(%rax,%rbp,4)
movdqu %xmm1,0x70(%rax,%rbp,4)
add    $0x20,%rbp
add    $0xfffffffffffffffc,%rdi
jne    1200 <isorti+0xe0>
test   %r8,%r8
je     12a0 <isorti+0x180>
lea    (%rax,%rbp,4),%rdi
add    $0x10,%rdi
lea    (%r15,%rbp,4),%rbp
add    $0x10,%rbp
shl    $0x5,%r8
xor    %esi,%esi
nop
movdqu -0x10(%rbp,%rsi,1),%xmm0
movdqu 0x0(%rbp,%rsi,1),%xmm1
movdqu %xmm0,-0x10(%rdi,%rsi,1)
movdqu %xmm1,(%rdi,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%r8
jne    1280 <isorti+0x160>
cmp    %rcx,%rdx
jne    116a <isorti+0x4a>
test   %r14d,%r14d
jle    142e <isorti+0x30e>
cmp    $0x8,%r14d
jae    12bf <isorti+0x19f>
xor    %edx,%edx
jmp    1420 <isorti+0x300>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rbp
mov    %rbp,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%esi
and    $0x3,%esi
cmp    $0x18,%rbp
jae    12ed <isorti+0x1cd>
movdqa 0xd1a(%rip),%xmm0
xor    %ebp,%ebp
jmp    13c5 <isorti+0x2a5>
and    $0xfffffffffffffffc,%rdi
movdqa 0xd07(%rip),%xmm0
xor    %ebp,%ebp
movdqa 0xd0c(%rip),%xmm8
movdqa 0xd13(%rip),%xmm9
movdqa 0xd1a(%rip),%xmm10
movdqa 0xd22(%rip),%xmm4
movdqa 0xd2a(%rip),%xmm5
movdqa 0xd32(%rip),%xmm6
movdqa 0xd3a(%rip),%xmm7
movdqa 0xd42(%rip),%xmm1
xchg   %ax,%ax
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,0x0(%r13,%rbp,4)
movdqu %xmm2,0x10(%r13,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%r13,%rbp,4)
movdqu %xmm3,0x30(%r13,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%r13,%rbp,4)
movdqu %xmm3,0x50(%r13,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%r13,%rbp,4)
movdqu %xmm3,0x70(%r13,%rbp,4)
add    $0x20,%rbp
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rdi
jne    1340 <isorti+0x220>
test   %rsi,%rsi
je     1410 <isorti+0x2f0>
lea    0x10(,%rbp,4),%rdi
add    %r13,%rdi
shl    $0x5,%rsi
xor    %ebp,%ebp
movdqa 0xc2d(%rip),%xmm1
movdqa 0xc35(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rdi,%rbp,1)
movdqu %xmm3,(%rdi,%rbp,1)
paddd  %xmm2,%xmm0
add    $0x20,%rbp
cmp    %rbp,%rsi
jne    13f0 <isorti+0x2d0>
cmp    %rcx,%rdx
je     142e <isorti+0x30e>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,0x0(%r13,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1420 <isorti+0x300>
and    $0xdf,%r12b
mov    $0x1,%r9d
nopl   0x0(%rax,%rax,1)
lea    (%r9,%r9,2),%ecx
lea    (%r9,%r9,2),%r9d
add    $0x1,%r9d
cmp    %r14d,%ecx
jl     1440 <isorti+0x320>
movslq %r14d,%r8
jmp    1471 <isorti+0x351>
cs nopw 0x0(%rax,%rax,1)
add    $0xfffffffd,%r9d
cmp    $0x2,%r9d
mov    %esi,%r9d
jbe    1526 <isorti+0x406>
movslq %r9d,%rcx
imul   $0x55555556,%rcx,%rsi
mov    %rsi,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rsi
add    %ecx,%esi
cmp    %r14d,%esi
jge    1460 <isorti+0x340>
movslq %esi,%rdi
xor    %r11d,%r11d
jmp    14bc <isorti+0x39c>
cs nopw 0x0(%rax,%rax,1)
nop
add    %esi,%ecx
mov    %ecx,%ebp
movslq %ebp,%rcx
mov    %edx,(%rax,%rcx,4)
mov    %r10d,0x0(%r13,%rcx,4)
add    $0x1,%rdi
add    $0x1,%r11d
cmp    %r8,%rdi
je     1460 <isorti+0x340>
mov    (%rax,%rdi,4),%edx
mov    0x0(%r13,%rdi,4),%r10d
mov    %r11d,%ecx
cmp    $0x41,%r12b
jne    1500 <isorti+0x3e0>
mov    %r11d,%ecx
lea    (%rsi,%rcx,1),%ebp
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ebx
cmp    %edx,%ebx
jle    14a4 <isorti+0x384>
movslq %ebp,%rbp
mov    %ebx,(%rax,%rbp,4)
mov    0x0(%r13,%rcx,4),%ebx
mov    %ebx,0x0(%r13,%rbp,4)
sub    %esi,%ecx
jge    14d0 <isorti+0x3b0>
jmp    14a0 <isorti+0x380>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%rsi,%rcx,1),%ebp
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ebx
cmp    %edx,%ebx
jge    14a4 <isorti+0x384>
movslq %ebp,%rbp
mov    %ebx,(%rax,%rbp,4)
mov    0x0(%r13,%rcx,4),%ebx
mov    %ebx,0x0(%r13,%rbp,4)
sub    %esi,%ecx
jge    1500 <isorti+0x3e0>
jmp    14a0 <isorti+0x380>
mov    %rax,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

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