int utf8_strlen(char *s) {
  int count = 0;
  char *sBefore = s;
  while (*s > 0) {
  ascii:
    s++;
  }
  count += s - sBefore;
  while (*s) {
    if (*s > 0) {
      sBefore = s;
      goto ascii;
    } else {
      switch (*s & 0xF0) {
      case 0xE0:
        s += 3;
        break;
      case 0xF0:
        s += 4;
        break;
      default:
        s += 2;
        break;
      }
    }
    count++;
  }
  return count;
}


x86 assembly (clang, -O0):
<utf8_strlen>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jle    113d <utf8_strlen+0x3d>
jmp    112c <utf8_strlen+0x2c>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1117 <utf8_strlen+0x17>
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%rax
sub    %rax,%rcx
movslq -0xc(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     11ed <utf8_strlen+0xed>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jle    117c <utf8_strlen+0x7c>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    112c <utf8_strlen+0x2c>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xfffffff0,%eax
mov    %eax,-0x1c(%rbp)
sub    $0xe0,%eax
je     11ac <utf8_strlen+0xac>
jmp    1199 <utf8_strlen+0x99>
mov    -0x1c(%rbp),%eax
sub    $0xf0,%eax
je     11bd <utf8_strlen+0xbd>
jmp    11ce <utf8_strlen+0xce>
mov    -0x8(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    11da <utf8_strlen+0xda>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    11da <utf8_strlen+0xda>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
jmp    11df <utf8_strlen+0xdf>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1152 <utf8_strlen+0x52>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_strlen>:
xor    %eax,%eax
mov    $0x3,%r9d
mov    %rdi,%r8
jmp    1114 <utf8_strlen+0x14>
nopl   (%rax)
add    $0x1,%rdi
mov    (%rdi),%dl
test   %dl,%dl
jg     1110 <utf8_strlen+0x10>
mov    %edi,%esi
sub    %r8d,%esi
add    %esi,%eax
test   %dl,%dl
je     1169 <utf8_strlen+0x69>
cs nopw 0x0(%rax,%rax,1)
nop
test   %dl,%dl
jg     1160 <utf8_strlen+0x60>
mov    %edx,%ecx
and    $0xf0,%cl
xor    %esi,%esi
cmp    $0xf0,%dl
setae  %sil
add    %rsi,%rsi
add    $0x2,%rsi
cmp    $0xe0,%cl
cmove  %r9,%rsi
movzbl (%rdi,%rsi,1),%edx
add    %rsi,%rdi
add    $0x1,%eax
test   %dl,%dl
jne    1130 <utf8_strlen+0x30>
jmp    1169 <utf8_strlen+0x69>
mov    %rdi,%r8
add    $0x1,%rdi
jmp    1114 <utf8_strlen+0x14>
ret

LLVM IR (-O0):
define i32 @utf8_strlen(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i8*
store i8* %0, i8** %2
store i32 0, i32* %3
%5 = load i8*, i8** %2
store i8* %5, i8** %4
br label %6
6: ; preds = %12, %1
%7 = load i8*, i8** %2
%8 = load i8, i8* %7
%9 = sext i8 %8 to i32
%10 = icmp sgt i32 %9, 0
br i1 %10, label %11, label %15
11: ; preds = %6
br label %12
12: ; preds = %34, %11
%13 = load i8*, i8** %2
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %2
br label %6
15: ; preds = %6
%16 = load i8*, i8** %2
%17 = load i8*, i8** %4
%18 = ptrtoint i8* %16 to i64
%19 = ptrtoint i8* %17 to i64
%20 = sub i64 %18, %19
%21 = load i32, i32* %3
%22 = sext i32 %21 to i64
%23 = add nsw i64 %22, %20
%24 = trunc i64 %23 to i32
store i32 %24, i32* %3
br label %25
25: ; preds = %51, %15
%26 = load i8*, i8** %2
%27 = load i8, i8* %26
%28 = icmp ne i8 %27, 0
br i1 %28, label %29, label %54
29: ; preds = %25
%30 = load i8*, i8** %2
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp sgt i32 %32, 0
br i1 %33, label %34, label %36
34: ; preds = %29
%35 = load i8*, i8** %2
store i8* %35, i8** %4
br label %12
36: ; preds = %29
%37 = load i8*, i8** %2
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = and i32 %39, 240
switch i32 %40, label %47 [
i32 224, label %41
i32 240, label %44
]
41: ; preds = %36
%42 = load i8*, i8** %2
%43 = getelementptr inbounds i8, i8* %42, i64 3
store i8* %43, i8** %2
br label %50
44: ; preds = %36
%45 = load i8*, i8** %2
%46 = getelementptr inbounds i8, i8* %45, i64 4
store i8* %46, i8** %2
br label %50
47: ; preds = %36
%48 = load i8*, i8** %2
%49 = getelementptr inbounds i8, i8* %48, i64 2
store i8* %49, i8** %2
br label %50
50: ; preds = %47, %44, %41
br label %51
51: ; preds = %50
%52 = load i32, i32* %3
%53 = add nsw i32 %52, 1
store i32 %53, i32* %3
br label %25
54: ; preds = %25
%55 = load i32, i32* %3
ret i32 %55
}

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