int UTFsize(const unsigned char *buffer, const unsigned int buf_len) {
  const unsigned char *p = buffer;
  unsigned int i = 0;
  while (i < buf_len) {
    const unsigned char c = *p;
    if (c == '\0')
      return i;
    if (c == 0xc0 || c == 0xc1 || c == 0xf7 || c >= 0xfd)
      return i;
    if ((c & 0xf0) == 0xe0 && (i + 1 >= buf_len || (*(p + 1) & 0xc0) == 0x80) &&
        (i + 2 >= buf_len || (*(p + 2) & 0xc0) == 0x80)) {
      p += 3;
      i += 3;
    } else if ((c & 0xe0) == 0xc0 &&
               (i + 1 >= buf_len || (*(p + 1) & 0xc0) == 0x80)) {
      p += 2;
      i += 2;
    } else {
      switch (c) {
      case 0x00:
      case 0x01:
      case 0x02:
      case 0x03:
      case 0x04:
      case 0x05:
      case 0x06:
      case 0x07:
      case 0x0b:
      case 0x0c:
      case 0x10:
      case 0x11:
      case 0x12:
      case 0x13:
      case 0x14:
      case 0x15:
      case 0x16:
      case 0x17:
      case 0x18:
      case 0x19:
      case 0x1a:
      case 0x1b:
      case 0x1c:
      case 0x1d:
      case 0x1e:
      case 0x1f:
      case 0x7f:
        return i;
      }
      p++;
      i++;
    }
  }
  return (i < buf_len ? i : buf_len);
}


