#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_is_valid(const char *string, char **error) {
  while (string && string[0]) {
    if (((unsigned char)(string[0]) & 0xE0) == 0xC0) {
      if (!string[1] || (((unsigned char)(string[1]) & 0xC0) != 0x80)) {
        if (error)
          *error = (char *)string;
        return 0;
      }
      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)) {
        if (error)
          *error = (char *)string;
        return 0;
      }
      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)) {
        if (error)
          *error = (char *)string;
        return 0;
      }
      string += 4;
    } else if ((unsigned char)(string[0]) >= 0x80) {
      if (error)
        *error = (char *)string;
      return 0;
    } else
      string++;
  }
  if (error)
    *error = NULL;
  return 1;
}


x86 assembly (clang, -O0):
<utf8_is_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x19(%rbp)
je     112c <utf8_is_valid+0x2c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    113c <utf8_is_valid+0x3c>
jmp    1352 <utf8_is_valid+0x252>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    11ac <utf8_is_valid+0xac>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     1179 <utf8_is_valid+0x79>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     119b <utf8_is_valid+0x9b>
cmpq   $0x0,-0x18(%rbp)
je     118f <utf8_is_valid+0x8f>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    136f <utf8_is_valid+0x26f>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    134d <utf8_is_valid+0x24d>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xe0,%eax
jne    1242 <utf8_is_valid+0x142>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     120f <utf8_is_valid+0x10f>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x2(%rax)
je     120f <utf8_is_valid+0x10f>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    120f <utf8_is_valid+0x10f>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1231 <utf8_is_valid+0x131>
cmpq   $0x0,-0x18(%rbp)
je     1225 <utf8_is_valid+0x125>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    136f <utf8_is_valid+0x26f>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
jmp    1348 <utf8_is_valid+0x248>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf8,%eax
cmp    $0xf0,%eax
jne    12fe <utf8_is_valid+0x1fe>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     12cb <utf8_is_valid+0x1cb>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x2(%rax)
je     12cb <utf8_is_valid+0x1cb>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x3(%rax)
je     12cb <utf8_is_valid+0x1cb>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    12cb <utf8_is_valid+0x1cb>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    12cb <utf8_is_valid+0x1cb>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     12ed <utf8_is_valid+0x1ed>
cmpq   $0x0,-0x18(%rbp)
je     12e1 <utf8_is_valid+0x1e1>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    136f <utf8_is_valid+0x26f>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    1343 <utf8_is_valid+0x243>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jl     1332 <utf8_is_valid+0x232>
cmpq   $0x0,-0x18(%rbp)
je     1326 <utf8_is_valid+0x226>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    136f <utf8_is_valid+0x26f>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1343 <utf8_is_valid+0x243>
jmp    1348 <utf8_is_valid+0x248>
jmp    134d <utf8_is_valid+0x24d>
jmp    110c <utf8_is_valid+0xc>
cmpq   $0x0,-0x18(%rbp)
je     1368 <utf8_is_valid+0x268>
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_is_valid>:
test   %rdi,%rdi
je     11c4 <utf8_is_valid+0xc4>
mov    (%rdi),%al
jmp    112a <utf8_is_valid+0x2a>
nopl   (%rax)
movzbl 0x1(%rdi),%eax
and    $0xc0,%al
mov    $0x2,%ecx
cmp    $0x80,%al
jne    11bc <utf8_is_valid+0xbc>
movzbl (%rdi,%rcx,1),%eax
add    %rcx,%rdi
test   %al,%al
je     11c4 <utf8_is_valid+0xc4>
movzbl %al,%ecx
mov    %ecx,%edx
and    $0xffffffe0,%edx
cmp    $0xc0,%edx
je     1110 <utf8_is_valid+0x10>
mov    %ecx,%edx
and    $0xfffffff0,%edx
cmp    $0xe0,%edx
jne    1170 <utf8_is_valid+0x70>
movzbl 0x1(%rdi),%ecx
test   %cl,%cl
je     11bc <utf8_is_valid+0xbc>
movzbl 0x2(%rdi),%eax
test   %al,%al
je     11bc <utf8_is_valid+0xbc>
and    $0xc0,%cl
cmp    $0x80,%cl
jne    11bc <utf8_is_valid+0xbc>
and    $0xc0,%al
mov    $0x3,%ecx
jmp    111b <utf8_is_valid+0x1b>
and    $0xfffffff8,%ecx
cmp    $0xf0,%ecx
jne    11af <utf8_is_valid+0xaf>
movzbl 0x1(%rdi),%edx
test   %dl,%dl
je     11bc <utf8_is_valid+0xbc>
movzbl 0x2(%rdi),%ecx
test   %cl,%cl
je     11bc <utf8_is_valid+0xbc>
movzbl 0x3(%rdi),%eax
test   %al,%al
je     11bc <utf8_is_valid+0xbc>
and    $0xc0,%dl
cmp    $0x80,%dl
jne    11bc <utf8_is_valid+0xbc>
and    $0xc0,%cl
cmp    $0x80,%cl
jne    11bc <utf8_is_valid+0xbc>
and    $0xc0,%al
mov    $0x4,%ecx
jmp    111b <utf8_is_valid+0x1b>
mov    $0x1,%ecx
test   %al,%al
jns    1123 <utf8_is_valid+0x23>
xor    %eax,%eax
test   %rsi,%rsi
jne    11d0 <utf8_is_valid+0xd0>
ret
mov    $0x1,%eax
test   %rsi,%rsi
je     11c3 <utf8_is_valid+0xc3>
xor    %edi,%edi
mov    %rdi,(%rsi)
ret

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

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