const char *utf8_next_char(const char *str) {
  if (*str & 0x80) {
    unsigned char escape_char = ((*str & 0xF0) << 1);
    while (escape_char & 0x80 && *str) {
      escape_char = escape_char << 1;
      ++str;
    }
  }
  if (*str) {
    ++str;
  }
  return str;
}


x86 assembly (clang, -O0):
<utf8_next_char>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1187 <utf8_next_char+0x87>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
and    $0xf0,%eax
shl    $0x1,%eax
mov    %al,-0x9(%rbp)
movzbl -0x9(%rbp),%ecx
and    $0x80,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
je     1157 <utf8_next_char+0x57>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0xa(%rbp)
mov    -0xa(%rbp),%al
test   $0x1,%al
jne    1167 <utf8_next_char+0x67>
jmp    1182 <utf8_next_char+0x82>
movzbl -0x9(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x9(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    112f <utf8_next_char+0x2f>
jmp    1187 <utf8_next_char+0x87>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     11a0 <utf8_next_char+0xa0>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_next_char>:
mov    %rdi,%rax
mov    (%rdi),%cl
test   %cl,%cl
jns    1134 <utf8_next_char+0x34>
add    %cl,%cl
mov    %ecx,%edx
mov    $0x1,%cl
and    $0xe0,%dl
jns    1134 <utf8_next_char+0x34>
add    $0x1,%rax
mov    %rax,%rsi
nopl   0x0(%rax,%rax,1)
mov    %rsi,%rax
add    %dl,%dl
movzbl (%rsi),%ecx
jns    1134 <utf8_next_char+0x34>
lea    0x1(%rax),%rsi
test   %cl,%cl
jne    1120 <utf8_next_char+0x20>
xor    %ecx,%ecx
cmp    $0x1,%cl
sbb    $0xffffffffffffffff,%rax
ret

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

LLVM IR (-O2):
define i8* @utf8_next_char(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp sgt i8 %2, -1
br i1 %3, label %17, label %4
4: ; preds = %1
%5 = shl i8 %2, 1
%6 = and i8 %5, -32
%7 = icmp sgt i8 %6, -1
br i1 %7, label %17, label %8
8: ; preds = %4, %15
%9 = phi i8* [ %12, %15 ], [ %0, %4 ]
%10 = phi i8 [ %11, %15 ], [ %6, %4 ]
%11 = shl i8 %10, 1
%12 = getelementptr inbounds i8, i8* %9, i64 1
%13 = icmp sgt i8 %11, -1
%14 = load i8, i8* %12
br i1 %13, label %17, label %15
15: ; preds = %8
%16 = icmp eq i8 %14, 0
br i1 %16, label %17, label %8
17: ; preds = %15, %8, %4, %1
%18 = phi i8 [ %2, %1 ], [ 1, %4 ], [ 0, %15 ], [ %14, %8 ]
%19 = phi i8* [ %0, %1 ], [ %0, %4 ], [ %12, %8 ], [ %12, %15 ]
%20 = icmp ne i8 %18, 0
%21 = zext i1 %20 to i64
%22 = getelementptr i8, i8* %19, i64 %21
ret i8* %22
}