#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 uint8_t;

/* Variables and functions */
bool is_valid_utf8(const char *ss, size_t len) {
  size_t i = 0;
  size_t tail_bytes = 0;
  const uint8_t *s = (const uint8_t *)ss;
  while (i < len) {
    if (s[i] <= 0x7F) {
      tail_bytes = 0;
    } else if (s[i] >= 0xC2 && s[i] <= 0xDF) {
      tail_bytes = 1;
    } else if (s[i] == 0xE0) {
      i++;
      if (i >= len || !(s[i] >= 0xA0 && s[i] <= 0xBF))
        return false;
      tail_bytes = 1;
    } else if (s[i] >= 0xE1 && s[i] <= 0xEC) {
      tail_bytes = 2;
    } else if (s[i] == 0xED) {
      i++;
      if (i >= len || !(s[i] >= 0x80 && s[i] <= 0x9F))
        return false;
      tail_bytes = 1;
    } else if (s[i] >= 0xEE && s[i] <= 0xEF) {
      tail_bytes = 2;
    } else if (s[i] == 0xF0) {
      i++;
      if (i >= len || !(s[i] >= 0x90 && s[i] <= 0xBF))
        return false;
      tail_bytes = 2;
    } else if (s[i] >= 0xF1 && s[i] <= 0xF3) {
      tail_bytes = 3;
    } else if (s[i] == 0xF4) {
      i++;
      if (i >= len || !(s[i] >= 0x80 && s[i] <= 0x8F))
        return false;
      tail_bytes = 2;
    } else {
      return false;
    }
    i++;
    while (i < len && tail_bytes > 0 && s[i] >= 0x80 && s[i] <= 0xBF) {
      i++;
      tail_bytes--;
    }
    if (tail_bytes != 0)
      return false;
  }
  return true;
}


