#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 */
typedef int int64_t;

/* Variables and functions */
int /*<<< orphan*/ getBuckets(int *, int *, int, int);
int /*<<< orphan*/ getCounts(unsigned char const *, int *, int, int, int);
void induceSA(const unsigned char *T, int64_t *SA, int64_t *C, int64_t *B,
              int64_t n, int64_t k, int64_t cs) {
  int64_t *b, i, j;
  int64_t c0, c1;
  if (C == B)
    getCounts(T, C, n, k, cs);
  getBuckets(C, B, k, 0);
  j = n - 1;
  b = SA + B[c1 = (cs == sizeof(int64_t) ? ((const int64_t *)T)[j]
                                         : ((const unsigned char *)T)[j])];
  *b++ = ((0 < j) &&
          ((cs == sizeof(int64_t) ? ((const int64_t *)T)[j - 1]
                                  : ((const unsigned char *)T)[j - 1]) < c1))
             ? ~j
             : j;
  for (i = 0; i < n; ++i) {
    j = SA[i], SA[i] = ~j;
    if (0 < j) {
      --j;
      if ((c0 = (cs == sizeof(int64_t) ? ((const int64_t *)T)[j]
                                       : ((const unsigned char *)T)[j])) !=
          c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      *b++ = ((0 < j) && ((cs == sizeof(int64_t)
                               ? ((const int64_t *)T)[j - 1]
                               : ((const unsigned char *)T)[j - 1]) < c1))
                 ? ~j
                 : j;
    }
  }
  if (C == B)
    getCounts(T, C, n, k, cs);
  getBuckets(C, B, k, 1);
  for (i = n - 1, b = SA + B[c1 = 0]; 0 <= i; --i) {
    if (0 < (j = SA[i])) {
      --j;
      if ((c0 = (cs == sizeof(int64_t) ? ((const int64_t *)T)[j]
                                       : ((const unsigned char *)T)[j])) !=
          c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      *--b = ((j == 0) || ((cs == sizeof(int64_t)
                                ? ((const int64_t *)T)[j - 1]
                                : ((const unsigned char *)T)[j - 1]) > c1))
                 ? ~j
                 : j;
    } else
      SA[i] = ~j;
  }
}


x86 assembly (clang, -O0):
<induceSA>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jne    116b <induceSA+0x4b>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    0x10(%rbp),%r8d
call   1030 <getCounts@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%edx
xor    %ecx,%ecx
call   1040 <getBuckets@plt>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    11b7 <induceSA+0x97>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x54(%rbp)
jmp    11c6 <induceSA+0xa6>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    -0x54(%rbp),%edx
mov    %edx,-0x40(%rbp)
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmp    -0x38(%rbp),%eax
jge    1245 <induceSA+0x125>
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    1217 <induceSA+0xf7>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x58(%rbp)
jmp    122b <induceSA+0x10b>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    1245 <induceSA+0x125>
mov    -0x38(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x5c(%rbp)
jmp    124b <induceSA+0x12b>
mov    -0x38(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    13ac <induceSA+0x28c>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%edx
xor    $0xffffffff,%edx
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
xor    %eax,%eax
cmp    -0x38(%rbp),%eax
jge    1399 <induceSA+0x279>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    12c6 <induceSA+0x1a6>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x60(%rbp)
jmp    12d5 <induceSA+0x1b5>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmp    -0x40(%rbp),%eax
je     1320 <induceSA+0x200>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x3c(%rbp),%edx
mov    %edx,-0x40(%rbp)
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmp    -0x38(%rbp),%eax
jge    137f <induceSA+0x25f>
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    1351 <induceSA+0x231>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x64(%rbp)
jmp    1365 <induceSA+0x245>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    137f <induceSA+0x25f>
mov    -0x38(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x68(%rbp)
jmp    1385 <induceSA+0x265>
mov    -0x38(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    139e <induceSA+0x27e>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1266 <induceSA+0x146>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jne    13d1 <induceSA+0x2b1>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    0x10(%rbp),%r8d
call   1030 <getCounts@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%edx
mov    $0x1,%ecx
call   1040 <getBuckets@plt>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movl   $0x0,-0x40(%rbp)
movslq (%rcx),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmp    -0x34(%rbp),%eax
jg     1555 <induceSA+0x435>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    %ecx,-0x38(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1531 <induceSA+0x411>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    1459 <induceSA+0x339>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x6c(%rbp)
jmp    1468 <induceSA+0x348>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmp    -0x40(%rbp),%eax
je     14b3 <induceSA+0x393>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x3c(%rbp),%edx
mov    %edx,-0x40(%rbp)
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     1503 <induceSA+0x3e3>
movslq 0x10(%rbp),%rax
cmp    $0x4,%rax
jne    14e3 <induceSA+0x3c3>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x70(%rbp)
jmp    14f7 <induceSA+0x3d7>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x40(%rbp),%eax
jle    1511 <induceSA+0x3f1>
mov    -0x38(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x74(%rbp)
jmp    1517 <induceSA+0x3f7>
mov    -0x38(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,-0x4(%rax)
jmp    1542 <induceSA+0x422>
mov    -0x38(%rbp),%edx
xor    $0xffffffff,%edx
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1547 <induceSA+0x427>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    140c <induceSA+0x2ec>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<induceSA>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8d,%r12d
mov    %rcx,%r14
mov    %rsi,%rbx
mov    %rdi,%r15
mov    0x50(%rsp),%r13d
cmp    %rcx,%rdx
mov    %r9d,0x4(%rsp)
mov    %rdx,0x8(%rsp)
jne    116c <induceSA+0x4c>
mov    %r15,%rdi
mov    %rdx,%rsi
mov    %r12d,%edx
mov    %r9d,%ecx
mov    %r13d,%r8d
call   1030 <getCounts@plt>
mov    0x8(%rsp),%rdx
mov    0x4(%rsp),%r9d
mov    %rdx,%rdi
mov    %r14,%rsi
mov    %r9d,%edx
xor    %ecx,%ecx
call   1040 <getBuckets@plt>
lea    -0x1(%r12),%edi
movslq %edi,%rax
cmp    $0x4,%r13d
mov    %edi,0x14(%rsp)
jne    11ab <induceSA+0x8b>
movslq (%r15,%rax,4),%rcx
movslq (%r14,%rcx,4),%rax
lea    (%rbx,%rax,4),%rax
cmp    $0x1,%r12d
jle    11e0 <induceSA+0xc0>
lea    -0x2(%r12),%edx
mov    (%r15,%rdx,4),%edx
jmp    11c8 <induceSA+0xa8>
movzbl (%r15,%rax,1),%ecx
movslq (%r14,%rcx,4),%rax
lea    (%rbx,%rax,4),%rax
cmp    $0x1,%r12d
jle    11e0 <induceSA+0xc0>
lea    -0x2(%r12),%edx
movzbl (%r15,%rdx,1),%edx
mov    0x4(%rsp),%r9d
mov    0x8(%rsp),%r10
mov    %r12d,%esi
neg    %esi
cmp    %ecx,%edx
cmovge %edi,%esi
mov    %esi,(%rax)
jmp    11f5 <induceSA+0xd5>
mov    0x4(%rsp),%r9d
mov    0x8(%rsp),%r10
mov    %edi,(%rax)
test   %r12d,%r12d
jle    1381 <induceSA+0x261>
add    $0x4,%rax
mov    %r12d,%r8d
xor    %esi,%esi
jmp    121f <induceSA+0xff>
movzbl (%r15,%rcx,1),%ecx
neg    %edi
cmp    %edx,%ecx
cmovge %ebp,%edi
mov    %edi,%ecx
mov    %ecx,(%rax)
add    $0x4,%rax
mov    %edx,%ecx
add    $0x1,%rsi
cmp    %rsi,%r8
je     1281 <induceSA+0x161>
mov    (%rbx,%rsi,4),%edi
mov    %edi,%edx
not    %edx
mov    %edx,(%rbx,%rsi,4)
test   %edi,%edi
jle    1216 <induceSA+0xf6>
lea    -0x1(%rdi),%ebp
cmp    $0x4,%r13d
jne    1260 <induceSA+0x140>
mov    (%r15,%rbp,4),%edx
cmp    %ecx,%edx
je     1269 <induceSA+0x149>
sub    %rbx,%rax
shr    $0x2,%rax
movslq %ecx,%rcx
mov    %eax,(%r14,%rcx,4)
movslq %edx,%rax
movslq (%r14,%rax,4),%rax
lea    (%rbx,%rax,4),%rax
jmp    126b <induceSA+0x14b>
nopl   0x0(%rax)
movzbl (%r15,%rbp,1),%edx
cmp    %ecx,%edx
jne    123e <induceSA+0x11e>
mov    %ecx,%edx
xor    %ecx,%ecx
cmp    $0x2,%edi
jb     120e <induceSA+0xee>
lea    -0x2(%rdi),%ecx
cmp    $0x4,%r13d
jne    1200 <induceSA+0xe0>
mov    (%r15,%rcx,4),%ecx
jmp    1205 <induceSA+0xe5>
mov    $0x1,%bpl
cmp    %r14,%r10
jne    12a7 <induceSA+0x187>
mov    %r15,%rdi
mov    %r10,%rsi
mov    %r12d,%edx
mov    %r9d,%ecx
mov    %r13d,%r8d
call   1030 <getCounts@plt>
mov    0x8(%rsp),%r10
mov    0x4(%rsp),%r9d
mov    %r10,%rdi
mov    %r14,%rsi
mov    %r9d,%edx
mov    $0x1,%ecx
call   1040 <getBuckets@plt>
test   %bpl,%bpl
je     1372 <induceSA+0x252>
movslq (%r14),%rax
lea    (%rbx,%rax,4),%rcx
mov    0x14(%rsp),%eax
add    $0x1,%rax
xor    %ebp,%ebp
jmp    12f0 <induceSA+0x1d0>
cs nopw 0x0(%rax,%rax,1)
not    %edx
mov    %edx,-0x4(%rbx,%rax,4)
add    $0xffffffffffffffff,%rax
jle    1372 <induceSA+0x252>
mov    -0x4(%rbx,%rax,4),%edx
test   %edx,%edx
jle    12e0 <induceSA+0x1c0>
lea    -0x1(%rdx),%esi
cmp    $0x4,%r13d
jne    1330 <induceSA+0x210>
mov    (%r15,%rsi,4),%edi
cmp    %ebp,%edi
je     1339 <induceSA+0x219>
sub    %rbx,%rcx
shr    $0x2,%rcx
movslq %ebp,%rbp
mov    %ecx,(%r14,%rbp,4)
movslq %edi,%rcx
movslq (%r14,%rcx,4),%rcx
lea    (%rbx,%rcx,4),%rcx
test   %esi,%esi
jne    133f <induceSA+0x21f>
jmp    135b <induceSA+0x23b>
nopl   0x0(%rax,%rax,1)
movzbl (%r15,%rsi,1),%edi
cmp    %ebp,%edi
jne    1309 <induceSA+0x1e9>
mov    %ebp,%edi
test   %esi,%esi
je     135b <induceSA+0x23b>
lea    -0x2(%rdx),%ebp
cmp    $0x4,%r13d
jne    1352 <induceSA+0x232>
mov    (%r15,%rbp,4),%ebp
cmp    %edi,%ebp
jg     135b <induceSA+0x23b>
jmp    135f <induceSA+0x23f>
movzbl (%r15,%rbp,1),%ebp
cmp    %edi,%ebp
jle    135f <induceSA+0x23f>
neg    %edx
mov    %edx,%esi
mov    %esi,-0x4(%rcx)
add    $0xfffffffffffffffc,%rcx
mov    %edi,%ebp
add    $0xffffffffffffffff,%rax
jg     12f0 <induceSA+0x1d0>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ebp,%ebp
cmp    %r14,%r10
jne    12a7 <induceSA+0x187>
jmp    1289 <induceSA+0x169>

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

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