int utf8_validate_cz(const char *s) {
  unsigned char c = *s++;
  if (c <= 0x7F) {
    return 1;
  } else if (c <= 0xC1) {
    return 0;
  } else if (c <= 0xDF) {
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    return 2;
  } else if (c <= 0xEF) {
    if (c == 0xE0 && (unsigned char)*s < 0xA0) {
      return 0;
    }
    if (c == 0xED && (unsigned char)*s > 0x9F) {
      return 0;
    }
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    return 3;
  } else if (c <= 0xF4) {
    if (c == 0xF0 && (unsigned char)*s < 0x90) {
      return 0;
    }
    if (c == 0xF4 && (unsigned char)*s > 0x8F) {
      return 0;
    }
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    if (((unsigned char)*s++ & 0xC0) != 0x80) {
      return 0;
    }
    return 4;
  } else {
    return 0;
  }
}


x86 assembly (clang, -O0):
<utf8_validate_cz>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movzbl -0x11(%rbp),%eax
cmp    $0x7f,%eax
jg     1135 <utf8_validate_cz+0x35>
movl   $0x1,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xc1,%eax
jg     1150 <utf8_validate_cz+0x50>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xdf,%eax
jg     1199 <utf8_validate_cz+0x99>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     118d <utf8_validate_cz+0x8d>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movl   $0x2,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xef,%eax
jg     126a <utf8_validate_cz+0x16a>
movzbl -0x11(%rbp),%eax
cmp    $0xe0,%eax
jne    11d5 <utf8_validate_cz+0xd5>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xa0,%eax
jge    11d5 <utf8_validate_cz+0xd5>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xed,%eax
jne    1202 <utf8_validate_cz+0x102>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x9f,%eax
jle    1202 <utf8_validate_cz+0x102>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1230 <utf8_validate_cz+0x130>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     125e <utf8_validate_cz+0x15e>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movl   $0x3,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xf4,%eax
jg     1369 <utf8_validate_cz+0x269>
movzbl -0x11(%rbp),%eax
cmp    $0xf0,%eax
jne    12a6 <utf8_validate_cz+0x1a6>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x90,%eax
jge    12a6 <utf8_validate_cz+0x1a6>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movzbl -0x11(%rbp),%eax
cmp    $0xf4,%eax
jne    12d3 <utf8_validate_cz+0x1d3>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x8f,%eax
jle    12d3 <utf8_validate_cz+0x1d3>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1301 <utf8_validate_cz+0x201>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     132f <utf8_validate_cz+0x22f>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     135d <utf8_validate_cz+0x25d>
movl   $0x0,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movl   $0x4,-0x4(%rbp)
jmp    1370 <utf8_validate_cz+0x270>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_validate_cz>:
mov    (%rdi),%dl
mov    $0x1,%eax
test   %dl,%dl
js     110c <utf8_validate_cz+0xc>
ret
xor    %eax,%eax
cmp    $0xc2,%dl
jb     110b <utf8_validate_cz+0xb>
lea    0x1(%rdi),%rcx
mov    $0x2,%esi
cmp    $0xe0,%dl
jae    112f <utf8_validate_cz+0x2f>
mov    (%rcx),%cl
and    $0xc0,%cl
xor    %eax,%eax
cmp    $0x80,%cl
cmove  %esi,%eax
ret
cmp    $0xef,%dl
ja     1147 <utf8_validate_cz+0x47>
cmp    $0xe0,%dl
je     115f <utf8_validate_cz+0x5f>
cmp    $0xed,%dl
jne    1168 <utf8_validate_cz+0x68>
mov    (%rcx),%cl
cmp    $0x9f,%cl
ja     110b <utf8_validate_cz+0xb>
jmp    116a <utf8_validate_cz+0x6a>
cmp    $0xf4,%dl
ja     110b <utf8_validate_cz+0xb>
cmp    $0xf0,%dl
je     117d <utf8_validate_cz+0x7d>
cmp    $0xf4,%dl
jne    1186 <utf8_validate_cz+0x86>
mov    (%rcx),%cl
cmp    $0x8f,%cl
ja     110b <utf8_validate_cz+0xb>
jmp    1188 <utf8_validate_cz+0x88>
mov    (%rcx),%cl
cmp    $0xa0,%cl
jb     110b <utf8_validate_cz+0xb>
jmp    116a <utf8_validate_cz+0x6a>
mov    (%rcx),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    110b <utf8_validate_cz+0xb>
add    $0x2,%rdi
mov    $0x3,%esi
jmp    11ac <utf8_validate_cz+0xac>
mov    (%rcx),%cl
cmp    $0x90,%cl
jb     110b <utf8_validate_cz+0xb>
jmp    1188 <utf8_validate_cz+0x88>
mov    (%rcx),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    110b <utf8_validate_cz+0xb>
mov    0x2(%rdi),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    110b <utf8_validate_cz+0xb>
add    $0x3,%rdi
mov    $0x4,%esi
mov    %rdi,%rcx
jmp    1121 <utf8_validate_cz+0x21>

