int IsBIG5(const unsigned char *cp, int *pdxChar) {
  if ((*cp >= 0x81 && *cp <= 0xfe) &&
      ((*(cp + 1) >= 0x40 && *(cp + 1) <= 0x7e) ||
       (*(cp + 1) >= 0xa1 && *(cp + 1) <= 0xfe))) {
    *pdxChar = 13;
    return 2;
  }
  return 0;
}


x86 assembly (clang, -O0):
<IsBIG5>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x81,%eax
jl     118e <IsBIG5+0x8e>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xfe,%eax
jg     118e <IsBIG5+0x8e>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x40,%eax
jl     1152 <IsBIG5+0x52>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x7e,%eax
jle    1178 <IsBIG5+0x78>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xa1,%eax
jl     118e <IsBIG5+0x8e>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xfe,%eax
jg     118e <IsBIG5+0x8e>
mov    -0x18(%rbp),%rax
movl   $0xd,(%rax)
movl   $0x2,-0x4(%rbp)
jmp    1195 <IsBIG5+0x95>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<IsBIG5>:
mov    (%rdi),%cl
add    $0x1,%cl
xor    %eax,%eax
cmp    $0x82,%cl
jb     111f <IsBIG5+0x1f>
mov    0x1(%rdi),%cl
lea    -0x7f(%rcx),%edx
cmp    $0xc0,%dl
ja     1120 <IsBIG5+0x20>
add    $0x1,%cl
cmp    $0xa2,%cl
jae    1120 <IsBIG5+0x20>
ret
movl   $0xd,(%rsi)
mov    $0x2,%eax
ret

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

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