#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 construct_BWT_indexes(const unsigned char *T, int *SA, int *bucket_A,
                          int *bucket_B, int n, int m,
                          unsigned char *num_indexes, int *indexes) {
  int *i, *j, *k, *orig;
  int s;
  int c0, c1, c2;
  int mod = n / 8;
  {
    mod |= mod >> 1;
    mod |= mod >> 2;
    mod |= mod >> 4;
    mod |= mod >> 8;
    mod |= mod >> 16;
    mod >>= 1;
    *num_indexes = (unsigned char)((n - 1) / (mod + 1));
  }
  if (0 < m) {
    for (c1 = (256) - 2; 0 <= c1; --c1) {
      for (i = SA + (bucket_B[((c1) << 8) | (c1 + 1)]),
          j = SA + bucket_A[(c1 + 1)] - 1, k = NULL, c2 = -1;
           i <= j; --j) {
        if (0 < (s = *j)) {
          assert(T[s] == c1);
          assert(((s + 1) < n) && (T[s] <= T[s + 1]));
          assert(T[s - 1] <= T[s]);
          if ((s & mod) == 0)
            indexes[s / (mod + 1) - 1] = j - SA;
          c0 = T[--s];
          *j = ~((int)c0);
          if ((0 < s) && (T[s - 1] > c0)) {
            s = ~s;
          }
          if (c0 != c2) {
            if (0 <= c2) {
              (bucket_B[((c1) << 8) | (c2)]) = k - SA;
            }
            k = SA + (bucket_B[((c1) << 8) | (c2 = c0)]);
          }
          assert(k < j);
          *k-- = s;
        } else if (s != 0) {
          *j = ~s;
        } else {
          assert(T[s] == c1);
        }
      }
    }
  }
  k = SA + bucket_A[(c2 = T[n - 1])];
  if (T[n - 2] < c2) {
    if (((n - 1) & mod) == 0)
      indexes[(n - 1) / (mod + 1) - 1] = k - SA;
    *k++ = ~((int)T[n - 2]);
  } else {
    *k++ = n - 1;
  }
  for (i = SA, j = SA + n, orig = SA; i < j; ++i) {
    if (0 < (s = *i)) {
      assert(T[s - 1] >= T[s]);
      if ((s & mod) == 0)
        indexes[s / (mod + 1) - 1] = i - SA;
      c0 = T[--s];
      *i = c0;
      if (c0 != c2) {
        bucket_A[(c2)] = k - SA;
        k = SA + bucket_A[(c2 = c0)];
      }
      assert(i < k);
      if ((0 < s) && (T[s - 1] < c0)) {
        if ((s & mod) == 0)
          indexes[s / (mod + 1) - 1] = k - SA;
        *k++ = ~((int)T[s - 1]);
      } else
        *k++ = s;
    } else if (s != 0) {
      *i = ~s;
    } else {
      orig = i;
    }
  }
  return orig - SA;
}


