int finish1(int i, int *count, int *degree, int *succ1, int *succ2, int *pred1,
            int *pred2, int *tour, int *otherEnd, int num_genes) {
  int i2, ind, incr, aff1, aff2, otherEndi, otherEndind;
  tour[i] = ind = succ1[i];
  incr = 1;
  *count += 1;
  degree[i] += 1;
  degree[-i] = -1;
  degree[ind] += 2;
  degree[-ind] = -1;
  otherEndi = otherEnd[i];
  otherEndind = otherEnd[ind];
  otherEnd[otherEndi] = otherEndind;
  otherEnd[otherEndind] = otherEndi;
  if (succ2[i] != 0) {
    aff1 = pred1[succ2[i]];
    if (aff1 != 0) {
      i2 = succ1[aff1];
      if (((degree[aff1] == 0) || (degree[aff1] == 2)) && (i2 != 0)) {
        if (((degree[i2] == 0) || (degree[i2] == 1)) &&
            ((otherEnd[aff1] != i2) || (*count == num_genes - 1))) {
          incr += finish1(aff1, count, degree, succ1, succ2, pred1, pred2, tour,
                          otherEnd, num_genes);
        }
      }
    }
  }
  aff2 = pred2[ind];
  if (aff2 != 0) {
    i2 = succ1[aff2];
    if (((degree[aff2] == 0) || (degree[aff2] == 2)) && (i2 != 0)) {
      if (((degree[i2] == 0) || (degree[i2] == 1)) &&
          ((otherEnd[aff2] != i2) || (*count == num_genes - 1))) {
        incr += finish1(aff2, count, degree, succ1, succ2, pred1, pred2, tour,
                        otherEnd, num_genes);
      }
    }
  }
  return (incr);
}


