int utf8_mblen(unsigned char *str, int len) {
  if (len >= 4 && (str[0] & 0xf0) == 0xf0 && (str[1] & 0x80) &&
      (str[2] & 0x80) && (str[3] & 0x80)) {
    return 4;
  } else if (len >= 3 && (str[0] & 0xe0) == 0xe0 && (str[1] & 0x80) &&
             (str[2] & 0x80)) {
    return 3;
  } else if (len >= 2 && (str[0] & 0xc0) == 0xc0 && (str[1] & 0x80)) {
    return 2;
  }
  return 1;
}


x86 assembly (clang, -O0):
<utf8_mblen>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jl     117a <utf8_mblen+0x7a>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xf0,%eax
jne    117a <utf8_mblen+0x7a>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     117a <utf8_mblen+0x7a>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     117a <utf8_mblen+0x7a>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     117a <utf8_mblen+0x7a>
movl   $0x4,-0x4(%rbp)
jmp    1227 <utf8_mblen+0x127>
cmpl   $0x3,-0x14(%rbp)
jl     11d3 <utf8_mblen+0xd3>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xe0,%eax
jne    11d3 <utf8_mblen+0xd3>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     11d3 <utf8_mblen+0xd3>
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     11d3 <utf8_mblen+0xd3>
movl   $0x3,-0x4(%rbp)
jmp    1227 <utf8_mblen+0x127>
cmpl   $0x2,-0x14(%rbp)
jl     1216 <utf8_mblen+0x116>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0xc0,%eax
jne    1216 <utf8_mblen+0x116>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1216 <utf8_mblen+0x116>
movl   $0x2,-0x4(%rbp)
jmp    1227 <utf8_mblen+0x127>
jmp    121b <utf8_mblen+0x11b>
jmp    1220 <utf8_mblen+0x120>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_mblen>:
cmp    $0x4,%esi
jl     1123 <utf8_mblen+0x23>
mov    (%rdi),%al
cmp    $0xf0,%al
jb     112a <utf8_mblen+0x2a>
cmpb   $0x0,0x1(%rdi)
jns    112e <utf8_mblen+0x2e>
cmpb   $0x0,0x2(%rdi)
jns    112e <utf8_mblen+0x2e>
cmpb   $0x0,0x3(%rdi)
jns    112e <utf8_mblen+0x2e>
mov    $0x4,%eax
ret
cmp    $0x3,%esi
jne    1140 <utf8_mblen+0x40>
mov    (%rdi),%al
cmp    $0xe0,%al
jb     1147 <utf8_mblen+0x47>
cmpb   $0x0,0x1(%rdi)
jns    114b <utf8_mblen+0x4b>
cmpb   $0x0,0x2(%rdi)
jns    114b <utf8_mblen+0x4b>
mov    $0x3,%eax
ret
cmp    $0x2,%esi
jl     1151 <utf8_mblen+0x51>
mov    (%rdi),%al
cmp    $0xc0,%al
jb     1151 <utf8_mblen+0x51>
cmpb   $0x0,0x1(%rdi)
js     1157 <utf8_mblen+0x57>
mov    $0x1,%eax
ret
mov    $0x2,%eax
ret

