#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int val;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
const char *fast_validate_len(const char *str, size_t max_len) {
  unsigned int val = 0;
  unsigned int min = 0;
  const char *p;
  assert(max_len >= 0);
  for (p = str; ((size_t)(p - str) < max_len) && *p; p++) {
    if (*(unsigned char *)p < 128)
      ;
    else {
      const char *last;
      last = p;
      if ((*(unsigned char *)p & 0xe0) == 0xc0) {
        if (max_len - (p - str) < 2)
          goto error;
        if ((*(unsigned char *)p & 0x1e) == 0)
          goto error;
        p++;
        if ((*(unsigned char *)p & 0xc0) != 0x80)
          goto error;
      } else {
        if ((*(unsigned char *)p & 0xf0) == 0xe0) {
          if (max_len - (p - str) < 3)
            goto error;
          min = (1 << 11);
          val = *(unsigned char *)p & 0x0f;
          goto TWO_REMAINING;
        } else if ((*(unsigned char *)p & 0xf8) == 0xf0) {
          if (max_len - (p - str) < 4)
            goto error;
          min = (1 << 16);
          val = *(unsigned char *)p & 0x07;
        } else
          goto error;
        p++;
        do {
          if ((*(unsigned char *)p & 0xc0) != 0x80)
            goto error;
          val <<= 6;
          val |= (*(unsigned char *)p) & 0x3f;
        } while (0);
      TWO_REMAINING:
        p++;
        do {
          if ((*(unsigned char *)p & 0xc0) != 0x80)
            goto error;
          val <<= 6;
          val |= (*(unsigned char *)p) & 0x3f;
        } while (0);
        p++;
        do {
          if ((*(unsigned char *)p & 0xc0) != 0x80)
            goto error;
          val <<= 6;
          val |= (*(unsigned char *)p) & 0x3f;
        } while (0);
        if (val < min)
          goto error;
        if (!((val) < 0x110000 && (((val)&0xFFFFF800) != 0xD800) &&
              ((val) < 0xFDD0 || (val) > 0xFDEF) && ((val)&0xFFFE) != 0xFFFE))
          goto error;
      }
      continue;
    error:
      return last;
    }
  }
  return p;
}