x86 assembly (clang, -O0):
<UTFsize>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    12ad <UTFsize+0x1ad>
mov    -0x20(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x25(%rbp)
movzbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    1147 <UTFsize+0x47>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12d0 <UTFsize+0x1d0>
movzbl -0x25(%rbp),%eax
cmp    $0xc0,%eax
je     1183 <UTFsize+0x83>
movzbl -0x25(%rbp),%eax
cmp    $0xc1,%eax
je     1183 <UTFsize+0x83>
movzbl -0x25(%rbp),%eax
cmp    $0xf7,%eax
je     1183 <UTFsize+0x83>
movzbl -0x25(%rbp),%eax
cmp    $0xfd,%eax
jl     118e <UTFsize+0x8e>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12d0 <UTFsize+0x1d0>
movzbl -0x25(%rbp),%eax
and    $0xf0,%eax
cmp    $0xe0,%eax
jne    120a <UTFsize+0x10a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
cmp    -0x14(%rbp),%eax
jae    11c9 <UTFsize+0xc9>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    120a <UTFsize+0x10a>
mov    -0x24(%rbp),%eax
add    $0x2,%eax
cmp    -0x14(%rbp),%eax
jae    11f0 <UTFsize+0xf0>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    120a <UTFsize+0x10a>
mov    -0x20(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x24(%rbp)
jmp    12a8 <UTFsize+0x1a8>
movzbl -0x25(%rbp),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    125f <UTFsize+0x15f>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
cmp    -0x14(%rbp),%eax
jae    1245 <UTFsize+0x145>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    125f <UTFsize+0x15f>
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    12a3 <UTFsize+0x1a3>
movzbl -0x25(%rbp),%eax
mov    %rax,-0x30(%rbp)
test   %al,%al
js     128e <UTFsize+0x18e>
mov    -0x30(%rbp),%rax
lea    0xd86(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12d0 <UTFsize+0x1d0>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12a8 <UTFsize+0x1a8>
jmp    111a <UTFsize+0x1a>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    12c4 <UTFsize+0x1c4>
mov    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    12ca <UTFsize+0x1ca>
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<UTFsize>:
push   %rbx
xor    %eax,%eax
test   %esi,%esi
je     1204 <UTFsize+0x104>
lea    0xeee(%rip),%r8
mov    $0x3c1,%r9d
jmp    112e <UTFsize+0x2e>
nopw   0x0(%rax,%rax,1)
add    %r11,%rdi
add    %r10d,%eax
cmp    %esi,%eax
jae    1206 <UTFsize+0x106>
movzbl (%rdi),%ecx
lea    0x9(%rcx),%edx
cmp    $0x9,%dl
ja     1146 <UTFsize+0x46>
movzbl %dl,%edx
bt     %rdx,%r9
jb     1204 <UTFsize+0x104>
lea    0x40(%rcx),%edx
cmp    $0x2,%dl
jb     1204 <UTFsize+0x104>
movzbl %cl,%ebx
mov    %ebx,%edx
and    $0xfffffff0,%edx
cmp    $0xe0,%edx
jne    11a0 <UTFsize+0xa0>
lea    0x1(%rax),%edx
cmp    %esi,%edx
jae    1175 <UTFsize+0x75>
movzbl 0x1(%rdi),%edx
and    $0xc0,%dl
cmp    $0x80,%dl
jne    11a0 <UTFsize+0xa0>
lea    0x2(%rax),%edx
mov    $0x3,%r10d
mov    $0x3,%r11d
cmp    %esi,%edx
jae    1120 <UTFsize+0x20>
movzbl 0x2(%rdi),%edx
and    $0xc0,%dl
cmp    $0x80,%dl
je     1120 <UTFsize+0x20>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
and    $0xffffffe0,%ebx
cmp    $0xc0,%ebx
jne    11e0 <UTFsize+0xe0>
lea    0x1(%rax),%edx
mov    $0x2,%r10d
mov    $0x2,%r11d
cmp    %esi,%edx
jae    1120 <UTFsize+0x20>
movzbl 0x1(%rdi),%edx
and    $0xc0,%dl
cmp    $0x80,%dl
je     1120 <UTFsize+0x20>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0x1,%r10d
mov    $0x1,%r11d
add    $0xff,%cl
cmp    $0x7e,%cl
ja     1120 <UTFsize+0x20>
movzbl %cl,%ecx
movslq (%r8,%rcx,4),%rcx
add    %r8,%rcx
jmp    *%rcx
pop    %rbx
ret
mov    %esi,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @UTFsize(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8
store i8* %0, i8** %4
store i32 %1, i32* %5
%9 = load i8*, i8** %4
store i8* %9, i8** %6
store i32 0, i32* %7
br label %10
10: ; preds = %107, %2
%11 = load i32, i32* %7
%12 = load i32, i32* %5
%13 = icmp ult i32 %11, %12
br i1 %13, label %14, label %108
14: ; preds = %10
%15 = load i8*, i8** %6
%16 = load i8, i8* %15
store i8 %16, i8* %8
%17 = load i8, i8* %8
%18 = zext i8 %17 to i32
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %22
20: ; preds = %14
%21 = load i32, i32* %7
store i32 %21, i32* %3
br label %118
22: ; preds = %14
%23 = load i8, i8* %8
%24 = zext i8 %23 to i32
%25 = icmp eq i32 %24, 192
br i1 %25, label %38, label %26
26: ; preds = %22
%27 = load i8, i8* %8
%28 = zext i8 %27 to i32
%29 = icmp eq i32 %28, 193
br i1 %29, label %38, label %30
30: ; preds = %26
%31 = load i8, i8* %8
%32 = zext i8 %31 to i32
%33 = icmp eq i32 %32, 247
br i1 %33, label %38, label %34
34: ; preds = %30
%35 = load i8, i8* %8
%36 = zext i8 %35 to i32
%37 = icmp sge i32 %36, 253
br i1 %37, label %38, label %40
38: ; preds = %34, %30, %26, %22
%39 = load i32, i32* %7
store i32 %39, i32* %3
br label %118
40: ; preds = %34
%41 = load i8, i8* %8
%42 = zext i8 %41 to i32
%43 = and i32 %42, 240
%44 = icmp eq i32 %43, 224
br i1 %44, label %45, label %74
45: ; preds = %40
%46 = load i32, i32* %7
%47 = add i32 %46, 1
%48 = load i32, i32* %5
%49 = icmp uge i32 %47, %48
br i1 %49, label %57, label %50
50: ; preds = %45
%51 = load i8*, i8** %6
%52 = getelementptr inbounds i8, i8* %51, i64 1
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
%55 = and i32 %54, 192
%56 = icmp eq i32 %55, 128
br i1 %56, label %57, label %74
57: ; preds = %50, %45
%58 = load i32, i32* %7
%59 = add i32 %58, 2
%60 = load i32, i32* %5
%61 = icmp uge i32 %59, %60
br i1 %61, label %69, label %62
62: ; preds = %57
%63 = load i8*, i8** %6
%64 = getelementptr inbounds i8, i8* %63, i64 2
%65 = load i8, i8* %64
%66 = zext i8 %65 to i32
%67 = and i32 %66, 192
%68 = icmp eq i32 %67, 128
br i1 %68, label %69, label %74
69: ; preds = %62, %57
%70 = load i8*, i8** %6
%71 = getelementptr inbounds i8, i8* %70, i64 3
store i8* %71, i8** %6
%72 = load i32, i32* %7
%73 = add i32 %72, 3
store i32 %73, i32* %7
br label %107
74: ; preds = %62, %50, %40
%75 = load i8, i8* %8
%76 = zext i8 %75 to i32
%77 = and i32 %76, 224
%78 = icmp eq i32 %77, 192
br i1 %78, label %79, label %96
79: ; preds = %74
%80 = load i32, i32* %7
%81 = add i32 %80, 1
%82 = load i32, i32* %5
%83 = icmp uge i32 %81, %82
br i1 %83, label %91, label %84
84: ; preds = %79
%85 = load i8*, i8** %6
%86 = getelementptr inbounds i8, i8* %85, i64 1
%87 = load i8, i8* %86
%88 = zext i8 %87 to i32
%89 = and i32 %88, 192
%90 = icmp eq i32 %89, 128
br i1 %90, label %91, label %96
91: ; preds = %84, %79
%92 = load i8*, i8** %6
%93 = getelementptr inbounds i8, i8* %92, i64 2
store i8* %93, i8** %6
%94 = load i32, i32* %7
%95 = add i32 %94, 2
store i32 %95, i32* %7
br label %106
96: ; preds = %84, %74
%97 = load i8, i8* %8
%98 = zext i8 %97 to i32
switch i32 %98, label %101 [
i32 0, label %99
i32 1, label %99
i32 2, label %99
i32 3, label %99
i32 4, label %99
i32 5, label %99
i32 6, label %99
i32 7, label %99
i32 11, label %99
i32 12, label %99
i32 16, label %99
i32 17, label %99
i32 18, label %99
i32 19, label %99
i32 20, label %99
i32 21, label %99
i32 22, label %99
i32 23, label %99
i32 24, label %99
i32 25, label %99
i32 26, label %99
i32 27, label %99
i32 28, label %99
i32 29, label %99
i32 30, label %99
i32 31, label %99
i32 127, label %99
]
99: ; preds = %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96, %96
%100 = load i32, i32* %7
store i32 %100, i32* %3
br label %118
101: ; preds = %96
%102 = load i8*, i8** %6
%103 = getelementptr inbounds i8, i8* %102, i32 1
store i8* %103, i8** %6
%104 = load i32, i32* %7
%105 = add i32 %104, 1
store i32 %105, i32* %7
br label %106
106: ; preds = %101, %91
br label %107
107: ; preds = %106, %69
br label %10
108: ; preds = %10
%109 = load i32, i32* %7
%110 = load i32, i32* %5
%111 = icmp ult i32 %109, %110
br i1 %111, label %112, label %114
112: ; preds = %108
%113 = load i32, i32* %7
br label %116
114: ; preds = %108
%115 = load i32, i32* %5
br label %116
116: ; preds = %114, %112
%117 = phi i32 [ %113, %112 ], [ %115, %114 ]
store i32 %117, i32* %3
br label %118
118: ; preds = %116, %99, %38, %20
%119 = load i32, i32* %3
ret i32 %119
}

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