#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 /*<<< orphan*/ string;

/* Variables and functions */
int utf8_char_int(char const *);
int utf8_is_valid(const char *string, int length, char **error) {
  int code_point, current_char;
  current_char = 0;
  while (string && string[0] && ((length <= 0) || (current_char < length))) {
    if (((unsigned char)(string[0]) & 0xE0) == 0xC0) {
      if (!string[1] || (((unsigned char)(string[1]) & 0xC0) != 0x80))
        goto invalid;
      code_point = utf8_char_int(string);
      if ((code_point < 0x0080) || (code_point > 0x07FF))
        goto invalid;
      string += 2;
    } else if (((unsigned char)(string[0]) & 0xF0) == 0xE0) {
      if (!string[1] || !string[2] ||
          (((unsigned char)(string[1]) & 0xC0) != 0x80) ||
          (((unsigned char)(string[2]) & 0xC0) != 0x80)) {
        goto invalid;
      }
      code_point = utf8_char_int(string);
      if ((code_point < 0x0800) || (code_point > 0xFFFF) ||
          ((code_point >= 0xD800) && (code_point <= 0xDFFF))) {
        goto invalid;
      }
      string += 3;
    } else if (((unsigned char)(string[0]) & 0xF8) == 0xF0) {
      if (!string[1] || !string[2] || !string[3] ||
          (((unsigned char)(string[1]) & 0xC0) != 0x80) ||
          (((unsigned char)(string[2]) & 0xC0) != 0x80) ||
          (((unsigned char)(string[3]) & 0xC0) != 0x80)) {
        goto invalid;
      }
      code_point = utf8_char_int(string);
      if ((code_point < 0x10000) || (code_point > 0x1FFFFF))
        goto invalid;
      string += 4;
    } else if ((unsigned char)(string[0]) >= 0x80)
      goto invalid;
    else
      string++;
    current_char++;
  }
  if (error)
    *error = NULL;
  return 1;
invalid:
  if (error)
    *error = (char *)string;
  return 0;
}


