const char *utf_last_valid2(const char *data, int len) {
  const char *start = data, *end = data + len;
  int state = 0;
  while (data < end) {
    unsigned char octet = *data++;
    switch (state) {
    case 0:
      if (octet <= 0x7F)
        break;
      else if (octet <= 0xC1)
        state = 8;
      else if (octet <= 0xDF)
        state = 1;
      else if (octet == 0xE0)
        state = 2;
      else if (octet <= 0xEC)
        state = 3;
      else if (octet == 0xED)
        state = 4;
      else if (octet <= 0xEF)
        state = 3;
      else if (octet == 0xF0)
        state = 5;
      else if (octet <= 0xF3)
        state = 6;
      else if (octet <= 0xF4)
        state = 7;
      else
        state = 8;
      break;
    case 1:
      if (octet >= 0x80 && octet <= 0xBF)
        state = 0;
      else
        state = 8;
      break;
    case 2:
      if (octet >= 0xA0 && octet <= 0xBF)
        state = 1;
      else
        state = 8;
      break;
    case 3:
      if (octet >= 0x80 && octet <= 0xBF)
        state = 1;
      else
        state = 8;
      break;
    case 4:
      if (octet >= 0x80 && octet <= 0x9F)
        state = 1;
      else
        state = 8;
      break;
    case 5:
      if (octet >= 0x90 && octet <= 0xBF)
        state = 3;
      else
        state = 8;
      break;
    case 6:
      if (octet >= 0x80 && octet <= 0xBF)
        state = 3;
      else
        state = 8;
      break;
    case 7:
      if (octet >= 0x80 && octet <= 0x8F)
        state = 3;
      else
        state = 8;
      break;
    default:
    case 8:
      return start;
    }
    if (state == 0)
      start = data;
  }
  return start;
}


