int utf8_round_len(const char *text, int len) {
  int i = 0;
  while (i <= len && i <= 4)
    if ((text[len - i] & 0xC0) == 0x80)
      i += 1;
    else
      return len - i;
  return len;
}


x86 assembly (clang, -O0):
<utf8_round_len>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x19(%rbp)
jg     112d <utf8_round_len+0x2d>
cmpl   $0x4,-0x18(%rbp)
setle  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    113d <utf8_round_len+0x3d>
jmp    117f <utf8_round_len+0x7f>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    116c <utf8_round_len+0x6c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117a <utf8_round_len+0x7a>
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1185 <utf8_round_len+0x85>
jmp    1112 <utf8_round_len+0x12>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_round_len>:
mov    %esi,%eax
test   %esi,%esi
js     1170 <utf8_round_len+0x70>
cmp    $0x4,%eax
mov    $0x4,%edx
cmovb  %eax,%edx
mov    %eax,%esi
mov    (%rdi,%rsi,1),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    116e <utf8_round_len+0x6e>
test   %edx,%edx
je     1170 <utf8_round_len+0x70>
mov    -0x1(%rdi,%rsi,1),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    116a <utf8_round_len+0x6a>
add    $0x1,%edx
cmp    $0x2,%edx
je     1170 <utf8_round_len+0x70>
mov    -0x2(%rdi,%rsi,1),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1171 <utf8_round_len+0x71>
cmp    $0x3,%edx
je     1170 <utf8_round_len+0x70>
mov    -0x3(%rdi,%rsi,1),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1177 <utf8_round_len+0x77>
cmp    $0x4,%edx
je     1170 <utf8_round_len+0x70>
mov    -0x4(%rdi,%rsi,1),%cl
and    $0xc0,%cl
cmp    $0x80,%cl
je     1170 <utf8_round_len+0x70>
add    $0xfffffffffffffffc,%rsi
jmp    116e <utf8_round_len+0x6e>
add    $0xffffffffffffffff,%rsi
mov    %esi,%eax
ret
add    $0xfffffffffffffffe,%rsi
jmp    116e <utf8_round_len+0x6e>
add    $0xfffffffffffffffd,%rsi
jmp    116e <utf8_round_len+0x6e>

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

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