int ipixel_patch_scan(const void *src, long step, int size, int *patch) {
  const unsigned char *ptr = (const unsigned char *)src;
  int index = 0, mode = 0, i = 0, count = 0;
  unsigned long endian = 0x11223344;
  int lsb = (*((char *)&endian) == 0x44) ? 1 : 0;
  int A = lsb ? 3 : 0;
  int R = lsb ? 2 : 1;
  int G = lsb ? 1 : 2;
  int B = lsb ? 0 : 3;
  for (i = 0; i < size; ptr += step, i++) {
    unsigned int a1 = ptr[A] + (ptr[A] >> 7);
    unsigned int a2 = 256 - a1;
    unsigned int cr = (ptr[R] * a1 + 255 * a2) >> 8;
    unsigned int cg = (ptr[G] * a1 + 255 * a2) >> 8;
    unsigned int cb = (ptr[B] * a1 + 255 * a2) >> 8;
    unsigned int cc = (cr + cg + cg + cb) >> 2;
    int white = (cc < 128) ? 0 : 1;
    if (mode == 0) {
      if (white)
        mode = 1, count = 1;
      else
        mode = -1, count = 1;
    } else if (mode > 0 && white != 0 && i < size - 1)
      count++;
    else if (mode < 0 && white == 0 && i < size - 1)
      count++;
    else {
      if (i == size - 1)
        count++;
      if (patch)
        patch[index] = (mode >= 0) ? count : -count;
      index++;
      mode = white ? 1 : -1;
      count = 1;
    }
  }
  return index;
}