x86 assembly (clang, -O0):
<is_valid_utf8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    14d0 <is_valid_utf8+0x3d0>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x7f,(%rax,%rcx,4)
jg     1151 <is_valid_utf8+0x51>
movq   $0x0,-0x28(%rbp)
jmp    1429 <is_valid_utf8+0x329>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xc2,(%rax,%rcx,4)
jl     1188 <is_valid_utf8+0x88>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xdf,(%rax,%rcx,4)
jg     1188 <is_valid_utf8+0x88>
movq   $0x1,-0x28(%rbp)
jmp    1424 <is_valid_utf8+0x324>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xe0,(%rax,%rcx,4)
jne    11fa <is_valid_utf8+0xfa>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    11e1 <is_valid_utf8+0xe1>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xa0,(%rax,%rcx,4)
jl     11e1 <is_valid_utf8+0xe1>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xbf,(%rax,%rcx,4)
jle    11ed <is_valid_utf8+0xed>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
movq   $0x1,-0x28(%rbp)
jmp    141f <is_valid_utf8+0x31f>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xe1,(%rax,%rcx,4)
jl     1231 <is_valid_utf8+0x131>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xec,(%rax,%rcx,4)
jg     1231 <is_valid_utf8+0x131>
movq   $0x2,-0x28(%rbp)
jmp    141a <is_valid_utf8+0x31a>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xed,(%rax,%rcx,4)
jne    12a3 <is_valid_utf8+0x1a3>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    128a <is_valid_utf8+0x18a>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x80,(%rax,%rcx,4)
jl     128a <is_valid_utf8+0x18a>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x9f,(%rax,%rcx,4)
jle    1296 <is_valid_utf8+0x196>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
movq   $0x1,-0x28(%rbp)
jmp    1415 <is_valid_utf8+0x315>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xee,(%rax,%rcx,4)
jl     12da <is_valid_utf8+0x1da>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xef,(%rax,%rcx,4)
jg     12da <is_valid_utf8+0x1da>
movq   $0x2,-0x28(%rbp)
jmp    1410 <is_valid_utf8+0x310>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xf0,(%rax,%rcx,4)
jne    134c <is_valid_utf8+0x24c>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1333 <is_valid_utf8+0x233>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x90,(%rax,%rcx,4)
jl     1333 <is_valid_utf8+0x233>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xbf,(%rax,%rcx,4)
jle    133f <is_valid_utf8+0x23f>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
movq   $0x2,-0x28(%rbp)
jmp    140b <is_valid_utf8+0x30b>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xf1,(%rax,%rcx,4)
jl     1383 <is_valid_utf8+0x283>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xf3,(%rax,%rcx,4)
jg     1383 <is_valid_utf8+0x283>
movq   $0x3,-0x28(%rbp)
jmp    1406 <is_valid_utf8+0x306>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xf4,(%rax,%rcx,4)
jne    13f5 <is_valid_utf8+0x2f5>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    13dc <is_valid_utf8+0x2dc>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x80,(%rax,%rcx,4)
jl     13dc <is_valid_utf8+0x2dc>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x8f,(%rax,%rcx,4)
jle    13e8 <is_valid_utf8+0x2e8>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
movq   $0x2,-0x28(%rbp)
jmp    1401 <is_valid_utf8+0x301>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
jmp    1406 <is_valid_utf8+0x306>
jmp    140b <is_valid_utf8+0x30b>
jmp    1410 <is_valid_utf8+0x310>
jmp    1415 <is_valid_utf8+0x315>
jmp    141a <is_valid_utf8+0x31a>
jmp    141f <is_valid_utf8+0x31f>
jmp    1424 <is_valid_utf8+0x324>
jmp    1429 <is_valid_utf8+0x329>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x31(%rbp)
jae    1487 <is_valid_utf8+0x387>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x31(%rbp)
jbe    1487 <is_valid_utf8+0x387>
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%rdx
xor    %eax,%eax
cmpl   $0x80,(%rcx,%rdx,4)
mov    %al,-0x31(%rbp)
jl     1487 <is_valid_utf8+0x387>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0xbf,(%rax,%rcx,4)
setle  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1497 <is_valid_utf8+0x397>
jmp    14b4 <is_valid_utf8+0x3b4>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1435 <is_valid_utf8+0x335>
cmpq   $0x0,-0x28(%rbp)
je     14cb <is_valid_utf8+0x3cb>
movl   $0x0,-0x4(%rbp)
jmp    14d7 <is_valid_utf8+0x3d7>
jmp    1124 <is_valid_utf8+0x24>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_valid_utf8>:
xor    %edx,%edx
mov    $0xffffff70,%r8d
jmp    111f <is_valid_utf8+0x1f>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdx
xor    %eax,%eax
test   %rax,%rax
jne    12de <is_valid_utf8+0x1de>
cmp    %rsi,%rdx
jae    12e1 <is_valid_utf8+0x1e1>
mov    (%rdi,%rdx,4),%ecx
cmp    $0x7f,%ecx
jle    1110 <is_valid_utf8+0x10>
lea    -0xc2(%rcx),%eax
cmp    $0x1e,%eax
jae    1150 <is_valid_utf8+0x50>
mov    %rdx,%rcx
xor    %r10d,%r10d
xor    %r9d,%r9d
jmp    11e0 <is_valid_utf8+0xe0>
nopl   0x0(%rax)
cmp    $0xe0,%ecx
jne    117f <is_valid_utf8+0x7f>
lea    0x1(%rdx),%rcx
cmp    %rsi,%rcx
jae    12de <is_valid_utf8+0x1de>
mov    0x4(%rdi,%rdx,4),%eax
and    $0xffffffe0,%eax
xor    %r10d,%r10d
cmp    $0xa0,%eax
jne    12de <is_valid_utf8+0x1de>
xor    %r9d,%r9d
jmp    11e0 <is_valid_utf8+0xe0>
lea    -0xe1(%rcx),%eax
mov    $0x1,%r9d
mov    $0x1,%r10b
cmp    $0xc,%eax
jb     11ce <is_valid_utf8+0xce>
cmp    $0xed,%ecx
jne    11be <is_valid_utf8+0xbe>
lea    0x1(%rdx),%rcx
cmp    %rsi,%rcx
jae    12de <is_valid_utf8+0x1de>
mov    0x4(%rdi,%rdx,4),%eax
and    $0xffffffe0,%eax
xor    %r10d,%r10d
cmp    $0x80,%eax
je     117a <is_valid_utf8+0x7a>
jmp    12de <is_valid_utf8+0x1de>
mov    %ecx,%eax
and    $0xfffffffe,%eax
cmp    $0xee,%eax
jne    1278 <is_valid_utf8+0x178>
mov    %rdx,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%rcx),%rax
cmp    %rsi,%rax
jae    12de <is_valid_utf8+0x1de>
mov    0x4(%rdi,%rcx,4),%eax
and    $0xffffffc0,%eax
cmp    $0x80,%eax
jne    12de <is_valid_utf8+0x1de>
lea    0x2(%rcx),%rdx
cmp    %rsi,%rdx
setae  %al
xor    $0x1,%r10b
or     %al,%r10b
jne    1270 <is_valid_utf8+0x170>
mov    0x8(%rdi,%rcx,4),%eax
and    $0xffffffc0,%eax
cmp    $0x80,%eax
jne    12de <is_valid_utf8+0x1de>
lea    -0x1(%r9),%rax
lea    0x3(%rcx),%rdx
cmp    %rsi,%rdx
jae    1116 <is_valid_utf8+0x16>
test   %rax,%rax
je     1116 <is_valid_utf8+0x16>
mov    0xc(%rdi,%rcx,4),%edx
and    $0xffffffc0,%edx
mov    $0x0,%eax
cmp    $0x80,%edx
jne    12e0 <is_valid_utf8+0x1e0>
add    $0xfffffffffffffffe,%r9
add    $0x4,%rcx
mov    %r9,%rax
mov    %rcx,%rdx
jmp    1116 <is_valid_utf8+0x16>
nopl   0x0(%rax)
mov    %r9,%rax
jmp    1116 <is_valid_utf8+0x16>
cmp    $0xf0,%ecx
jne    129d <is_valid_utf8+0x19d>
lea    0x1(%rdx),%rcx
xor    %eax,%eax
cmp    %rsi,%rcx
jae    12e0 <is_valid_utf8+0x1e0>
mov    0x4(%rdi,%rdx,4),%edx
add    %r8d,%edx
cmp    $0x30,%edx
jb     11e0 <is_valid_utf8+0xe0>
jmp    12e0 <is_valid_utf8+0x1e0>
lea    -0xf1(%rcx),%eax
cmp    $0x3,%eax
jae    12b6 <is_valid_utf8+0x1b6>
mov    %rdx,%rcx
mov    $0x2,%r9d
jmp    11e0 <is_valid_utf8+0xe0>
xor    %eax,%eax
cmp    $0xf4,%ecx
jne    12e0 <is_valid_utf8+0x1e0>
lea    0x1(%rdx),%rcx
cmp    %rsi,%rcx
jae    12e0 <is_valid_utf8+0x1e0>
mov    0x4(%rdi,%rdx,4),%edx
and    $0xfffffff0,%edx
cmp    $0x80,%edx
je     11e0 <is_valid_utf8+0xe0>
jmp    12e0 <is_valid_utf8+0x1e0>
xor    %eax,%eax
ret
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @is_valid_utf8(i8* nocapture %0, i64 %1) {
%3 = bitcast i8* %0 to i32*
br label %4
4: ; preds = %99, %2
%5 = phi i64 [ 0, %2 ], [ %101, %99 ]
%6 = icmp ult i64 %5, %1
br i1 %6, label %7, label %103
7: ; preds = %4
%8 = getelementptr inbounds i32, i32* %3, i64 %5
%9 = load i32, i32* %8
%10 = icmp slt i32 %9, 128
br i1 %10, label %11, label %13
11: ; preds = %7
%12 = add nuw i64 %5, 1
br label %99
13: ; preds = %7
%14 = add nsw i32 %9, -194
%15 = icmp ult i32 %14, 30
br i1 %15, label %65, label %16
16: ; preds = %13
%17 = icmp eq i32 %9, 224
br i1 %17, label %18, label %26
18: ; preds = %16
%19 = add nuw i64 %5, 1
%20 = icmp ult i64 %19, %1
br i1 %20, label %21, label %103
21: ; preds = %18
%22 = getelementptr inbounds i32, i32* %3, i64 %19
%23 = load i32, i32* %22
%24 = and i32 %23, -32
%25 = icmp eq i32 %24, 160
br i1 %25, label %65, label %103
26: ; preds = %16
%27 = add nsw i32 %9, -225
%28 = icmp ult i32 %27, 12
br i1 %28, label %65, label %29
29: ; preds = %26
%30 = icmp eq i32 %9, 237
br i1 %30, label %31, label %39
31: ; preds = %29
%32 = add nuw i64 %5, 1
%33 = icmp ult i64 %32, %1
br i1 %33, label %34, label %103
34: ; preds = %31
%35 = getelementptr inbounds i32, i32* %3, i64 %32
%36 = load i32, i32* %35
%37 = and i32 %36, -32
%38 = icmp eq i32 %37, 128
br i1 %38, label %65, label %103
39: ; preds = %29
%40 = and i32 %9, -2
%41 = icmp eq i32 %40, 238
br i1 %41, label %65, label %42
42: ; preds = %39
%43 = icmp eq i32 %9, 240
br i1 %43, label %44, label %52
44: ; preds = %42
%45 = add nuw i64 %5, 1
%46 = icmp ult i64 %45, %1
br i1 %46, label %47, label %103
47: ; preds = %44
%48 = getelementptr inbounds i32, i32* %3, i64 %45
%49 = load i32, i32* %48
%50 = add i32 %49, -144
%51 = icmp ult i32 %50, 48
br i1 %51, label %65, label %103
52: ; preds = %42
%53 = add nsw i32 %9, -241
%54 = icmp ult i32 %53, 3
br i1 %54, label %65, label %55
55: ; preds = %52
%56 = icmp eq i32 %9, 244
br i1 %56, label %57, label %103
57: ; preds = %55
%58 = add nuw i64 %5, 1
%59 = icmp ult i64 %58, %1
br i1 %59, label %60, label %103
60: ; preds = %57
%61 = getelementptr inbounds i32, i32* %3, i64 %58
%62 = load i32, i32* %61
%63 = and i32 %62, -16
%64 = icmp eq i32 %63, 128
br i1 %64, label %65, label %103
65: ; preds = %60, %52, %47, %39, %34, %26, %21, %13
%66 = phi i64 [ %5, %13 ], [ %19, %21 ], [ %5, %26 ], [ %32, %34 ], [ %5, %39 ], [ %45, %47 ], [ %5, %52 ], [ %58, %60 ]
%67 = phi i1 [ false, %13 ], [ false, %21 ], [ true, %26 ], [ false, %34 ], [ true, %39 ], [ true, %47 ], [ true, %52 ], [ true, %60 ]
%68 = phi i64 [ 0, %13 ], [ 0, %21 ], [ 1, %26 ], [ 0, %34 ], [ 1, %39 ], [ 1, %47 ], [ 2, %52 ], [ 1, %60 ]
%69 = add nuw i64 %66, 1
%70 = icmp ult i64 %69, %1
br i1 %70, label %71, label %103
71: ; preds = %65
%72 = getelementptr inbounds i32, i32* %3, i64 %69
%73 = load i32, i32* %72
%74 = and i32 %73, -64
%75 = icmp eq i32 %74, 128
br i1 %75, label %76, label %103
76: ; preds = %71
%77 = add nuw i64 %66, 2
%78 = icmp ult i64 %77, %1
%79 = and i1 %78, %67
br i1 %79, label %80, label %99
80: ; preds = %76
%81 = getelementptr inbounds i32, i32* %3, i64 %77
%82 = load i32, i32* %81
%83 = and i32 %82, -64
%84 = icmp eq i32 %83, 128
br i1 %84, label %85, label %103
85: ; preds = %80
%86 = add nsw i64 %68, -1
%87 = add nuw i64 %66, 3
%88 = icmp ult i64 %87, %1
%89 = icmp ne i64 %86, 0
%90 = select i1 %88, i1 %89, i1 false
br i1 %90, label %91, label %99
91: ; preds = %85
%92 = getelementptr inbounds i32, i32* %3, i64 %87
%93 = load i32, i32* %92
%94 = and i32 %93, -64
%95 = icmp eq i32 %94, 128
br i1 %95, label %96, label %103
96: ; preds = %91
%97 = add nsw i64 %68, -2
%98 = add nuw i64 %66, 4
br label %99
99: ; preds = %76, %85, %96, %11
%100 = phi i64 [ 0, %11 ], [ %68, %76 ], [ %86, %85 ], [ %97, %96 ]
%101 = phi i64 [ %12, %11 ], [ %77, %76 ], [ %87, %85 ], [ %98, %96 ]
%102 = icmp eq i64 %100, 0
br i1 %102, label %4, label %103
103: ; preds = %65, %4, %99, %55, %57, %60, %44, %47, %31, %34, %18, %21, %71, %80, %91
%104 = phi i32 [ 0, %91 ], [ 0, %80 ], [ 0, %71 ], [ 0, %65 ], [ 1, %4 ], [ 0, %99 ], [ 0, %55 ], [ 0, %57 ], [ 0, %60 ], [ 0, %44 ], [ 0, %47 ], [ 0, %31 ], [ 0, %34 ], [ 0, %18 ], [ 0, %21 ]
ret i32 %104
}