int testCornerTurn(const unsigned char *outputBuffer,
                   const unsigned char *const *threadData, int outputBytes,
                   int nt, int b) {
  int nError = 0;
  int ut;
  for (ut = 1; ut < nt; ut *= 2)
    ;
  if (b <= 8) {
    const int nSample = 8 * outputBytes / b;
    int s;
    int bitmask;
    bitmask = (1LL << b) - 1LL;
    for (s = 0; s < nSample; ++s) {
      int t;
      int outputvalue, inputvalue;
      int outputsample, outputshift, inputsample, inputshift;
      t = s % ut;
      if (t >= nt) {
        continue;
      }
      outputsample = s * b / 8;
      outputshift = (s * b) % 8;
      outputvalue = (outputBuffer[outputsample] >> outputshift) & bitmask;
      inputsample = s * b / ut / 8;
      inputshift = (s * b / ut) % 8;
      inputshift /= b;
      inputshift *= b;
      inputvalue = (threadData[t][inputsample] >> inputshift) & bitmask;
      if (outputvalue != inputvalue) {
        ++nError;
      }
    }
  } else {
    const int B = b / 8;
    int i;
    int lastBad = -1;
    for (i = 0; i < outputBytes; ++i) {
      int outputvalue, inputvalue;
      int ib;
      int ob;
      int is;
      int os;
      int t;
      t = (i / B) % ut;
      ib = i % B;
      ob = i % B;
      is = i / (B * ut);
      os = i / B;
      inputvalue = threadData[t][B * is + ib];
      outputvalue = outputBuffer[B * os + ob];
      if (outputvalue != inputvalue) {
        if (lastBad != os) {
          ++nError;
          lastBad = os;
        }
      }
    }
  }
  return nError;
}