x86 assembly (clang, -O0):
<ipixel_patch_scan>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movq   $0x11223344,-0x40(%rbp)
11
movsbl -0x40(%rbp),%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x44,%edx
cmove  %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%edx
xor    %eax,%eax
mov    $0x3,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%edx
mov    $0x1,%eax
mov    $0x2,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%edx
mov    $0x2,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x44(%rbp),%edx
mov    $0x3,%eax
xor    %ecx,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x54(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13a7 <ipixel_patch_scan+0x2a7>
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
movslq -0x48(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sar    $0x7,%ecx
add    %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    $0x100,%eax
sub    -0x58(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
imul   -0x58(%rbp),%eax
imul   $0xff,-0x5c(%rbp),%ecx
add    %ecx,%eax
shr    $0x8,%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x50(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
imul   -0x58(%rbp),%eax
imul   $0xff,-0x5c(%rbp),%ecx
add    %ecx,%eax
shr    $0x8,%eax
mov    %eax,-0x64(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x54(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
imul   -0x58(%rbp),%eax
imul   $0xff,-0x5c(%rbp),%ecx
add    %ecx,%eax
shr    $0x8,%eax
mov    %eax,-0x68(%rbp)
mov    -0x60(%rbp),%eax
add    -0x64(%rbp),%eax
add    -0x64(%rbp),%eax
add    -0x68(%rbp),%eax
shr    $0x2,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%edx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x80,%edx
cmovb  %ecx,%eax
mov    %eax,-0x70(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    12a2 <ipixel_patch_scan+0x1a2>
cmpl   $0x0,-0x70(%rbp)
je     128f <ipixel_patch_scan+0x18f>
movl   $0x1,-0x30(%rbp)
movl   $0x1,-0x38(%rbp)
jmp    129d <ipixel_patch_scan+0x19d>
movl   $0xffffffff,-0x30(%rbp)
movl   $0x1,-0x38(%rbp)
jmp    1388 <ipixel_patch_scan+0x288>
cmpl   $0x0,-0x30(%rbp)
jle    12d5 <ipixel_patch_scan+0x1d5>
cmpl   $0x0,-0x70(%rbp)
je     12d5 <ipixel_patch_scan+0x1d5>
mov    -0x34(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12d5 <ipixel_patch_scan+0x1d5>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1383 <ipixel_patch_scan+0x283>
cmpl   $0x0,-0x30(%rbp)
jge    1308 <ipixel_patch_scan+0x208>
cmpl   $0x0,-0x70(%rbp)
jne    1308 <ipixel_patch_scan+0x208>
mov    -0x34(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1308 <ipixel_patch_scan+0x208>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    137e <ipixel_patch_scan+0x27e>
mov    -0x34(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1322 <ipixel_patch_scan+0x222>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1358 <ipixel_patch_scan+0x258>
cmpl   $0x0,-0x30(%rbp)
jl     1342 <ipixel_patch_scan+0x242>
mov    -0x38(%rbp),%eax
mov    %eax,-0x74(%rbp)
jmp    134a <ipixel_patch_scan+0x24a>
xor    %eax,%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x70(%rbp),%edx
mov    $0xffffffff,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x30(%rbp)
movl   $0x1,-0x38(%rbp)
jmp    1383 <ipixel_patch_scan+0x283>
jmp    1388 <ipixel_patch_scan+0x288>
jmp    138d <ipixel_patch_scan+0x28d>
mov    -0x10(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11ac <ipixel_patch_scan+0xac>
mov    -0x2c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ipixel_patch_scan>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edx,%edx
jle    123d <ipixel_patch_scan+0x13d>
lea    -0x1(%rdx),%r8d
add    $0x3,%rdi
neg    %edx
xor    %eax,%eax
xor    %r11d,%r11d
xor    %r9d,%r9d
xor    %r10d,%r10d
jmp    115b <ipixel_patch_scan+0x5b>
nopl   0x0(%rax)
xor    %ebx,%ebx
cmp    $0x200,%ebp
setae  %bl
lea    (%rbx,%rbx,1),%r11d
add    $0xffffffff,%r11d
mov    $0x1,%r10d
add    $0x1,%r9d
add    %rsi,%rdi
mov    %edx,%ebx
add    %r9d,%ebx
je     123f <ipixel_patch_scan+0x13f>
lea    (%rdx,%r9,1),%r15d
movzbl (%rdi),%ebx
mov    %ebx,%r13d
shr    $0x7,%r13d
add    %ebx,%r13d
mov    $0x100,%r14d
sub    %r13d,%r14d
movzbl -0x1(%rdi),%r12d
imul   %r13d,%r12d
mov    %r14d,%ebx
shl    $0x8,%ebx
sub    %r14d,%ebx
add    %ebx,%r12d
shr    $0x8,%r12d
movzbl -0x2(%rdi),%r14d
imul   %r13d,%r14d
add    %ebx,%r14d
movzbl -0x3(%rdi),%ebp
imul   %r13d,%ebp
add    %ebx,%ebp
shr    $0x8,%ebp
add    %r12d,%ebp
shr    $0x8,%r14d
lea    0x0(%rbp,%r14,2),%ebp
test   %r11d,%r11d
je     1130 <ipixel_patch_scan+0x30>
jle    11e0 <ipixel_patch_scan+0xe0>
cmp    $0x200,%ebp
jb     11e0 <ipixel_patch_scan+0xe0>
cmp    %r8d,%r9d
jge    11e0 <ipixel_patch_scan+0xe0>
add    $0x1,%r10d
mov    $0x1,%r11d
jmp    1149 <ipixel_patch_scan+0x49>
nopw   0x0(%rax,%rax,1)
test   %r11d,%r11d
jns    1201 <ipixel_patch_scan+0x101>
cmp    $0x1ff,%ebp
ja     1201 <ipixel_patch_scan+0x101>
cmp    %r8d,%r9d
jge    1201 <ipixel_patch_scan+0x101>
add    $0x1,%r10d
mov    $0xffffffff,%r11d
jmp    1149 <ipixel_patch_scan+0x49>
xor    %r14d,%r14d
cmp    $0xffffffff,%r15d
sete   %bl
test   %rcx,%rcx
je     122a <ipixel_patch_scan+0x12a>
mov    %bl,%r14b
add    %r14d,%r10d
mov    %r10d,%r14d
neg    %r14d
test   %r11d,%r11d
cmovns %r10d,%r14d
movslq %eax,%rbx
mov    %r14d,(%rcx,%rbx,4)
xor    %ebx,%ebx
cmp    $0x200,%ebp
setae  %bl
add    $0x1,%eax
jmp    113b <ipixel_patch_scan+0x3b>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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