int utf8_first_bytes_valid(unsigned char ch1, unsigned char ch2) {
  if (ch1 < 0x80) {
    return 1;
  } else if (0x80 == (ch2 & 0xc0)) {
    switch (ch1) {
    case 0xe0:
      return ch2 >= 0xa0;
    case 0xed:
      return ch2 <= 0x9f;
    case 0xf0:
      return ch2 >= 0x90;
    case 0xf4:
      return ch2 <= 0x8f;
    }
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<utf8_first_bytes_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
movzbl -0x5(%rbp),%eax
cmp    $0x80,%eax
jge    112b <utf8_first_bytes_valid+0x2b>
movl   $0x1,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
movzbl -0x6(%rbp),%ecx
and    $0xc0,%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jne    11de <utf8_first_bytes_valid+0xde>
movzbl -0x5(%rbp),%eax
add    $0xffffff20,%eax
mov    %eax,%ecx
mov    %rcx,-0x10(%rbp)
sub    $0x14,%eax
ja     11d2 <utf8_first_bytes_valid+0xd2>
mov    -0x10(%rbp),%rax
lea    0xe9b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movzbl -0x6(%rbp),%eax
cmp    $0xa0,%eax
setge  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
movzbl -0x6(%rbp),%eax
cmp    $0x9f,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
movzbl -0x6(%rbp),%eax
cmp    $0x90,%eax
setge  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
movzbl -0x6(%rbp),%eax
cmp    $0x8f,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
movl   $0x1,-0x4(%rbp)
jmp    11ea <utf8_first_bytes_valid+0xea>
jmp    11e3 <utf8_first_bytes_valid+0xe3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_first_bytes_valid>:
mov    $0x1,%al
test   %dil,%dil
js     110b <utf8_first_bytes_valid+0xb>
movzbl %al,%eax
ret
mov    %esi,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1139 <utf8_first_bytes_valid+0x39>
add    $0x20,%dil
cmp    $0x14,%dil
ja     1107 <utf8_first_bytes_valid+0x7>
movzbl %dil,%ecx
lea    0xed6(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
cmp    $0xa0,%sil
jmp    1149 <utf8_first_bytes_valid+0x49>
xor    %eax,%eax
movzbl %al,%eax
ret
cmp    $0xa0,%sil
jmp    1154 <utf8_first_bytes_valid+0x54>
cmp    $0x90,%sil
setae  %al
movzbl %al,%eax
ret
cmp    $0x90,%sil
setb   %al
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @utf8_first_bytes_valid(i8 zeroext %0, i8 zeroext %1) {
%3 = alloca i32
%4 = alloca i8
%5 = alloca i8
store i8 %0, i8* %4
store i8 %1, i8* %5
%6 = load i8, i8* %4
%7 = zext i8 %6 to i32
%8 = icmp slt i32 %7, 128
br i1 %8, label %9, label %10
9: ; preds = %2
store i32 1, i32* %3
br label %41
10: ; preds = %2
%11 = load i8, i8* %5
%12 = zext i8 %11 to i32
%13 = and i32 %12, 192
%14 = icmp eq i32 128, %13
br i1 %14, label %15, label %39
15: ; preds = %10
%16 = load i8, i8* %4
%17 = zext i8 %16 to i32
switch i32 %17, label %38 [
i32 224, label %18
i32 237, label %23
i32 240, label %28
i32 244, label %33
]
18: ; preds = %15
%19 = load i8, i8* %5
%20 = zext i8 %19 to i32
%21 = icmp sge i32 %20, 160
%22 = zext i1 %21 to i32
store i32 %22, i32* %3
br label %41
23: ; preds = %15
%24 = load i8, i8* %5
%25 = zext i8 %24 to i32
%26 = icmp sle i32 %25, 159
%27 = zext i1 %26 to i32
store i32 %27, i32* %3
br label %41
28: ; preds = %15
%29 = load i8, i8* %5
%30 = zext i8 %29 to i32
%31 = icmp sge i32 %30, 144
%32 = zext i1 %31 to i32
store i32 %32, i32* %3
br label %41
33: ; preds = %15
%34 = load i8, i8* %5
%35 = zext i8 %34 to i32
%36 = icmp sle i32 %35, 143
%37 = zext i1 %36 to i32
store i32 %37, i32* %3
br label %41
38: ; preds = %15
store i32 1, i32* %3
br label %41
39: ; preds = %10
br label %40
40: ; preds = %39
store i32 0, i32* %3
br label %41
41: ; preds = %40, %38, %33, %28, %23, %18, %9
%42 = load i32, i32* %3
ret i32 %42
}

LLVM IR (-O2):
define i32 @utf8_first_bytes_valid(i8 zeroext %0, i8 zeroext %1) {
%3 = icmp sgt i8 %0, -1
br i1 %3, label %16, label %4
4: ; preds = %2
%5 = and i8 %1, -64
%6 = icmp eq i8 %5, -128
br i1 %6, label %7, label %16
7: ; preds = %4
switch i8 %0, label %16 [
i8 -32, label %8
i8 -19, label %10
i8 -16, label %12
i8 -12, label %14
]
8: ; preds = %7
%9 = icmp ugt i8 %1, -97
br label %16
10: ; preds = %7
%11 = icmp ult i8 %1, -96
br label %16
12: ; preds = %7
%13 = icmp ugt i8 %1, -113
br label %16
14: ; preds = %7
%15 = icmp ult i8 %1, -112
br label %16
16: ; preds = %4, %7, %2, %14, %12, %10, %8
%17 = phi i1 [ %15, %14 ], [ %13, %12 ], [ %11, %10 ], [ %9, %8 ], [ true, %2 ], [ true, %7 ], [ false, %4 ]
%18 = zext i1 %17 to i32
ret i32 %18
}