#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
size_t utf8len(const void *str) {
  const unsigned char *s = (const unsigned char *)str;
  size_t length = 0;
  while ('\0' != *s) {
    if (0xf0 == (0xf8 & *s)) {
      s += 4;
    } else if (0xe0 == (0xf0 & *s)) {
      s += 3;
    } else if (0xc0 == (0xe0 & *s)) {
      s += 2;
    } else {
      s += 1;
    }
    length++;
  }
  return length;
}


x86 assembly (clang, -O0):
<utf8len>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    %ecx,%eax
je     11d1 <utf8len+0xd1>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
and    $0xf8,%ecx
mov    $0xf0,%eax
cmp    %ecx,%eax
jne    1154 <utf8len+0x54>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    11c0 <utf8len+0xc0>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
and    $0xf0,%ecx
mov    $0xe0,%eax
cmp    %ecx,%eax
jne    117f <utf8len+0x7f>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
jmp    11bb <utf8len+0xbb>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
and    $0xe0,%ecx
mov    $0xc0,%eax
cmp    %ecx,%eax
jne    11aa <utf8len+0xaa>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    11b6 <utf8len+0xb6>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11bb <utf8len+0xbb>
jmp    11c0 <utf8len+0xc0>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1118 <utf8len+0x18>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8len>:
mov    (%rdi),%dl
xor    %eax,%eax
jmp    111b <utf8len+0x1b>
cs nopw 0x0(%rax,%rax,1)
movzbl (%rdi,%rcx,1),%edx
add    %rcx,%rdi
add    $0x1,%rax
test   %dl,%dl
je     115a <utf8len+0x5a>
movzbl %dl,%edx
mov    %edx,%esi
and    $0xfffffff8,%esi
mov    $0x4,%ecx
cmp    $0xf0,%esi
je     1110 <utf8len+0x10>
mov    %edx,%esi
and    $0xfffffff0,%esi
mov    $0x3,%ecx
cmp    $0xe0,%esi
je     1110 <utf8len+0x10>
and    $0xffffffe0,%edx
xor    %ecx,%ecx
cmp    $0xc0,%edx
sete   %cl
add    $0x1,%rcx
jmp    1110 <utf8len+0x10>
ret

LLVM IR (-O0):
define i64 @utf8len(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i64
store i8* %0, i8** %2
%5 = load i8*, i8** %2
store i8* %5, i8** %3
store i64 0, i64* %4
br label %6
6: ; preds = %43, %1
%7 = load i8*, i8** %3
%8 = load i8, i8* %7
%9 = zext i8 %8 to i32
%10 = icmp ne i32 0, %9
br i1 %10, label %11, label %46
11: ; preds = %6
%12 = load i8*, i8** %3
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = and i32 248, %14
%16 = icmp eq i32 240, %15
br i1 %16, label %17, label %20
17: ; preds = %11
%18 = load i8*, i8** %3
%19 = getelementptr inbounds i8, i8* %18, i64 4
store i8* %19, i8** %3
br label %43
20: ; preds = %11
%21 = load i8*, i8** %3
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = and i32 240, %23
%25 = icmp eq i32 224, %24
br i1 %25, label %26, label %29
26: ; preds = %20
%27 = load i8*, i8** %3
%28 = getelementptr inbounds i8, i8* %27, i64 3
store i8* %28, i8** %3
br label %42
29: ; preds = %20
%30 = load i8*, i8** %3
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = and i32 224, %32
%34 = icmp eq i32 192, %33
br i1 %34, label %35, label %38
35: ; preds = %29
%36 = load i8*, i8** %3
%37 = getelementptr inbounds i8, i8* %36, i64 2
store i8* %37, i8** %3
br label %41
38: ; preds = %29
%39 = load i8*, i8** %3
%40 = getelementptr inbounds i8, i8* %39, i64 1
store i8* %40, i8** %3
br label %41
41: ; preds = %38, %35
br label %42
42: ; preds = %41, %26
br label %43
43: ; preds = %42, %17
%44 = load i64, i64* %4
%45 = add i64 %44, 1
store i64 %45, i64* %4
br label %6
46: ; preds = %6
%47 = load i64, i64* %4
ret i64 %47
}

LLVM IR (-O2):
define i64 @utf8len(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %24, label %4
4: ; preds = %1, %18
%5 = phi i8 [ %22, %18 ], [ %2, %1 ]
%6 = phi i64 [ %21, %18 ], [ 0, %1 ]
%7 = phi i8* [ %20, %18 ], [ %0, %1 ]
%8 = zext i8 %5 to i32
%9 = and i32 %8, 248
%10 = icmp eq i32 %9, 240
br i1 %10, label %18, label %11
11: ; preds = %4
%12 = and i32 %8, 240
%13 = icmp eq i32 %12, 224
br i1 %13, label %18, label %14
14: ; preds = %11
%15 = and i32 %8, 224
%16 = icmp eq i32 %15, 192
%17 = select i1 %16, i64 2, i64 1
br label %18
18: ; preds = %14, %11, %4
%19 = phi i64 [ 4, %4 ], [ 3, %11 ], [ %17, %14 ]
%20 = getelementptr inbounds i8, i8* %7, i64 %19
%21 = add i64 %6, 1
%22 = load i8, i8* %20
%23 = icmp eq i8 %22, 0
br i1 %23, label %24, label %4
24: ; preds = %18, %1
%25 = phi i64 [ 0, %1 ], [ %21, %18 ]
ret i64 %25
}