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

/* Forward declarations */

/* Type definitions */
typedef size_t off_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
off_t LMSpostproc2(off_t *SA, off_t n, off_t m) {
  off_t i, j, d, name;
  assert(0 < n);
  for (i = 0, name = 0; (j = SA[i]) < 0; ++i) {
    j = ~j;
    if (n <= j) {
      name += 1;
    }
    SA[i] = j;
    assert((i + 1) < n);
  }
  if (i < m) {
    for (d = i, ++i;; ++i) {
      assert(i < n);
      if ((j = SA[i]) < 0) {
        j = ~j;
        if (n <= j) {
          name += 1;
        }
        SA[d++] = j;
        SA[i] = 0;
        if (d == m) {
          break;
        }
      }
    }
  }
  if (name < m) {
    for (i = m - 1, d = name + 1; 0 <= i; --i) {
      if (n <= (j = SA[i])) {
        j -= n;
        --d;
      }
      SA[m + (j >> 1)] = d;
    }
  } else {
    for (i = 0; i < m; ++i) {
      if (n <= (j = SA[i])) {
        j -= n;
        SA[i] = j;
      }
    }
  }
  return name;
}


x86 assembly (clang, -O0):
<LMSpostproc2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
xor    %eax,%eax
cmp    -0x10(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
jae    11c1 <LMSpostproc2+0xb1>
mov    -0x28(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     1187 <LMSpostproc2+0x77>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
cmp    -0x10(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1147 <LMSpostproc2+0x37>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1296 <LMSpostproc2+0x186>
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
jae    127b <LMSpostproc2+0x16b>
mov    -0x28(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     1238 <LMSpostproc2+0x128>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %rdx,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movq   $0x0,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    1276 <LMSpostproc2+0x166>
jmp    1291 <LMSpostproc2+0x181>
jmp    127b <LMSpostproc2+0x16b>
jmp    1280 <LMSpostproc2+0x170>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11e3 <LMSpostproc2+0xd3>
jmp    1296 <LMSpostproc2+0x186>
mov    -0x38(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1331 <LMSpostproc2+0x221>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmp    -0x20(%rbp),%rax
ja     132c <LMSpostproc2+0x21c>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    %rcx,-0x28(%rbp)
cmp    %rcx,%rax
ja     1300 <LMSpostproc2+0x1f0>
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rsi
shr    $0x1,%rsi
add    %rsi,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    12bc <LMSpostproc2+0x1ac>
jmp    139e <LMSpostproc2+0x28e>
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1399 <LMSpostproc2+0x289>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    %rcx,-0x28(%rbp)
cmp    %rcx,%rax
ja     1383 <LMSpostproc2+0x273>
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    1388 <LMSpostproc2+0x278>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1339 <LMSpostproc2+0x229>
jmp    139e <LMSpostproc2+0x28e>
mov    -0x38(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<LMSpostproc2>:
push   %r15
push   %r14
push   %rbx
mov    %rdx,%r14
mov    %rsi,%r15
xor    %edi,%edi
test   %rsi,%rsi
setne  %dil
call   1030 <assert@plt>
test   %r14,%r14
je     1154 <LMSpostproc2+0x44>
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %edi,%edi
cmp    %r15,%rbx
setb   %dil
call   1030 <assert@plt>
add    $0x1,%rbx
jmp    1140 <LMSpostproc2+0x30>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i64 @LMSpostproc2(i64* %0, i64 %1, i64 %2) {
%4 = alloca i64*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
store i64* %0, i64** %4
store i64 %1, i64* %5
store i64 %2, i64* %6
%11 = load i64, i64* %5
%12 = icmp ult i64 0, %11
%13 = zext i1 %12 to i32
%14 = call i32 @assert(i32 %13)
store i64 0, i64* %7
store i64 0, i64* %10
br label %15
15: ; preds = %41, %3
%16 = load i64*, i64** %4
%17 = load i64, i64* %7
%18 = getelementptr inbounds i64, i64* %16, i64 %17
%19 = load i64, i64* %18
store i64 %19, i64* %8
%20 = icmp ult i64 %19, 0
br i1 %20, label %21, label %44
21: ; preds = %15
%22 = load i64, i64* %8
%23 = xor i64 %22, -1
store i64 %23, i64* %8
%24 = load i64, i64* %5
%25 = load i64, i64* %8
%26 = icmp ule i64 %24, %25
br i1 %26, label %27, label %30
27: ; preds = %21
%28 = load i64, i64* %10
%29 = add i64 %28, 1
store i64 %29, i64* %10
br label %30
30: ; preds = %27, %21
%31 = load i64, i64* %8
%32 = load i64*, i64** %4
%33 = load i64, i64* %7
%34 = getelementptr inbounds i64, i64* %32, i64 %33
store i64 %31, i64* %34
%35 = load i64, i64* %7
%36 = add i64 %35, 1
%37 = load i64, i64* %5
%38 = icmp ult i64 %36, %37
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
br label %41
41: ; preds = %30
%42 = load i64, i64* %7
%43 = add i64 %42, 1
store i64 %43, i64* %7
br label %15
44: ; preds = %15
%45 = load i64, i64* %7
%46 = load i64, i64* %6
%47 = icmp ult i64 %45, %46
br i1 %47, label %48, label %91
48: ; preds = %44
%49 = load i64, i64* %7
store i64 %49, i64* %9
%50 = load i64, i64* %7
%51 = add i64 %50, 1
store i64 %51, i64* %7
br label %52
52: ; preds = %87, %48
%53 = load i64, i64* %7
%54 = load i64, i64* %5
%55 = icmp ult i64 %53, %54
%56 = zext i1 %55 to i32
%57 = call i32 @assert(i32 %56)
%58 = load i64*, i64** %4
%59 = load i64, i64* %7
%60 = getelementptr inbounds i64, i64* %58, i64 %59
%61 = load i64, i64* %60
store i64 %61, i64* %8
%62 = icmp ult i64 %61, 0
br i1 %62, label %63, label %86
63: ; preds = %52
%64 = load i64, i64* %8
%65 = xor i64 %64, -1
store i64 %65, i64* %8
%66 = load i64, i64* %5
%67 = load i64, i64* %8
%68 = icmp ule i64 %66, %67
br i1 %68, label %69, label %72
69: ; preds = %63
%70 = load i64, i64* %10
%71 = add i64 %70, 1
store i64 %71, i64* %10
br label %72
72: ; preds = %69, %63
%73 = load i64, i64* %8
%74 = load i64*, i64** %4
%75 = load i64, i64* %9
%76 = add i64 %75, 1
store i64 %76, i64* %9
%77 = getelementptr inbounds i64, i64* %74, i64 %75
store i64 %73, i64* %77
%78 = load i64*, i64** %4
%79 = load i64, i64* %7
%80 = getelementptr inbounds i64, i64* %78, i64 %79
store i64 0, i64* %80
%81 = load i64, i64* %9
%82 = load i64, i64* %6
%83 = icmp eq i64 %81, %82
br i1 %83, label %84, label %85
84: ; preds = %72
br label %90
85: ; preds = %72
br label %86
86: ; preds = %85, %52
br label %87
87: ; preds = %86
%88 = load i64, i64* %7
%89 = add i64 %88, 1
store i64 %89, i64* %7
br label %52
90: ; preds = %84
br label %91
91: ; preds = %90, %44
%92 = load i64, i64* %10
%93 = load i64, i64* %6
%94 = icmp ult i64 %92, %93
br i1 %94, label %95, label %128
95: ; preds = %91
%96 = load i64, i64* %6
%97 = sub i64 %96, 1
store i64 %97, i64* %7
%98 = load i64, i64* %10
%99 = add i64 %98, 1
store i64 %99, i64* %9
br label %100
100: ; preds = %124, %95
%101 = load i64, i64* %7
%102 = icmp ule i64 0, %101
br i1 %102, label %103, label %127
103: ; preds = %100
%104 = load i64, i64* %5
%105 = load i64*, i64** %4
%106 = load i64, i64* %7
%107 = getelementptr inbounds i64, i64* %105, i64 %106
%108 = load i64, i64* %107
store i64 %108, i64* %8
%109 = icmp ule i64 %104, %108
br i1 %109, label %110, label %116
110: ; preds = %103
%111 = load i64, i64* %5
%112 = load i64, i64* %8
%113 = sub i64 %112, %111
store i64 %113, i64* %8
%114 = load i64, i64* %9
%115 = add i64 %114, -1
store i64 %115, i64* %9
br label %116
116: ; preds = %110, %103
%117 = load i64, i64* %9
%118 = load i64*, i64** %4
%119 = load i64, i64* %6
%120 = load i64, i64* %8
%121 = lshr i64 %120, 1
%122 = add i64 %119, %121
%123 = getelementptr inbounds i64, i64* %118, i64 %122
store i64 %117, i64* %123
br label %124
124: ; preds = %116
%125 = load i64, i64* %7
%126 = add i64 %125, -1
store i64 %126, i64* %7
br label %100
127: ; preds = %100
br label %153
128: ; preds = %91
store i64 0, i64* %7
br label %129
129: ; preds = %149, %128
%130 = load i64, i64* %7
%131 = load i64, i64* %6
%132 = icmp ult i64 %130, %131
br i1 %132, label %133, label %152
133: ; preds = %129
%134 = load i64, i64* %5
%135 = load i64*, i64** %4
%136 = load i64, i64* %7
%137 = getelementptr inbounds i64, i64* %135, i64 %136
%138 = load i64, i64* %137
store i64 %138, i64* %8
%139 = icmp ule i64 %134, %138
br i1 %139, label %140, label %148
140: ; preds = %133
%141 = load i64, i64* %5
%142 = load i64, i64* %8
%143 = sub i64 %142, %141
store i64 %143, i64* %8
%144 = load i64, i64* %8
%145 = load i64*, i64** %4
%146 = load i64, i64* %7
%147 = getelementptr inbounds i64, i64* %145, i64 %146
store i64 %144, i64* %147
br label %148
148: ; preds = %140, %133
br label %149
149: ; preds = %148
%150 = load i64, i64* %7
%151 = add i64 %150, 1
store i64 %151, i64* %7
br label %129
152: ; preds = %129
br label %153
153: ; preds = %152, %127
%154 = load i64, i64* %10
ret i64 %154
}

LLVM IR (-O2):
define i64 @LMSpostproc2(i64* nocapture readnone %0, i64 %1, i64 %2) {
%4 = icmp ne i64 %1, 0
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = icmp eq i64 %2, 0
br i1 %7, label %14, label %8
8: ; preds = %3, %8
%9 = phi i64 [ %13, %8 ], [ 1, %3 ]
%10 = icmp ult i64 %9, %1
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = add i64 %9, 1
br label %8
14: ; preds = %3
ret i64 0
}