x86 assembly (clang, -O0):
<fast_validate_len>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpq   $0x0,-0x18(%rbp)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rax,%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x31(%rbp)
jae    1172 <fast_validate_len+0x62>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1182 <fast_validate_len+0x72>
jmp    1422 <fast_validate_len+0x312>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    1199 <fast_validate_len+0x89>
jmp    140c <fast_validate_len+0x2fc>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    121e <fast_validate_len+0x10e>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sub    %rcx,%rax
cmp    $0x2,%rax
jae    11d9 <fast_validate_len+0xc9>
jmp    13ff <fast_validate_len+0x2ef>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0x1e,%eax
cmp    $0x0,%eax
jne    11f1 <fast_validate_len+0xe1>
jmp    13ff <fast_validate_len+0x2ef>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1219 <fast_validate_len+0x109>
jmp    13ff <fast_validate_len+0x2ef>
jmp    13fa <fast_validate_len+0x2ea>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xe0,%eax
jne    126f <fast_validate_len+0x15f>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sub    %rcx,%rax
cmp    $0x3,%rax
jae    1256 <fast_validate_len+0x146>
jmp    13ff <fast_validate_len+0x2ef>
movl   $0x800,-0x20(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
mov    %eax,-0x1c(%rbp)
jmp    1310 <fast_validate_len+0x200>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xf8,%eax
cmp    $0xf0,%eax
jne    12c0 <fast_validate_len+0x1b0>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sub    %rcx,%rax
cmp    $0x4,%rax
jae    12a7 <fast_validate_len+0x197>
jmp    13ff <fast_validate_len+0x2ef>
movl   $0x10000,-0x20(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0x7,%eax
mov    %eax,-0x1c(%rbp)
jmp    12c5 <fast_validate_len+0x1b5>
jmp    13ff <fast_validate_len+0x2ef>
jmp    12ca <fast_validate_len+0x1ba>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     12f2 <fast_validate_len+0x1e2>
jmp    13ff <fast_validate_len+0x2ef>
mov    -0x1c(%rbp),%eax
shl    $0x6,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1310 <fast_validate_len+0x200>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1338 <fast_validate_len+0x228>
jmp    13ff <fast_validate_len+0x2ef>
mov    -0x1c(%rbp),%eax
shl    $0x6,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1379 <fast_validate_len+0x269>
jmp    13ff <fast_validate_len+0x2ef>
mov    -0x1c(%rbp),%eax
shl    $0x6,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jae    13a3 <fast_validate_len+0x293>
jmp    13ff <fast_validate_len+0x2ef>
cmpl   $0x110000,-0x1c(%rbp)
jae    13f0 <fast_validate_len+0x2e0>
mov    -0x1c(%rbp),%eax
and    $0xfffff800,%eax
cmp    $0xd800,%eax
je     13f0 <fast_validate_len+0x2e0>
cmpl   $0xfdd0,-0x1c(%rbp)
jb     13dd <fast_validate_len+0x2cd>
cmpl   $0xfdef,-0x1c(%rbp)
jbe    13f0 <fast_validate_len+0x2e0>
mov    -0x1c(%rbp),%eax
and    $0xfffe,%eax
cmp    $0xfffe,%eax
jne    13f5 <fast_validate_len+0x2e5>
jmp    13ff <fast_validate_len+0x2ef>
jmp    13fa <fast_validate_len+0x2ea>
jmp    1411 <fast_validate_len+0x301>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    142a <fast_validate_len+0x31a>
jmp    1411 <fast_validate_len+0x301>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1148 <fast_validate_len+0x38>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fast_validate_len>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r15
mov    %rdi,%r14
mov    $0x1,%edi
call   1030 <assert@plt>
test   %r15,%r15
je     128b <fast_validate_len+0x17b>
xor    %edx,%edx
mov    %r14,%rax
jmp    1153 <fast_validate_len+0x43>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%rax
mov    %rax,%rdx
sub    %r14,%rdx
cmp    %r15,%rdx
jae    128e <fast_validate_len+0x17e>
movzbl (%rax),%ecx
test   %ecx,%ecx
je     128e <fast_validate_len+0x17e>
test   %cl,%cl
jns    1140 <fast_validate_len+0x30>
mov    %ecx,%esi
and    $0xffffffe0,%esi
cmp    $0xc0,%esi
jne    119e <fast_validate_len+0x8e>
mov    %r15,%rsi
sub    %rdx,%rsi
cmp    $0x2,%rsi
jb     128e <fast_validate_len+0x17e>
and    $0x1e,%ecx
je     128e <fast_validate_len+0x17e>
movzbl 0x1(%rax),%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    128e <fast_validate_len+0x17e>
add    $0x1,%rax
jmp    1140 <fast_validate_len+0x30>
mov    %ecx,%esi
and    $0xfffffff0,%esi
cmp    $0xe0,%esi
jne    11c9 <fast_validate_len+0xb9>
mov    %r15,%rsi
sub    %rdx,%rsi
cmp    $0x3,%rsi
jb     128e <fast_validate_len+0x17e>
and    $0xf,%ecx
mov    $0x800,%r8d
mov    %rax,%rdx
jmp    1214 <fast_validate_len+0x104>
mov    %ecx,%esi
and    $0xfffffff8,%esi
cmp    $0xf0,%esi
jne    128e <fast_validate_len+0x17e>
mov    %r15,%rsi
sub    %rdx,%rsi
cmp    $0x4,%rsi
jb     128e <fast_validate_len+0x17e>
movzbl 0x1(%rax),%esi
mov    %esi,%edx
and    $0xffffffc0,%edx
cmp    $0x80,%edx
jne    128e <fast_validate_len+0x17e>
lea    0x1(%rax),%rdx
and    $0x7,%ecx
shl    $0x6,%ecx
and    $0x3f,%esi
or     %esi,%ecx
mov    $0x10000,%r8d
movzbl 0x1(%rdx),%esi
mov    %esi,%edi
and    $0xffffffc0,%edi
cmp    $0x80,%edi
jne    128e <fast_validate_len+0x17e>
movzbl 0x2(%rdx),%edi
mov    %edi,%ebx
and    $0xffffffc0,%ebx
cmp    $0x80,%ebx
jne    128e <fast_validate_len+0x17e>
shl    $0xc,%ecx
and    $0x3f,%esi
shl    $0x6,%esi
or     %ecx,%esi
and    $0x3f,%edi
lea    (%rdi,%rsi,1),%ecx
cmp    %r8d,%ecx
jb     128e <fast_validate_len+0x17e>
cmp    $0x10ffff,%ecx
ja     128e <fast_validate_len+0x17e>
mov    %esi,%ebx
and    $0x1ff800,%ebx
cmp    $0xd800,%ebx
je     128e <fast_validate_len+0x17e>
add    %edi,%esi
add    $0xffff0230,%esi
cmp    $0x20,%esi
jb     128e <fast_validate_len+0x17e>
and    $0xfffe,%ecx
cmp    $0xfffe,%ecx
je     128e <fast_validate_len+0x17e>
add    $0x2,%rdx
mov    %rdx,%rax
jmp    1140 <fast_validate_len+0x30>
mov    %r14,%rax
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define i8* @fast_validate_len(i8* %0, i64 %1) {
%3 = tail call i32 @assert(i32 1)
%4 = ptrtoint i8* %0 to i64
%5 = icmp eq i64 %1, 0
br i1 %5, label %93, label %6
6: ; preds = %2, %87
%7 = phi i64 [ %91, %87 ], [ 0, %2 ]
%8 = phi i8* [ %89, %87 ], [ %0, %2 ]
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 0
br i1 %10, label %93, label %11
11: ; preds = %6
%12 = zext i8 %9 to i32
%13 = icmp sgt i8 %9, -1
br i1 %13, label %87, label %14
14: ; preds = %11
%15 = and i32 %12, 224
%16 = icmp eq i32 %15, 192
br i1 %16, label %17, label %28
17: ; preds = %14
%18 = sub i64 %1, %7
%19 = icmp ult i64 %18, 2
%20 = and i32 %12, 30
%21 = icmp eq i32 %20, 0
%22 = select i1 %19, i1 true, i1 %21
br i1 %22, label %93, label %23
23: ; preds = %17
%24 = getelementptr inbounds i8, i8* %8, i64 1
%25 = load i8, i8* %24
%26 = and i8 %25, -64
%27 = icmp eq i8 %26, -128
br i1 %27, label %87, label %93
28: ; preds = %14
%29 = and i32 %12, 240
%30 = icmp eq i32 %29, 224
br i1 %30, label %31, label %36
31: ; preds = %28
%32 = sub i64 %1, %7
%33 = icmp ult i64 %32, 3
br i1 %33, label %93, label %34
34: ; preds = %31
%35 = and i32 %12, 15
br label %53
36: ; preds = %28
%37 = and i32 %12, 248
%38 = icmp ne i32 %37, 240
%39 = sub i64 %1, %7
%40 = icmp ult i64 %39, 4
%41 = select i1 %38, i1 true, i1 %40
br i1 %41, label %93, label %42
42: ; preds = %36
%43 = getelementptr inbounds i8, i8* %8, i64 1
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = and i32 %45, 192
%47 = icmp eq i32 %46, 128
br i1 %47, label %48, label %93
48: ; preds = %42
%49 = shl nuw nsw i32 %12, 6
%50 = and i32 %49, 448
%51 = and i32 %45, 63
%52 = or i32 %51, %50
br label %53
53: ; preds = %48, %34
%54 = phi i32 [ %35, %34 ], [ %52, %48 ]
%55 = phi i32 [ 2048, %34 ], [ 65536, %48 ]
%56 = phi i8* [ %8, %34 ], [ %43, %48 ]
%57 = getelementptr inbounds i8, i8* %56, i64 1
%58 = load i8, i8* %57
%59 = zext i8 %58 to i32
%60 = and i32 %59, 192
%61 = icmp eq i32 %60, 128
br i1 %61, label %62, label %93
62: ; preds = %53
%63 = getelementptr inbounds i8, i8* %56, i64 2
%64 = load i8, i8* %63
%65 = zext i8 %64 to i32
%66 = and i32 %65, 192
%67 = icmp eq i32 %66, 128
br i1 %67, label %68, label %93
68: ; preds = %62
%69 = shl nsw i32 %54, 12
%70 = shl nuw nsw i32 %59, 6
%71 = and i32 %70, 4032
%72 = or i32 %71, %69
%73 = and i32 %65, 63
%74 = or i32 %73, %72
%75 = icmp ult i32 %74, %55
%76 = icmp ugt i32 %74, 1114111
%77 = and i32 %72, -2048
%78 = icmp eq i32 %77, 55296
%79 = or i1 %75, %76
%80 = select i1 %79, i1 true, i1 %78
%81 = add nsw i32 %74, -64976
%82 = icmp ult i32 %81, 32
%83 = select i1 %80, i1 true, i1 %82
%84 = and i32 %74, 65534
%85 = icmp eq i32 %84, 65534
%86 = select i1 %83, i1 true, i1 %85
br i1 %86, label %93, label %87
87: ; preds = %23, %68, %11
%88 = phi i8* [ %8, %11 ], [ %63, %68 ], [ %24, %23 ]
%89 = getelementptr inbounds i8, i8* %88, i64 1
%90 = ptrtoint i8* %89 to i64
%91 = sub i64 %90, %4
%92 = icmp ult i64 %91, %1
br i1 %92, label %6, label %93
93: ; preds = %87, %6, %17, %23, %31, %36, %42, %53, %62, %68, %2
%94 = phi i8* [ %0, %2 ], [ %8, %68 ], [ %8, %62 ], [ %8, %53 ], [ %8, %42 ], [ %8, %36 ], [ %8, %31 ], [ %8, %23 ], [ %8, %17 ], [ %8, %6 ], [ %89, %87 ]
ret i8* %94
}