int utf8ToUnicode(unsigned char *utf8, unsigned int *size) {
  if (!utf8 || !size)
    return -1;
  *size = 0;
  switch ((*utf8 & 0xc0)) {
  case 0xc0:
    break;
  case 0x80:
    return -1;
  default:
    *size = 1;
    return (int)*utf8;
  }
  int bytes = 1;
  char mask = 0xc0;
  unsigned char m = 0x20;
  while ((*utf8 & m)) {
    m >>= 1;
    mask >>= 1;
    if (++bytes > 5)
      return -1;
  }
  int unicode = (*utf8 & ~*(unsigned char *)&mask) << (bytes * 6);
  for (*size = 1; bytes; ++*size) {
    if ((utf8[*size] & 0xc0) != 0x80) {
      *size = 0;
      return -1;
    }
    --bytes;
    unicode |= ((int)utf8[*size] << (bytes * 6));
  }
  return unicode;
}


x86 assembly (clang, -O0):
<utf8ToUnicode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1122 <utf8ToUnicode+0x22>
cmpq   $0x0,-0x18(%rbp)
jne    112e <utf8ToUnicode+0x2e>
movl   $0xffffffff,-0x4(%rbp)
jmp    1288 <utf8ToUnicode+0x188>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xffffffc0,%eax
mov    %eax,-0x28(%rbp)
sub    $0x80,%eax
je     116d <utf8ToUnicode+0x6d>
jmp    1155 <utf8ToUnicode+0x55>
mov    -0x28(%rbp),%eax
sub    $0xc0,%eax
jne    1179 <utf8ToUnicode+0x79>
jmp    1168 <utf8ToUnicode+0x68>
jmp    1192 <utf8ToUnicode+0x92>
movl   $0xffffffff,-0x4(%rbp)
jmp    1288 <utf8ToUnicode+0x188>
mov    -0x18(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1288 <utf8ToUnicode+0x188>
movl   $0x1,-0x1c(%rbp)
movb   $0xc0,-0x1d(%rbp)
movb   $0x20,-0x1e(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
movzbl -0x1e(%rbp),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     11ee <utf8ToUnicode+0xee>
movzbl -0x1e(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x1e(%rbp)
movsbl -0x1d(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x1d(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x5,%eax
jle    11e9 <utf8ToUnicode+0xe9>
movl   $0xffffffff,-0x4(%rbp)
jmp    1288 <utf8ToUnicode+0x188>
jmp    11a1 <utf8ToUnicode+0xa1>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
movzbl -0x1d(%rbp),%ecx
xor    $0xffffffff,%ecx
and    %ecx,%eax
imul   $0x6,-0x1c(%rbp),%ecx
shl    %cl,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movl   $0x1,(%rax)
cmpl   $0x0,-0x1c(%rbp)
je     1282 <utf8ToUnicode+0x182>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
movzbl (%rax,%rcx,1),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     124f <utf8ToUnicode+0x14f>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    1288 <utf8ToUnicode+0x188>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
movzbl (%rax,%rcx,1),%eax
imul   $0x6,-0x1c(%rbp),%ecx
shl    %cl,%eax
or     -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    1211 <utf8ToUnicode+0x111>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8ToUnicode>:
mov    $0xffffffff,%eax
test   %rdi,%rdi
je     12a1 <utf8ToUnicode+0x1a1>
test   %rsi,%rsi
je     12a1 <utf8ToUnicode+0x1a1>
movl   $0x0,(%rsi)
movzbl (%rdi),%ecx
mov    %ecx,%edx
and    $0xc0,%dl
cmp    $0x80,%dl
je     12a1 <utf8ToUnicode+0x1a1>
cmp    $0xc0,%dl
jne    1145 <utf8ToUnicode+0x45>
test   $0x20,%cl
jne    114f <utf8ToUnicode+0x4f>
mov    $0xffffff3f,%edx
mov    $0x1,%r9d
jmp    1199 <utf8ToUnicode+0x99>
movl   $0x1,(%rsi)
movzbl (%rdi),%eax
ret
test   $0x10,%cl
jne    1161 <utf8ToUnicode+0x61>
mov    $0xffffff1f,%edx
mov    $0x2,%r9d
jmp    1199 <utf8ToUnicode+0x99>
test   $0x8,%cl
jne    1173 <utf8ToUnicode+0x73>
mov    $0xffffff0f,%edx
mov    $0x3,%r9d
jmp    1199 <utf8ToUnicode+0x99>
test   $0x4,%cl
jne    1185 <utf8ToUnicode+0x85>
mov    $0xffffff07,%edx
mov    $0x4,%r9d
jmp    1199 <utf8ToUnicode+0x99>
test   $0x2,%cl
jne    12a1 <utf8ToUnicode+0x1a1>
mov    $0xffffff03,%edx
mov    $0x5,%r9d
and    %ecx,%edx
lea    (%r9,%r9,1),%r8d
lea    (%r8,%r8,2),%ecx
shl    %cl,%edx
movl   $0x1,(%rsi)
movzbl 0x1(%rdi),%r10d
mov    %r10d,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    12a2 <utf8ToUnicode+0x1a2>
lea    (%r9,%r9,1),%ecx
add    $0xfffffffe,%ecx
lea    (%rcx,%rcx,2),%ecx
shl    %cl,%r10d
lea    -0x1(%r9),%ecx
or     %edx,%r10d
movl   $0x2,(%rsi)
test   %ecx,%ecx
je     12a9 <utf8ToUnicode+0x1a9>
movzbl 0x2(%rdi),%edx
mov    %edx,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    12a2 <utf8ToUnicode+0x1a2>
lea    (%r9,%r9,1),%ecx
add    $0xfffffffc,%ecx
lea    (%rcx,%rcx,2),%ecx
shl    %cl,%edx
lea    -0x2(%r9),%ecx
or     %r10d,%edx
movl   $0x3,(%rsi)
test   %ecx,%ecx
je     12ad <utf8ToUnicode+0x1ad>
movzbl 0x3(%rdi),%r10d
mov    %r10d,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    12a2 <utf8ToUnicode+0x1a2>
lea    (%r9,%r9,1),%ecx
add    $0xfffffffa,%ecx
lea    (%rcx,%rcx,2),%ecx
shl    %cl,%r10d
lea    -0x3(%r9),%ecx
or     %edx,%r10d
movl   $0x4,(%rsi)
test   %ecx,%ecx
je     12a9 <utf8ToUnicode+0x1a9>
movzbl 0x4(%rdi),%edx
mov    %edx,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    12a2 <utf8ToUnicode+0x1a2>
mov    %r9d,%r11d
lea    (%r9,%r9,1),%ecx
add    $0xfffffff8,%ecx
lea    (%rcx,%rcx,2),%ecx
shl    %cl,%edx
add    $0xfffffffc,%r11d
or     %r10d,%edx
movl   $0x5,(%rsi)
test   %r11d,%r11d
je     12ad <utf8ToUnicode+0x1ad>
movzbl 0x5(%rdi),%edi
mov    %edi,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    12a2 <utf8ToUnicode+0x1a2>
lea    (%r8,%r8,2),%ecx
add    $0xe2,%cl
shl    %cl,%edi
or     %edx,%edi
movl   $0x6,(%rsi)
mov    %edi,%eax
ret
movl   $0x0,(%rsi)
ret
mov    %r10d,%eax
ret
mov    %edx,%eax
ret

LLVM IR (-O0):
define i32 @utf8ToUnicode(i8* %0, i32* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i8
%8 = alloca i8
%9 = alloca i32
store i8* %0, i8** %4
store i32* %1, i32** %5
%10 = load i8*, i8** %4
%11 = icmp ne i8* %10, null
br i1 %11, label %12, label %15
12: ; preds = %2
%13 = load i32*, i32** %5
%14 = icmp ne i32* %13, null
br i1 %14, label %16, label %15
15: ; preds = %12, %2
store i32 -1, i32* %3
br label %100
16: ; preds = %12
%17 = load i32*, i32** %5
store i32 0, i32* %17
%18 = load i8*, i8** %4
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = and i32 %20, 192
switch i32 %21, label %24 [
i32 192, label %22
i32 128, label %23
]
22: ; preds = %16
br label %29
23: ; preds = %16
store i32 -1, i32* %3
br label %100
24: ; preds = %16
%25 = load i32*, i32** %5
store i32 1, i32* %25
%26 = load i8*, i8** %4
%27 = load i8, i8* %26
%28 = zext i8 %27 to i32
store i32 %28, i32* %3
br label %100
29: ; preds = %22
store i32 1, i32* %6
store i8 -64, i8* %7
store i8 32, i8* %8
br label %30
30: ; preds = %51, %29
%31 = load i8*, i8** %4
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = load i8, i8* %8
%35 = zext i8 %34 to i32
%36 = and i32 %33, %35
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %52
38: ; preds = %30
%39 = load i8, i8* %8
%40 = zext i8 %39 to i32
%41 = ashr i32 %40, 1
%42 = trunc i32 %41 to i8
store i8 %42, i8* %8
%43 = load i8, i8* %7
%44 = sext i8 %43 to i32
%45 = ashr i32 %44, 1
%46 = trunc i32 %45 to i8
store i8 %46, i8* %7
%47 = load i32, i32* %6
%48 = add nsw i32 %47, 1
store i32 %48, i32* %6
%49 = icmp sgt i32 %48, 5
br i1 %49, label %50, label %51
50: ; preds = %38
store i32 -1, i32* %3
br label %100
51: ; preds = %38
br label %30
52: ; preds = %30
%53 = load i8*, i8** %4
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = load i8, i8* %7
%57 = zext i8 %56 to i32
%58 = xor i32 %57, -1
%59 = and i32 %55, %58
%60 = load i32, i32* %6
%61 = mul nsw i32 %60, 6
%62 = shl i32 %59, %61
store i32 %62, i32* %9
%63 = load i32*, i32** %5
store i32 1, i32* %63
br label %64
64: ; preds = %94, %52
%65 = load i32, i32* %6
%66 = icmp ne i32 %65, 0
br i1 %66, label %67, label %98
67: ; preds = %64
%68 = load i8*, i8** %4
%69 = load i32*, i32** %5
%70 = load i32, i32* %69
%71 = zext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %68, i64 %71
%73 = load i8, i8* %72
%74 = zext i8 %73 to i32
%75 = and i32 %74, 192
%76 = icmp ne i32 %75, 128
br i1 %76, label %77, label %79
77: ; preds = %67
%78 = load i32*, i32** %5
store i32 0, i32* %78
store i32 -1, i32* %3
br label %100
79: ; preds = %67
%80 = load i32, i32* %6
%81 = add nsw i32 %80, -1
store i32 %81, i32* %6
%82 = load i8*, i8** %4
%83 = load i32*, i32** %5
%84 = load i32, i32* %83
%85 = zext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %82, i64 %85
%87 = load i8, i8* %86
%88 = zext i8 %87 to i32
%89 = load i32, i32* %6
%90 = mul nsw i32 %89, 6
%91 = shl i32 %88, %90
%92 = load i32, i32* %9
%93 = or i32 %92, %91
store i32 %93, i32* %9
br label %94
94: ; preds = %79
%95 = load i32*, i32** %5
%96 = load i32, i32* %95
%97 = add i32 %96, 1
store i32 %97, i32* %95
br label %64
98: ; preds = %64
%99 = load i32, i32* %9
store i32 %99, i32* %3
br label %100
100: ; preds = %98, %77, %50, %24, %23, %15
%101 = load i32, i32* %3
ret i32 %101
}

LLVM IR (-O2):
define i32 @utf8ToUnicode(i8* %0, i32* %1) {
%3 = icmp ne i8* %0, null
%4 = icmp ne i32* %1, null
%5 = and i1 %3, %4
br i1 %5, label %6, label %93
6: ; preds = %2
store i32 0, i32* %1
%7 = load i8, i8* %0
%8 = and i8 %7, -64
switch i8 %8, label %13 [
i8 -64, label %9
i8 -128, label %93
]
9: ; preds = %6
%10 = zext i8 %7 to i32
%11 = and i32 %10, 32
%12 = icmp eq i32 %11, 0
br i1 %12, label %28, label %16
13: ; preds = %6
store i32 1, i32* %1
%14 = load i8, i8* %0
%15 = zext i8 %14 to i32
br label %93
16: ; preds = %9
%17 = and i32 %10, 16
%18 = icmp eq i32 %17, 0
br i1 %18, label %28, label %19
19: ; preds = %16
%20 = and i32 %10, 8
%21 = icmp eq i32 %20, 0
br i1 %21, label %28, label %22
22: ; preds = %19
%23 = and i32 %10, 4
%24 = icmp eq i32 %23, 0
br i1 %24, label %28, label %25
25: ; preds = %22
%26 = and i32 %10, 2
%27 = icmp eq i32 %26, 0
br i1 %27, label %28, label %93
28: ; preds = %25, %22, %19, %16, %9
%29 = phi i32 [ 1, %9 ], [ 2, %16 ], [ 3, %19 ], [ 4, %22 ], [ 5, %25 ]
%30 = phi i32 [ -193, %9 ], [ -225, %16 ], [ -241, %19 ], [ -249, %22 ], [ -253, %25 ]
%31 = and i32 %30, %10
%32 = mul nuw nsw i32 %29, 6
%33 = shl i32 %31, %32
store i32 1, i32* %1
%34 = getelementptr inbounds i8, i8* %0, i64 1
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = and i32 %36, 192
%38 = icmp eq i32 %37, 128
br i1 %38, label %40, label %39
39: ; preds = %82, %70, %58, %46, %28
store i32 0, i32* %1
br label %93
40: ; preds = %28
%41 = add nsw i32 %29, -1
%42 = mul nsw i32 %41, 6
%43 = shl i32 %36, %42
%44 = or i32 %43, %33
store i32 2, i32* %1
%45 = icmp eq i32 %41, 0
br i1 %45, label %93, label %46
46: ; preds = %40
%47 = getelementptr inbounds i8, i8* %0, i64 2
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = and i32 %49, 192
%51 = icmp eq i32 %50, 128
br i1 %51, label %52, label %39
52: ; preds = %46
%53 = add nsw i32 %29, -2
%54 = mul nsw i32 %53, 6
%55 = shl i32 %49, %54
%56 = or i32 %55, %44
store i32 3, i32* %1
%57 = icmp eq i32 %53, 0
br i1 %57, label %93, label %58
58: ; preds = %52
%59 = getelementptr inbounds i8, i8* %0, i64 3
%60 = load i8, i8* %59
%61 = zext i8 %60 to i32
%62 = and i32 %61, 192
%63 = icmp eq i32 %62, 128
br i1 %63, label %64, label %39
64: ; preds = %58
%65 = add nsw i32 %29, -3
%66 = mul nsw i32 %65, 6
%67 = shl i32 %61, %66
%68 = or i32 %67, %56
store i32 4, i32* %1
%69 = icmp eq i32 %65, 0
br i1 %69, label %93, label %70
70: ; preds = %64
%71 = getelementptr inbounds i8, i8* %0, i64 4
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
%74 = and i32 %73, 192
%75 = icmp eq i32 %74, 128
br i1 %75, label %76, label %39
76: ; preds = %70
%77 = add nsw i32 %29, -4
%78 = mul nsw i32 %77, 6
%79 = shl i32 %73, %78
%80 = or i32 %79, %68
store i32 5, i32* %1
%81 = icmp eq i32 %77, 0
br i1 %81, label %93, label %82
82: ; preds = %76
%83 = getelementptr inbounds i8, i8* %0, i64 5
%84 = load i8, i8* %83
%85 = zext i8 %84 to i32
%86 = and i32 %85, 192
%87 = icmp eq i32 %86, 128
br i1 %87, label %88, label %39
88: ; preds = %82
%89 = mul nuw nsw i32 %29, 6
%90 = add nsw i32 %89, -30
%91 = shl i32 %85, %90
%92 = or i32 %91, %80
store i32 6, i32* %1
br label %93
93: ; preds = %40, %52, %64, %76, %88, %25, %39, %6, %2, %13
%94 = phi i32 [ %15, %13 ], [ -1, %2 ], [ -1, %6 ], [ -1, %39 ], [ -1, %25 ], [ %44, %40 ], [ %56, %52 ], [ %68, %64 ], [ %80, %76 ], [ %92, %88 ]
ret i32 %94
}