x86 assembly (clang, -O0):
<finish1>:
push   %rbp
mov    %rsp,%rbp
push   %rbx
sub    $0x78,%rsp
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x28(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    %edx,-0x40(%rbp)
mov    0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x1,-0x44(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x2,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
sub    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    0x20(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x50(%rbp)
mov    0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%edx
mov    0x20(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x50(%rbp),%edx
mov    0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12f6 <finish1+0x1e6>
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     12f1 <finish1+0x1e1>
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x48(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     124e <finish1+0x13e>
mov    -0x20(%rbp),%rax
movslq -0x48(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    12ec <finish1+0x1dc>
cmpl   $0x0,-0x3c(%rbp)
je     12ec <finish1+0x1dc>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     127c <finish1+0x16c>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    12e7 <finish1+0x1d7>
mov    0x20(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
jne    12a4 <finish1+0x194>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    0x28(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    12e7 <finish1+0x1d7>
mov    -0x48(%rbp),%edi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x38(%rbp),%r9
mov    0x10(%rbp),%rbx
mov    0x18(%rbp),%r11
mov    0x20(%rbp),%r10
mov    0x28(%rbp),%eax
mov    %rbx,(%rsp)
mov    %r11,0x8(%rsp)
mov    %r10,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <finish1@plt>
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    12ec <finish1+0x1dc>
jmp    12f1 <finish1+0x1e1>
jmp    12f6 <finish1+0x1e6>
mov    0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
je     13e3 <finish1+0x2d3>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1340 <finish1+0x230>
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jne    13de <finish1+0x2ce>
cmpl   $0x0,-0x3c(%rbp)
je     13de <finish1+0x2ce>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     136e <finish1+0x25e>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    13d9 <finish1+0x2c9>
mov    0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x3c(%rbp),%eax
jne    1396 <finish1+0x286>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    0x28(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    13d9 <finish1+0x2c9>
mov    -0x4c(%rbp),%edi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x38(%rbp),%r9
mov    0x10(%rbp),%rbx
mov    0x18(%rbp),%r11
mov    0x20(%rbp),%r10
mov    0x28(%rbp),%eax
mov    %rbx,(%rsp)
mov    %r11,0x8(%rsp)
mov    %r10,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <finish1@plt>
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    13de <finish1+0x2ce>
jmp    13e3 <finish1+0x2d3>
mov    -0x44(%rbp),%eax
add    $0x78,%rsp
pop    %rbx
pop    %rbp
ret

x86 assembly (clang, -O2):
<finish1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%r12
mov    %rdx,%rbx
mov    %rsi,%r13
mov    0x68(%rsp),%r10d
mov    0x60(%rsp),%rbp
mov    0x58(%rsp),%r11
mov    0x50(%rsp),%rsi
lea    -0x1(%r10),%eax
mov    %eax,0x4(%rsp)
movslq %edi,%rax
mov    (%rcx,%rax,4),%ecx
xor    %r14d,%r14d
jmp    1153 <finish1+0x43>
xchg   %ax,%ax
add    %eax,%r14d
movslq %edi,%rax
mov    %ecx,(%r11,%rax,4)
addl   $0x1,0x0(%r13)
addl   $0x1,(%rbx,%rax,4)
mov    %eax,%edx
neg    %edx
movslq %edx,%rdx
movl   $0xffffffff,(%rbx,%rdx,4)
movslq %ecx,%r15
addl   $0x2,(%rbx,%r15,4)
mov    %r15d,%ecx
neg    %ecx
movslq %ecx,%rcx
movl   $0xffffffff,(%rbx,%rcx,4)
movslq 0x0(%rbp,%rax,4),%rcx
movslq 0x0(%rbp,%r15,4),%rdx
mov    %edx,0x0(%rbp,%rcx,4)
mov    %ecx,0x0(%rbp,%rdx,4)
movslq (%r8,%rax,4),%rcx
mov    $0x1,%eax
test   %rcx,%rcx
je     1230 <finish1+0x120>
movslq (%r9,%rcx,4),%rdi
test   %rdi,%rdi
je     1230 <finish1+0x120>
movslq (%r12,%rdi,4),%rcx
mov    (%rbx,%rdi,4),%edx
test   %edx,%edx
je     11c5 <finish1+0xb5>
cmp    $0x2,%edx
jne    1230 <finish1+0x120>
test   %ecx,%ecx
je     1230 <finish1+0x120>
cmpl   $0x1,(%rbx,%rcx,4)
ja     1230 <finish1+0x120>
cmp    %ecx,0x0(%rbp,%rdi,4)
jne    11df <finish1+0xcf>
mov    0x4(%rsp),%ecx
cmp    %ecx,0x0(%r13)
jne    1230 <finish1+0x120>
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r12,%rcx
mov    %r8,0x8(%rsp)
mov    0x8(%rsp),%r8
mov    %r9,0x10(%rsp)
mov    0x10(%rsp),%r9
push   %r10
push   %rbp
push   %r11
push   0x68(%rsp)
call   1030 <finish1@plt>
mov    0x70(%rsp),%rsi
mov    0x78(%rsp),%r11
mov    0x88(%rsp),%r10d
mov    0x28(%rsp),%r8
mov    0x30(%rsp),%r9
add    $0x20,%rsp
add    $0x1,%eax
nopl   (%rax)
movslq (%rsi,%r15,4),%rdi
test   %rdi,%rdi
je     126e <finish1+0x15e>
mov    (%r12,%rdi,4),%ecx
mov    (%rbx,%rdi,4),%edx
test   %edx,%edx
je     1249 <finish1+0x139>
cmp    $0x2,%edx
jne    126e <finish1+0x15e>
test   %ecx,%ecx
je     126e <finish1+0x15e>
movslq %ecx,%rdx
cmpl   $0x1,(%rbx,%rdx,4)
ja     126e <finish1+0x15e>
cmp    %ecx,0x0(%rbp,%rdi,4)
jne    1150 <finish1+0x40>
mov    0x4(%rsp),%edx
cmp    %edx,0x0(%r13)
je     1150 <finish1+0x40>
add    %r14d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @finish1(i32 %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8, i32 %9) {
%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*
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
store i32 %0, i32* %11
store i32* %1, i32** %12
store i32* %2, i32** %13
store i32* %3, i32** %14
store i32* %4, i32** %15
store i32* %5, i32** %16
store i32* %6, i32** %17
store i32* %7, i32** %18
store i32* %8, i32** %19
store i32 %9, i32* %20
%28 = load i32*, i32** %14
%29 = load i32, i32* %11
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
store i32 %32, i32* %22
%33 = load i32*, i32** %18
%34 = load i32, i32* %11
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
store i32 %32, i32* %36
store i32 1, i32* %23
%37 = load i32*, i32** %12
%38 = load i32, i32* %37
%39 = add nsw i32 %38, 1
store i32 %39, i32* %37
%40 = load i32*, i32** %13
%41 = load i32, i32* %11
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
%44 = load i32, i32* %43
%45 = add nsw i32 %44, 1
store i32 %45, i32* %43
%46 = load i32*, i32** %13
%47 = load i32, i32* %11
%48 = sub nsw i32 0, %47
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %46, i64 %49
store i32 -1, i32* %50
%51 = load i32*, i32** %13
%52 = load i32, i32* %22
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
%55 = load i32, i32* %54
%56 = add nsw i32 %55, 2
store i32 %56, i32* %54
%57 = load i32*, i32** %13
%58 = load i32, i32* %22
%59 = sub nsw i32 0, %58
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %57, i64 %60
store i32 -1, i32* %61
%62 = load i32*, i32** %19
%63 = load i32, i32* %11
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
store i32 %66, i32* %26
%67 = load i32*, i32** %19
%68 = load i32, i32* %22
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
store i32 %71, i32* %27
%72 = load i32, i32* %27
%73 = load i32*, i32** %19
%74 = load i32, i32* %26
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
store i32 %72, i32* %76
%77 = load i32, i32* %26
%78 = load i32*, i32** %19
%79 = load i32, i32* %27
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
store i32 %77, i32* %81
%82 = load i32*, i32** %15
%83 = load i32, i32* %11
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %167
88: ; preds = %10
%89 = load i32*, i32** %16
%90 = load i32*, i32** %15
%91 = load i32, i32* %11
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %93
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %89, i64 %95
%97 = load i32, i32* %96
store i32 %97, i32* %24
%98 = load i32, i32* %24
%99 = icmp ne i32 %98, 0
br i1 %99, label %100, label %166
100: ; preds = %88
%101 = load i32*, i32** %14
%102 = load i32, i32* %24
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
store i32 %105, i32* %21
%106 = load i32*, i32** %13
%107 = load i32, i32* %24
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
%110 = load i32, i32* %109
%111 = icmp eq i32 %110, 0
br i1 %111, label %119, label %112
112: ; preds = %100
%113 = load i32*, i32** %13
%114 = load i32, i32* %24
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %113, i64 %115
%117 = load i32, i32* %116
%118 = icmp eq i32 %117, 2
br i1 %118, label %119, label %165
119: ; preds = %112, %100
%120 = load i32, i32* %21
%121 = icmp ne i32 %120, 0
br i1 %121, label %122, label %165
122: ; preds = %119
%123 = load i32*, i32** %13
%124 = load i32, i32* %21
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
%127 = load i32, i32* %126
%128 = icmp eq i32 %127, 0
br i1 %128, label %136, label %129
129: ; preds = %122
%130 = load i32*, i32** %13
%131 = load i32, i32* %21
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds i32, i32* %130, i64 %132
%134 = load i32, i32* %133
%135 = icmp eq i32 %134, 1
br i1 %135, label %136, label %164
136: ; preds = %129, %122
%137 = load i32*, i32** %19
%138 = load i32, i32* %24
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i32, i32* %137, i64 %139
%141 = load i32, i32* %140
%142 = load i32, i32* %21
%143 = icmp ne i32 %141, %142
br i1 %143, label %150, label %144
144: ; preds = %136
%145 = load i32*, i32** %12
%146 = load i32, i32* %145
%147 = load i32, i32* %20
%148 = sub nsw i32 %147, 1
%149 = icmp eq i32 %146, %148
br i1 %149, label %150, label %164
150: ; preds = %144, %136
%151 = load i32, i32* %24
%152 = load i32*, i32** %12
%153 = load i32*, i32** %13
%154 = load i32*, i32** %14
%155 = load i32*, i32** %15
%156 = load i32*, i32** %16
%157 = load i32*, i32** %17
%158 = load i32*, i32** %18
%159 = load i32*, i32** %19
%160 = load i32, i32* %20
%161 = call i32 @finish1(i32 %151, i32* %152, i32* %153, i32* %154, i32* %155, i32* %156, i32* %157, i32* %158, i32* %159, i32 %160)
%162 = load i32, i32* %23
%163 = add nsw i32 %162, %161
store i32 %163, i32* %23
br label %164
164: ; preds = %150, %144, %129
br label %165
165: ; preds = %164, %119, %112
br label %166
166: ; preds = %165, %88
br label %167
167: ; preds = %166, %10
%168 = load i32*, i32** %17
%169 = load i32, i32* %22
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds i32, i32* %168, i64 %170
%172 = load i32, i32* %171
store i32 %172, i32* %25
%173 = load i32, i32* %25
%174 = icmp ne i32 %173, 0
br i1 %174, label %175, label %241
175: ; preds = %167
%176 = load i32*, i32** %14
%177 = load i32, i32* %25
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %176, i64 %178
%180 = load i32, i32* %179
store i32 %180, i32* %21
%181 = load i32*, i32** %13
%182 = load i32, i32* %25
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds i32, i32* %181, i64 %183
%185 = load i32, i32* %184
%186 = icmp eq i32 %185, 0
br i1 %186, label %194, label %187
187: ; preds = %175
%188 = load i32*, i32** %13
%189 = load i32, i32* %25
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds i32, i32* %188, i64 %190
%192 = load i32, i32* %191
%193 = icmp eq i32 %192, 2
br i1 %193, label %194, label %240
194: ; preds = %187, %175
%195 = load i32, i32* %21
%196 = icmp ne i32 %195, 0
br i1 %196, label %197, label %240
197: ; preds = %194
%198 = load i32*, i32** %13
%199 = load i32, i32* %21
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i32, i32* %198, i64 %200
%202 = load i32, i32* %201
%203 = icmp eq i32 %202, 0
br i1 %203, label %211, label %204
204: ; preds = %197
%205 = load i32*, i32** %13
%206 = load i32, i32* %21
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds i32, i32* %205, i64 %207
%209 = load i32, i32* %208
%210 = icmp eq i32 %209, 1
br i1 %210, label %211, label %239
211: ; preds = %204, %197
%212 = load i32*, i32** %19
%213 = load i32, i32* %25
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds i32, i32* %212, i64 %214
%216 = load i32, i32* %215
%217 = load i32, i32* %21
%218 = icmp ne i32 %216, %217
br i1 %218, label %225, label %219
219: ; preds = %211
%220 = load i32*, i32** %12
%221 = load i32, i32* %220
%222 = load i32, i32* %20
%223 = sub nsw i32 %222, 1
%224 = icmp eq i32 %221, %223
br i1 %224, label %225, label %239
225: ; preds = %219, %211
%226 = load i32, i32* %25
%227 = load i32*, i32** %12
%228 = load i32*, i32** %13
%229 = load i32*, i32** %14
%230 = load i32*, i32** %15
%231 = load i32*, i32** %16
%232 = load i32*, i32** %17
%233 = load i32*, i32** %18
%234 = load i32*, i32** %19
%235 = load i32, i32* %20
%236 = call i32 @finish1(i32 %226, i32* %227, i32* %228, i32* %229, i32* %230, i32* %231, i32* %232, i32* %233, i32* %234, i32 %235)
%237 = load i32, i32* %23
%238 = add nsw i32 %237, %236
store i32 %238, i32* %23
br label %239
239: ; preds = %225, %219, %204
br label %240
240: ; preds = %239, %194, %187
br label %241
241: ; preds = %240, %167
%242 = load i32, i32* %23
ret i32 %242
}

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