unsigned char isLegalUTF8(const unsigned char *source, int length) {
  unsigned char a;
  const unsigned char *srcptr = source + length;
  switch (length) {
  default:
    return 0;
  case 4:
    if ((a = (*--srcptr)) < 0x80 || a > 0xBF)
      return 0;
  case 3:
    if ((a = (*--srcptr)) < 0x80 || a > 0xBF)
      return 0;
  case 2:
    if ((a = (*--srcptr)) > 0xBF)
      return 0;
    switch (*source) {
    case 0xE0:
      if (a < 0xA0)
        return 0;
      break;
    case 0xF0:
      if (a < 0x90)
        return 0;
      break;
    case 0xF4:
      if (a > 0x8F)
        return 0;
      break;
    default:
      if (a < 0x80)
        return 0;
    }
  case 1:
    if (*source >= 0x80 && *source < 0xC2)
      return 0;
    if (*source > 0xF4)
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<isLegalUTF8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x3,%eax
ja     1143 <isLegalUTF8+0x43>
mov    -0x28(%rbp),%rax
lea    0xec6(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x1(%rax),%al
mov    %al,-0x15(%rbp)
movzbl %al,%eax
cmp    $0x80,%eax
jl     117e <isLegalUTF8+0x7e>
movzbl -0x15(%rbp),%eax
cmp    $0xbf,%eax
jle    1187 <isLegalUTF8+0x87>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    118c <isLegalUTF8+0x8c>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x1(%rax),%al
mov    %al,-0x15(%rbp)
movzbl %al,%eax
cmp    $0x80,%eax
jl     11be <isLegalUTF8+0xbe>
movzbl -0x15(%rbp),%eax
cmp    $0xbf,%eax
jle    11c7 <isLegalUTF8+0xc7>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    11cc <isLegalUTF8+0xcc>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x1(%rax),%al
mov    %al,-0x15(%rbp)
movzbl %al,%eax
cmp    $0xbf,%eax
jle    11f8 <isLegalUTF8+0xf8>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
sub    $0xe0,%eax
je     1238 <isLegalUTF8+0x138>
jmp    1212 <isLegalUTF8+0x112>
mov    -0x2c(%rbp),%eax
sub    $0xf0,%eax
je     1255 <isLegalUTF8+0x155>
jmp    1225 <isLegalUTF8+0x125>
mov    -0x2c(%rbp),%eax
sub    $0xf4,%eax
je     1272 <isLegalUTF8+0x172>
jmp    128f <isLegalUTF8+0x18f>
movzbl -0x15(%rbp),%eax
cmp    $0xa0,%eax
jge    1250 <isLegalUTF8+0x150>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    12ac <isLegalUTF8+0x1ac>
movzbl -0x15(%rbp),%eax
cmp    $0x90,%eax
jge    126d <isLegalUTF8+0x16d>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    12ac <isLegalUTF8+0x1ac>
movzbl -0x15(%rbp),%eax
cmp    $0x8f,%eax
jle    128a <isLegalUTF8+0x18a>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    12ac <isLegalUTF8+0x1ac>
movzbl -0x15(%rbp),%eax
cmp    $0x80,%eax
jge    12a7 <isLegalUTF8+0x1a7>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    12ac <isLegalUTF8+0x1ac>
jmp    12b1 <isLegalUTF8+0x1b1>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jl     12de <isLegalUTF8+0x1de>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc2,%eax
jge    12de <isLegalUTF8+0x1de>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xf4,%eax
jle    12f9 <isLegalUTF8+0x1f9>
movb   $0x0,-0x1(%rbp)
jmp    1302 <isLegalUTF8+0x202>
jmp    12fe <isLegalUTF8+0x1fe>
movb   $0x1,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isLegalUTF8>:
lea    -0x1(%rsi),%ecx
cmp    $0x3,%ecx
ja     1146 <isLegalUTF8+0x46>
movslq %esi,%rax
add    %rdi,%rax
lea    0xeeb(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
mov    (%rdi),%al
cmp    $0xc2,%al
jl     1146 <isLegalUTF8+0x46>
cmp    $0xf5,%al
setb   %al
ret
cmpb   $0xbf,-0x1(%rax)
jg     1146 <isLegalUTF8+0x46>
add    $0xffffffffffffffff,%rax
cmpb   $0xbf,-0x1(%rax)
jg     1146 <isLegalUTF8+0x46>
add    $0xffffffffffffffff,%rax
mov    -0x1(%rax),%cl
cmp    $0xbf,%cl
jbe    1149 <isLegalUTF8+0x49>
xor    %eax,%eax
ret
mov    (%rdi),%al
cmp    $0xf4,%al
je     1160 <isLegalUTF8+0x60>
cmp    $0xf0,%al
je     1169 <isLegalUTF8+0x69>
cmp    $0xe0,%al
jne    1172 <isLegalUTF8+0x72>
mov    $0xe0,%al
cmp    $0xa0,%cl
jb     1146 <isLegalUTF8+0x46>
jmp    1124 <isLegalUTF8+0x24>
mov    $0xf4,%al
cmp    $0x8f,%cl
ja     1146 <isLegalUTF8+0x46>
jmp    1124 <isLegalUTF8+0x24>
mov    $0xf0,%al
cmp    $0x90,%cl
jb     1146 <isLegalUTF8+0x46>
jmp    1124 <isLegalUTF8+0x24>
test   %cl,%cl
jns    1146 <isLegalUTF8+0x46>
jmp    1120 <isLegalUTF8+0x20>

LLVM IR (-O0):
define zeroext i8 @isLegalUTF8(i8* %0, i32 %1) {
%3 = alloca i8
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8
%7 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
%8 = load i8*, i8** %4
%9 = load i32, i32* %5
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds i8, i8* %8, i64 %10
store i8* %11, i8** %7
%12 = load i32, i32* %5
switch i32 %12, label %13 [
i32 4, label %14
i32 3, label %26
i32 2, label %38
i32 1, label %74
]
13: ; preds = %2
store i8 0, i8* %3
br label %93
14: ; preds = %2
%15 = load i8*, i8** %7
%16 = getelementptr inbounds i8, i8* %15, i32 -1
store i8* %16, i8** %7
%17 = load i8, i8* %16
store i8 %17, i8* %6
%18 = zext i8 %17 to i32
%19 = icmp slt i32 %18, 128
br i1 %19, label %24, label %20
20: ; preds = %14
%21 = load i8, i8* %6
%22 = zext i8 %21 to i32
%23 = icmp sgt i32 %22, 191
br i1 %23, label %24, label %25
24: ; preds = %20, %14
store i8 0, i8* %3
br label %93
25: ; preds = %20
br label %26
26: ; preds = %2, %25
%27 = load i8*, i8** %7
%28 = getelementptr inbounds i8, i8* %27, i32 -1
store i8* %28, i8** %7
%29 = load i8, i8* %28
store i8 %29, i8* %6
%30 = zext i8 %29 to i32
%31 = icmp slt i32 %30, 128
br i1 %31, label %36, label %32
32: ; preds = %26
%33 = load i8, i8* %6
%34 = zext i8 %33 to i32
%35 = icmp sgt i32 %34, 191
br i1 %35, label %36, label %37
36: ; preds = %32, %26
store i8 0, i8* %3
br label %93
37: ; preds = %32
br label %38
38: ; preds = %2, %37
%39 = load i8*, i8** %7
%40 = getelementptr inbounds i8, i8* %39, i32 -1
store i8* %40, i8** %7
%41 = load i8, i8* %40
store i8 %41, i8* %6
%42 = zext i8 %41 to i32
%43 = icmp sgt i32 %42, 191
br i1 %43, label %44, label %45
44: ; preds = %38
store i8 0, i8* %3
br label %93
45: ; preds = %38
%46 = load i8*, i8** %4
%47 = load i8, i8* %46
%48 = zext i8 %47 to i32
switch i32 %48, label %67 [
i32 224, label %49
i32 240, label %55
i32 244, label %61
]
49: ; preds = %45
%50 = load i8, i8* %6
%51 = zext i8 %50 to i32
%52 = icmp slt i32 %51, 160
br i1 %52, label %53, label %54
53: ; preds = %49
store i8 0, i8* %3
br label %93
54: ; preds = %49
br label %73
55: ; preds = %45
%56 = load i8, i8* %6
%57 = zext i8 %56 to i32
%58 = icmp slt i32 %57, 144
br i1 %58, label %59, label %60
59: ; preds = %55
store i8 0, i8* %3
br label %93
60: ; preds = %55
br label %73
61: ; preds = %45
%62 = load i8, i8* %6
%63 = zext i8 %62 to i32
%64 = icmp sgt i32 %63, 143
br i1 %64, label %65, label %66
65: ; preds = %61
store i8 0, i8* %3
br label %93
66: ; preds = %61
br label %73
67: ; preds = %45
%68 = load i8, i8* %6
%69 = zext i8 %68 to i32
%70 = icmp slt i32 %69, 128
br i1 %70, label %71, label %72
71: ; preds = %67
store i8 0, i8* %3
br label %93
72: ; preds = %67
br label %73
73: ; preds = %72, %66, %60, %54
br label %74
74: ; preds = %2, %73
%75 = load i8*, i8** %4
%76 = load i8, i8* %75
%77 = zext i8 %76 to i32
%78 = icmp sge i32 %77, 128
br i1 %78, label %79, label %85
79: ; preds = %74
%80 = load i8*, i8** %4
%81 = load i8, i8* %80
%82 = zext i8 %81 to i32
%83 = icmp slt i32 %82, 194
br i1 %83, label %84, label %85
84: ; preds = %79
store i8 0, i8* %3
br label %93
85: ; preds = %79, %74
%86 = load i8*, i8** %4
%87 = load i8, i8* %86
%88 = zext i8 %87 to i32
%89 = icmp sgt i32 %88, 244
br i1 %89, label %90, label %91
90: ; preds = %85
store i8 0, i8* %3
br label %93
91: ; preds = %85
br label %92
92: ; preds = %91
store i8 1, i8* %3
br label %93
93: ; preds = %92, %90, %84, %71, %65, %59, %53, %44, %36, %24, %13
%94 = load i8, i8* %3
ret i8 %94
}

LLVM IR (-O2):
define zeroext i8 @isLegalUTF8(i8* nocapture %0, i32 %1) {
%3 = sext i32 %1 to i64
%4 = getelementptr inbounds i8, i8* %0, i64 %3
switch i32 %1, label %38 [
i32 4, label %7
i32 3, label %11
i32 2, label %16
i32 1, label %5
]
5: ; preds = %2
%6 = load i8, i8* %0
br label %31
7: ; preds = %2
%8 = getelementptr inbounds i8, i8* %4, i64 -1
%9 = load i8, i8* %8
%10 = icmp sgt i8 %9, -65
br i1 %10, label %38, label %11
11: ; preds = %7, %2
%12 = phi i8* [ %4, %2 ], [ %8, %7 ]
%13 = getelementptr inbounds i8, i8* %12, i64 -1
%14 = load i8, i8* %13
%15 = icmp sgt i8 %14, -65
br i1 %15, label %38, label %16
16: ; preds = %11, %2
%17 = phi i8* [ %4, %2 ], [ %13, %11 ]
%18 = getelementptr inbounds i8, i8* %17, i64 -1
%19 = load i8, i8* %18
%20 = icmp ugt i8 %19, -65
br i1 %20, label %38, label %21
21: ; preds = %16
%22 = load i8, i8* %0
switch i8 %22, label %29 [
i8 -32, label %23
i8 -16, label %25
i8 -12, label %27
]
23: ; preds = %21
%24 = icmp ult i8 %19, -96
br i1 %24, label %38, label %34
25: ; preds = %21
%26 = icmp ult i8 %19, -112
br i1 %26, label %38, label %34
27: ; preds = %21
%28 = icmp ugt i8 %19, -113
br i1 %28, label %38, label %34
29: ; preds = %21
%30 = icmp sgt i8 %19, -1
br i1 %30, label %38, label %31
31: ; preds = %5, %29
%32 = phi i8 [ %6, %5 ], [ %22, %29 ]
%33 = icmp slt i8 %32, -62
br i1 %33, label %38, label %34
34: ; preds = %27, %25, %23, %31
%35 = phi i8 [ %32, %31 ], [ -12, %27 ], [ -16, %25 ], [ -32, %23 ]
%36 = icmp ult i8 %35, -11
%37 = zext i1 %36 to i8
br label %38
38: ; preds = %34, %31, %29, %27, %25, %23, %16, %11, %7, %2
%39 = phi i8 [ 0, %2 ], [ 0, %7 ], [ 0, %11 ], [ 0, %16 ], [ 0, %23 ], [ 0, %25 ], [ 0, %27 ], [ 0, %29 ], [ 0, %31 ], [ %37, %34 ]
ret i8 %39
}