int isLongBranch(instr)
unsigned char *instr;
{
  if (instr[0] == 0xFC || instr[0] == 0xFD || instr[0] == 0xFE ||
      instr[0] == 0xFF)
    return 4;
  if ((instr[0] & 0xF0) == 0xB0) {
    if ((instr[1] & 0xF0) == 0x00 || (instr[1] & 0xF0) == 0x10)
      return 5;
    if (instr[0] == 0xB0)
      if ((instr[1] & 0xF0) == 0x80 || (instr[1] & 0xF0) == 0x90 ||
          (instr[1] & 0xF0) == 0xA0 || (instr[1] & 0xF0) == 0xB0 ||
          (instr[1] & 0xF0) == 0xC0 || (instr[1] & 0xF0) == 0xD0)
        return 6;
  }
  return 0;
}


x86 assembly (clang, -O0):
<isLongBranch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xfc,%eax
je     1150 <isLongBranch+0x50>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xfd,%eax
je     1150 <isLongBranch+0x50>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xfe,%eax
je     1150 <isLongBranch+0x50>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xff,%eax
jne    115c <isLongBranch+0x5c>
movl   $0x4,-0x4(%rbp)
jmp    126a <isLongBranch+0x16a>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xb0,%eax
jne    1263 <isLongBranch+0x163>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0x0,%eax
je     119f <isLongBranch+0x9f>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0x10,%eax
jne    11ab <isLongBranch+0xab>
movl   $0x5,-0x4(%rbp)
jmp    126a <isLongBranch+0x16a>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xb0,%eax
jne    125e <isLongBranch+0x15e>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0x80,%eax
je     124d <isLongBranch+0x14d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0x90,%eax
je     124d <isLongBranch+0x14d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0xa0,%eax
je     124d <isLongBranch+0x14d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0xb0,%eax
je     124d <isLongBranch+0x14d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0xc0,%eax
je     124d <isLongBranch+0x14d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf0,%eax
cmp    $0xd0,%eax
jne    1259 <isLongBranch+0x159>
movl   $0x6,-0x4(%rbp)
jmp    126a <isLongBranch+0x16a>
jmp    125e <isLongBranch+0x15e>
jmp    1263 <isLongBranch+0x163>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isLongBranch>:
mov    (%rdi),%cl
mov    $0x4,%eax
cmp    $0xfb,%cl
ja     1121 <isLongBranch+0x21>
mov    %ecx,%eax
and    $0xf0,%al
cmp    $0xb0,%al
jne    1137 <isLongBranch+0x37>
mov    0x1(%rdi),%dl
mov    $0x5,%eax
test   $0xe0,%dl
jne    1122 <isLongBranch+0x22>
ret
cmp    $0xb0,%cl
jne    1137 <isLongBranch+0x37>
shr    $0x4,%dl
xor    $0x8,%dl
mov    $0x6,%eax
cmp    $0x6,%dl
jb     1121 <isLongBranch+0x21>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @isLongBranch(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
store i8* %0, i8** %3
%4 = load i8*, i8** %3
%5 = getelementptr inbounds i8, i8* %4, i64 0
%6 = load i8, i8* %5
%7 = zext i8 %6 to i32
%8 = icmp eq i32 %7, 252
br i1 %8, label %27, label %9
9: ; preds = %1
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i64 0
%12 = load i8, i8* %11
%13 = zext i8 %12 to i32
%14 = icmp eq i32 %13, 253
br i1 %14, label %27, label %15
15: ; preds = %9
%16 = load i8*, i8** %3
%17 = getelementptr inbounds i8, i8* %16, i64 0
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = icmp eq i32 %19, 254
br i1 %20, label %27, label %21
21: ; preds = %15
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i64 0
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = icmp eq i32 %25, 255
br i1 %26, label %27, label %28
27: ; preds = %21, %15, %9, %1
store i32 4, i32* %2
br label %102
28: ; preds = %21
%29 = load i8*, i8** %3
%30 = getelementptr inbounds i8, i8* %29, i64 0
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = and i32 %32, 240
%34 = icmp eq i32 %33, 176
br i1 %34, label %35, label %101
35: ; preds = %28
%36 = load i8*, i8** %3
%37 = getelementptr inbounds i8, i8* %36, i64 1
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = and i32 %39, 240
%41 = icmp eq i32 %40, 0
br i1 %41, label %49, label %42
42: ; preds = %35
%43 = load i8*, i8** %3
%44 = getelementptr inbounds i8, i8* %43, i64 1
%45 = load i8, i8* %44
%46 = zext i8 %45 to i32
%47 = and i32 %46, 240
%48 = icmp eq i32 %47, 16
br i1 %48, label %49, label %50
49: ; preds = %42, %35
store i32 5, i32* %2
br label %102
50: ; preds = %42
%51 = load i8*, i8** %3
%52 = getelementptr inbounds i8, i8* %51, i64 0
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
%55 = icmp eq i32 %54, 176
br i1 %55, label %56, label %100
56: ; preds = %50
%57 = load i8*, i8** %3
%58 = getelementptr inbounds i8, i8* %57, i64 1
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
%61 = and i32 %60, 240
%62 = icmp eq i32 %61, 128
br i1 %62, label %98, label %63
63: ; preds = %56
%64 = load i8*, i8** %3
%65 = getelementptr inbounds i8, i8* %64, i64 1
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = and i32 %67, 240
%69 = icmp eq i32 %68, 144
br i1 %69, label %98, label %70
70: ; preds = %63
%71 = load i8*, i8** %3
%72 = getelementptr inbounds i8, i8* %71, i64 1
%73 = load i8, i8* %72
%74 = zext i8 %73 to i32
%75 = and i32 %74, 240
%76 = icmp eq i32 %75, 160
br i1 %76, label %98, label %77
77: ; preds = %70
%78 = load i8*, i8** %3
%79 = getelementptr inbounds i8, i8* %78, i64 1
%80 = load i8, i8* %79
%81 = zext i8 %80 to i32
%82 = and i32 %81, 240
%83 = icmp eq i32 %82, 176
br i1 %83, label %98, label %84
84: ; preds = %77
%85 = load i8*, i8** %3
%86 = getelementptr inbounds i8, i8* %85, i64 1
%87 = load i8, i8* %86
%88 = zext i8 %87 to i32
%89 = and i32 %88, 240
%90 = icmp eq i32 %89, 192
br i1 %90, label %98, label %91
91: ; preds = %84
%92 = load i8*, i8** %3
%93 = getelementptr inbounds i8, i8* %92, i64 1
%94 = load i8, i8* %93
%95 = zext i8 %94 to i32
%96 = and i32 %95, 240
%97 = icmp eq i32 %96, 208
br i1 %97, label %98, label %99
98: ; preds = %91, %84, %77, %70, %63, %56
store i32 6, i32* %2
br label %102
99: ; preds = %91
br label %100
100: ; preds = %99, %50
br label %101
101: ; preds = %100, %28
store i32 0, i32* %2
br label %102
102: ; preds = %101, %98, %49, %27
%103 = load i32, i32* %2
ret i32 %103
}

LLVM IR (-O2):
define i32 @isLongBranch(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp ugt i8 %2, -5
br i1 %3, label %18, label %4
4: ; preds = %1
%5 = and i8 %2, -16
%6 = icmp eq i8 %5, -80
br i1 %6, label %7, label %17
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %0, i64 1
%9 = load i8, i8* %8
%10 = and i8 %9, -16
switch i8 %10, label %11 [
i8 0, label %18
i8 16, label %18
]
11: ; preds = %7
%12 = icmp eq i8 %2, -80
br i1 %12, label %13, label %17
13: ; preds = %11
%14 = lshr i8 %9, 4
%15 = xor i8 %14, 8
%16 = icmp ult i8 %15, 6
br i1 %16, label %18, label %17
17: ; preds = %13, %11, %4
br label %18
18: ; preds = %13, %1, %7, %7, %17
%19 = phi i32 [ 0, %17 ], [ 4, %1 ], [ 5, %7 ], [ 5, %7 ], [ 6, %13 ]
ret i32 %19
}