x86 assembly (clang, -O0):
<testCornerTurn>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1143 <testCornerTurn+0x43>
jmp    1135 <testCornerTurn+0x35>
mov    -0x24(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1124 <testCornerTurn+0x24>
cmpl   $0x8,-0x1c(%rbp)
jg     1265 <testCornerTurn+0x165>
mov    -0x14(%rbp),%eax
shl    $0x3,%eax
cltd
idivl  -0x1c(%rbp)
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
mov    $0x1,%eax
shl    %cl,%rax
sub    $0x1,%rax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1260 <testCornerTurn+0x160>
mov    -0x2c(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    %edx,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x18(%rbp),%eax
jl     119c <testCornerTurn+0x9c>
jmp    1252 <testCornerTurn+0x152>
mov    -0x2c(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %edx,-0x44(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x44(%rbp),%ecx
sar    %cl,%eax
and    -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x1c(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x1c(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x4c(%rbp),%eax
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
mov    -0x1c(%rbp),%eax
imul   -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x4c(%rbp),%ecx
sar    %cl,%eax
and    -0x30(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
je     124d <testCornerTurn+0x14d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1252 <testCornerTurn+0x152>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1175 <testCornerTurn+0x75>
jmp    1345 <testCornerTurn+0x245>
mov    -0x1c(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %eax,-0x50(%rbp)
movl   $0xffffffff,-0x58(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1340 <testCornerTurn+0x240>
mov    -0x54(%rbp),%eax
cltd
idivl  -0x50(%rbp)
cltd
idivl  -0x24(%rbp)
mov    %edx,-0x74(%rbp)
mov    -0x54(%rbp),%eax
cltd
idivl  -0x50(%rbp)
mov    %edx,-0x64(%rbp)
mov    -0x54(%rbp),%eax
cltd
idivl  -0x50(%rbp)
mov    %edx,-0x68(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x50(%rbp),%ecx
imul   -0x24(%rbp),%ecx
cltd
idiv   %ecx
mov    %eax,-0x6c(%rbp)
mov    -0x54(%rbp),%eax
cltd
idivl  -0x50(%rbp)
mov    %eax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x74(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x50(%rbp),%ecx
imul   -0x6c(%rbp),%ecx
add    -0x64(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x60(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x50(%rbp),%ecx
imul   -0x70(%rbp),%ecx
add    -0x68(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x60(%rbp),%eax
je     132d <testCornerTurn+0x22d>
mov    -0x58(%rbp),%eax
cmp    -0x70(%rbp),%eax
je     1328 <testCornerTurn+0x228>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x58(%rbp)
jmp    132d <testCornerTurn+0x22d>
jmp    1332 <testCornerTurn+0x232>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1281 <testCornerTurn+0x181>
jmp    1345 <testCornerTurn+0x245>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<testCornerTurn>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%r10d
mov    %edx,%r11d
mov    %rsi,-0x8(%rsp)
mov    $0x1,%eax
nopw   0x0(%rax,%rax,1)
mov    %eax,%ebx
lea    (%rbx,%rbx,1),%eax
cmp    %r10d,%ebx
jl     1120 <testCornerTurn+0x20>
cmp    $0x8,%r8d
jg     11f0 <testCornerTurn+0xf0>
shl    $0x3,%r11d
mov    %r11d,%eax
cltd
idiv   %r8d
mov    $0xffffffffffffffff,%r11
mov    %r8d,%ecx
shl    %cl,%r11
test   %eax,%eax
jle    126d <testCornerTurn+0x16d>
mov    %eax,%esi
not    %r11d
xor    %ebp,%ebp
xor    %r9d,%r9d
xor    %r15d,%r15d
jmp    1180 <testCornerTurn+0x80>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r15d
add    %r8d,%ebp
cmp    %r15d,%esi
je     1270 <testCornerTurn+0x170>
mov    %r15d,%eax
xor    %edx,%edx
div    %ebx
cmp    %r10d,%edx
jge    1170 <testCornerTurn+0x70>
mov    %edx,%r14d
lea    0x7(%rbp),%eax
test   %ebp,%ebp
cmovns %ebp,%eax
sar    $0x3,%eax
cltq
movzbl (%rdi,%rax,1),%r13d
mov    %ebp,%ecx
and    $0x7,%cl
shr    %cl,%r13d
mov    %ebp,%eax
cltd
idiv   %ebx
mov    %eax,%ecx
lea    0x7(%rcx),%eax
test   %ecx,%ecx
cmovns %ecx,%eax
mov    %eax,%r12d
sar    $0x3,%r12d
and    $0xfffffff8,%eax
sub    %eax,%ecx
mov    %ecx,%eax
cltd
idiv   %r8d
sub    %edx,%ecx
mov    %r14d,%eax
mov    -0x8(%rsp),%rdx
mov    (%rdx,%rax,8),%rax
movslq %r12d,%rdx
movzbl (%rax,%rdx,1),%eax
shr    %cl,%eax
xor    %r13d,%eax
and    %r11d,%eax
cmp    $0x1,%eax
sbb    $0xffffffff,%r9d
jmp    1170 <testCornerTurn+0x70>
test   %r11d,%r11d
jle    126d <testCornerTurn+0x16d>
shr    $0x3,%r8d
mov    %ebx,%r15d
imul   %r8d,%r15d
mov    $0xffffffff,%r12d
xor    %r9d,%r9d
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
mov    %ebp,%eax
xor    %edx,%edx
div    %r8d
mov    %edx,%r10d
mov    %eax,%ecx
cltd
idiv   %ebx
mov    %edx,%r14d
mov    %ebp,%eax
cltd
idiv   %r15d
mov    -0x8(%rsp),%rdx
mov    (%rdx,%r14,8),%r14
imul   %r8d,%eax
add    %r10d,%eax
cltq
mov    %ecx,%edx
imul   %r8d,%edx
add    %r10,%rdx
movzbl (%rdi,%rdx,1),%edx
cmp    (%r14,%rax,1),%dl
sete   %al
cmp    %ecx,%r12d
sete   %dl
or     %al,%dl
cmove  %ecx,%r12d
xor    $0x1,%dl
movzbl %dl,%eax
add    %eax,%r9d
add    $0x1,%ebp
cmp    %ebp,%r11d
jne    1210 <testCornerTurn+0x110>
jmp    1270 <testCornerTurn+0x170>
xor    %r9d,%r9d
mov    %r9d,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @testCornerTurn(i8* %0, i8** %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i8*
%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
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i32
store i8* %0, i8** %6
store i8** %1, i8*** %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
store i32 0, i32* %11
store i32 1, i32* %12
br label %33
33: ; preds = %38, %5
%34 = load i32, i32* %12
%35 = load i32, i32* %9
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %41
37: ; preds = %33
br label %38
38: ; preds = %37
%39 = load i32, i32* %12
%40 = mul nsw i32 %39, 2
store i32 %40, i32* %12
br label %33
41: ; preds = %33
%42 = load i32, i32* %10
%43 = icmp sle i32 %42, 8
br i1 %43, label %44, label %128
44: ; preds = %41
%45 = load i32, i32* %8
%46 = mul nsw i32 8, %45
%47 = load i32, i32* %10
%48 = sdiv i32 %46, %47
store i32 %48, i32* %13
%49 = load i32, i32* %10
%50 = zext i32 %49 to i64
%51 = shl i64 1, %50
%52 = sub nsw i64 %51, 1
%53 = trunc i64 %52 to i32
store i32 %53, i32* %15
store i32 0, i32* %14
br label %54
54: ; preds = %124, %44
%55 = load i32, i32* %14
%56 = load i32, i32* %13
%57 = icmp slt i32 %55, %56
br i1 %57, label %58, label %127
58: ; preds = %54
%59 = load i32, i32* %14
%60 = load i32, i32* %12
%61 = srem i32 %59, %60
store i32 %61, i32* %16
%62 = load i32, i32* %16
%63 = load i32, i32* %9
%64 = icmp sge i32 %62, %63
br i1 %64, label %65, label %66
65: ; preds = %58
br label %124
66: ; preds = %58
%67 = load i32, i32* %14
%68 = load i32, i32* %10
%69 = mul nsw i32 %67, %68
%70 = sdiv i32 %69, 8
store i32 %70, i32* %19
%71 = load i32, i32* %14
%72 = load i32, i32* %10
%73 = mul nsw i32 %71, %72
%74 = srem i32 %73, 8
store i32 %74, i32* %20
%75 = load i8*, i8** %6
%76 = load i32, i32* %19
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
%81 = load i32, i32* %20
%82 = ashr i32 %80, %81
%83 = load i32, i32* %15
%84 = and i32 %82, %83
store i32 %84, i32* %17
%85 = load i32, i32* %14
%86 = load i32, i32* %10
%87 = mul nsw i32 %85, %86
%88 = load i32, i32* %12
%89 = sdiv i32 %87, %88
%90 = sdiv i32 %89, 8
store i32 %90, i32* %21
%91 = load i32, i32* %14
%92 = load i32, i32* %10
%93 = mul nsw i32 %91, %92
%94 = load i32, i32* %12
%95 = sdiv i32 %93, %94
%96 = srem i32 %95, 8
store i32 %96, i32* %22
%97 = load i32, i32* %10
%98 = load i32, i32* %22
%99 = sdiv i32 %98, %97
store i32 %99, i32* %22
%100 = load i32, i32* %10
%101 = load i32, i32* %22
%102 = mul nsw i32 %101, %100
store i32 %102, i32* %22
%103 = load i8**, i8*** %7
%104 = load i32, i32* %16
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8*, i8** %103, i64 %105
%107 = load i8*, i8** %106
%108 = load i32, i32* %21
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %107, i64 %109
%111 = load i8, i8* %110
%112 = zext i8 %111 to i32
%113 = load i32, i32* %22
%114 = ashr i32 %112, %113
%115 = load i32, i32* %15
%116 = and i32 %114, %115
store i32 %116, i32* %18
%117 = load i32, i32* %17
%118 = load i32, i32* %18
%119 = icmp ne i32 %117, %118
br i1 %119, label %120, label %123
120: ; preds = %66
%121 = load i32, i32* %11
%122 = add nsw i32 %121, 1
store i32 %122, i32* %11
br label %123
123: ; preds = %120, %66
br label %124
124: ; preds = %123, %65
%125 = load i32, i32* %14
%126 = add nsw i32 %125, 1
store i32 %126, i32* %14
br label %54
127: ; preds = %54
br label %196
128: ; preds = %41
%129 = load i32, i32* %10
%130 = sdiv i32 %129, 8
store i32 %130, i32* %23
store i32 -1, i32* %25
store i32 0, i32* %24
br label %131
131: ; preds = %192, %128
%132 = load i32, i32* %24
%133 = load i32, i32* %8
%134 = icmp slt i32 %132, %133
br i1 %134, label %135, label %195
135: ; preds = %131
%136 = load i32, i32* %24
%137 = load i32, i32* %23
%138 = sdiv i32 %136, %137
%139 = load i32, i32* %12
%140 = srem i32 %138, %139
store i32 %140, i32* %32
%141 = load i32, i32* %24
%142 = load i32, i32* %23
%143 = srem i32 %141, %142
store i32 %143, i32* %28
%144 = load i32, i32* %24
%145 = load i32, i32* %23
%146 = srem i32 %144, %145
store i32 %146, i32* %29
%147 = load i32, i32* %24
%148 = load i32, i32* %23
%149 = load i32, i32* %12
%150 = mul nsw i32 %148, %149
%151 = sdiv i32 %147, %150
store i32 %151, i32* %30
%152 = load i32, i32* %24
%153 = load i32, i32* %23
%154 = sdiv i32 %152, %153
store i32 %154, i32* %31
%155 = load i8**, i8*** %7
%156 = load i32, i32* %32
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds i8*, i8** %155, i64 %157
%159 = load i8*, i8** %158
%160 = load i32, i32* %23
%161 = load i32, i32* %30
%162 = mul nsw i32 %160, %161
%163 = load i32, i32* %28
%164 = add nsw i32 %162, %163
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i8, i8* %159, i64 %165
%167 = load i8, i8* %166
%168 = zext i8 %167 to i32
store i32 %168, i32* %27
%169 = load i8*, i8** %6
%170 = load i32, i32* %23
%171 = load i32, i32* %31
%172 = mul nsw i32 %170, %171
%173 = load i32, i32* %29
%174 = add nsw i32 %172, %173
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i8, i8* %169, i64 %175
%177 = load i8, i8* %176
%178 = zext i8 %177 to i32
store i32 %178, i32* %26
%179 = load i32, i32* %26
%180 = load i32, i32* %27
%181 = icmp ne i32 %179, %180
br i1 %181, label %182, label %191
182: ; preds = %135
%183 = load i32, i32* %25
%184 = load i32, i32* %31
%185 = icmp ne i32 %183, %184
br i1 %185, label %186, label %190
186: ; preds = %182
%187 = load i32, i32* %11
%188 = add nsw i32 %187, 1
store i32 %188, i32* %11
%189 = load i32, i32* %31
store i32 %189, i32* %25
br label %190
190: ; preds = %186, %182
br label %191
191: ; preds = %190, %135
br label %192
192: ; preds = %191
%193 = load i32, i32* %24
%194 = add nsw i32 %193, 1
store i32 %194, i32* %24
br label %131
195: ; preds = %131
br label %196
196: ; preds = %195, %127
%197 = load i32, i32* %11
ret i32 %197
}

LLVM IR (-O2):
define i32 @testCornerTurn(i8* nocapture %0, i8** nocapture %1, i32 %2, i32 %3, i32 %4) {
br label %6
6: ; preds = %6, %5
%7 = phi i32 [ 1, %5 ], [ %9, %6 ]
%8 = icmp slt i32 %7, %3
%9 = shl nsw i32 %7, 1
br i1 %8, label %6, label %10
10: ; preds = %6
%11 = icmp slt i32 %4, 9
br i1 %11, label %12, label %56
12: ; preds = %10
%13 = shl nsw i32 %2, 3
%14 = sdiv i32 %13, %4
%15 = zext i32 %4 to i64
%16 = shl nsw i64 -1, %15
%17 = trunc i64 %16 to i32
%18 = xor i32 %17, -1
%19 = icmp sgt i32 %14, 0
br i1 %19, label %20, label %91
20: ; preds = %12, %52
%21 = phi i32 [ %53, %52 ], [ 0, %12 ]
%22 = phi i32 [ %54, %52 ], [ 0, %12 ]
%23 = urem i32 %22, %7
%24 = icmp slt i32 %23, %3
br i1 %24, label %25, label %52
25: ; preds = %20
%26 = mul nsw i32 %22, %4
%27 = sdiv i32 %26, 8
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %0, i64 %28
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = and i32 %26, 7
%33 = lshr i32 %31, %32
%34 = sdiv i32 %26, %7
%35 = sdiv i32 %34, 8
%36 = srem i32 %34, 8
%37 = srem i32 %36, %4
%38 = sub nsw i32 %36, %37
%39 = zext i32 %23 to i64
%40 = getelementptr inbounds i8*, i8** %1, i64 %39
%41 = load i8*, i8** %40
%42 = sext i32 %35 to i64
%43 = getelementptr inbounds i8, i8* %41, i64 %42
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = lshr i32 %45, %38
%47 = xor i32 %46, %33
%48 = and i32 %47, %18
%49 = icmp ne i32 %48, 0
%50 = zext i1 %49 to i32
%51 = add nsw i32 %21, %50
br label %52
52: ; preds = %20, %25
%53 = phi i32 [ %51, %25 ], [ %21, %20 ]
%54 = add nuw nsw i32 %22, 1
%55 = icmp eq i32 %54, %14
br i1 %55, label %91, label %20
56: ; preds = %10
%57 = lshr i32 %4, 3
%58 = icmp sgt i32 %2, 0
br i1 %58, label %59, label %91
59: ; preds = %56
%60 = mul nsw i32 %7, %57
br label %61
61: ; preds = %59, %61
%62 = phi i32 [ 0, %59 ], [ %88, %61 ]
%63 = phi i32 [ 0, %59 ], [ %89, %61 ]
%64 = phi i32 [ -1, %59 ], [ %85, %61 ]
%65 = udiv i32 %63, %57
%66 = srem i32 %65, %7
%67 = urem i32 %63, %57
%68 = sdiv i32 %63, %60
%69 = zext i32 %66 to i64
%70 = getelementptr inbounds i8*, i8** %1, i64 %69
%71 = load i8*, i8** %70
%72 = mul nsw i32 %68, %57
%73 = add nsw i32 %72, %67
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %71, i64 %74
%76 = load i8, i8* %75
%77 = mul nsw i32 %65, %57
%78 = add nuw nsw i32 %67, %77
%79 = zext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %0, i64 %79
%81 = load i8, i8* %80
%82 = icmp eq i8 %81, %76
%83 = icmp eq i32 %64, %65
%84 = select i1 %82, i1 true, i1 %83
%85 = select i1 %84, i32 %64, i32 %65
%86 = xor i1 %84, true
%87 = zext i1 %86 to i32
%88 = add nuw nsw i32 %62, %87
%89 = add nuw nsw i32 %63, 1
%90 = icmp eq i32 %89, %2
br i1 %90, label %91, label %61
91: ; preds = %61, %52, %56, %12
%92 = phi i32 [ 0, %12 ], [ 0, %56 ], [ %53, %52 ], [ %88, %61 ]
ret i32 %92
}