#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);
long long LMSpostproc2_64(long long *SA, long long n, long long m) {
  long long 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_64>:
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
setl   %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
jge    11c1 <LMSpostproc2_64+0xb1>
mov    -0x28(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
jg     1187 <LMSpostproc2_64+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
setl   %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_64+0x37>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1296 <LMSpostproc2_64+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
setl   %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
jge    127b <LMSpostproc2_64+0x16b>
mov    -0x28(%rbp),%rax
xor    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
jg     1238 <LMSpostproc2_64+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_64+0x166>
jmp    1291 <LMSpostproc2_64+0x181>
jmp    127b <LMSpostproc2_64+0x16b>
jmp    1280 <LMSpostproc2_64+0x170>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11e3 <LMSpostproc2_64+0xd3>
jmp    1296 <LMSpostproc2_64+0x186>
mov    -0x38(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1331 <LMSpostproc2_64+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
jg     132c <LMSpostproc2_64+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
jg     1300 <LMSpostproc2_64+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
sar    $0x1,%rsi
add    %rsi,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    12bc <LMSpostproc2_64+0x1ac>
jmp    139e <LMSpostproc2_64+0x28e>
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1399 <LMSpostproc2_64+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
jg     1383 <LMSpostproc2_64+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_64+0x278>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1339 <LMSpostproc2_64+0x229>
jmp    139e <LMSpostproc2_64+0x28e>
mov    -0x38(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<LMSpostproc2_64>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%rbx
mov    %rsi,%r14
mov    %rdi,%r13
xor    %edi,%edi
test   %rsi,%rsi
setg   %dil
call   1030 <assert@plt>
mov    0x0(%r13),%rax
test   %rax,%rax
js     114a <LMSpostproc2_64+0x3a>
xor    %ebp,%ebp
xor    %r12d,%r12d
cmp    %rbx,%rbp
jl     1198 <LMSpostproc2_64+0x88>
jmp    11e8 <LMSpostproc2_64+0xd8>
mov    $0x1,%ebp
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
not    %rax
xor    %ecx,%ecx
cmp    %r14,%rax
setge  %cl
add    %rcx,%r12
mov    %rax,-0x8(%r13,%rbp,8)
xor    %edi,%edi
cmp    %r14,%rbp
setl   %dil
call   1030 <assert@plt>
mov    0x0(%r13,%rbp,8),%rax
add    $0x1,%rbp
test   %rax,%rax
js     1160 <LMSpostproc2_64+0x50>
add    $0xffffffffffffffff,%rbp
cmp    %rbx,%rbp
jge    11e8 <LMSpostproc2_64+0xd8>
mov    %rbp,%r15
mov    %rbx,(%rsp)
nop
mov    %rbp,%rbx
add    $0x1,%rbp
xor    %edi,%edi
cmp    %r14,%rbp
setl   %dil
call   1030 <assert@plt>
mov    0x8(%r13,%rbx,8),%rax
test   %rax,%rax
jns    11a0 <LMSpostproc2_64+0x90>
not    %rax
xor    %ecx,%ecx
cmp    %r14,%rax
setge  %cl
add    %rcx,%r12
mov    %rax,0x0(%r13,%r15,8)
add    $0x1,%r15
movq   $0x0,0x0(%r13,%rbp,8)
mov    (%rsp),%rbx
cmp    %rbx,%r15
jne    11a0 <LMSpostproc2_64+0x90>
cmp    %rbx,%r12
jge    120e <LMSpostproc2_64+0xfe>
test   %rbx,%rbx
jle    12d6 <LMSpostproc2_64+0x1c6>
lea    0x1(%r12),%rax
test   $0x1,%bl
jne    1244 <LMSpostproc2_64+0x134>
mov    %rbx,%rcx
cmp    $0x1,%rbx
jne    1273 <LMSpostproc2_64+0x163>
jmp    12d6 <LMSpostproc2_64+0x1c6>
test   %rbx,%rbx
jle    12d6 <LMSpostproc2_64+0x1c6>
cmp    $0x1,%rbx
jne    12e8 <LMSpostproc2_64+0x1d8>
xor    %eax,%eax
test   $0x1,%bl
je     12d6 <LMSpostproc2_64+0x1c6>
mov    0x0(%r13,%rax,8),%rcx
sub    %r14,%rcx
jl     12d6 <LMSpostproc2_64+0x1c6>
mov    %rcx,0x0(%r13,%rax,8)
jmp    12d6 <LMSpostproc2_64+0x1c6>
lea    -0x1(%rbx),%rcx
mov    -0x8(%r13,%rbx,8),%rdx
xor    %esi,%esi
xor    %edi,%edi
cmp    %r14,%rdx
setge  %dil
cmovge %r14,%rsi
sub    %rsi,%rdx
sub    %rdi,%rax
shr    %rdx
add    %rbx,%rdx
mov    %rax,0x0(%r13,%rdx,8)
cmp    $0x1,%rbx
je     12d6 <LMSpostproc2_64+0x1c6>
add    $0x1,%rcx
xor    %edx,%edx
nopl   0x0(%rax)
mov    -0x10(%r13,%rcx,8),%rsi
xor    %edi,%edi
cmp    %r14,%rsi
setge  %dil
mov    %r14,%rbp
cmovl  %rdx,%rbp
sub    %rbp,%rsi
sub    %rdi,%rax
shr    %rsi
add    %rbx,%rsi
mov    %rax,0x0(%r13,%rsi,8)
mov    -0x18(%r13,%rcx,8),%rsi
xor    %edi,%edi
cmp    %r14,%rsi
mov    %r14,%rbp
cmovl  %rdx,%rbp
setge  %dil
sub    %rbp,%rsi
sub    %rdi,%rax
shr    %rsi
add    %rbx,%rsi
mov    %rax,0x0(%r13,%rsi,8)
add    $0xfffffffffffffffe,%rcx
cmp    $0x1,%rcx
ja     1280 <LMSpostproc2_64+0x170>
mov    %r12,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rbx,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
jmp    130d <LMSpostproc2_64+0x1fd>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x2,%rax
cmp    %rax,%rcx
je     1223 <LMSpostproc2_64+0x113>
mov    0x0(%r13,%rax,8),%rdx
sub    %r14,%rdx
jl     131c <LMSpostproc2_64+0x20c>
mov    %rdx,0x0(%r13,%rax,8)
mov    0x8(%r13,%rax,8),%rdx
sub    %r14,%rdx
jl     1300 <LMSpostproc2_64+0x1f0>
mov    %rdx,0x8(%r13,%rax,8)
jmp    1300 <LMSpostproc2_64+0x1f0>

LLVM IR (-O0):
define i64 @LMSpostproc2_64(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 slt 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 slt 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 sle i64 %24, %25
br i1 %26, label %27, label %30
27: ; preds = %21
%28 = load i64, i64* %10
%29 = add nsw 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 nsw i64 %35, 1
%37 = load i64, i64* %5
%38 = icmp slt 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 nsw 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 slt 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 nsw 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 slt 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 slt 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 sle i64 %66, %67
br i1 %68, label %69, label %72
69: ; preds = %63
%70 = load i64, i64* %10
%71 = add nsw 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 nsw 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 nsw 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 slt i64 %92, %93
br i1 %94, label %95, label %128
95: ; preds = %91
%96 = load i64, i64* %6
%97 = sub nsw i64 %96, 1
store i64 %97, i64* %7
%98 = load i64, i64* %10
%99 = add nsw i64 %98, 1
store i64 %99, i64* %9
br label %100
100: ; preds = %124, %95
%101 = load i64, i64* %7
%102 = icmp sle 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 sle 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 nsw i64 %112, %111
store i64 %113, i64* %8
%114 = load i64, i64* %9
%115 = add nsw 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 = ashr i64 %120, 1
%122 = add nsw 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 nsw 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 slt 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 sle 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 nsw 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 nsw 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_64(i64* nocapture %0, i64 %1, i64 %2) {
%4 = icmp sgt i64 %1, 0
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = load i64, i64* %0
%8 = icmp slt i64 %7, 0
br i1 %8, label %9, label %25
9: ; preds = %3, %9
%10 = phi i64 [ %23, %9 ], [ %7, %3 ]
%11 = phi i64* [ %22, %9 ], [ %0, %3 ]
%12 = phi i64 [ %17, %9 ], [ 0, %3 ]
%13 = phi i64 [ %18, %9 ], [ 0, %3 ]
%14 = xor i64 %10, -1
%15 = icmp sge i64 %14, %1
%16 = zext i1 %15 to i64
%17 = add nuw nsw i64 %12, %16
store i64 %14, i64* %11
%18 = add nuw nsw i64 %13, 1
%19 = icmp slt i64 %18, %1
%20 = zext i1 %19 to i32
%21 = tail call i32 @assert(i32 %20)
%22 = getelementptr inbounds i64, i64* %0, i64 %18
%23 = load i64, i64* %22
%24 = icmp slt i64 %23, 0
br i1 %24, label %9, label %25
25: ; preds = %9, %3
%26 = phi i64 [ 0, %3 ], [ %18, %9 ]
%27 = phi i64 [ 0, %3 ], [ %17, %9 ]
%28 = icmp slt i64 %26, %2
br i1 %28, label %29, label %51
29: ; preds = %25, %42
%30 = phi i64 [ %35, %42 ], [ %26, %25 ]
%31 = phi i64 [ %48, %42 ], [ %26, %25 ]
%32 = phi i64 [ %47, %42 ], [ %27, %25 ]
br label %33
33: ; preds = %29, %33
%34 = phi i64 [ %35, %33 ], [ %30, %29 ]
%35 = add nuw nsw i64 %34, 1
%36 = icmp slt i64 %35, %1
%37 = zext i1 %36 to i32
%38 = tail call i32 @assert(i32 %37)
%39 = getelementptr inbounds i64, i64* %0, i64 %35
%40 = load i64, i64* %39
%41 = icmp slt i64 %40, 0
br i1 %41, label %42, label %33
42: ; preds = %33
%43 = getelementptr inbounds i64, i64* %0, i64 %35
%44 = xor i64 %40, -1
%45 = icmp sge i64 %44, %1
%46 = zext i1 %45 to i64
%47 = add nsw i64 %32, %46
%48 = add nsw i64 %31, 1
%49 = getelementptr inbounds i64, i64* %0, i64 %31
store i64 %44, i64* %49
store i64 0, i64* %43
%50 = icmp eq i64 %48, %2
br i1 %50, label %51, label %29
51: ; preds = %42, %25
%52 = phi i64 [ %27, %25 ], [ %47, %42 ]
%53 = icmp slt i64 %52, %2
%54 = icmp sgt i64 %2, 0
br i1 %53, label %61, label %55
55: ; preds = %51
br i1 %54, label %56, label %139
56: ; preds = %55
%57 = and i64 %2, 1
%58 = icmp eq i64 %2, 1
br i1 %58, label %130, label %59
59: ; preds = %56
%60 = and i64 %2, -2
br label %111
61: ; preds = %51
br i1 %54, label %62, label %139
62: ; preds = %61
%63 = add nsw i64 %52, 1
%64 = and i64 %2, 1
%65 = icmp eq i64 %64, 0
br i1 %65, label %79, label %66
66: ; preds = %62
%67 = add nsw i64 %2, -1
%68 = getelementptr inbounds i64, i64* %0, i64 %67
%69 = load i64, i64* %68
%70 = icmp slt i64 %69, %1
%71 = select i1 %70, i64 0, i64 %1
%72 = sub nsw i64 %69, %71
%73 = xor i1 %70, true
%74 = sext i1 %73 to i64
%75 = add nsw i64 %63, %74
%76 = ashr i64 %72, 1
%77 = add nsw i64 %76, %2
%78 = getelementptr inbounds i64, i64* %0, i64 %77
store i64 %75, i64* %78
br label %79
79: ; preds = %66, %62
%80 = phi i64 [ %2, %62 ], [ %67, %66 ]
%81 = phi i64 [ %63, %62 ], [ %75, %66 ]
%82 = icmp eq i64 %2, 1
br i1 %82, label %139, label %83
83: ; preds = %79, %83
%84 = phi i64 [ %98, %83 ], [ %80, %79 ]
%85 = phi i64 [ %106, %83 ], [ %81, %79 ]
%86 = add nsw i64 %84, -1
%87 = getelementptr inbounds i64, i64* %0, i64 %86
%88 = load i64, i64* %87
%89 = icmp slt i64 %88, %1
%90 = select i1 %89, i64 0, i64 %1
%91 = sub nsw i64 %88, %90
%92 = xor i1 %89, true
%93 = sext i1 %92 to i64
%94 = add nsw i64 %85, %93
%95 = ashr i64 %91, 1
%96 = add nsw i64 %95, %2
%97 = getelementptr inbounds i64, i64* %0, i64 %96
store i64 %94, i64* %97
%98 = add nsw i64 %84, -2
%99 = getelementptr inbounds i64, i64* %0, i64 %98
%100 = load i64, i64* %99
%101 = icmp slt i64 %100, %1
%102 = select i1 %101, i64 0, i64 %1
%103 = sub nsw i64 %100, %102
%104 = xor i1 %101, true
%105 = sext i1 %104 to i64
%106 = add nsw i64 %94, %105
%107 = ashr i64 %103, 1
%108 = add nsw i64 %107, %2
%109 = getelementptr inbounds i64, i64* %0, i64 %108
store i64 %106, i64* %109
%110 = icmp ugt i64 %86, 1
br i1 %110, label %83, label %139
111: ; preds = %126, %59
%112 = phi i64 [ 0, %59 ], [ %127, %126 ]
%113 = phi i64 [ 0, %59 ], [ %128, %126 ]
%114 = getelementptr inbounds i64, i64* %0, i64 %112
%115 = load i64, i64* %114
%116 = icmp slt i64 %115, %1
br i1 %116, label %119, label %117
117: ; preds = %111
%118 = sub nsw i64 %115, %1
store i64 %118, i64* %114
br label %119
119: ; preds = %111, %117
%120 = or i64 %112, 1
%121 = getelementptr inbounds i64, i64* %0, i64 %120
%122 = load i64, i64* %121
%123 = icmp slt i64 %122, %1
br i1 %123, label %126, label %124
124: ; preds = %119
%125 = sub nsw i64 %122, %1
store i64 %125, i64* %121
br label %126
126: ; preds = %124, %119
%127 = add nuw nsw i64 %112, 2
%128 = add i64 %113, 2
%129 = icmp eq i64 %128, %60
br i1 %129, label %130, label %111
130: ; preds = %126, %56
%131 = phi i64 [ 0, %56 ], [ %127, %126 ]
%132 = icmp eq i64 %57, 0
br i1 %132, label %139, label %133
133: ; preds = %130
%134 = getelementptr inbounds i64, i64* %0, i64 %131
%135 = load i64, i64* %134
%136 = icmp slt i64 %135, %1
br i1 %136, label %139, label %137
137: ; preds = %133
%138 = sub nsw i64 %135, %1
store i64 %138, i64* %134
br label %139
139: ; preds = %130, %137, %133, %79, %83, %55, %61
ret i64 %52
}