int 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
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
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     1181 <isLegalUTF8+0x81>
movzbl -0x15(%rbp),%eax
cmp    $0xbf,%eax
jle    118d <isLegalUTF8+0x8d>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    1192 <isLegalUTF8+0x92>
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     11c4 <isLegalUTF8+0xc4>
movzbl -0x15(%rbp),%eax
cmp    $0xbf,%eax
jle    11d0 <isLegalUTF8+0xd0>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    11d5 <isLegalUTF8+0xd5>
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    1204 <isLegalUTF8+0x104>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
sub    $0xe0,%eax
je     1244 <isLegalUTF8+0x144>
jmp    121e <isLegalUTF8+0x11e>
mov    -0x2c(%rbp),%eax
sub    $0xf0,%eax
je     1264 <isLegalUTF8+0x164>
jmp    1231 <isLegalUTF8+0x131>
mov    -0x2c(%rbp),%eax
sub    $0xf4,%eax
je     1284 <isLegalUTF8+0x184>
jmp    12a4 <isLegalUTF8+0x1a4>
movzbl -0x15(%rbp),%eax
cmp    $0xa0,%eax
jge    125f <isLegalUTF8+0x15f>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    12c4 <isLegalUTF8+0x1c4>
movzbl -0x15(%rbp),%eax
cmp    $0x90,%eax
jge    127f <isLegalUTF8+0x17f>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    12c4 <isLegalUTF8+0x1c4>
movzbl -0x15(%rbp),%eax
cmp    $0x8f,%eax
jle    129f <isLegalUTF8+0x19f>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    12c4 <isLegalUTF8+0x1c4>
movzbl -0x15(%rbp),%eax
cmp    $0x80,%eax
jge    12bf <isLegalUTF8+0x1bf>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    12c4 <isLegalUTF8+0x1c4>
jmp    12c9 <isLegalUTF8+0x1c9>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jl     12f9 <isLegalUTF8+0x1f9>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc2,%eax
jge    12f9 <isLegalUTF8+0x1f9>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xf4,%eax
jle    1317 <isLegalUTF8+0x217>
movl   $0x0,-0x4(%rbp)
jmp    1323 <isLegalUTF8+0x223>
jmp    131c <isLegalUTF8+0x21c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isLegalUTF8>:
xor    %eax,%eax
lea    -0x1(%rsi),%edx
cmp    $0x3,%edx
ja     1127 <isLegalUTF8+0x27>
movslq %esi,%rcx
add    %rdi,%rcx
lea    0xee9(%rip),%rsi
movslq (%rsi,%rdx,4),%rdx
add    %rsi,%rdx
jmp    *%rdx
mov    (%rdi),%cl
cmp    $0xc2,%cl
jge    116e <isLegalUTF8+0x6e>
ret
cmpb   $0xbf,-0x1(%rcx)
jg     1127 <isLegalUTF8+0x27>
add    $0xffffffffffffffff,%rcx
cmpb   $0xbf,-0x1(%rcx)
jg     1127 <isLegalUTF8+0x27>
add    $0xffffffffffffffff,%rcx
mov    -0x1(%rcx),%dl
cmp    $0xbf,%dl
ja     1127 <isLegalUTF8+0x27>
mov    (%rdi),%cl
cmp    $0xf4,%cl
je     115e <isLegalUTF8+0x5e>
cmp    $0xf0,%cl
je     1167 <isLegalUTF8+0x67>
cmp    $0xe0,%cl
jne    1177 <isLegalUTF8+0x77>
mov    $0xe0,%cl
cmp    $0xa0,%dl
jb     1127 <isLegalUTF8+0x27>
jmp    116e <isLegalUTF8+0x6e>
mov    $0xf4,%cl
cmp    $0x8f,%dl
ja     1127 <isLegalUTF8+0x27>
jmp    116e <isLegalUTF8+0x6e>
mov    $0xf0,%cl
cmp    $0x90,%dl
jb     1127 <isLegalUTF8+0x27>
xor    %eax,%eax
cmp    $0xf5,%cl
setb   %al
ret
test   %dl,%dl
jns    1127 <isLegalUTF8+0x27>
jmp    1122 <isLegalUTF8+0x22>

LLVM IR (-O0):
define i32 @isLegalUTF8(i8* %0, i32 %1) {
%3 = alloca i32
%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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %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 i32 0, i32* %3
br label %93
91: ; preds = %85
br label %92
92: ; preds = %91
store i32 1, i32* %3
br label %93
93: ; preds = %92, %90, %84, %71, %65, %59, %53, %44, %36, %24, %13
%94 = load i32, i32* %3
ret i32 %94
}

LLVM IR (-O2):
define i32 @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 i32
br label %38
38: ; preds = %34, %31, %29, %27, %25, %23, %16, %11, %7, %2
%39 = phi i32 [ 0, %2 ], [ 0, %7 ], [ 0, %11 ], [ 0, %16 ], [ 0, %23 ], [ 0, %25 ], [ 0, %27 ], [ 0, %29 ], [ 0, %31 ], [ %37, %34 ]
ret i32 %39
}