LLVM IR (-O0):
define i32 @utf8_mblen(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
%7 = icmp sge i32 %6, 4
br i1 %7, label %8, label %37
8: ; preds = %2
%9 = load i8*, i8** %4
%10 = getelementptr inbounds i8, i8* %9, i64 0
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = and i32 %12, 240
%14 = icmp eq i32 %13, 240
br i1 %14, label %15, label %37
15: ; preds = %8
%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 = and i32 %19, 128
%21 = icmp ne i32 %20, 0
br i1 %21, label %22, label %37
22: ; preds = %15
%23 = load i8*, i8** %4
%24 = getelementptr inbounds i8, i8* %23, i64 2
%25 = load i8, i8* %24
%26 = zext i8 %25 to i32
%27 = and i32 %26, 128
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %37
29: ; preds = %22
%30 = load i8*, i8** %4
%31 = getelementptr inbounds i8, i8* %30, i64 3
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = and i32 %33, 128
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %29
store i32 4, i32* %3
br label %83
37: ; preds = %29, %22, %15, %8, %2
%38 = load i32, i32* %5
%39 = icmp sge i32 %38, 3
br i1 %39, label %40, label %62
40: ; preds = %37
%41 = load i8*, i8** %4
%42 = getelementptr inbounds i8, i8* %41, i64 0
%43 = load i8, i8* %42
%44 = zext i8 %43 to i32
%45 = and i32 %44, 224
%46 = icmp eq i32 %45, 224
br i1 %46, label %47, label %62
47: ; preds = %40
%48 = load i8*, i8** %4
%49 = getelementptr inbounds i8, i8* %48, i64 1
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = and i32 %51, 128
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %62
54: ; preds = %47
%55 = load i8*, i8** %4
%56 = getelementptr inbounds i8, i8* %55, i64 2
%57 = load i8, i8* %56
%58 = zext i8 %57 to i32
%59 = and i32 %58, 128
%60 = icmp ne i32 %59, 0
br i1 %60, label %61, label %62
61: ; preds = %54
store i32 3, i32* %3
br label %83
62: ; preds = %54, %47, %40, %37
%63 = load i32, i32* %5
%64 = icmp sge i32 %63, 2
br i1 %64, label %65, label %80
65: ; preds = %62
%66 = load i8*, i8** %4
%67 = getelementptr inbounds i8, i8* %66, i64 0
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = and i32 %69, 192
%71 = icmp eq i32 %70, 192
br i1 %71, label %72, label %80
72: ; preds = %65
%73 = load i8*, i8** %4
%74 = getelementptr inbounds i8, i8* %73, i64 1
%75 = load i8, i8* %74
%76 = zext i8 %75 to i32
%77 = and i32 %76, 128
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %80
79: ; preds = %72
store i32 2, i32* %3
br label %83
80: ; preds = %72, %65, %62
br label %81
81: ; preds = %80
br label %82
82: ; preds = %81
store i32 1, i32* %3
br label %83
83: ; preds = %82, %79, %61, %36
%84 = load i32, i32* %3
ret i32 %84
}

LLVM IR (-O2):
define i32 @utf8_mblen(i8* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 3
br i1 %3, label %4, label %19
4: ; preds = %2
%5 = load i8, i8* %0
%6 = icmp ugt i8 %5, -17
br i1 %6, label %7, label %23
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %0, i64 1
%9 = load i8, i8* %8
%10 = icmp sgt i8 %9, -1
br i1 %10, label %26, label %11
11: ; preds = %7
%12 = getelementptr inbounds i8, i8* %0, i64 2
%13 = load i8, i8* %12
%14 = icmp sgt i8 %13, -1
br i1 %14, label %26, label %15
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %0, i64 3
%17 = load i8, i8* %16
%18 = icmp sgt i8 %17, -1
br i1 %18, label %26, label %46
19: ; preds = %2
%20 = icmp eq i32 %1, 3
br i1 %20, label %21, label %34
21: ; preds = %19
%22 = load i8, i8* %0
br label %23
23: ; preds = %21, %4
%24 = phi i8 [ %5, %4 ], [ %22, %21 ]
%25 = icmp ugt i8 %24, -33
br i1 %25, label %26, label %38
26: ; preds = %7, %11, %15, %23
%27 = getelementptr inbounds i8, i8* %0, i64 1
%28 = load i8, i8* %27
%29 = icmp sgt i8 %28, -1
br i1 %29, label %41, label %30
30: ; preds = %26
%31 = getelementptr inbounds i8, i8* %0, i64 2
%32 = load i8, i8* %31
%33 = icmp sgt i8 %32, -1
br i1 %33, label %41, label %46
34: ; preds = %19
%35 = icmp sgt i32 %1, 1
br i1 %35, label %36, label %45
36: ; preds = %34
%37 = load i8, i8* %0
br label %38
38: ; preds = %36, %23
%39 = phi i8 [ %37, %36 ], [ %24, %23 ]
%40 = icmp ugt i8 %39, -65
br i1 %40, label %41, label %45
41: ; preds = %30, %26, %38
%42 = getelementptr inbounds i8, i8* %0, i64 1
%43 = load i8, i8* %42
%44 = icmp sgt i8 %43, -1
br i1 %44, label %45, label %46
45: ; preds = %41, %38, %34
br label %46
46: ; preds = %41, %30, %15, %45
%47 = phi i32 [ 1, %45 ], [ 4, %15 ], [ 3, %30 ], [ 2, %41 ]
ret i32 %47
}