x86 assembly (clang, -O0):
<construct_BWT_indexes>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
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    -0x24(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x1,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x2,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x4,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x8,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x10,%eax
or     -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    %al,%cl
mov    0x10(%rbp),%rax
mov    %cl,(%rax)
xor    %eax,%eax
cmp    -0x28(%rbp),%eax
jge    145f <construct_BWT_indexes+0x34f>
movl   $0xfe,-0x54(%rbp)
xor    %eax,%eax
cmp    -0x54(%rbp),%eax
jg     145a <construct_BWT_indexes+0x34a>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x54(%rbp),%edx
shl    $0x8,%edx
mov    -0x54(%rbp),%esi
add    $0x1,%esi
or     %esi,%edx
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x54(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
movl   $0xffffffff,-0x58(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
ja     1447 <construct_BWT_indexes+0x337>
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x4c(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    13f5 <construct_BWT_indexes+0x2e5>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x54(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4c(%rbp),%ecx
add    $0x1,%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x5d(%rbp)
jge    1293 <construct_BWT_indexes+0x183>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
mov    -0x4c(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setle  %al
mov    %al,-0x5d(%rbp)
mov    -0x5d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4c(%rbp),%eax
and    -0x5c(%rbp),%eax
cmp    $0x0,%eax
jne    1313 <construct_BWT_indexes+0x203>
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0x6c(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    -0x6c(%rbp),%edx
mov    %eax,%ecx
mov    -0x68(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x4c(%rbp)
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
xor    %eax,%eax
cmp    -0x4c(%rbp),%eax
jge    1364 <construct_BWT_indexes+0x254>
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x50(%rbp),%eax
jle    1364 <construct_BWT_indexes+0x254>
mov    -0x4c(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     13c7 <construct_BWT_indexes+0x2b7>
xor    %eax,%eax
cmp    -0x58(%rbp),%eax
jg     139f <construct_BWT_indexes+0x28f>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x20(%rbp),%rax
mov    -0x54(%rbp),%ecx
shl    $0x8,%ecx
or     -0x58(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x54(%rbp),%edx
shl    $0x8,%edx
mov    -0x50(%rbp),%esi
mov    %esi,-0x58(%rbp)
or     %esi,%edx
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    1431 <construct_BWT_indexes+0x321>
cmpl   $0x0,-0x4c(%rbp)
je     1410 <construct_BWT_indexes+0x300>
mov    -0x4c(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
jmp    142c <construct_BWT_indexes+0x31c>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x54(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    1431 <construct_BWT_indexes+0x321>
jmp    1436 <construct_BWT_indexes+0x326>
mov    -0x38(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
jmp    121d <construct_BWT_indexes+0x10d>
jmp    144c <construct_BWT_indexes+0x33c>
mov    -0x54(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x54(%rbp)
jmp    11b7 <construct_BWT_indexes+0xa7>
jmp    145f <construct_BWT_indexes+0x34f>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x8(%rbp),%rdx
mov    -0x24(%rbp),%esi
sub    $0x1,%esi
movslq %esi,%rsi
movzbl (%rdx,%rsi,1),%edx
mov    %edx,-0x58(%rbp)
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x58(%rbp),%eax
jge    151e <construct_BWT_indexes+0x40e>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
and    -0x5c(%rbp),%eax
cmp    $0x0,%eax
jne    14f4 <construct_BWT_indexes+0x3e4>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0x7c(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    -0x7c(%rbp),%edx
mov    %eax,%ecx
mov    -0x78(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%ecx
xor    $0xffffffff,%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    1535 <construct_BWT_indexes+0x425>
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    176e <construct_BWT_indexes+0x65e>
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x4c(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1730 <construct_BWT_indexes+0x620>
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4c(%rbp),%eax
and    -0x5c(%rbp),%eax
cmp    $0x0,%eax
jne    15f8 <construct_BWT_indexes+0x4e8>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0x8c(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    -0x8c(%rbp),%edx
mov    %eax,%ecx
mov    -0x88(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x4c(%rbp)
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x50(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     1660 <construct_BWT_indexes+0x550>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x50(%rbp),%edx
mov    %edx,-0x58(%rbp)
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x40(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmp    -0x4c(%rbp),%eax
jge    1717 <construct_BWT_indexes+0x607>
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x50(%rbp),%eax
jge    1717 <construct_BWT_indexes+0x607>
mov    -0x4c(%rbp),%eax
and    -0x5c(%rbp),%eax
cmp    $0x0,%eax
jne    16ed <construct_BWT_indexes+0x5dd>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0x9c(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    -0x9c(%rbp),%edx
mov    %eax,%ecx
mov    -0x98(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%ecx
xor    $0xffffffff,%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    172b <construct_BWT_indexes+0x61b>
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    1758 <construct_BWT_indexes+0x648>
cmpl   $0x0,-0x4c(%rbp)
je     174b <construct_BWT_indexes+0x63b>
mov    -0x4c(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    1753 <construct_BWT_indexes+0x643>
mov    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1758 <construct_BWT_indexes+0x648>
jmp    175d <construct_BWT_indexes+0x64d>
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    1558 <construct_BWT_indexes+0x448>
mov    -0x48(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<construct_BWT_indexes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rdx,0x30(%rsp)
mov    %rsi,%r12
mov    %rdi,(%rsp)
lea    0x7(%r8),%eax
test   %r8d,%r8d
cmovns %r8d,%eax
mov    0xb0(%rsp),%rdi
mov    %eax,%edx
sar    $0x3,%edx
sar    $0x4,%eax
or     %edx,%eax
mov    %eax,%edx
sar    $0x2,%edx
or     %eax,%edx
mov    %edx,%eax
sar    $0x4,%eax
or     %edx,%eax
mov    %eax,%edx
sar    $0x8,%edx
or     %eax,%edx
mov    %edx,%eax
sar    $0x11,%eax
sar    %edx
or     %eax,%edx
mov    %r8,0x58(%rsp)
movslq %r8d,%rax
mov    %rax,0x68(%rsp)
add    $0xffffffffffffffff,%rax
mov    %rdx,0x28(%rsp)
lea    0x1(%rdx),%esi
mov    %rax,0x60(%rsp)
cltd
mov    %esi,0xc(%rsp)
idiv   %esi
mov    %eax,0x48(%rsp)
mov    %al,(%rdi)
test   %r9d,%r9d
mov    %r12,0x10(%rsp)
jle    1383 <construct_BWT_indexes+0x273>
lea    -0x4(%r12),%rax
mov    %rax,0x70(%rsp)
mov    $0xfe,%r14d
mov    %rcx,0x50(%rsp)
jmp    11cf <construct_BWT_indexes+0xbf>
cs nopw 0x0(%rax,%rax,1)
nop
sub    $0x1,%r14
mov    0x50(%rsp),%rcx
jb     1383 <construct_BWT_indexes+0x273>
lea    0x1(%r14),%eax
mov    %r14d,%ebp
shl    $0x8,%ebp
or     %ebp,%eax
cltq
movslq (%rcx,%rax,4),%rax
lea    (%r12,%rax,4),%rdx
mov    0x30(%rsp),%rax
movslq 0x4(%rax,%r14,4),%rax
mov    0x70(%rsp),%rcx
lea    (%rcx,%rax,4),%rcx
mov    %rdx,0x38(%rsp)
cmp    %rcx,%rdx
ja     11c0 <construct_BWT_indexes+0xb0>
lea    -0x4(,%rax,4),%r13
ff
mov    $0xffffffff,%ecx
xor    %ebx,%ebx
mov    %r14,0x20(%rsp)
mov    %ebp,0x4c(%rsp)
jmp    125c <construct_BWT_indexes+0x14c>
nopl   0x0(%rax)
mov    %eax,%r14d
mov    0x10(%rsp),%r12
xor    %edi,%edi
cmp    %rdx,%rbx
setb   %dil
call   1030 <assert@plt>
mov    %r15d,(%rbx)
add    $0xfffffffffffffffc,%rbx
mov    %r14d,%ecx
mov    0x20(%rsp),%r14
lea    (%r12,%r13,1),%rax
add    $0xfffffffffffffffc,%rax
add    $0xfffffffffffffffc,%r13
cmp    %rax,0x38(%rsp)
ja     11c0 <construct_BWT_indexes+0xb0>
lea    (%r12,%r13,1),%r15
mov    (%r12,%r13,1),%ebp
test   %ebp,%ebp
jle    12a0 <construct_BWT_indexes+0x190>
mov    %rbx,0x18(%rsp)
mov    %ecx,0x40(%rsp)
mov    (%rsp),%r12
movzbl (%r12,%rbp,1),%eax
xor    %edi,%edi
cmp    %rax,%r14
sete   %dil
call   1030 <assert@plt>
lea    0x1(%rbp),%rax
cmp    0x58(%rsp),%eax
jge    12b0 <construct_BWT_indexes+0x1a0>
movzbl (%r12,%rbp,1),%ecx
cmp    (%r12,%rax,1),%cl
setbe  %al
jmp    12b2 <construct_BWT_indexes+0x1a2>
test   %rbp,%rbp
je     1365 <construct_BWT_indexes+0x255>
not    %ebp
mov    %ebp,(%r15)
jmp    1245 <construct_BWT_indexes+0x135>
xor    %eax,%eax
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x1(%rbp),%ebx
movzbl (%r12,%rbx,1),%eax
xor    %edi,%edi
cmp    (%r12,%rbp,1),%al
setbe  %dil
call   1030 <assert@plt>
test   %ebp,0x28(%rsp)
jne    12f3 <construct_BWT_indexes+0x1e3>
mov    %r13,%rcx
shr    $0x2,%rcx
mov    %ebp,%eax
cltd
idivl  0xc(%rsp)
cltq
mov    0xb8(%rsp),%rdx
mov    %ecx,-0x4(%rdx,%rax,4)
movzbl (%r12,%rbx,1),%r14d
mov    %r14d,%eax
not    %eax
mov    %r15,%rdx
mov    %eax,(%r15)
xor    %r15d,%r15d
cmp    $0x2,%ebp
jb     1320 <construct_BWT_indexes+0x210>
mov    %ebp,%eax
add    $0xfffffffe,%eax
neg    %ebp
mov    (%rsp),%rcx
cmp    %r14b,(%rcx,%rax,1)
cmovbe %ebx,%ebp
mov    %ebp,%r15d
mov    0x40(%rsp),%eax
cmp    %r14d,%eax
mov    0x18(%rsp),%rbx
je     1220 <construct_BWT_indexes+0x110>
test   %eax,%eax
mov    0x10(%rsp),%r12
mov    0x50(%rsp),%rcx
mov    0x4c(%rsp),%ebp
js     1352 <construct_BWT_indexes+0x242>
sub    %r12,%rbx
shr    $0x2,%rbx
or     %ebp,%eax
cltq
mov    %ebx,(%rcx,%rax,4)
movslq %ebp,%rax
or     %r14,%rax
movslq (%rcx,%rax,4),%rax
lea    (%r12,%rax,4),%rbx
jmp    1228 <construct_BWT_indexes+0x118>
mov    (%rsp),%rax
movzbl (%rax),%eax
xor    %edi,%edi
cmp    %rax,%r14
sete   %dil
mov    %ecx,%ebp
call   1030 <assert@plt>
mov    %ebp,%ecx
jmp    1245 <construct_BWT_indexes+0x135>
mov    0x60(%rsp),%rdx
mov    (%rsp),%rbx
movzbl (%rbx,%rdx,1),%r13d
mov    0x30(%rsp),%rax
movslq (%rax,%r13,4),%rax
lea    (%r12,%rax,4),%rdi
mov    0x68(%rsp),%rsi
mov    -0x2(%rsi,%rbx,1),%cl
cmp    %r13b,%cl
jae    13cc <construct_BWT_indexes+0x2bc>
test   %edx,0x28(%rsp)
jne    13c7 <construct_BWT_indexes+0x2b7>
movslq 0x48(%rsp),%rcx
mov    0xb8(%rsp),%rdx
mov    %eax,-0x4(%rdx,%rcx,4)
mov    -0x2(%rbx,%rsi,1),%cl
movzbl %cl,%edx
not    %edx
mov    %edx,(%rdi)
cmpl   $0x0,0x58(%rsp)
jle    1544 <construct_BWT_indexes+0x434>
lea    (%r12,%rsi,4),%rax
mov    %rax,0x38(%rsp)
add    $0x4,%rdi
xor    %r15d,%r15d
mov    %r12,0x20(%rsp)
mov    %r12,%r14
jmp    1427 <construct_BWT_indexes+0x317>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r13,%rdi
mov    %r12d,0x0(%r13)
add    $0x4,%rdi
mov    0x18(%rsp),%r13
mov    (%rsp),%rbx
add    $0x4,%r14
add    $0x1,%r15d
cmp    0x38(%rsp),%r14
jae    1538 <construct_BWT_indexes+0x428>
mov    (%r14),%ebp
test   %ebp,%ebp
jle    1480 <construct_BWT_indexes+0x370>
mov    %rdi,0x40(%rsp)
lea    -0x1(%rbp),%r12d
movzbl (%rbx,%r12,1),%eax
xor    %edi,%edi
cmp    (%rbx,%rbp,1),%al
setae  %dil
call   1030 <assert@plt>
test   %ebp,0x28(%rsp)
jne    1466 <construct_BWT_indexes+0x356>
mov    %ebp,%eax
cltd
idivl  0xc(%rsp)
cltq
mov    0xb8(%rsp),%rcx
mov    %r15d,-0x4(%rcx,%rax,4)
movzbl (%rbx,%r12,1),%ebx
mov    %ebx,(%r14)
cmp    %ebx,%r13d
mov    0x40(%rsp),%rsi
jne    1490 <construct_BWT_indexes+0x380>
mov    %r13,0x18(%rsp)
jmp    14b8 <construct_BWT_indexes+0x3a8>
nop
test   %rbp,%rbp
je     152e <construct_BWT_indexes+0x41e>
not    %ebp
mov    %ebp,(%r14)
jmp    1414 <construct_BWT_indexes+0x304>
mov    0x10(%rsp),%rcx
sub    %rcx,%rsi
shr    $0x2,%rsi
mov    %r13d,%eax
mov    0x30(%rsp),%rdx
mov    %esi,(%rdx,%rax,4)
mov    %ebx,%eax
movslq (%rdx,%rax,4),%rax
lea    (%rcx,%rax,4),%rsi
mov    %ebx,%eax
mov    %rax,0x18(%rsp)
xor    %edi,%edi
mov    %rsi,%r13
cmp    %rsi,%r14
setb   %dil
call   1030 <assert@plt>
cmp    $0x2,%ebp
jb     1400 <construct_BWT_indexes+0x2f0>
add    $0xfffffffe,%ebp
mov    (%rsp),%rax
movzbl (%rax,%rbp,1),%eax
cmp    %bl,%al
jae    1400 <construct_BWT_indexes+0x2f0>
test   %r12d,0x28(%rsp)
mov    %r13,%rdi
mov    (%rsp),%rbx
jne    1519 <construct_BWT_indexes+0x409>
mov    %rdi,%rcx
sub    0x10(%rsp),%rcx
shr    $0x2,%rcx
mov    %r12d,%eax
cltd
idivl  0xc(%rsp)
cltq
mov    0xb8(%rsp),%rdx
mov    %ecx,-0x4(%rdx,%rax,4)
movzbl (%rbx,%rbp,1),%eax
movzbl %al,%eax
not    %eax
mov    %eax,(%rdi)
add    $0x4,%rdi
mov    0x18(%rsp),%r13
jmp    1414 <construct_BWT_indexes+0x304>
mov    %r14,0x20(%rsp)
jmp    1414 <construct_BWT_indexes+0x304>
mov    0x10(%rsp),%r12
mov    0x20(%rsp),%rax
jmp    1547 <construct_BWT_indexes+0x437>
mov    %r12,%rax
sub    %r12,%rax
shr    $0x2,%rax
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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