x86 assembly (clang, -O0):
<utf_last_valid2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1451 <utf_last_valid2+0x351>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x2d(%rbp)
mov    -0x2c(%rbp),%eax
mov    %rax,-0x38(%rbp)
sub    $0x8,%rax
ja     1428 <utf_last_valid2+0x328>
mov    -0x38(%rbp),%rax
lea    0xe99(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movzbl -0x2d(%rbp),%eax
cmp    $0x7f,%eax
jg     1182 <utf_last_valid2+0x82>
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0xc1,%eax
jg     119d <utf_last_valid2+0x9d>
movl   $0x8,-0x2c(%rbp)
jmp    12a4 <utf_last_valid2+0x1a4>
movzbl -0x2d(%rbp),%eax
cmp    $0xdf,%eax
jg     11b8 <utf_last_valid2+0xb8>
movl   $0x1,-0x2c(%rbp)
jmp    129f <utf_last_valid2+0x19f>
movzbl -0x2d(%rbp),%eax
cmp    $0xe0,%eax
jne    11d3 <utf_last_valid2+0xd3>
movl   $0x2,-0x2c(%rbp)
jmp    129a <utf_last_valid2+0x19a>
movzbl -0x2d(%rbp),%eax
cmp    $0xec,%eax
jg     11ee <utf_last_valid2+0xee>
movl   $0x3,-0x2c(%rbp)
jmp    1295 <utf_last_valid2+0x195>
movzbl -0x2d(%rbp),%eax
cmp    $0xed,%eax
jne    1209 <utf_last_valid2+0x109>
movl   $0x4,-0x2c(%rbp)
jmp    1290 <utf_last_valid2+0x190>
movzbl -0x2d(%rbp),%eax
cmp    $0xef,%eax
jg     1224 <utf_last_valid2+0x124>
movl   $0x3,-0x2c(%rbp)
jmp    128b <utf_last_valid2+0x18b>
movzbl -0x2d(%rbp),%eax
cmp    $0xf0,%eax
jne    123f <utf_last_valid2+0x13f>
movl   $0x5,-0x2c(%rbp)
jmp    1286 <utf_last_valid2+0x186>
movzbl -0x2d(%rbp),%eax
cmp    $0xf3,%eax
jg     125a <utf_last_valid2+0x15a>
movl   $0x6,-0x2c(%rbp)
jmp    1281 <utf_last_valid2+0x181>
movzbl -0x2d(%rbp),%eax
cmp    $0xf4,%eax
jg     1275 <utf_last_valid2+0x175>
movl   $0x7,-0x2c(%rbp)
jmp    127c <utf_last_valid2+0x17c>
movl   $0x8,-0x2c(%rbp)
jmp    1281 <utf_last_valid2+0x181>
jmp    1286 <utf_last_valid2+0x186>
jmp    128b <utf_last_valid2+0x18b>
jmp    1290 <utf_last_valid2+0x190>
jmp    1295 <utf_last_valid2+0x195>
jmp    129a <utf_last_valid2+0x19a>
jmp    129f <utf_last_valid2+0x19f>
jmp    12a4 <utf_last_valid2+0x1a4>
jmp    12a9 <utf_last_valid2+0x1a9>
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x80,%eax
jl     12d8 <utf_last_valid2+0x1d8>
movzbl -0x2d(%rbp),%eax
cmp    $0xbf,%eax
jg     12d8 <utf_last_valid2+0x1d8>
movl   $0x0,-0x2c(%rbp)
jmp    12df <utf_last_valid2+0x1df>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0xa0,%eax
jl     130e <utf_last_valid2+0x20e>
movzbl -0x2d(%rbp),%eax
cmp    $0xbf,%eax
jg     130e <utf_last_valid2+0x20e>
movl   $0x1,-0x2c(%rbp)
jmp    1315 <utf_last_valid2+0x215>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x80,%eax
jl     1344 <utf_last_valid2+0x244>
movzbl -0x2d(%rbp),%eax
cmp    $0xbf,%eax
jg     1344 <utf_last_valid2+0x244>
movl   $0x1,-0x2c(%rbp)
jmp    134b <utf_last_valid2+0x24b>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x80,%eax
jl     137a <utf_last_valid2+0x27a>
movzbl -0x2d(%rbp),%eax
cmp    $0x9f,%eax
jg     137a <utf_last_valid2+0x27a>
movl   $0x1,-0x2c(%rbp)
jmp    1381 <utf_last_valid2+0x281>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x90,%eax
jl     13b0 <utf_last_valid2+0x2b0>
movzbl -0x2d(%rbp),%eax
cmp    $0xbf,%eax
jg     13b0 <utf_last_valid2+0x2b0>
movl   $0x3,-0x2c(%rbp)
jmp    13b7 <utf_last_valid2+0x2b7>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x80,%eax
jl     13e6 <utf_last_valid2+0x2e6>
movzbl -0x2d(%rbp),%eax
cmp    $0xbf,%eax
jg     13e6 <utf_last_valid2+0x2e6>
movl   $0x3,-0x2c(%rbp)
jmp    13ed <utf_last_valid2+0x2ed>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
movzbl -0x2d(%rbp),%eax
cmp    $0x80,%eax
jl     141c <utf_last_valid2+0x31c>
movzbl -0x2d(%rbp),%eax
cmp    $0x8f,%eax
jg     141c <utf_last_valid2+0x31c>
movl   $0x3,-0x2c(%rbp)
jmp    1423 <utf_last_valid2+0x323>
movl   $0x8,-0x2c(%rbp)
jmp    143a <utf_last_valid2+0x33a>
jmp    142d <utf_last_valid2+0x32d>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1459 <utf_last_valid2+0x359>
cmpl   $0x0,-0x2c(%rbp)
jne    144c <utf_last_valid2+0x34c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1129 <utf_last_valid2+0x29>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf_last_valid2>:
test   %esi,%esi
jle    120c <utf_last_valid2+0x10c>
movslq %esi,%rcx
add    %rdi,%rcx
xor    %esi,%esi
lea    0xee9(%rip),%r9
mov    $0x1,%r8d
mov    %rdi,%rax
jmp    113d <utf_last_valid2+0x3d>
add    $0x70,%dl
xor    %esi,%esi
cmp    $0x30,%dl
setae  %sil
lea    (%rsi,%rsi,4),%esi
add    $0x3,%esi
cmp    %rcx,%rdi
jae    120b <utf_last_valid2+0x10b>
cmp    $0x7,%esi
ja     120b <utf_last_valid2+0x10b>
movzbl (%rdi),%edx
add    $0x1,%rdi
mov    %esi,%esi
movslq (%r9,%rsi,4),%rsi
add    %r9,%rsi
jmp    *%rsi
test   %dl,%dl
jns    1194 <utf_last_valid2+0x94>
mov    $0x8,%esi
cmp    $0xc2,%dl
jb     1134 <utf_last_valid2+0x34>
mov    $0x1,%esi
cmp    $0xe0,%dl
jb     1134 <utf_last_valid2+0x34>
mov    $0x2,%esi
je     1134 <utf_last_valid2+0x34>
mov    $0x3,%esi
cmp    $0xed,%dl
jb     1134 <utf_last_valid2+0x34>
jne    11d7 <utf_last_valid2+0xd7>
mov    $0x4,%esi
jmp    1134 <utf_last_valid2+0x34>
mov    $0x8,%esi
cmp    $0xbf,%dl
jg     1134 <utf_last_valid2+0x34>
xor    %esi,%esi
mov    %rdi,%rax
jmp    1134 <utf_last_valid2+0x34>
and    $0xe0,%dl
cmp    $0xa0,%dl
mov    $0x8,%esi
cmove  %r8d,%esi
jmp    1134 <utf_last_valid2+0x34>
cmp    $0xc0,%dl
jmp    11b4 <utf_last_valid2+0xb4>
cmp    $0xa0,%dl
mov    $0x8,%esi
cmovl  %r8d,%esi
jmp    1134 <utf_last_valid2+0x34>
xor    %esi,%esi
cmp    $0xc0,%dl
jmp    11ce <utf_last_valid2+0xce>
xor    %esi,%esi
cmp    $0x90,%dl
setge  %sil
jmp    112e <utf_last_valid2+0x2e>
cmp    $0xf0,%dl
jb     1134 <utf_last_valid2+0x34>
mov    $0x5,%esi
je     1134 <utf_last_valid2+0x34>
mov    $0x6,%esi
cmp    $0xf4,%dl
jb     1134 <utf_last_valid2+0x34>
sete   %dl
movzbl %dl,%edx
mov    $0x8,%esi
sub    %edx,%esi
jmp    1134 <utf_last_valid2+0x34>
ret
mov    %rdi,%rax
ret

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

LLVM IR (-O2):
define i8* @utf_last_valid2(i8* %0, i32 %1) {
%3 = sext i32 %1 to i64
%4 = getelementptr inbounds i8, i8* %0, i64 %3
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %60
6: ; preds = %2, %56
%7 = phi i32 [ %58, %56 ], [ 0, %2 ]
%8 = phi i8* [ %10, %56 ], [ %0, %2 ]
%9 = phi i8* [ %57, %56 ], [ %0, %2 ]
%10 = getelementptr inbounds i8, i8* %8, i64 1
%11 = load i8, i8* %8
switch i32 %7, label %60 [
i32 0, label %12
i32 1, label %53
i32 2, label %33
i32 3, label %37
i32 4, label %40
i32 5, label %43
i32 6, label %47
i32 7, label %50
]
12: ; preds = %6
%13 = icmp sgt i8 %11, -1
br i1 %13, label %55, label %14
14: ; preds = %12
%15 = icmp ult i8 %11, -62
br i1 %15, label %56, label %16
16: ; preds = %14
%17 = icmp ult i8 %11, -32
br i1 %17, label %56, label %18
18: ; preds = %16
%19 = icmp eq i8 %11, -32
br i1 %19, label %56, label %20
20: ; preds = %18
%21 = icmp ult i8 %11, -19
br i1 %21, label %56, label %22
22: ; preds = %20
%23 = icmp eq i8 %11, -19
br i1 %23, label %56, label %24
24: ; preds = %22
%25 = icmp ult i8 %11, -16
br i1 %25, label %56, label %26
26: ; preds = %24
%27 = icmp eq i8 %11, -16
br i1 %27, label %56, label %28
28: ; preds = %26
%29 = icmp ult i8 %11, -12
br i1 %29, label %56, label %30
30: ; preds = %28
%31 = icmp eq i8 %11, -12
%32 = select i1 %31, i32 7, i32 8
br label %56
33: ; preds = %6
%34 = and i8 %11, -32
%35 = icmp eq i8 %34, -96
%36 = select i1 %35, i32 1, i32 8
br label %56
37: ; preds = %6
%38 = icmp slt i8 %11, -64
%39 = select i1 %38, i32 1, i32 8
br label %56
40: ; preds = %6
%41 = icmp slt i8 %11, -96
%42 = select i1 %41, i32 1, i32 8
br label %56
43: ; preds = %6
%44 = add i8 %11, 112
%45 = icmp ult i8 %44, 48
%46 = select i1 %45, i32 3, i32 8
br label %56
47: ; preds = %6
%48 = icmp slt i8 %11, -64
%49 = select i1 %48, i32 3, i32 8
br label %56
50: ; preds = %6
%51 = icmp slt i8 %11, -112
%52 = select i1 %51, i32 3, i32 8
br label %56
53: ; preds = %6
%54 = icmp slt i8 %11, -64
br i1 %54, label %55, label %56
55: ; preds = %12, %53
br label %56
56: ; preds = %50, %47, %43, %40, %37, %33, %30, %28, %26, %24, %22, %20, %18, %16, %14, %55, %53
%57 = phi i8* [ %10, %55 ], [ %9, %53 ], [ %9, %14 ], [ %9, %16 ], [ %9, %18 ], [ %9, %20 ], [ %9, %22 ], [ %9, %24 ], [ %9, %26 ], [ %9, %28 ], [ %9, %30 ], [ %9, %33 ], [ %9, %37 ], [ %9, %40 ], [ %9, %43 ], [ %9, %47 ], [ %9, %50 ]
%58 = phi i32 [ 0, %55 ], [ 8, %53 ], [ 8, %14 ], [ 1, %16 ], [ 2, %18 ], [ 3, %20 ], [ 4, %22 ], [ 3, %24 ], [ 5, %26 ], [ 6, %28 ], [ %32, %30 ], [ %36, %33 ], [ %39, %37 ], [ %42, %40 ], [ %46, %43 ], [ %49, %47 ], [ %52, %50 ]
%59 = icmp ult i8* %10, %4
br i1 %59, label %6, label %60
60: ; preds = %56, %6, %2
%61 = phi i8* [ %0, %2 ], [ %9, %6 ], [ %57, %56 ]
ret i8* %61
}