#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
void construct_SA(const unsigned char *T, int *SA, int *bucket_A, int *bucket_B,
                  int n, int m) {
  int *i, *j, *k;
  int s;
  int c0, c1, c2;
  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]);
          *j = ~s;
          c0 = T[--s];
          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 {
          assert(((s == 0) && (T[s] == c1)) || (s < 0));
          *j = ~s;
        }
      }
    }
  }
  k = SA + bucket_A[(c2 = T[n - 1])];
  *k++ = (T[n - 2] < c2) ? ~(n - 1) : (n - 1);
  for (i = SA, j = SA + n; i < j; ++i) {
    if (0 < (s = *i)) {
      assert(T[s - 1] >= T[s]);
      c0 = T[--s];
      if ((s == 0) || (T[s - 1] < c0)) {
        s = ~s;
      }
      if (c0 != c2) {
        bucket_A[(c2)] = k - SA;
        k = SA + bucket_A[(c2 = c0)];
      }
      assert(i < k);
      *k++ = s;
    } else {
      assert(s < 0);
      *i = ~s;
    }
  }
}


x86 assembly (clang, -O0):
<construct_SA>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
xor    %eax,%eax
cmp    -0x28(%rbp),%eax
jge    13ae <construct_SA+0x29e>
movl   $0xfe,-0x4c(%rbp)
xor    %eax,%eax
cmp    -0x4c(%rbp),%eax
jg     13a9 <construct_SA+0x299>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x4c(%rbp),%edx
shl    $0x8,%edx
mov    -0x4c(%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    -0x4c(%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,-0x50(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
ja     1396 <construct_SA+0x286>
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x44(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1339 <construct_SA+0x229>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x4c(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x44(%rbp),%ecx
add    $0x1,%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x51(%rbp)
jge    121e <construct_SA+0x10e>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
mov    -0x44(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setle  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x44(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x44(%rbp)
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x48(%rbp)
xor    %eax,%eax
cmp    -0x44(%rbp),%eax
jge    12a8 <construct_SA+0x198>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x48(%rbp),%eax
jle    12a8 <construct_SA+0x198>
mov    -0x44(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     130b <construct_SA+0x1fb>
xor    %eax,%eax
cmp    -0x50(%rbp),%eax
jg     12e3 <construct_SA+0x1d3>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x20(%rbp),%rax
mov    -0x4c(%rbp),%ecx
shl    $0x8,%ecx
or     -0x50(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x4c(%rbp),%edx
shl    $0x8,%edx
mov    -0x48(%rbp),%esi
mov    %esi,-0x50(%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    -0x44(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    1380 <construct_SA+0x270>
cmpl   $0x0,-0x44(%rbp)
jne    135d <construct_SA+0x24d>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
mov    $0x1,%al
cmp    -0x4c(%rbp),%ecx
mov    %al,-0x52(%rbp)
je     1367 <construct_SA+0x257>
cmpl   $0x0,-0x44(%rbp)
setl   %al
mov    %al,-0x52(%rbp)
mov    -0x52(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x44(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
jmp    1385 <construct_SA+0x275>
mov    -0x38(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
jmp    11a8 <construct_SA+0x98>
jmp    139b <construct_SA+0x28b>
mov    -0x4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
jmp    1142 <construct_SA+0x32>
jmp    13ae <construct_SA+0x29e>
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,-0x50(%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    -0x50(%rbp),%eax
jge    1407 <construct_SA+0x2f7>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
xor    $0xffffffff,%eax
mov    %eax,-0x58(%rbp)
jmp    1410 <construct_SA+0x300>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%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    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    1579 <construct_SA+0x469>
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x44(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1546 <construct_SA+0x436>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x44(%rbp)
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     14c7 <construct_SA+0x3b7>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x48(%rbp),%eax
jge    14d0 <construct_SA+0x3c0>
mov    -0x44(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     1518 <construct_SA+0x408>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x48(%rbp),%edx
mov    %edx,-0x50(%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>
mov    -0x44(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    1563 <construct_SA+0x453>
cmpl   $0x0,-0x44(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x44(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    1568 <construct_SA+0x458>
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    143f <construct_SA+0x32f>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<construct_SA>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r8d,0xc(%rsp)
mov    %rcx,0x38(%rsp)
mov    %rdx,0x28(%rsp)
mov    %rdi,%rbx
test   %r9d,%r9d
mov    %rsi,0x10(%rsp)
mov    %rdi,0x18(%rsp)
jle    12e9 <construct_SA+0x1d9>
lea    -0x4(%rsi),%rax
mov    %rax,0x48(%rsp)
mov    $0xfe,%r13d
jmp    116f <construct_SA+0x5f>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
sub    $0x1,%r13
mov    0x10(%rsp),%rsi
jb     12e9 <construct_SA+0x1d9>
lea    0x1(%r13),%eax
mov    %r13d,%ecx
shl    $0x8,%ecx
mov    %ecx,0x34(%rsp)
or     %ecx,%eax
cltq
mov    0x38(%rsp),%rcx
movslq (%rcx,%rax,4),%rax
lea    (%rsi,%rax,4),%rdx
mov    0x28(%rsp),%rax
movslq 0x4(%rax,%r13,4),%rax
mov    0x48(%rsp),%rcx
lea    (%rcx,%rax,4),%r12
mov    %rdx,0x50(%rsp)
cmp    %r12,%rdx
ja     1160 <construct_SA+0x50>
movl   $0xffffffff,0x20(%rsp)
ff
xor    %ebp,%ebp
mov    %r13,0x40(%rsp)
jmp    11f7 <construct_SA+0xe7>
nopl   0x0(%rax)
mov    %eax,%ebx
mov    0x40(%rsp),%r13
xor    %edi,%edi
cmp    %r12,%rbp
setb   %dil
call   1030 <assert@plt>
mov    %r14d,0x0(%rbp)
add    $0xfffffffffffffffc,%rbp
mov    %ebx,%eax
mov    %ebx,0x20(%rsp)
mov    0x18(%rsp),%rbx
add    $0xfffffffffffffffc,%r12
cmp    %r12,0x50(%rsp)
ja     1160 <construct_SA+0x50>
mov    (%r12),%r15d
test   %r15d,%r15d
jle    12c0 <construct_SA+0x1b0>
movzbl (%rbx,%r15,1),%eax
xor    %edi,%edi
cmp    %rax,%r13
sete   %dil
call   1030 <assert@plt>
lea    0x1(%r15),%rax
xor    %r14d,%r14d
mov    $0x0,%ecx
cmp    0xc(%rsp),%eax
jge    1234 <construct_SA+0x124>
movzbl (%rbx,%r15,1),%ecx
cmp    (%rbx,%rax,1),%cl
setbe  %cl
movzbl %cl,%edi
call   1030 <assert@plt>
lea    -0x1(%r15),%r13d
movzbl (%rbx,%r13,1),%eax
xor    %edi,%edi
cmp    (%rbx,%r15,1),%al
setbe  %dil
call   1030 <assert@plt>
mov    %r15d,%eax
not    %eax
mov    %eax,(%r12)
movzbl (%rbx,%r13,1),%ebx
cmp    $0x2,%r15d
jb     1280 <construct_SA+0x170>
mov    %r15d,%eax
add    $0xfffffffe,%eax
neg    %r15d
mov    0x18(%rsp),%rcx
cmp    %bl,(%rcx,%rax,1)
cmova  %r15d,%r13d
mov    %r13d,%r14d
mov    0x20(%rsp),%eax
cmp    %ebx,%eax
je     11c0 <construct_SA+0xb0>
test   %eax,%eax
mov    0x10(%rsp),%rcx
mov    0x38(%rsp),%rdx
mov    0x34(%rsp),%esi
js     12ac <construct_SA+0x19c>
sub    %rcx,%rbp
shr    $0x2,%rbp
or     %esi,%eax
cltq
mov    %ebp,(%rdx,%rax,4)
movslq %esi,%rax
or     %rbx,%rax
movslq (%rdx,%rax,4),%rax
lea    (%rcx,%rax,4),%rbp
jmp    11c2 <construct_SA+0xb2>
nop
test   %r15,%r15
jne    12cf <construct_SA+0x1bf>
movzbl (%rbx),%ecx
mov    $0x1,%al
cmp    %rcx,%r13
je     12d5 <construct_SA+0x1c5>
mov    %r15d,%eax
shr    $0x1f,%eax
movzbl %al,%edi
call   1030 <assert@plt>
not    %r15d
mov    %r15d,(%r12)
jmp    11e8 <construct_SA+0xd8>
mov    0xc(%rsp),%ebp
movslq %ebp,%rax
lea    -0x1(%rax),%rdx
movzbl -0x1(%rbx,%rax,1),%r15d
mov    0x28(%rsp),%rcx
movslq (%rcx,%r15,4),%rcx
mov    %ebp,%edi
neg    %edi
cmp    %r15b,-0x2(%rax,%rbx,1)
cmovae %edx,%edi
mov    %edi,(%rsi,%rcx,4)
test   %ebp,%ebp
jle    13f2 <construct_SA+0x2e2>
mov    0x10(%rsp),%rbp
lea    0x0(,%rcx,4),%r12
add    %rbp,%r12
lea    0x0(,%rax,4),%rax
add    %rbp,%rax
mov    %rax,0x20(%rsp)
add    $0x4,%r12
mov    0x18(%rsp),%r14
jmp    1372 <construct_SA+0x262>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1030 <assert@plt>
not    %ebx
mov    %ebx,0x0(%rbp)
add    $0x4,%rbp
cmp    0x20(%rsp),%rbp
jae    13f2 <construct_SA+0x2e2>
mov    0x0(%rbp),%ebx
test   %ebx,%ebx
jle    1350 <construct_SA+0x240>
lea    -0x1(%rbx),%r13d
movzbl (%r14,%r13,1),%eax
xor    %edi,%edi
cmp    (%r14,%rbx,1),%al
setae  %dil
call   1030 <assert@plt>
movzbl (%r14,%r13,1),%eax
test   %r13d,%r13d
je     13a8 <construct_SA+0x298>
lea    -0x2(%rbx),%ecx
mov    0x18(%rsp),%rdx
cmp    %al,(%rdx,%rcx,1)
jae    13ad <construct_SA+0x29d>
neg    %ebx
mov    %ebx,%r13d
cmp    %eax,%r15d
je     13d7 <construct_SA+0x2c7>
mov    0x10(%rsp),%rsi
sub    %rsi,%r12
shr    $0x2,%r12
mov    %r15d,%ecx
mov    0x28(%rsp),%rdx
mov    %r12d,(%rdx,%rcx,4)
mov    %eax,%ecx
movslq (%rdx,%rcx,4),%rcx
lea    (%rsi,%rcx,4),%r12
mov    %eax,%r15d
xor    %edi,%edi
cmp    %r12,%rbp
setb   %dil
call   1030 <assert@plt>
mov    %r13d,(%r12)
add    $0x4,%r12
jmp    1363 <construct_SA+0x253>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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