int is_big5(const unsigned char *str) {
  unsigned char high = str[0];
  unsigned char low = str[1];
  return high >= 0xa1 && high <= 0xf9 &&
         ((low >= 0x40 && low <= 0x7e) || (low >= 0xa1 && low <= 0xfe));
}


x86 assembly (clang, -O0):
<is_big5>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x9(%rbp)
mov    -0x8(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0xa(%rbp)
movzbl -0x9(%rbp),%ecx
xor    %eax,%eax
cmp    $0xa1,%ecx
mov    %al,-0xb(%rbp)
jl     1194 <is_big5+0x94>
movzbl -0x9(%rbp),%ecx
xor    %eax,%eax
cmp    $0xf9,%ecx
mov    %al,-0xb(%rbp)
jg     1194 <is_big5+0x94>
movzbl -0xa(%rbp),%eax
cmp    $0x40,%eax
jl     1164 <is_big5+0x64>
movzbl -0xa(%rbp),%ecx
mov    $0x1,%al
cmp    $0x7e,%ecx
mov    %al,-0xc(%rbp)
jle    118e <is_big5+0x8e>
movzbl -0xa(%rbp),%ecx
xor    %eax,%eax
cmp    $0xa1,%ecx
mov    %al,-0xd(%rbp)
jl     1188 <is_big5+0x88>
movzbl -0xa(%rbp),%eax
cmp    $0xfe,%eax
setle  %al
mov    %al,-0xd(%rbp)
mov    -0xd(%rbp),%al
mov    %al,-0xc(%rbp)
mov    -0xc(%rbp),%al
mov    %al,-0xb(%rbp)
mov    -0xb(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_big5>:
mov    (%rdi),%cl
add    $0x5f,%cl
xor    %eax,%eax
cmp    $0x58,%cl
ja     1127 <is_big5+0x27>
mov    0x1(%rdi),%cl
lea    -0x40(%rcx),%edx
mov    $0x1,%eax
cmp    $0x3f,%dl
jb     1127 <is_big5+0x27>
add    $0x5f,%cl
xor    %eax,%eax
cmp    $0x5e,%cl
setb   %al
ret

LLVM IR (-O0):
define i32 @is_big5(i8* %0) {
%2 = alloca i8*
%3 = alloca i8
%4 = alloca i8
store i8* %0, i8** %2
%5 = load i8*, i8** %2
%6 = getelementptr inbounds i8, i8* %5, i64 0
%7 = load i8, i8* %6
store i8 %7, i8* %3
%8 = load i8*, i8** %2
%9 = getelementptr inbounds i8, i8* %8, i64 1
%10 = load i8, i8* %9
store i8 %10, i8* %4
%11 = load i8, i8* %3
%12 = zext i8 %11 to i32
%13 = icmp sge i32 %12, 161
br i1 %13, label %14, label %38
14: ; preds = %1
%15 = load i8, i8* %3
%16 = zext i8 %15 to i32
%17 = icmp sle i32 %16, 249
br i1 %17, label %18, label %38
18: ; preds = %14
%19 = load i8, i8* %4
%20 = zext i8 %19 to i32
%21 = icmp sge i32 %20, 64
br i1 %21, label %22, label %26
22: ; preds = %18
%23 = load i8, i8* %4
%24 = zext i8 %23 to i32
%25 = icmp sle i32 %24, 126
br i1 %25, label %36, label %26
26: ; preds = %22, %18
%27 = load i8, i8* %4
%28 = zext i8 %27 to i32
%29 = icmp sge i32 %28, 161
br i1 %29, label %30, label %34
30: ; preds = %26
%31 = load i8, i8* %4
%32 = zext i8 %31 to i32
%33 = icmp sle i32 %32, 254
br label %34
34: ; preds = %30, %26
%35 = phi i1 [ false, %26 ], [ %33, %30 ]
br label %36
36: ; preds = %34, %22
%37 = phi i1 [ true, %22 ], [ %35, %34 ]
br label %38
38: ; preds = %36, %14, %1
%39 = phi i1 [ false, %14 ], [ false, %1 ], [ %37, %36 ]
%40 = zext i1 %39 to i32
ret i32 %40
}

LLVM IR (-O2):
define i32 @is_big5(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = add i8 %2, 95
%4 = icmp ult i8 %3, 89
br i1 %4, label %5, label %14
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = add i8 %7, -64
%9 = icmp ult i8 %8, 63
br i1 %9, label %14, label %10
10: ; preds = %5
%11 = add i8 %7, 95
%12 = icmp ult i8 %11, 94
%13 = zext i1 %12 to i32
br label %14
14: ; preds = %10, %5, %1
%15 = phi i32 [ 0, %1 ], [ %13, %10 ], [ 1, %5 ]
ret i32 %15
}