x86 assembly (clang, -O0):
<utf8_is_valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x29(%rbp)
je     1170 <utf8_is_valid+0x60>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     1170 <utf8_is_valid+0x60>
mov    $0x1,%al
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x2a(%rbp)
jle    116a <utf8_is_valid+0x5a>
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1180 <utf8_is_valid+0x70>
jmp    13c6 <utf8_is_valid+0x2b6>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    11fe <utf8_is_valid+0xee>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     11bd <utf8_is_valid+0xad>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     11c2 <utf8_is_valid+0xb2>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rdi
call   1030 <utf8_char_int@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x80,-0x24(%rbp)
jl     11e8 <utf8_is_valid+0xd8>
cmpl   $0x7ff,-0x24(%rbp)
jle    11ed <utf8_is_valid+0xdd>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    13b8 <utf8_is_valid+0x2a8>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xe0,%eax
jne    12bc <utf8_is_valid+0x1ac>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     1261 <utf8_is_valid+0x151>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x2(%rax)
je     1261 <utf8_is_valid+0x151>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    1261 <utf8_is_valid+0x151>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1266 <utf8_is_valid+0x156>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rdi
call   1030 <utf8_char_int@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x800,-0x24(%rbp)
jl     12a6 <utf8_is_valid+0x196>
cmpl   $0xffff,-0x24(%rbp)
jg     12a6 <utf8_is_valid+0x196>
cmpl   $0xd800,-0x24(%rbp)
jl     12ab <utf8_is_valid+0x19b>
cmpl   $0xdfff,-0x24(%rbp)
jg     12ab <utf8_is_valid+0x19b>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
jmp    13b3 <utf8_is_valid+0x2a3>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf8,%eax
cmp    $0xf0,%eax
jne    1386 <utf8_is_valid+0x276>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     1345 <utf8_is_valid+0x235>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x2(%rax)
je     1345 <utf8_is_valid+0x235>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x3(%rax)
je     1345 <utf8_is_valid+0x235>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    1345 <utf8_is_valid+0x235>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    1345 <utf8_is_valid+0x235>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     134a <utf8_is_valid+0x23a>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rdi
call   1030 <utf8_char_int@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x10000,-0x24(%rbp)
jl     1370 <utf8_is_valid+0x260>
cmpl   $0x1fffff,-0x24(%rbp)
jle    1375 <utf8_is_valid+0x265>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    13ae <utf8_is_valid+0x29e>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jl     139d <utf8_is_valid+0x28d>
jmp    13e8 <utf8_is_valid+0x2d8>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    13ae <utf8_is_valid+0x29e>
jmp    13b3 <utf8_is_valid+0x2a3>
jmp    13b8 <utf8_is_valid+0x2a8>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    112a <utf8_is_valid+0x1a>
cmpq   $0x0,-0x20(%rbp)
je     13dc <utf8_is_valid+0x2cc>
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1405 <utf8_is_valid+0x2f5>
cmpq   $0x0,-0x20(%rbp)
je     13fe <utf8_is_valid+0x2ee>
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_is_valid>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdx,%r14
test   %rdi,%rdi
je     1283 <utf8_is_valid+0x173>
mov    %rdi,%rbx
mov    (%rdi),%al
test   %al,%al
je     1283 <utf8_is_valid+0x173>
mov    %esi,%r15d
xor    %ebp,%ebp
jmp    1162 <utf8_is_valid+0x52>
mov    $0x1,%ecx
test   %al,%al
js     127a <utf8_is_valid+0x16a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rbx,%rcx,1),%eax
add    %rcx,%rbx
add    $0x1,%ebp
test   %al,%al
je     1283 <utf8_is_valid+0x173>
test   %r15d,%r15d
jle    1170 <utf8_is_valid+0x60>
cmp    %r15d,%ebp
jge    1283 <utf8_is_valid+0x173>
movzbl %al,%ecx
mov    %ecx,%edx
and    $0xffffffe0,%edx
cmp    $0xc0,%edx
jne    11b0 <utf8_is_valid+0xa0>
movzbl 0x1(%rbx),%eax
and    $0xc0,%al
cmp    $0x80,%al
jne    127a <utf8_is_valid+0x16a>
mov    %rbx,%rdi
call   1030 <utf8_char_int@plt>
add    $0xfffff800,%eax
mov    $0x2,%ecx
cmp    $0xfffff880,%eax
jae    1150 <utf8_is_valid+0x40>
jmp    127a <utf8_is_valid+0x16a>
nopl   0x0(%rax)
mov    %ecx,%edx
and    $0xfffffff0,%edx
cmp    $0xe0,%edx
jne    1220 <utf8_is_valid+0x110>
movzbl 0x1(%rbx),%ecx
test   %cl,%cl
je     127a <utf8_is_valid+0x16a>
movzbl 0x2(%rbx),%eax
test   %al,%al
je     127a <utf8_is_valid+0x16a>
and    $0xc0,%cl
cmp    $0x80,%cl
jne    127a <utf8_is_valid+0x16a>
and    $0xc0,%al
cmp    $0x80,%al
jne    127a <utf8_is_valid+0x16a>
mov    %rbx,%rdi
call   1030 <utf8_char_int@plt>
lea    -0x10000(%rax),%ecx
cmp    $0xffff0800,%ecx
jb     127a <utf8_is_valid+0x16a>
and    $0xfffff800,%eax
mov    $0x3,%ecx
cmp    $0xd800,%eax
jne    1150 <utf8_is_valid+0x40>
jmp    127a <utf8_is_valid+0x16a>
nopl   0x0(%rax,%rax,1)
and    $0xfffffff8,%ecx
cmp    $0xf0,%ecx
jne    1137 <utf8_is_valid+0x27>
movzbl 0x1(%rbx),%edx
test   %dl,%dl
je     127a <utf8_is_valid+0x16a>
movzbl 0x2(%rbx),%ecx
test   %cl,%cl
je     127a <utf8_is_valid+0x16a>
movzbl 0x3(%rbx),%eax
test   %al,%al
je     127a <utf8_is_valid+0x16a>
and    $0xc0,%dl
cmp    $0x80,%dl
jne    127a <utf8_is_valid+0x16a>
and    $0xc0,%cl
cmp    $0x80,%cl
jne    127a <utf8_is_valid+0x16a>
and    $0xc0,%al
cmp    $0x80,%al
jne    127a <utf8_is_valid+0x16a>
mov    %rbx,%rdi
call   1030 <utf8_char_int@plt>
add    $0xffe00000,%eax
mov    $0x4,%ecx
cmp    $0xffe10000,%eax
jae    1150 <utf8_is_valid+0x40>
xor    %eax,%eax
test   %r14,%r14
jne    128f <utf8_is_valid+0x17f>
jmp    1292 <utf8_is_valid+0x182>
mov    $0x1,%eax
test   %r14,%r14
je     1292 <utf8_is_valid+0x182>
xor    %ebx,%ebx
mov    %rbx,(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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