unsigned int ok_utf8_strlen(const char *utf8) {
  unsigned int len = 0;
  if (utf8) {
    const unsigned char *in = (const unsigned char *)utf8;
    while (*in != 0) {
      int skip;
      if (*in < 0xc0) {
        skip = 0;
      } else if (*in < 0xe0) {
        skip = 1;
      } else if (*in < 0xf0) {
        skip = 2;
      } else {
        skip = 3;
      }
      int i = 0;
      for (i = 0; i < skip; i++) {
        in++;
        if (*in < 128) {
          break;
        }
      }
      len++;
      in++;
    }
  }
  return len;
}


x86 assembly (clang, -O0):
<ok_utf8_strlen>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     120c <ok_utf8_strlen+0x10c>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
je     1207 <ok_utf8_strlen+0x107>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc0,%eax
jge    1150 <ok_utf8_strlen+0x50>
movl   $0x0,-0x1c(%rbp)
jmp    119d <ok_utf8_strlen+0x9d>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xe0,%eax
jge    116e <ok_utf8_strlen+0x6e>
movl   $0x1,-0x1c(%rbp)
jmp    1198 <ok_utf8_strlen+0x98>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xf0,%eax
jge    118c <ok_utf8_strlen+0x8c>
movl   $0x2,-0x1c(%rbp)
jmp    1193 <ok_utf8_strlen+0x93>
movl   $0x3,-0x1c(%rbp)
jmp    1198 <ok_utf8_strlen+0x98>
jmp    119d <ok_utf8_strlen+0x9d>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11ed <ok_utf8_strlen+0xed>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    11da <ok_utf8_strlen+0xda>
jmp    11ed <ok_utf8_strlen+0xed>
jmp    11df <ok_utf8_strlen+0xdf>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11ab <ok_utf8_strlen+0xab>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1122 <ok_utf8_strlen+0x22>
jmp    120c <ok_utf8_strlen+0x10c>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ok_utf8_strlen>:
xor    %eax,%eax
test   %rdi,%rdi
je     1177 <ok_utf8_strlen+0x77>
mov    (%rdi),%cl
test   %cl,%cl
je     1177 <ok_utf8_strlen+0x77>
xor    %eax,%eax
mov    $0x1,%r8d
jmp    1135 <ok_utf8_strlen+0x35>
nopw   0x0(%rax,%rax,1)
mov    %rdi,%rdx
add    $0x1,%eax
movzbl 0x1(%rdx),%ecx
add    $0x1,%rdx
mov    %rdx,%rdi
test   %cl,%cl
je     1177 <ok_utf8_strlen+0x77>
cmp    $0xc0,%cl
jb     1120 <ok_utf8_strlen+0x20>
cmp    $0xf0,%cl
mov    $0x3,%esi
sbb    $0x0,%esi
cmp    $0xe0,%cl
cmovb  %r8d,%esi
lea    0x1(%rdi),%rdx
cmpb   $0x0,0x1(%rdi)
jns    1123 <ok_utf8_strlen+0x23>
cmp    $0x2,%esi
jb     1123 <ok_utf8_strlen+0x23>
lea    0x2(%rdi),%rdx
cmp    $0x3,%esi
je     1169 <ok_utf8_strlen+0x69>
mov    %rdx,%rcx
jmp    116d <ok_utf8_strlen+0x6d>
lea    0x3(%rdi),%rcx
cmpb   $0x0,0x2(%rdi)
cmovs  %rcx,%rdx
jmp    1123 <ok_utf8_strlen+0x23>
ret

LLVM IR (-O0):
define i32 @ok_utf8_strlen(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %2
store i32 0, i32* %3
%7 = load i8*, i8** %2
%8 = icmp ne i8* %7, null
br i1 %8, label %9, label %60
9: ; preds = %1
%10 = load i8*, i8** %2
store i8* %10, i8** %4
br label %11
11: ; preds = %54, %9
%12 = load i8*, i8** %4
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %59
16: ; preds = %11
%17 = load i8*, i8** %4
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = icmp slt i32 %19, 192
br i1 %20, label %21, label %22
21: ; preds = %16
store i32 0, i32* %5
br label %37
22: ; preds = %16
%23 = load i8*, i8** %4
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = icmp slt i32 %25, 224
br i1 %26, label %27, label %28
27: ; preds = %22
store i32 1, i32* %5
br label %36
28: ; preds = %22
%29 = load i8*, i8** %4
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = icmp slt i32 %31, 240
br i1 %32, label %33, label %34
33: ; preds = %28
store i32 2, i32* %5
br label %35
34: ; preds = %28
store i32 3, i32* %5
br label %35
35: ; preds = %34, %33
br label %36
36: ; preds = %35, %27
br label %37
37: ; preds = %36, %21
store i32 0, i32* %6
store i32 0, i32* %6
br label %38
38: ; preds = %51, %37
%39 = load i32, i32* %6
%40 = load i32, i32* %5
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %54
42: ; preds = %38
%43 = load i8*, i8** %4
%44 = getelementptr inbounds i8, i8* %43, i32 1
store i8* %44, i8** %4
%45 = load i8*, i8** %4
%46 = load i8, i8* %45
%47 = zext i8 %46 to i32
%48 = icmp slt i32 %47, 128
br i1 %48, label %49, label %50
49: ; preds = %42
br label %54
50: ; preds = %42
br label %51
51: ; preds = %50
%52 = load i32, i32* %6
%53 = add nsw i32 %52, 1
store i32 %53, i32* %6
br label %38
54: ; preds = %49, %38
%55 = load i32, i32* %3
%56 = add i32 %55, 1
store i32 %56, i32* %3
%57 = load i8*, i8** %4
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %4
br label %11
59: ; preds = %11
br label %60
60: ; preds = %59, %1
%61 = load i32, i32* %3
ret i32 %61
}

LLVM IR (-O2):
define i32 @ok_utf8_strlen(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %35, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %35, label %6
6: ; preds = %3, %29
%7 = phi i8 [ %33, %29 ], [ %4, %3 ]
%8 = phi i8* [ %32, %29 ], [ %0, %3 ]
%9 = phi i32 [ %31, %29 ], [ 0, %3 ]
%10 = icmp ult i8 %7, -64
br i1 %10, label %29, label %11
11: ; preds = %6
%12 = icmp ult i8 %7, -32
%13 = icmp ult i8 %7, -16
%14 = select i1 %13, i32 2, i32 3
%15 = select i1 %12, i32 1, i32 %14
%16 = getelementptr inbounds i8, i8* %8, i64 1
%17 = load i8, i8* %16
%18 = icmp slt i8 %17, 0
%19 = icmp ugt i32 %15, 1
%20 = select i1 %18, i1 %19, i1 false
br i1 %20, label %21, label %29
21: ; preds = %11
%22 = getelementptr inbounds i8, i8* %8, i64 2
%23 = load i8, i8* %22
%24 = icmp slt i8 %23, 0
%25 = icmp eq i32 %15, 3
%26 = select i1 %24, i1 %25, i1 false
%27 = getelementptr inbounds i8, i8* %8, i64 3
%28 = select i1 %26, i8* %27, i8* %22
br label %29
29: ; preds = %21, %11, %6
%30 = phi i8* [ %8, %6 ], [ %16, %11 ], [ %28, %21 ]
%31 = add i32 %9, 1
%32 = getelementptr inbounds i8, i8* %30, i64 1
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %35, label %6
35: ; preds = %29, %3, %1
%36 = phi i32 [ 0, %1 ], [ 0, %3 ], [ %31, %29 ]
ret i32 %36
}