int mb_is_shortest(unsigned char *s, int n) {
  switch (n) {
  case 2:
    return !(((*s >> 1) == 0x60) && ((*(s + 1) >> 6) == 0x02));
  case 3:
    return !((*s == 0xE0) && ((*(s + 1) >> 5) == 0x04) &&
             ((*(s + 2) >> 6) == 0x02));
  case 4:
    return !((*s == 0xF0) && ((*(s + 1) >> 4) == 0x08) &&
             ((*(s + 2) >> 6) == 0x02) && ((*(s + 3) >> 6) == 0x02));
  case 5:
    return !((*s == 0xF8) && ((*(s + 1) >> 3) == 0x10) &&
             ((*(s + 2) >> 6) == 0x02) && ((*(s + 3) >> 6) == 0x02) &&
             ((*(s + 4) >> 6) == 0x02));
  case 6:
    return !((*s == 0xF8) && ((*(s + 1) >> 2) == 0x20) &&
             ((*(s + 2) >> 6) == 0x02) && ((*(s + 3) >> 6) == 0x02) &&
             ((*(s + 4) >> 6) == 0x02) && ((*(s + 5) >> 6) == 0x02));
  }
  return 1;
}


x86 assembly (clang, -O0):
<mb_is_shortest>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0xfffffffe,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x4,%eax
ja     1364 <mb_is_shortest+0x264>
mov    -0x20(%rbp),%rax
lea    0xed5(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
sar    $0x1,%ecx
xor    %eax,%eax
cmp    $0x60,%ecx
mov    %al,-0x21(%rbp)
jne    1160 <mb_is_shortest+0x60>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
sete   %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    136b <mb_is_shortest+0x26b>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xe0,%ecx
mov    %al,-0x22(%rbp)
jne    11b7 <mb_is_shortest+0xb7>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%ecx
sar    $0x5,%ecx
xor    %eax,%eax
cmp    $0x4,%ecx
mov    %al,-0x22(%rbp)
jne    11b7 <mb_is_shortest+0xb7>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
sete   %al
mov    %al,-0x22(%rbp)
mov    -0x22(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    136b <mb_is_shortest+0x26b>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xf0,%ecx
mov    %al,-0x23(%rbp)
jne    1227 <mb_is_shortest+0x127>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%ecx
sar    $0x4,%ecx
xor    %eax,%eax
cmp    $0x8,%ecx
mov    %al,-0x23(%rbp)
jne    1227 <mb_is_shortest+0x127>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x23(%rbp)
jne    1227 <mb_is_shortest+0x127>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
sete   %al
mov    %al,-0x23(%rbp)
mov    -0x23(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    136b <mb_is_shortest+0x26b>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xf8,%ecx
mov    %al,-0x24(%rbp)
jne    12b0 <mb_is_shortest+0x1b0>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%ecx
sar    $0x3,%ecx
xor    %eax,%eax
cmp    $0x10,%ecx
mov    %al,-0x24(%rbp)
jne    12b0 <mb_is_shortest+0x1b0>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x24(%rbp)
jne    12b0 <mb_is_shortest+0x1b0>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x24(%rbp)
jne    12b0 <mb_is_shortest+0x1b0>
mov    -0x10(%rbp),%rax
movzbl 0x4(%rax),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
sete   %al
mov    %al,-0x24(%rbp)
mov    -0x24(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    136b <mb_is_shortest+0x26b>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xf8,%ecx
mov    %al,-0x25(%rbp)
jne    1352 <mb_is_shortest+0x252>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%ecx
sar    $0x2,%ecx
xor    %eax,%eax
cmp    $0x20,%ecx
mov    %al,-0x25(%rbp)
jne    1352 <mb_is_shortest+0x252>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x25(%rbp)
jne    1352 <mb_is_shortest+0x252>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x25(%rbp)
jne    1352 <mb_is_shortest+0x252>
mov    -0x10(%rbp),%rax
movzbl 0x4(%rax),%ecx
sar    $0x6,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
mov    %al,-0x25(%rbp)
jne    1352 <mb_is_shortest+0x252>
mov    -0x10(%rbp),%rax
movzbl 0x5(%rax),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
sete   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    136b <mb_is_shortest+0x26b>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mb_is_shortest>:
mov    $0x1,%eax
add    $0xfffffffe,%esi
cmp    $0x4,%esi
ja     1130 <mb_is_shortest+0x30>
lea    0xeec(%rip),%rcx
movslq (%rcx,%rsi,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
mov    (%rdi),%dl
and    $0xfe,%dl
mov    $0x1,%ecx
cmp    $0xc0,%dl
je     11c2 <mb_is_shortest+0xc2>
ret
cmpb   $0xe0,(%rdi)
jne    1130 <mb_is_shortest+0x30>
mov    0x1(%rdi),%dl
and    $0xe0,%dl
mov    $0x2,%ecx
jmp    11b9 <mb_is_shortest+0xb9>
cmpb   $0xf0,(%rdi)
jne    1130 <mb_is_shortest+0x30>
mov    0x1(%rdi),%cl
and    $0xf0,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x2(%rdi),%dl
and    $0xc0,%dl
mov    $0x3,%ecx
jmp    11b9 <mb_is_shortest+0xb9>
cmpb   $0xf8,(%rdi)
jne    1130 <mb_is_shortest+0x30>
mov    0x1(%rdi),%cl
and    $0xf8,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x2(%rdi),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x3(%rdi),%dl
and    $0xc0,%dl
mov    $0x4,%ecx
jmp    11b9 <mb_is_shortest+0xb9>
cmpb   $0xf8,(%rdi)
jne    1130 <mb_is_shortest+0x30>
mov    0x1(%rdi),%cl
and    $0xfc,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x2(%rdi),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x3(%rdi),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1130 <mb_is_shortest+0x30>
mov    0x4(%rdi),%dl
and    $0xc0,%dl
mov    $0x5,%ecx
cmp    $0x80,%dl
jne    1130 <mb_is_shortest+0x30>
mov    (%rdi,%rcx,1),%cl
and    $0xc0,%cl
xor    %eax,%eax
cmp    $0x80,%cl
setne  %al
ret

LLVM IR (-O0):
define i32 @mb_is_shortest(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 i32, i32* %5
switch i32 %6, label %158 [
i32 2, label %7
i32 3, label %24
i32 4, label %47
i32 5, label %77
i32 6, label %114
]
7: ; preds = %2
%8 = load i8*, i8** %4
%9 = load i8, i8* %8
%10 = zext i8 %9 to i32
%11 = ashr i32 %10, 1
%12 = icmp eq i32 %11, 96
br i1 %12, label %13, label %20
13: ; preds = %7
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i64 1
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = ashr i32 %17, 6
%19 = icmp eq i32 %18, 2
br label %20
20: ; preds = %13, %7
%21 = phi i1 [ false, %7 ], [ %19, %13 ]
%22 = xor i1 %21, true
%23 = zext i1 %22 to i32
store i32 %23, i32* %3
br label %159
24: ; preds = %2
%25 = load i8*, i8** %4
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = icmp eq i32 %27, 224
br i1 %28, label %29, label %43
29: ; preds = %24
%30 = load i8*, i8** %4
%31 = getelementptr inbounds i8, i8* %30, i64 1
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = ashr i32 %33, 5
%35 = icmp eq i32 %34, 4
br i1 %35, label %36, label %43
36: ; preds = %29
%37 = load i8*, i8** %4
%38 = getelementptr inbounds i8, i8* %37, i64 2
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = ashr i32 %40, 6
%42 = icmp eq i32 %41, 2
br label %43
43: ; preds = %36, %29, %24
%44 = phi i1 [ false, %29 ], [ false, %24 ], [ %42, %36 ]
%45 = xor i1 %44, true
%46 = zext i1 %45 to i32
store i32 %46, i32* %3
br label %159
47: ; preds = %2
%48 = load i8*, i8** %4
%49 = load i8, i8* %48
%50 = zext i8 %49 to i32
%51 = icmp eq i32 %50, 240
br i1 %51, label %52, label %73
52: ; preds = %47
%53 = load i8*, i8** %4
%54 = getelementptr inbounds i8, i8* %53, i64 1
%55 = load i8, i8* %54
%56 = zext i8 %55 to i32
%57 = ashr i32 %56, 4
%58 = icmp eq i32 %57, 8
br i1 %58, label %59, label %73
59: ; preds = %52
%60 = load i8*, i8** %4
%61 = getelementptr inbounds i8, i8* %60, i64 2
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = ashr i32 %63, 6
%65 = icmp eq i32 %64, 2
br i1 %65, label %66, label %73
66: ; preds = %59
%67 = load i8*, i8** %4
%68 = getelementptr inbounds i8, i8* %67, i64 3
%69 = load i8, i8* %68
%70 = zext i8 %69 to i32
%71 = ashr i32 %70, 6
%72 = icmp eq i32 %71, 2
br label %73
73: ; preds = %66, %59, %52, %47
%74 = phi i1 [ false, %59 ], [ false, %52 ], [ false, %47 ], [ %72, %66 ]
%75 = xor i1 %74, true
%76 = zext i1 %75 to i32
store i32 %76, i32* %3
br label %159
77: ; preds = %2
%78 = load i8*, i8** %4
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
%81 = icmp eq i32 %80, 248
br i1 %81, label %82, label %110
82: ; preds = %77
%83 = load i8*, i8** %4
%84 = getelementptr inbounds i8, i8* %83, i64 1
%85 = load i8, i8* %84
%86 = zext i8 %85 to i32
%87 = ashr i32 %86, 3
%88 = icmp eq i32 %87, 16
br i1 %88, label %89, label %110
89: ; preds = %82
%90 = load i8*, i8** %4
%91 = getelementptr inbounds i8, i8* %90, i64 2
%92 = load i8, i8* %91
%93 = zext i8 %92 to i32
%94 = ashr i32 %93, 6
%95 = icmp eq i32 %94, 2
br i1 %95, label %96, label %110
96: ; preds = %89
%97 = load i8*, i8** %4
%98 = getelementptr inbounds i8, i8* %97, i64 3
%99 = load i8, i8* %98
%100 = zext i8 %99 to i32
%101 = ashr i32 %100, 6
%102 = icmp eq i32 %101, 2
br i1 %102, label %103, label %110
103: ; preds = %96
%104 = load i8*, i8** %4
%105 = getelementptr inbounds i8, i8* %104, i64 4
%106 = load i8, i8* %105
%107 = zext i8 %106 to i32
%108 = ashr i32 %107, 6
%109 = icmp eq i32 %108, 2
br label %110
110: ; preds = %103, %96, %89, %82, %77
%111 = phi i1 [ false, %96 ], [ false, %89 ], [ false, %82 ], [ false, %77 ], [ %109, %103 ]
%112 = xor i1 %111, true
%113 = zext i1 %112 to i32
store i32 %113, i32* %3
br label %159
114: ; preds = %2
%115 = load i8*, i8** %4
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
%118 = icmp eq i32 %117, 248
br i1 %118, label %119, label %154
119: ; preds = %114
%120 = load i8*, i8** %4
%121 = getelementptr inbounds i8, i8* %120, i64 1
%122 = load i8, i8* %121
%123 = zext i8 %122 to i32
%124 = ashr i32 %123, 2
%125 = icmp eq i32 %124, 32
br i1 %125, label %126, label %154
126: ; preds = %119
%127 = load i8*, i8** %4
%128 = getelementptr inbounds i8, i8* %127, i64 2
%129 = load i8, i8* %128
%130 = zext i8 %129 to i32
%131 = ashr i32 %130, 6
%132 = icmp eq i32 %131, 2
br i1 %132, label %133, label %154
133: ; preds = %126
%134 = load i8*, i8** %4
%135 = getelementptr inbounds i8, i8* %134, i64 3
%136 = load i8, i8* %135
%137 = zext i8 %136 to i32
%138 = ashr i32 %137, 6
%139 = icmp eq i32 %138, 2
br i1 %139, label %140, label %154
140: ; preds = %133
%141 = load i8*, i8** %4
%142 = getelementptr inbounds i8, i8* %141, i64 4
%143 = load i8, i8* %142
%144 = zext i8 %143 to i32
%145 = ashr i32 %144, 6
%146 = icmp eq i32 %145, 2
br i1 %146, label %147, label %154
147: ; preds = %140
%148 = load i8*, i8** %4
%149 = getelementptr inbounds i8, i8* %148, i64 5
%150 = load i8, i8* %149
%151 = zext i8 %150 to i32
%152 = ashr i32 %151, 6
%153 = icmp eq i32 %152, 2
br label %154
154: ; preds = %147, %140, %133, %126, %119, %114
%155 = phi i1 [ false, %140 ], [ false, %133 ], [ false, %126 ], [ false, %119 ], [ false, %114 ], [ %153, %147 ]
%156 = xor i1 %155, true
%157 = zext i1 %156 to i32
store i32 %157, i32* %3
br label %159
158: ; preds = %2
store i32 1, i32* %3
br label %159
159: ; preds = %158, %154, %110, %73, %43, %20
%160 = load i32, i32* %3
ret i32 %160
}

LLVM IR (-O2):
define i32 @mb_is_shortest(i8* nocapture %0, i32 %1) {
switch i32 %1, label %76 [
i32 2, label %3
i32 3, label %7
i32 4, label %15
i32 5, label %28
i32 6, label %46
]
3: ; preds = %2
%4 = load i8, i8* %0
%5 = and i8 %4, -2
%6 = icmp eq i8 %5, -64
br i1 %6, label %69, label %76
7: ; preds = %2
%8 = load i8, i8* %0
%9 = icmp eq i8 %8, -32
br i1 %9, label %10, label %76
10: ; preds = %7
%11 = getelementptr inbounds i8, i8* %0, i64 1
%12 = load i8, i8* %11
%13 = and i8 %12, -32
%14 = icmp eq i8 %13, -128
br i1 %14, label %69, label %76
15: ; preds = %2
%16 = load i8, i8* %0
%17 = icmp eq i8 %16, -16
br i1 %17, label %18, label %76
18: ; preds = %15
%19 = getelementptr inbounds i8, i8* %0, i64 1
%20 = load i8, i8* %19
%21 = and i8 %20, -16
%22 = icmp eq i8 %21, -128
br i1 %22, label %23, label %76
23: ; preds = %18
%24 = getelementptr inbounds i8, i8* %0, i64 2
%25 = load i8, i8* %24
%26 = and i8 %25, -64
%27 = icmp eq i8 %26, -128
br i1 %27, label %69, label %76
28: ; preds = %2
%29 = load i8, i8* %0
%30 = icmp eq i8 %29, -8
br i1 %30, label %31, label %76
31: ; preds = %28
%32 = getelementptr inbounds i8, i8* %0, i64 1
%33 = load i8, i8* %32
%34 = and i8 %33, -8
%35 = icmp eq i8 %34, -128
br i1 %35, label %36, label %76
36: ; preds = %31
%37 = getelementptr inbounds i8, i8* %0, i64 2
%38 = load i8, i8* %37
%39 = and i8 %38, -64
%40 = icmp eq i8 %39, -128
br i1 %40, label %41, label %76
41: ; preds = %36
%42 = getelementptr inbounds i8, i8* %0, i64 3
%43 = load i8, i8* %42
%44 = and i8 %43, -64
%45 = icmp eq i8 %44, -128
br i1 %45, label %69, label %76
46: ; preds = %2
%47 = load i8, i8* %0
%48 = icmp eq i8 %47, -8
br i1 %48, label %49, label %76
49: ; preds = %46
%50 = getelementptr inbounds i8, i8* %0, i64 1
%51 = load i8, i8* %50
%52 = and i8 %51, -4
%53 = icmp eq i8 %52, -128
br i1 %53, label %54, label %76
54: ; preds = %49
%55 = getelementptr inbounds i8, i8* %0, i64 2
%56 = load i8, i8* %55
%57 = and i8 %56, -64
%58 = icmp eq i8 %57, -128
br i1 %58, label %59, label %76
59: ; preds = %54
%60 = getelementptr inbounds i8, i8* %0, i64 3
%61 = load i8, i8* %60
%62 = and i8 %61, -64
%63 = icmp eq i8 %62, -128
br i1 %63, label %64, label %76
64: ; preds = %59
%65 = getelementptr inbounds i8, i8* %0, i64 4
%66 = load i8, i8* %65
%67 = and i8 %66, -64
%68 = icmp eq i8 %67, -128
br i1 %68, label %69, label %76
69: ; preds = %64, %41, %23, %10, %3
%70 = phi i64 [ 1, %3 ], [ 2, %10 ], [ 3, %23 ], [ 4, %41 ], [ 5, %64 ]
%71 = getelementptr inbounds i8, i8* %0, i64 %70
%72 = load i8, i8* %71
%73 = and i8 %72, -64
%74 = icmp ne i8 %73, -128
%75 = zext i1 %74 to i32
br label %76
76: ; preds = %69, %2, %46, %49, %54, %59, %64, %28, %31, %36, %41, %15, %18, %23, %7, %10, %3
%77 = phi i32 [ 1, %3 ], [ 1, %10 ], [ 1, %7 ], [ 1, %23 ], [ 1, %18 ], [ 1, %15 ], [ 1, %41 ], [ 1, %36 ], [ 1, %31 ], [ 1, %28 ], [ 1, %64 ], [ 1, %59 ], [ 1, %54 ], [ 1, %49 ], [ 1, %46 ], [ 1, %2 ], [ %75, %69 ]
ret i32 %77
}