#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);
int /*<<< orphan*/ getBuckets64(long long *, long long *, long long, int);
int /*<<< orphan*/ getCounts64(void const *, long long *, long long, long long,
                               int);
void induceSA64(const void *T, long long *SA, long long *C, long long *B,
                long long n, long long k, int cs) {
  long long *b, i, j;
  long long c0, c1;
  if (C == B) {
    getCounts64(T, C, n, k, cs);
  }
  getBuckets64(C, B, k, 0);
  j = n - 1;
  b = SA + B[c1 = (cs == sizeof(long long) ? ((long long *)T)[(j)]
                                           : ((unsigned char *)T)[(j)])];
  *b++ = ((0 < j) &&
          ((cs == sizeof(long long) ? ((long long *)T)[(j - 1)]
                                    : ((unsigned char *)T)[(j - 1)]) < c1))
             ? ~j
             : j;
  for (i = 0; i < n; ++i) {
    j = SA[i], SA[i] = ~j;
    if (0 < j) {
      --j;
      assert((cs == sizeof(long long) ? ((long long *)T)[(j)]
                                      : ((unsigned char *)T)[(j)]) >=
             (cs == sizeof(long long) ? ((long long *)T)[(j + 1)]
                                      : ((unsigned char *)T)[(j + 1)]));
      if ((c0 = (cs == sizeof(long long) ? ((long long *)T)[(j)]
                                         : ((unsigned char *)T)[(j)])) != c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      assert(i < (b - SA));
      *b++ = ((0 < j) &&
              ((cs == sizeof(long long) ? ((long long *)T)[(j - 1)]
                                        : ((unsigned char *)T)[(j - 1)]) < c1))
                 ? ~j
                 : j;
    }
  }
  if (C == B) {
    getCounts64(T, C, n, k, cs);
  }
  getBuckets64(C, B, k, 1);
  for (i = n - 1, b = SA + B[c1 = 0]; 0 <= i; --i) {
    if (0 < (j = SA[i])) {
      --j;
      assert((cs == sizeof(long long) ? ((long long *)T)[(j)]
                                      : ((unsigned char *)T)[(j)]) <=
             (cs == sizeof(long long) ? ((long long *)T)[(j + 1)]
                                      : ((unsigned char *)T)[(j + 1)]));
      if ((c0 = (cs == sizeof(long long) ? ((long long *)T)[(j)]
                                         : ((unsigned char *)T)[(j)])) != c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      assert((b - SA) <= i);
      *--b = ((j == 0) ||
              ((cs == sizeof(long long) ? ((long long *)T)[(j - 1)]
                                        : ((unsigned char *)T)[(j - 1)]) > c1))
                 ? ~j
                 : j;
    } else {
      SA[i] = ~j;
    }
  }
}


x86 assembly (clang, -O0):
<induceSA64>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jne    117d <induceSA64+0x4d>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    0x10(%rbp),%r8d
call   1050 <getCounts64@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x30(%rbp),%rdx
xor    %ecx,%ecx
call   1030 <getBuckets64@plt>
mov    -0x28(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x60(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    11cf <induceSA64+0x9f>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x70(%rbp)
jmp    11df <induceSA64+0xaf>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
mov    -0x60(%rbp),%rcx
mov    -0x70(%rbp),%rdx
mov    %rdx,-0x58(%rbp)
mov    (%rcx,%rdx,8),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
xor    %eax,%eax
cmp    -0x48(%rbp),%rax
jge    1264 <induceSA64+0x134>
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    1231 <induceSA64+0x101>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x78(%rbp)
jmp    1245 <induceSA64+0x115>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x58(%rbp),%rax
jge    1264 <induceSA64+0x134>
mov    -0x48(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x80(%rbp)
jmp    126c <induceSA64+0x13c>
mov    -0x48(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rcx,(%rax)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jge    14cb <induceSA64+0x39b>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdx
xor    $0xffffffffffffffff,%rdx
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
xor    %eax,%eax
cmp    -0x48(%rbp),%rax
jge    14b5 <induceSA64+0x385>
mov    -0x48(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    12fa <induceSA64+0x1ca>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x88(%rbp)
jmp    130d <induceSA64+0x1dd>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
mov    %rax,-0x90(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    1342 <induceSA64+0x212>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    0x8(%rax,%rcx,8),%rax
mov    %rax,-0x98(%rbp)
jmp    1356 <induceSA64+0x226>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl 0x1(%rax,%rcx,1),%eax
mov    %rax,-0x98(%rbp)
mov    -0x90(%rbp),%rax
mov    -0x98(%rbp),%rcx
cmp    %rcx,%rax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    139a <induceSA64+0x26a>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xa0(%rbp)
jmp    13ad <induceSA64+0x27d>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmp    -0x58(%rbp),%rax
je     13fc <induceSA64+0x2cc>
mov    -0x38(%rbp),%rdx
mov    -0x10(%rbp),%rax
sub    %rax,%rdx
sar    $0x3,%rdx
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x50(%rbp),%rdx
mov    %rdx,-0x58(%rbp)
mov    (%rcx,%rdx,8),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sar    $0x3,%rcx
cmp    %rcx,%rax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmp    -0x48(%rbp),%rax
jge    1491 <induceSA64+0x361>
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    1455 <induceSA64+0x325>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xa8(%rbp)
jmp    146c <induceSA64+0x33c>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x58(%rbp),%rax
jge    1491 <induceSA64+0x361>
mov    -0x48(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xb0(%rbp)
jmp    149c <induceSA64+0x36c>
mov    -0x48(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rcx,(%rax)
jmp    14ba <induceSA64+0x38a>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    128a <induceSA64+0x15a>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jne    14f2 <induceSA64+0x3c2>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    0x10(%rbp),%r8d
call   1050 <getCounts64@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    $0x1,%ecx
call   1030 <getBuckets64@plt>
mov    -0x28(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movq   $0x0,-0x58(%rbp)
mov    (%rcx),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
xor    %eax,%eax
cmp    -0x40(%rbp),%rax
jg     1772 <induceSA64+0x642>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    %rcx,-0x48(%rbp)
xor    %eax,%eax
cmp    %rcx,%rax
jge    1748 <induceSA64+0x618>
mov    -0x48(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    158b <induceSA64+0x45b>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xb8(%rbp)
jmp    159e <induceSA64+0x46e>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
mov    %rax,-0xc0(%rbp)
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    15d3 <induceSA64+0x4a3>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    0x8(%rax,%rcx,8),%rax
mov    %rax,-0xc8(%rbp)
jmp    15e7 <induceSA64+0x4b7>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl 0x1(%rax,%rcx,1),%eax
mov    %rax,-0xc8(%rbp)
mov    -0xc0(%rbp),%rax
mov    -0xc8(%rbp),%rcx
cmp    %rcx,%rax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    162b <induceSA64+0x4fb>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xd0(%rbp)
jmp    163e <induceSA64+0x50e>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmp    -0x58(%rbp),%rax
je     168d <induceSA64+0x55d>
mov    -0x38(%rbp),%rdx
mov    -0x10(%rbp),%rax
sub    %rax,%rdx
sar    $0x3,%rdx
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x50(%rbp),%rdx
mov    %rdx,-0x58(%rbp)
mov    (%rcx,%rdx,8),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
cmp    -0x40(%rbp),%rax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x48(%rbp)
je     170a <induceSA64+0x5da>
movslq 0x10(%rbp),%rax
cmp    $0x8,%rax
jne    16e2 <induceSA64+0x5b2>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0xd8(%rbp)
jmp    16f9 <induceSA64+0x5c9>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
cmp    -0x58(%rbp),%rax
jle    171e <induceSA64+0x5ee>
mov    -0x48(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0xe0(%rbp)
jmp    1729 <induceSA64+0x5f9>
mov    -0x48(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xe0(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rcx,-0x8(%rax)
jmp    175c <induceSA64+0x62c>
mov    -0x48(%rbp),%rdx
xor    $0xffffffffffffffff,%rdx
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    1761 <induceSA64+0x631>
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
jmp    1532 <induceSA64+0x402>
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<induceSA64>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,%r13
mov    %r8,%r15
mov    %rcx,%rbp
mov    %rdx,%rbx
mov    %rsi,(%rsp)
mov    %rdi,%r14
mov    0x60(%rsp),%r12d
cmp    %rcx,%rdx
jne    116f <induceSA64+0x3f>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
mov    %r13,%rcx
mov    %r12d,%r8d
call   1050 <getCounts64@plt>
mov    %rbx,0x18(%rsp)
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r13,0x20(%rsp)
mov    %r13,%rdx
xor    %ecx,%ecx
call   1030 <getBuckets64@plt>
lea    -0x1(%r15),%rax
cmp    $0x8,%r12d
mov    %rbp,0x10(%rsp)
mov    %r14,0x8(%rsp)
mov    %r12d,%edi
jne    11bf <induceSA64+0x8f>
mov    -0x8(%r14,%r15,8),%r12
mov    0x0(%rbp,%r12,8),%rcx
mov    (%rsp),%rsi
lea    (%rsi,%rcx,8),%r13
cmp    $0x1,%r15
jle    11f1 <induceSA64+0xc1>
mov    -0x10(%r14,%r15,8),%rcx
jmp    11de <induceSA64+0xae>
movzbl -0x1(%r14,%r15,1),%r12d
mov    0x0(%rbp,%r12,8),%rcx
mov    (%rsp),%rsi
lea    (%rsi,%rcx,8),%r13
cmp    $0x1,%r15
jle    11f1 <induceSA64+0xc1>
movzbl -0x2(%r15,%r14,1),%ecx
mov    %r15,%rdx
neg    %rdx
cmp    %r12,%rcx
cmovl  %rdx,%rax
mov    %rax,0x0(%r13)
jmp    11fe <induceSA64+0xce>
mov    %rax,0x0(%r13)
test   %r15,%r15
jle    1321 <induceSA64+0x1f1>
add    $0x8,%r13
xor    %r14d,%r14d
jmp    1232 <induceSA64+0x102>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
mov    (%rsp),%rsi
mov    0x60(%rsp),%edi
mov    %rax,0x0(%r13)
add    $0x8,%r13
mov    %rbp,%r12
add    $0x1,%r14
cmp    %r14,%r15
je     1312 <induceSA64+0x1e2>
mov    (%rsi,%r14,8),%rbx
mov    %rbx,%rax
not    %rax
mov    %rax,(%rsi,%r14,8)
test   %rbx,%rbx
jle    1225 <induceSA64+0xf5>
cmp    $0x8,%edi
jne    1290 <induceSA64+0x160>
mov    0x8(%rsp),%rbp
mov    -0x8(%rbp,%rbx,8),%rax
xor    %edi,%edi
cmp    0x0(%rbp,%rbx,8),%rax
setge  %dil
call   1040 <assert@plt>
mov    (%rsp),%rcx
mov    -0x8(%rbp,%rbx,8),%rbp
cmp    %r12,%rbp
je     12b7 <induceSA64+0x187>
sub    %rcx,%r13
sar    $0x3,%r13
mov    0x10(%rsp),%rax
mov    %r13,(%rax,%r12,8)
mov    (%rax,%rbp,8),%rax
lea    (%rcx,%rax,8),%r13
jmp    12ba <induceSA64+0x18a>
nopl   0x0(%rax)
mov    0x8(%rsp),%rbp
movzbl -0x1(%rbp,%rbx,1),%eax
xor    %edi,%edi
cmp    0x0(%rbp,%rbx,1),%al
setae  %dil
call   1040 <assert@plt>
mov    (%rsp),%rcx
movzbl -0x1(%rbp,%rbx,1),%ebp
cmp    %r12,%rbp
jne    1272 <induceSA64+0x142>
mov    %r12,%rbp
mov    %r13,%rax
sub    %rcx,%rax
sar    $0x3,%rax
xor    %edi,%edi
cmp    %rax,%r14
setl   %dil
call   1040 <assert@plt>
cmp    $0x2,%rbx
jb     1210 <induceSA64+0xe0>
lea    -0x1(%rbx),%rax
mov    0x60(%rsp),%edi
cmp    $0x8,%edi
jne    12f5 <induceSA64+0x1c5>
mov    0x8(%rsp),%rcx
mov    -0x10(%rcx,%rbx,8),%rcx
jmp    12ff <induceSA64+0x1cf>
mov    0x8(%rsp),%rcx
movzbl -0x2(%rcx,%rbx,1),%ecx
mov    (%rsp),%rsi
neg    %rbx
cmp    %rbp,%rcx
cmovl  %rbx,%rax
jmp    121a <induceSA64+0xea>
mov    $0x1,%r12b
mov    0x10(%rsp),%rbp
mov    0x8(%rsp),%r14
jmp    1324 <induceSA64+0x1f4>
xor    %r12d,%r12d
mov    0x18(%rsp),%rbx
cmp    %rbp,%rbx
mov    0x20(%rsp),%r13
jne    1349 <induceSA64+0x219>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
mov    %r13,%rcx
mov    0x60(%rsp),%r8d
call   1050 <getCounts64@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
mov    $0x1,%ecx
call   1030 <getBuckets64@plt>
test   %r12b,%r12b
mov    (%rsp),%rcx
mov    0x60(%rsp),%edx
je     1478 <induceSA64+0x348>
mov    0x10(%rsp),%rax
mov    (%rax),%rax
lea    (%rcx,%rax,8),%r13
xor    %r12d,%r12d
jmp    1394 <induceSA64+0x264>
xchg   %ax,%ax
not    %rbp
mov    %rbp,-0x8(%rcx,%r15,8)
mov    %r14,%r15
test   %r14,%r14
jle    1478 <induceSA64+0x348>
lea    -0x1(%r15),%r14
mov    -0x8(%rcx,%r15,8),%rbp
test   %rbp,%rbp
jle    1380 <induceSA64+0x250>
cmp    $0x8,%edx
jne    13d0 <induceSA64+0x2a0>
mov    0x8(%rsp),%rbx
mov    -0x8(%rbx,%rbp,8),%rax
xor    %edi,%edi
cmp    (%rbx,%rbp,8),%rax
setle  %dil
call   1040 <assert@plt>
mov    -0x8(%rbx,%rbp,8),%rbx
jmp    13ed <induceSA64+0x2bd>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rbx
movzbl -0x1(%rbx,%rbp,1),%eax
xor    %edi,%edi
cmp    (%rbx,%rbp,1),%al
setbe  %dil
call   1040 <assert@plt>
movzbl -0x1(%rbx,%rbp,1),%ebx
lea    -0x1(%rbp),%r15
cmp    %r12,%rbx
mov    (%rsp),%rcx
jne    1400 <induceSA64+0x2d0>
mov    %r12,%rbx
jmp    1418 <induceSA64+0x2e8>
nop
sub    %rcx,%r13
sar    $0x3,%r13
mov    0x10(%rsp),%rax
mov    %r13,(%rax,%r12,8)
mov    (%rax,%rbx,8),%rax
lea    (%rcx,%rax,8),%r13
mov    %r13,%rax
sub    %rcx,%rax
sar    $0x3,%rax
xor    %edi,%edi
cmp    %r14,%rax
setle  %dil
call   1040 <assert@plt>
test   %r15,%r15
mov    0x60(%rsp),%edx
je     145e <induceSA64+0x32e>
cmp    $0x8,%edx
jne    144f <induceSA64+0x31f>
mov    0x8(%rsp),%rax
mov    -0x10(%rax,%rbp,8),%rax
cmp    %rbx,%rax
jg     145e <induceSA64+0x32e>
jmp    1464 <induceSA64+0x334>
mov    0x8(%rsp),%rax
movzbl -0x2(%rax,%rbp,1),%eax
cmp    %rbx,%rax
jle    1464 <induceSA64+0x334>
neg    %rbp
mov    %rbp,%r15
mov    %r15,-0x8(%r13)
add    $0xfffffffffffffff8,%r13
mov    %rbx,%r12
mov    (%rsp),%rcx
jmp    1388 <induceSA64+0x258>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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