#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 */
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)) {
          *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)]);
          }
          *k-- = s;
        } else
          *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)) {
      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)];
      }
      *k++ = s;
    } else
      *i = ~s;
  }
}


x86 assembly (clang, -O0):
<construct_SA>:
push   %rbp
mov    %rsp,%rbp
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    12bc <construct_SA+0x1bc>
movl   $0xfe,-0x4c(%rbp)
xor    %eax,%eax
cmp    -0x4c(%rbp),%eax
jg     12b7 <construct_SA+0x1b7>
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     12a4 <construct_SA+0x1a4>
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x44(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1282 <construct_SA+0x182>
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    1206 <construct_SA+0x106>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x48(%rbp),%eax
jle    1206 <construct_SA+0x106>
mov    -0x44(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     1269 <construct_SA+0x169>
xor    %eax,%eax
cmp    -0x50(%rbp),%eax
jg     1241 <construct_SA+0x141>
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    -0x44(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    128e <construct_SA+0x18e>
mov    -0x44(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
jmp    1293 <construct_SA+0x193>
mov    -0x38(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
jmp    1194 <construct_SA+0x94>
jmp    12a9 <construct_SA+0x1a9>
mov    -0x4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
jmp    112e <construct_SA+0x2e>
jmp    12bc <construct_SA+0x1bc>
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    1315 <construct_SA+0x215>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
xor    $0xffffffff,%eax
mov    %eax,-0x54(%rbp)
jmp    131e <construct_SA+0x21e>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%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    1435 <construct_SA+0x335>
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
mov    %ecx,-0x44(%rbp)
xor    %eax,%eax
cmp    %ecx,%eax
jge    1413 <construct_SA+0x313>
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     13a9 <construct_SA+0x2a9>
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x48(%rbp),%eax
jge    13b2 <construct_SA+0x2b2>
mov    -0x44(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     13fa <construct_SA+0x2fa>
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    -0x44(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x40(%rbp)
mov    %ecx,(%rax)
jmp    141f <construct_SA+0x31f>
mov    -0x44(%rbp),%ecx
xor    $0xffffffff,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    1424 <construct_SA+0x324>
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    134d <construct_SA+0x24d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<construct_SA>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,-0x4(%rsp)
test   %r9d,%r9d
jle    11e0 <construct_SA+0xe0>
lea    -0x4(%rsi),%r8
mov    $0xfe,%r10d
jmp    113a <construct_SA+0x3a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
sub    $0x1,%r10
jb     11e0 <construct_SA+0xe0>
lea    0x1(%r10),%eax
mov    %r10d,%r11d
shl    $0x8,%r11d
or     %r11d,%eax
cltq
movslq (%rcx,%rax,4),%rax
lea    (%rsi,%rax,4),%r14
movslq 0x4(%rdx,%r10,4),%rax
lea    (%r8,%rax,4),%rbx
cmp    %rbx,%r14
ja     1130 <construct_SA+0x30>
mov    $0xffffffff,%r15d
xor    %r13d,%r13d
jmp    1187 <construct_SA+0x87>
nopl   0x0(%rax,%rax,1)
mov    %r15d,%ebp
mov    %r12d,0x0(%r13)
add    $0xfffffffffffffffc,%r13
mov    %ebp,%r15d
add    $0xfffffffffffffffc,%rbx
cmp    %rbx,%r14
ja     1130 <construct_SA+0x30>
mov    (%rbx),%eax
mov    %eax,%ebp
not    %ebp
mov    %ebp,(%rbx)
test   %eax,%eax
jle    117e <construct_SA+0x7e>
lea    -0x1(%rax),%r9d
movzbl (%rdi,%r9,1),%ebp
xor    %r12d,%r12d
cmp    $0x1,%eax
je     11b5 <construct_SA+0xb5>
lea    -0x2(%rax),%r12d
neg    %eax
cmp    %bpl,(%rdi,%r12,1)
cmova  %eax,%r9d
mov    %r9d,%r12d
cmp    %ebp,%r15d
je     1170 <construct_SA+0x70>
test   %r15d,%r15d
js     11d0 <construct_SA+0xd0>
sub    %rsi,%r13
shr    $0x2,%r13
or     %r11d,%r15d
movslq %r15d,%rax
mov    %r13d,(%rcx,%rax,4)
movslq %r11d,%rax
or     %rbp,%rax
movslq (%rcx,%rax,4),%rax
lea    (%rsi,%rax,4),%r13
jmp    1173 <construct_SA+0x73>
movslq -0x4(%rsp),%rax
lea    -0x1(%rax),%rbp
movzbl -0x1(%rdi,%rax,1),%r9d
movslq (%rdx,%r9,4),%rcx
mov    %eax,%ebx
neg    %ebx
cmp    %r9b,-0x2(%rax,%rdi,1)
cmovae %ebp,%ebx
mov    %ebx,(%rsi,%rcx,4)
test   %eax,%eax
jle    1276 <construct_SA+0x176>
lea    (%rsi,%rcx,4),%r10
lea    (%rsi,%rax,4),%r8
add    $0x4,%r10
mov    %rsi,%rcx
jmp    122d <construct_SA+0x12d>
nopw   0x0(%rax,%rax,1)
not    %ebp
mov    %ebp,(%rcx)
add    $0x4,%rcx
cmp    %r8,%rcx
jae    1276 <construct_SA+0x176>
mov    (%rcx),%ebp
test   %ebp,%ebp
jle    1220 <construct_SA+0x120>
mov    %ebp,%ebx
add    $0xffffffff,%ebx
movzbl (%rdi,%rbx,1),%r11d
je     1248 <construct_SA+0x148>
lea    -0x2(%rbp),%eax
cmp    %r11b,(%rdi,%rax,1)
jae    124c <construct_SA+0x14c>
neg    %ebp
mov    %ebp,%ebx
cmp    %r11d,%r9d
je     126d <construct_SA+0x16d>
sub    %rsi,%r10
shr    $0x2,%r10
mov    %r9d,%eax
mov    %r10d,(%rdx,%rax,4)
mov    %r11d,%eax
movslq (%rdx,%rax,4),%rax
lea    (%rsi,%rax,4),%r10
mov    %r11d,%r9d
mov    %ebx,(%r10)
add    $0x4,%r10
jmp    1224 <construct_SA+0x124>
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 %134
22: ; preds = %6
store i32 254, i32* %18
br label %23
23: ; preds = %130, %22
%24 = load i32, i32* %18
%25 = icmp sle i32 0, %24
br i1 %25, label %26, label %133
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 = %126, %26
%50 = load i32*, i32** %13
%51 = load i32*, i32** %14
%52 = icmp ule i32* %50, %51
br i1 %52, label %53, label %129
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 %121
57: ; preds = %53
%58 = load i32, i32* %16
%59 = xor i32 %58, -1
%60 = load i32*, i32** %14
store i32 %59, i32* %60
%61 = load i8*, i8** %7
%62 = load i32, i32* %16
%63 = add nsw i32 %62, -1
store i32 %63, i32* %16
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %61, i64 %64
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
store i32 %67, i32* %17
%68 = load i32, i32* %16
%69 = icmp slt i32 0, %68
br i1 %69, label %70, label %83
70: ; preds = %57
%71 = load i8*, i8** %7
%72 = load i32, i32* %16
%73 = sub nsw i32 %72, 1
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %71, i64 %74
%76 = load i8, i8* %75
%77 = zext i8 %76 to i32
%78 = load i32, i32* %17
%79 = icmp sgt i32 %77, %78
br i1 %79, label %80, label %83
80: ; preds = %70
%81 = load i32, i32* %16
%82 = xor i32 %81, -1
store i32 %82, i32* %16
br label %83
83: ; preds = %80, %70, %57
%84 = load i32, i32* %17
%85 = load i32, i32* %19
%86 = icmp ne i32 %84, %85
br i1 %86, label %87, label %117
87: ; preds = %83
%88 = load i32, i32* %19
%89 = icmp sle i32 0, %88
br i1 %89, label %90, label %105
90: ; preds = %87
%91 = load i32*, i32** %15
%92 = load i32*, i32** %8
%93 = ptrtoint i32* %91 to i64
%94 = ptrtoint i32* %92 to i64
%95 = sub i64 %93, %94
%96 = sdiv exact i64 %95, 4
%97 = trunc i64 %96 to i32
%98 = load i32*, i32** %10
%99 = load i32, i32* %18
%100 = shl i32 %99, 8
%101 = load i32, i32* %19
%102 = or i32 %100, %101
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %98, i64 %103
store i32 %97, i32* %104
br label %105
105: ; preds = %90, %87
%106 = load i32*, i32** %8
%107 = load i32*, i32** %10
%108 = load i32, i32* %18
%109 = shl i32 %108, 8
%110 = load i32, i32* %17
store i32 %110, i32* %19
%111 = or i32 %109, %110
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %107, i64 %112
%114 = load i32, i32* %113
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %106, i64 %115
store i32* %116, i32** %15
br label %117
117: ; preds = %105, %83
%118 = load i32, i32* %16
%119 = load i32*, i32** %15
%120 = getelementptr inbounds i32, i32* %119, i32 -1
store i32* %120, i32** %15
store i32 %118, i32* %119
br label %125
121: ; preds = %53
%122 = load i32, i32* %16
%123 = xor i32 %122, -1
%124 = load i32*, i32** %14
store i32 %123, i32* %124
br label %125
125: ; preds = %121, %117
br label %126
126: ; preds = %125
%127 = load i32*, i32** %14
%128 = getelementptr inbounds i32, i32* %127, i32 -1
store i32* %128, i32** %14
br label %49
129: ; preds = %49
br label %130
130: ; preds = %129
%131 = load i32, i32* %18
%132 = add nsw i32 %131, -1
store i32 %132, i32* %18
br label %23
133: ; preds = %23
br label %134
134: ; preds = %133, %6
%135 = load i32*, i32** %8
%136 = load i32*, i32** %9
%137 = load i8*, i8** %7
%138 = load i32, i32* %11
%139 = sub nsw i32 %138, 1
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i8, i8* %137, i64 %140
%142 = load i8, i8* %141
%143 = zext i8 %142 to i32
store i32 %143, i32* %19
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %136, i64 %144
%146 = load i32, i32* %145
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i32, i32* %135, i64 %147
store i32* %148, i32** %15
%149 = load i8*, i8** %7
%150 = load i32, i32* %11
%151 = sub nsw i32 %150, 2
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %149, i64 %152
%154 = load i8, i8* %153
%155 = zext i8 %154 to i32
%156 = load i32, i32* %19
%157 = icmp slt i32 %155, %156
br i1 %157, label %158, label %162
158: ; preds = %134
%159 = load i32, i32* %11
%160 = sub nsw i32 %159, 1
%161 = xor i32 %160, -1
br label %165
162: ; preds = %134
%163 = load i32, i32* %11
%164 = sub nsw i32 %163, 1
br label %165
165: ; preds = %162, %158
%166 = phi i32 [ %161, %158 ], [ %164, %162 ]
%167 = load i32*, i32** %15
%168 = getelementptr inbounds i32, i32* %167, i32 1
store i32* %168, i32** %15
store i32 %166, i32* %167
%169 = load i32*, i32** %8
store i32* %169, i32** %13
%170 = load i32*, i32** %8
%171 = load i32, i32* %11
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %170, i64 %172
store i32* %173, i32** %14
br label %174
174: ; preds = %238, %165
%175 = load i32*, i32** %13
%176 = load i32*, i32** %14
%177 = icmp ult i32* %175, %176
br i1 %177, label %178, label %241
178: ; preds = %174
%179 = load i32*, i32** %13
%180 = load i32, i32* %179
store i32 %180, i32* %16
%181 = icmp slt i32 0, %180
br i1 %181, label %182, label %233
182: ; preds = %178
%183 = load i8*, i8** %7
%184 = load i32, i32* %16
%185 = add nsw i32 %184, -1
store i32 %185, i32* %16
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i8, i8* %183, i64 %186
%188 = load i8, i8* %187
%189 = zext i8 %188 to i32
store i32 %189, i32* %17
%190 = load i32, i32* %16
%191 = icmp eq i32 %190, 0
br i1 %191, label %202, label %192
192: ; preds = %182
%193 = load i8*, i8** %7
%194 = load i32, i32* %16
%195 = sub nsw i32 %194, 1
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds i8, i8* %193, i64 %196
%198 = load i8, i8* %197
%199 = zext i8 %198 to i32
%200 = load i32, i32* %17
%201 = icmp slt i32 %199, %200
br i1 %201, label %202, label %205
202: ; preds = %192, %182
%203 = load i32, i32* %16
%204 = xor i32 %203, -1
store i32 %204, i32* %16
br label %205
205: ; preds = %202, %192
%206 = load i32, i32* %17
%207 = load i32, i32* %19
%208 = icmp ne i32 %206, %207
br i1 %208, label %209, label %229
209: ; preds = %205
%210 = load i32*, i32** %15
%211 = load i32*, i32** %8
%212 = ptrtoint i32* %210 to i64
%213 = ptrtoint i32* %211 to i64
%214 = sub i64 %212, %213
%215 = sdiv exact i64 %214, 4
%216 = trunc i64 %215 to i32
%217 = load i32*, i32** %9
%218 = load i32, i32* %19
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i32, i32* %217, i64 %219
store i32 %216, i32* %220
%221 = load i32*, i32** %8
%222 = load i32*, i32** %9
%223 = load i32, i32* %17
store i32 %223, i32* %19
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i32, i32* %222, i64 %224
%226 = load i32, i32* %225
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i32, i32* %221, i64 %227
store i32* %228, i32** %15
br label %229
229: ; preds = %209, %205
%230 = load i32, i32* %16
%231 = load i32*, i32** %15
%232 = getelementptr inbounds i32, i32* %231, i32 1
store i32* %232, i32** %15
store i32 %230, i32* %231
br label %237
233: ; preds = %178
%234 = load i32, i32* %16
%235 = xor i32 %234, -1
%236 = load i32*, i32** %13
store i32 %235, i32* %236
br label %237
237: ; preds = %233, %229
br label %238
238: ; preds = %237
%239 = load i32*, i32** %13
%240 = getelementptr inbounds i32, i32* %239, i32 1
store i32* %240, i32** %13
br label %174
241: ; preds = %174
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 %83
8: ; preds = %6
%9 = ptrtoint i32* %1 to i64
%10 = getelementptr inbounds i32, i32* %1, i64 -1
br label %11
11: ; preds = %8, %80
%12 = phi i64 [ 254, %8 ], [ %81, %80 ]
%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 %80, label %29
29: ; preds = %11, %75
%30 = phi i32* [ %78, %75 ], [ %27, %11 ]
%31 = phi i32 [ %77, %75 ], [ -1, %11 ]
%32 = phi i32* [ %76, %75 ], [ null, %11 ]
%33 = load i32, i32* %30
%34 = icmp sgt i32 %33, 0
%35 = xor i32 %33, -1
store i32 %35, i32* %30
br i1 %34, label %36, label %75
36: ; preds = %29
%37 = add nsw i32 %33, -1
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = icmp eq i32 %33, 1
br i1 %42, label %51, label %43
43: ; preds = %36
%44 = add nsw i32 %33, -2
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %0, i64 %45
%47 = load i8, i8* %46
%48 = icmp ugt i8 %47, %40
%49 = sub nsw i32 0, %33
%50 = select i1 %48, i32 %49, i32 %37
br label %51
51: ; preds = %43, %36
%52 = phi i32 [ 0, %36 ], [ %50, %43 ]
%53 = icmp eq i32 %31, %41
br i1 %53, label %71, label %54
54: ; preds = %51
%55 = icmp sgt i32 %31, -1
br i1 %55, label %56, label %64
56: ; preds = %54
%57 = ptrtoint i32* %32 to i64
%58 = sub i64 %57, %9
%59 = lshr exact i64 %58, 2
%60 = trunc i64 %59 to i32
%61 = or i32 %31, %17
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %3, i64 %62
store i32 %60, i32* %63
br label %64
64: ; preds = %56, %54
%65 = or i32 %17, %41
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %3, i64 %66
%68 = load i32, i32* %67
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %1, i64 %69
br label %71
71: ; preds = %64, %51
%72 = phi i32* [ %70, %64 ], [ %32, %51 ]
%73 = phi i32 [ %41, %64 ], [ %31, %51 ]
%74 = getelementptr inbounds i32, i32* %72, i64 -1
store i32 %52, i32* %72
br label %75
75: ; preds = %29, %71
%76 = phi i32* [ %74, %71 ], [ %32, %29 ]
%77 = phi i32 [ %73, %71 ], [ %31, %29 ]
%78 = getelementptr inbounds i32, i32* %30, i64 -1
%79 = icmp ugt i32* %23, %78
br i1 %79, label %80, label %29
80: ; preds = %75, %11
%81 = add nsw i64 %12, -1
%82 = icmp eq i64 %12, 0
br i1 %82, label %83, label %11
83: ; preds = %80, %6
%84 = add nsw i32 %4, -1
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %0, i64 %85
%87 = load i8, i8* %86
%88 = zext i8 %87 to i64
%89 = getelementptr inbounds i32, i32* %2, i64 %88
%90 = load i32, i32* %89
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %1, i64 %91
%93 = add nsw i32 %4, -2
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %0, i64 %94
%96 = load i8, i8* %95
%97 = icmp ult i8 %96, %87
%98 = sub i32 0, %4
%99 = select i1 %97, i32 %98, i32 %84
store i32 %99, i32* %92
%100 = sext i32 %4 to i64
%101 = getelementptr inbounds i32, i32* %1, i64 %100
%102 = icmp sgt i32 %4, 0
br i1 %102, label %103, label %154
103: ; preds = %83
%104 = getelementptr inbounds i32, i32* %92, i64 1
%105 = zext i8 %87 to i32
%106 = ptrtoint i32* %1 to i64
br label %107
107: ; preds = %103, %149
%108 = phi i32 [ %105, %103 ], [ %151, %149 ]
%109 = phi i32* [ %104, %103 ], [ %150, %149 ]
%110 = phi i32* [ %1, %103 ], [ %152, %149 ]
%111 = load i32, i32* %110
%112 = icmp sgt i32 %111, 0
br i1 %112, label %113, label %147
113: ; preds = %107
%114 = add nsw i32 %111, -1
%115 = zext i32 %114 to i64
%116 = getelementptr inbounds i8, i8* %0, i64 %115
%117 = load i8, i8* %116
%118 = zext i8 %117 to i32
%119 = icmp eq i32 %114, 0
br i1 %119, label %126, label %120
120: ; preds = %113
%121 = add nsw i32 %111, -2
%122 = zext i32 %121 to i64
%123 = getelementptr inbounds i8, i8* %0, i64 %122
%124 = load i8, i8* %123
%125 = icmp ult i8 %124, %117
br i1 %125, label %126, label %128
126: ; preds = %120, %113
%127 = sub nsw i32 0, %111
br label %128
128: ; preds = %126, %120
%129 = phi i32 [ %127, %126 ], [ %114, %120 ]
%130 = icmp eq i32 %108, %118
br i1 %130, label %143, label %131
131: ; preds = %128
%132 = ptrtoint i32* %109 to i64
%133 = sub i64 %132, %106
%134 = lshr exact i64 %133, 2
%135 = trunc i64 %134 to i32
%136 = zext i32 %108 to i64
%137 = getelementptr inbounds i32, i32* %2, i64 %136
store i32 %135, i32* %137
%138 = zext i8 %117 to i64
%139 = getelementptr inbounds i32, i32* %2, i64 %138
%140 = load i32, i32* %139
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i32, i32* %1, i64 %141
br label %143
143: ; preds = %131, %128
%144 = phi i32* [ %142, %131 ], [ %109, %128 ]
%145 = phi i32 [ %118, %131 ], [ %108, %128 ]
%146 = getelementptr inbounds i32, i32* %144, i64 1
store i32 %129, i32* %144
br label %149
147: ; preds = %107
%148 = xor i32 %111, -1
store i32 %148, i32* %110
br label %149
149: ; preds = %143, %147
%150 = phi i32* [ %146, %143 ], [ %109, %147 ]
%151 = phi i32 [ %145, %143 ], [ %108, %147 ]
%152 = getelementptr inbounds i32, i32* %110, i64 1
%153 = icmp ult i32* %152, %101
br i1 %153, label %107, label %154
154: ; preds = %149, %83
ret void
}