find_semi(edge, stability) register int edge[10];
int stability[10];
{
  register int i, j;
  int unstable[10];
  for (i = 0; i <= 7; i++)
    unstable[i] = 0;
  for (i = 0; i <= 7; i++)
    if (edge[i] == 2)
      make_move(unstable, edge, i);
  for (i = 0; i <= 7; i++) {
    if (unstable[i])
      continue;
    switch (stability[i]) {
    case 6:
    case 4:
    case 5:
      continue;
    }
    if (i > 0 && i < 7 && edge[i - 1] == 2 && edge[i + 1] == 2) {
      stability[i] = 1;
      continue;
    }
    stability[i] = 2;
    for (j = i + 2; j <= 7; j++)
      if (edge[j] == 2 && edge[j - 1] == (!(edge[i])))
        goto ok0;
    continue;
  ok0:
    for (j = i - 2; j >= 0; j--)
      if (edge[j] == 2 && edge[j + 1] == (!(edge[i])))
        goto ok1;
    continue;
  ok1:
    stability[i] = 3;
  }
}


x86 assembly (clang, -O0):
<find_semi>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x7,-0x1c(%rbp)
jg     114b <find_semi+0x3b>
movslq -0x1c(%rbp),%rax
movl   $0x0,-0x50(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1127 <find_semi+0x17>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x7,-0x1c(%rbp)
jg     1193 <find_semi+0x83>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    1180 <find_semi+0x70>
lea    -0x50(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    $0x0,%al
call   1030 <make_move@plt>
jmp    1185 <find_semi+0x75>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1152 <find_semi+0x42>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x7,-0x1c(%rbp)
jg     133f <find_semi+0x22f>
movslq -0x1c(%rbp),%rax
cmpl   $0x0,-0x50(%rbp,%rax,4)
je     11b8 <find_semi+0xa8>
jmp    1331 <find_semi+0x221>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0xfffffffc,%eax
sub    $0x2,%eax
ja     11d9 <find_semi+0xc9>
jmp    11d4 <find_semi+0xc4>
jmp    1331 <find_semi+0x221>
cmpl   $0x0,-0x1c(%rbp)
jle    122f <find_semi+0x11f>
cmpl   $0x7,-0x1c(%rbp)
jge    122f <find_semi+0x11f>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    122f <find_semi+0x11f>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    122f <find_semi+0x11f>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    1331 <find_semi+0x221>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x2,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x7,-0x20(%rbp)
jg     12ab <find_semi+0x19b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    1298 <find_semi+0x188>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmpl   $0x0,(%rcx,%rdx,4)
setne  %cl
xor    $0xff,%cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
jne    1298 <find_semi+0x188>
jmp    12b0 <find_semi+0x1a0>
jmp    129d <find_semi+0x18d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1247 <find_semi+0x137>
jmp    1331 <find_semi+0x221>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     131d <find_semi+0x20d>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    130a <find_semi+0x1fa>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmpl   $0x0,(%rcx,%rdx,4)
setne  %cl
xor    $0xff,%cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
jne    130a <find_semi+0x1fa>
jmp    1322 <find_semi+0x212>
jmp    130f <find_semi+0x1ff>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    12b9 <find_semi+0x1a9>
jmp    1331 <find_semi+0x221>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    119a <find_semi+0x8a>
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_semi>:
push   %r15
push   %r14
push   %rbx
sub    $0x30,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
xorps  %xmm0,%xmm0
movaps %xmm0,0x10(%rsp)
movaps %xmm0,(%rsp)
cmpl   $0x2,(%rdi)
je     128d <find_semi+0x17d>
cmpl   $0x2,0x4(%r15)
je     12a7 <find_semi+0x197>
cmpl   $0x2,0x8(%r15)
je     12c4 <find_semi+0x1b4>
cmpl   $0x2,0xc(%r15)
je     12e1 <find_semi+0x1d1>
cmpl   $0x2,0x10(%r15)
je     12fe <find_semi+0x1ee>
cmpl   $0x2,0x14(%r15)
je     131b <find_semi+0x20b>
cmpl   $0x2,0x18(%r15)
je     1338 <find_semi+0x228>
cmpl   $0x2,0x1c(%r15)
jne    118f <find_semi+0x7f>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x7,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
lea    0x4(%r15),%r8
mov    $0x2,%eax
mov    $0xfffffffe,%r10d
mov    $0xffffffff,%esi
xor    %edi,%edi
jmp    11c9 <find_semi+0xb9>
mov    %ecx,(%r14,%rdi,4)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rdi
add    $0x1,%rax
add    $0x1,%r10d
add    $0x1,%esi
cmp    $0x8,%rdi
je     1283 <find_semi+0x173>
cmpl   $0x0,(%rsp,%rdi,4)
jne    11b0 <find_semi+0xa0>
mov    (%r14,%rdi,4),%ecx
add    $0xfffffffc,%ecx
cmp    $0x3,%ecx
jb     11b0 <find_semi+0xa0>
lea    -0x1(%rdi),%ecx
cmp    $0x5,%ecx
ja     11f9 <find_semi+0xe9>
mov    %ecx,%ecx
cmpl   $0x2,(%r15,%rcx,4)
jne    11f9 <find_semi+0xe9>
mov    $0x1,%ecx
cmpl   $0x2,0x4(%r15,%rdi,4)
je     11a7 <find_semi+0x97>
movl   $0x2,(%r14,%rdi,4)
cmp    $0x5,%rdi
ja     11b0 <find_semi+0xa0>
mov    %r10d,%ecx
lea    (%r8,%rcx,4),%r9
mov    %rax,%rcx
jmp    122a <find_semi+0x11a>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rcx
cmp    $0x8,%rcx
je     11b0 <find_semi+0xa0>
cmpl   $0x2,(%r15,%rcx,4)
jne    1220 <find_semi+0x110>
mov    -0x4(%r15,%rcx,4),%ebx
xor    %edx,%edx
cmpl   $0x0,(%r15,%rdi,4)
sete   %dl
cmp    %edx,%ebx
jne    1220 <find_semi+0x110>
cmp    $0x2,%rdi
jb     11b0 <find_semi+0xa0>
mov    %esi,%ecx
jmp    126d <find_semi+0x15d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0xfffffffffffffffc,%r9
add    $0xffffffff,%ecx
jle    11b0 <find_semi+0xa0>
cmpl   $0x2,-0x4(%r9)
jne    1260 <find_semi+0x150>
cmp    %ebx,(%r9)
jne    1260 <find_semi+0x150>
mov    $0x3,%ecx
jmp    11a7 <find_semi+0x97>
add    $0x30,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret
mov    %rsp,%rdi
mov    %r15,%rsi
xor    %edx,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x4(%r15)
jne    113f <find_semi+0x2f>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x1,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x8(%r15)
jne    114a <find_semi+0x3a>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x2,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0xc(%r15)
jne    1155 <find_semi+0x45>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x3,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x10(%r15)
jne    1160 <find_semi+0x50>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x4,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x14(%r15)
jne    116b <find_semi+0x5b>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x5,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x18(%r15)
jne    1176 <find_semi+0x66>
mov    %rsp,%rdi
mov    %r15,%rsi
mov    $0x6,%edx
xor    %eax,%eax
call   1030 <make_move@plt>
cmpl   $0x2,0x1c(%r15)
je     117d <find_semi+0x6d>
jmp    118f <find_semi+0x7f>

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

LLVM IR (-O2):
define i32 @find_semi(i32* %0, i32* nocapture %1) {
%3 = alloca [10 x i32]
%4 = bitcast [10 x i32]* %3 to i8*
%5 = getelementptr inbounds [10 x i32], [10 x i32]* %3, i64 0, i64 0
%6 = load i32, i32* %0
%7 = icmp eq i32 %6, 2
br i1 %7, label %8, label %10
8: ; preds = %2
%9 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 0)
br label %10
10: ; preds = %2, %8
%11 = getelementptr inbounds i32, i32* %0, i64 1
%12 = load i32, i32* %11
%13 = icmp eq i32 %12, 2
br i1 %13, label %14, label %16
14: ; preds = %10
%15 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 1)
br label %16
16: ; preds = %14, %10
%17 = getelementptr inbounds i32, i32* %0, i64 2
%18 = load i32, i32* %17
%19 = icmp eq i32 %18, 2
br i1 %19, label %20, label %22
20: ; preds = %16
%21 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 2)
br label %22
22: ; preds = %20, %16
%23 = getelementptr inbounds i32, i32* %0, i64 3
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, 2
br i1 %25, label %26, label %28
26: ; preds = %22
%27 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 3)
br label %28
28: ; preds = %26, %22
%29 = getelementptr inbounds i32, i32* %0, i64 4
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, 2
br i1 %31, label %32, label %34
32: ; preds = %28
%33 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 4)
br label %34
34: ; preds = %32, %28
%35 = getelementptr inbounds i32, i32* %0, i64 5
%36 = load i32, i32* %35
%37 = icmp eq i32 %36, 2
br i1 %37, label %38, label %40
38: ; preds = %34
%39 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 5)
br label %40
40: ; preds = %38, %34
%41 = getelementptr inbounds i32, i32* %0, i64 6
%42 = load i32, i32* %41
%43 = icmp eq i32 %42, 2
br i1 %43, label %44, label %46
44: ; preds = %40
%45 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 6)
br label %46
46: ; preds = %44, %40
%47 = getelementptr inbounds i32, i32* %0, i64 7
%48 = load i32, i32* %47
%49 = icmp eq i32 %48, 2
br i1 %49, label %50, label %52
50: ; preds = %46
%51 = call i32 (i32*, i32*, i32, ...) bitcast (i32 (...)* @make_move to i32 (i32*, i32*, i32, ...)*)(i32* %5, i32* %0, i32 7)
br label %52
52: ; preds = %50, %46
br label %53
53: ; preds = %52, %118
%54 = phi i64 [ %119, %118 ], [ 0, %52 ]
%55 = phi i32 [ %121, %118 ], [ -2, %52 ]
%56 = phi i64 [ %120, %118 ], [ 2, %52 ]
%57 = zext i32 %55 to i64
%58 = getelementptr inbounds [10 x i32], [10 x i32]* %3, i64 0, i64 %54
%59 = load i32, i32* %58
%60 = icmp eq i32 %59, 0
br i1 %60, label %61, label %118
61: ; preds = %53
%62 = getelementptr inbounds i32, i32* %1, i64 %54
%63 = load i32, i32* %62
%64 = add i32 %63, -4
%65 = icmp ult i32 %64, 3
br i1 %65, label %118, label %66
66: ; preds = %61
%67 = trunc i64 %54 to i32
%68 = add i32 %67, -1
%69 = icmp ult i32 %68, 6
br i1 %69, label %70, label %80
70: ; preds = %66
%71 = zext i32 %68 to i64
%72 = getelementptr inbounds i32, i32* %0, i64 %71
%73 = load i32, i32* %72
%74 = icmp eq i32 %73, 2
br i1 %74, label %75, label %80
75: ; preds = %70
%76 = add nuw nsw i64 %54, 1
%77 = getelementptr inbounds i32, i32* %0, i64 %76
%78 = load i32, i32* %77
%79 = icmp eq i32 %78, 2
br i1 %79, label %116, label %80
80: ; preds = %75, %70, %66
store i32 2, i32* %62
%81 = icmp ult i64 %54, 6
br i1 %81, label %82, label %118
82: ; preds = %80
%83 = getelementptr inbounds i32, i32* %0, i64 %54
br label %84
84: ; preds = %82, %97
%85 = phi i64 [ %56, %82 ], [ %98, %97 ]
%86 = getelementptr inbounds i32, i32* %0, i64 %85
%87 = load i32, i32* %86
%88 = icmp eq i32 %87, 2
br i1 %88, label %89, label %97
89: ; preds = %84
%90 = add nsw i64 %85, -1
%91 = getelementptr inbounds i32, i32* %0, i64 %90
%92 = load i32, i32* %91
%93 = load i32, i32* %83
%94 = icmp eq i32 %93, 0
%95 = zext i1 %94 to i32
%96 = icmp eq i32 %92, %95
br i1 %96, label %100, label %97
97: ; preds = %84, %89
%98 = add nuw nsw i64 %85, 1
%99 = icmp eq i64 %98, 8
br i1 %99, label %118, label %84
100: ; preds = %89
%101 = icmp ugt i64 %54, 1
br i1 %101, label %102, label %118
102: ; preds = %100, %112
%103 = phi i64 [ %113, %112 ], [ %57, %100 ]
%104 = getelementptr inbounds i32, i32* %0, i64 %103
%105 = load i32, i32* %104
%106 = icmp eq i32 %105, 2
br i1 %106, label %107, label %112
107: ; preds = %102
%108 = add nuw nsw i64 %103, 1
%109 = getelementptr inbounds i32, i32* %0, i64 %108
%110 = load i32, i32* %109
%111 = icmp eq i32 %110, %92
br i1 %111, label %116, label %112
112: ; preds = %102, %107
%113 = add nsw i64 %103, -1
%114 = trunc i64 %103 to i32
%115 = icmp sgt i32 %114, 0
br i1 %115, label %102, label %118
116: ; preds = %107, %75
%117 = phi i32 [ 1, %75 ], [ 3, %107 ]
store i32 %117, i32* %62
br label %118
118: ; preds = %97, %112, %116, %80, %100, %61, %53
%119 = add nuw nsw i64 %54, 1
%120 = add nuw nsw i64 %56, 1
%121 = add nsw i32 %55, 1
%122 = icmp eq i64 %119, 8
br i1 %122, label %123, label %53
123: ; preds = %118
ret i32 undef
}