LLVM IR (-O0):
define i32 @utf8_validate_cz(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8
store i8* %0, i8** %3
%5 = load i8*, i8** %3
%6 = getelementptr inbounds i8, i8* %5, i32 1
store i8* %6, i8** %3
%7 = load i8, i8* %5
store i8 %7, i8* %4
%8 = load i8, i8* %4
%9 = zext i8 %8 to i32
%10 = icmp sle i32 %9, 127
br i1 %10, label %11, label %12
11: ; preds = %1
store i32 1, i32* %2
br label %121
12: ; preds = %1
%13 = load i8, i8* %4
%14 = zext i8 %13 to i32
%15 = icmp sle i32 %14, 193
br i1 %15, label %16, label %17
16: ; preds = %12
store i32 0, i32* %2
br label %121
17: ; preds = %12
%18 = load i8, i8* %4
%19 = zext i8 %18 to i32
%20 = icmp sle i32 %19, 223
br i1 %20, label %21, label %30
21: ; preds = %17
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %3
%24 = load i8, i8* %22
%25 = zext i8 %24 to i32
%26 = and i32 %25, 192
%27 = icmp ne i32 %26, 128
br i1 %27, label %28, label %29
28: ; preds = %21
store i32 0, i32* %2
br label %121
29: ; preds = %21
store i32 2, i32* %2
br label %121
30: ; preds = %17
%31 = load i8, i8* %4
%32 = zext i8 %31 to i32
%33 = icmp sle i32 %32, 239
br i1 %33, label %34, label %71
34: ; preds = %30
%35 = load i8, i8* %4
%36 = zext i8 %35 to i32
%37 = icmp eq i32 %36, 224
br i1 %37, label %38, label %44
38: ; preds = %34
%39 = load i8*, i8** %3
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = icmp slt i32 %41, 160
br i1 %42, label %43, label %44
43: ; preds = %38
store i32 0, i32* %2
br label %121
44: ; preds = %38, %34
%45 = load i8, i8* %4
%46 = zext i8 %45 to i32
%47 = icmp eq i32 %46, 237
br i1 %47, label %48, label %54
48: ; preds = %44
%49 = load i8*, i8** %3
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = icmp sgt i32 %51, 159
br i1 %52, label %53, label %54
53: ; preds = %48
store i32 0, i32* %2
br label %121
54: ; preds = %48, %44
%55 = load i8*, i8** %3
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %3
%57 = load i8, i8* %55
%58 = zext i8 %57 to i32
%59 = and i32 %58, 192
%60 = icmp ne i32 %59, 128
br i1 %60, label %61, label %62
61: ; preds = %54
store i32 0, i32* %2
br label %121
62: ; preds = %54
%63 = load i8*, i8** %3
%64 = getelementptr inbounds i8, i8* %63, i32 1
store i8* %64, i8** %3
%65 = load i8, i8* %63
%66 = zext i8 %65 to i32
%67 = and i32 %66, 192
%68 = icmp ne i32 %67, 128
br i1 %68, label %69, label %70
69: ; preds = %62
store i32 0, i32* %2
br label %121
70: ; preds = %62
store i32 3, i32* %2
br label %121
71: ; preds = %30
%72 = load i8, i8* %4
%73 = zext i8 %72 to i32
%74 = icmp sle i32 %73, 244
br i1 %74, label %75, label %120
75: ; preds = %71
%76 = load i8, i8* %4
%77 = zext i8 %76 to i32
%78 = icmp eq i32 %77, 240
br i1 %78, label %79, label %85
79: ; preds = %75
%80 = load i8*, i8** %3
%81 = load i8, i8* %80
%82 = zext i8 %81 to i32
%83 = icmp slt i32 %82, 144
br i1 %83, label %84, label %85
84: ; preds = %79
store i32 0, i32* %2
br label %121
85: ; preds = %79, %75
%86 = load i8, i8* %4
%87 = zext i8 %86 to i32
%88 = icmp eq i32 %87, 244
br i1 %88, label %89, label %95
89: ; preds = %85
%90 = load i8*, i8** %3
%91 = load i8, i8* %90
%92 = zext i8 %91 to i32
%93 = icmp sgt i32 %92, 143
br i1 %93, label %94, label %95
94: ; preds = %89
store i32 0, i32* %2
br label %121
95: ; preds = %89, %85
%96 = load i8*, i8** %3
%97 = getelementptr inbounds i8, i8* %96, i32 1
store i8* %97, i8** %3
%98 = load i8, i8* %96
%99 = zext i8 %98 to i32
%100 = and i32 %99, 192
%101 = icmp ne i32 %100, 128
br i1 %101, label %102, label %103
102: ; preds = %95
store i32 0, i32* %2
br label %121
103: ; preds = %95
%104 = load i8*, i8** %3
%105 = getelementptr inbounds i8, i8* %104, i32 1
store i8* %105, i8** %3
%106 = load i8, i8* %104
%107 = zext i8 %106 to i32
%108 = and i32 %107, 192
%109 = icmp ne i32 %108, 128
br i1 %109, label %110, label %111
110: ; preds = %103
store i32 0, i32* %2
br label %121
111: ; preds = %103
%112 = load i8*, i8** %3
%113 = getelementptr inbounds i8, i8* %112, i32 1
store i8* %113, i8** %3
%114 = load i8, i8* %112
%115 = zext i8 %114 to i32
%116 = and i32 %115, 192
%117 = icmp ne i32 %116, 128
br i1 %117, label %118, label %119
118: ; preds = %111
store i32 0, i32* %2
br label %121
119: ; preds = %111
store i32 4, i32* %2
br label %121
120: ; preds = %71
store i32 0, i32* %2
br label %121
121: ; preds = %120, %119, %118, %110, %102, %94, %84, %70, %69, %61, %53, %43, %29, %28, %16, %11
%122 = load i32, i32* %2
ret i32 %122
}

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