int utf8_to_value(unsigned char *str, int len, int *val) {
  int bytelen;
  int v;
  int i;
  if (str[0] < 0x80) {
    *val = str[0];
    return 1;
  }
  if (str[0] < 0xC0) {
    return -1;
  }
  if ((str[0] & 0xFC) == 0xFC) {
    if (len < 6) {
      return -1;
    }
    bytelen = 6;
    v = (str[0] & 1);
  } else if ((str[0] & 0xF8) == 0xF8) {
    if (len < 5) {
      return -1;
    }
    bytelen = 5;
    v = (str[0] & 3);
  } else if ((str[0] & 0xF0) == 0xF0) {
    if (len < 4) {
      return -1;
    }
    bytelen = 4;
    v = (str[0] & 7);
  } else if ((str[0] & 0xE0) == 0xE0) {
    if (len < 3) {
      return -1;
    }
    bytelen = 3;
    v = (str[0] & 0xF);
  } else if ((str[0] & 0xC0) == 0xC0) {
    if (len < 2) {
      return -1;
    }
    bytelen = 2;
    v = (str[0] & 0x1F);
  }
  for (i = 1; i < bytelen; i++) {
    if ((str[i] & 0xC0) != 0x80) {
      return -1;
    }
    v = (v << 6) | (str[i] & 0x3F);
  }
  *val = v;
  return bytelen;
}


x86 assembly (clang, -O0):
<utf8_to_value>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    113a <utf8_to_value+0x3a>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc0,%eax
jge    1158 <utf8_to_value+0x58>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xfc,%eax
cmp    $0xfc,%eax
jne    119e <utf8_to_value+0x9e>
cmpl   $0x6,-0x14(%rbp)
jge    1185 <utf8_to_value+0x85>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
movl   $0x6,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12c5 <utf8_to_value+0x1c5>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf8,%eax
cmp    $0xf8,%eax
jne    11e4 <utf8_to_value+0xe4>
cmpl   $0x5,-0x14(%rbp)
jge    11cb <utf8_to_value+0xcb>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
movl   $0x5,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x3,%eax
mov    %eax,-0x28(%rbp)
jmp    12c0 <utf8_to_value+0x1c0>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xf0,%eax
jne    122a <utf8_to_value+0x12a>
cmpl   $0x4,-0x14(%rbp)
jge    1211 <utf8_to_value+0x111>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
movl   $0x4,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x7,%eax
mov    %eax,-0x28(%rbp)
jmp    12bb <utf8_to_value+0x1bb>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xe0,%eax
jne    1270 <utf8_to_value+0x170>
cmpl   $0x3,-0x14(%rbp)
jge    1257 <utf8_to_value+0x157>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
movl   $0x3,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
mov    %eax,-0x28(%rbp)
jmp    12b6 <utf8_to_value+0x1b6>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0xc0,%eax
jne    12b1 <utf8_to_value+0x1b1>
cmpl   $0x2,-0x14(%rbp)
jge    129d <utf8_to_value+0x19d>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
movl   $0x2,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x1f,%eax
mov    %eax,-0x28(%rbp)
jmp    12b6 <utf8_to_value+0x1b6>
jmp    12bb <utf8_to_value+0x1bb>
jmp    12c0 <utf8_to_value+0x1c0>
jmp    12c5 <utf8_to_value+0x1c5>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1328 <utf8_to_value+0x228>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1300 <utf8_to_value+0x200>
movl   $0xffffffff,-0x4(%rbp)
jmp    1337 <utf8_to_value+0x237>
mov    -0x28(%rbp),%eax
shl    $0x6,%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
and    $0x3f,%ecx
or     %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12cc <utf8_to_value+0x1cc>
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_to_value>:
push   %rbp
push   %r14
push   %rbx
movzbl (%rdi),%ebp
mov    $0x1,%r8d
test   %bpl,%bpl
js     111c <utf8_to_value+0x1c>
mov    %ebp,(%rdx)
mov    %r8d,%eax
jmp    1296 <utf8_to_value+0x196>
mov    $0xffffffff,%eax
cmp    $0xc0,%bpl
jb     1296 <utf8_to_value+0x196>
mov    %ebp,%ecx
not    %ecx
test   $0xfc,%cl
jne    1156 <utf8_to_value+0x56>
cmp    $0x6,%esi
jl     1296 <utf8_to_value+0x196>
mov    $0x6,%r8d
mov    $0x1,%esi
xor    %r14d,%r14d
xor    %r11d,%r11d
xor    %r10d,%r10d
xor    %r9d,%r9d
jmp    117f <utf8_to_value+0x7f>
test   $0xf8,%cl
jne    1245 <utf8_to_value+0x145>
cmp    $0x5,%esi
jl     1296 <utf8_to_value+0x196>
mov    $0x5,%r8d
mov    $0x1,%r9b
mov    $0x3,%esi
xor    %r14d,%r14d
xor    %r11d,%r11d
xor    %r10d,%r10d
movzbl 0x1(%rdi),%ebx
mov    %ebx,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
jne    1296 <utf8_to_value+0x196>
and    %ebp,%esi
shl    $0x6,%esi
and    $0x3f,%ebx
mov    %ebx,%ebp
or     %esi,%ebp
test   %r14b,%r14b
jne    1112 <utf8_to_value+0x12>
movzbl 0x2(%rdi),%ecx
mov    %ecx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    1296 <utf8_to_value+0x196>
mov    %ebp,%esi
shl    $0x6,%esi
and    $0x3f,%ecx
mov    %ecx,%ebp
or     %esi,%ebp
test   %r11b,%r11b
jne    1112 <utf8_to_value+0x12>
movzbl 0x3(%rdi),%ecx
mov    %ecx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    1296 <utf8_to_value+0x196>
mov    %ebp,%esi
shl    $0x6,%esi
and    $0x3f,%ecx
mov    %ecx,%ebp
or     %esi,%ebp
test   %r10b,%r10b
jne    1112 <utf8_to_value+0x12>
movzbl 0x4(%rdi),%ecx
mov    %ecx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    1296 <utf8_to_value+0x196>
mov    %ebp,%esi
shl    $0x6,%esi
and    $0x3f,%ecx
mov    %ecx,%ebp
or     %esi,%ebp
test   %r9b,%r9b
jne    1112 <utf8_to_value+0x12>
movzbl 0x5(%rdi),%ecx
mov    %ecx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    1296 <utf8_to_value+0x196>
shl    $0x6,%ebp
and    $0x3f,%ecx
or     %ecx,%ebp
jmp    1112 <utf8_to_value+0x12>
test   $0xf0,%cl
jne    1268 <utf8_to_value+0x168>
cmp    $0x4,%esi
jl     1296 <utf8_to_value+0x196>
mov    $0x4,%r8d
mov    $0x1,%r10b
mov    $0x7,%esi
xor    %r14d,%r14d
xor    %r11d,%r11d
jmp    1151 <utf8_to_value+0x51>
test   $0xe0,%cl
jne    1288 <utf8_to_value+0x188>
cmp    $0x3,%esi
jl     1296 <utf8_to_value+0x196>
mov    $0x3,%r8d
mov    $0x1,%r11b
mov    $0xf,%esi
xor    %r14d,%r14d
jmp    114e <utf8_to_value+0x4e>
test   $0xc0,%cl
jne    1112 <utf8_to_value+0x12>
cmp    $0x2,%esi
jge    129b <utf8_to_value+0x19b>
pop    %rbx
pop    %r14
pop    %rbp
ret
mov    $0x2,%r8d
mov    $0x1,%r14b
mov    $0x1f,%esi
jmp    114b <utf8_to_value+0x4b>

LLVM IR (-O0):
define i32 @utf8_to_value(i8* %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
%11 = load i8*, i8** %5
%12 = getelementptr inbounds i8, i8* %11, i64 0
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = icmp slt i32 %14, 128
br i1 %15, label %16, label %22
16: ; preds = %3
%17 = load i8*, i8** %5
%18 = getelementptr inbounds i8, i8* %17, i64 0
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = load i32*, i32** %7
store i32 %20, i32* %21
store i32 1, i32* %4
br label %151
22: ; preds = %3
%23 = load i8*, i8** %5
%24 = getelementptr inbounds i8, i8* %23, i64 0
%25 = load i8, i8* %24
%26 = zext i8 %25 to i32
%27 = icmp slt i32 %26, 192
br i1 %27, label %28, label %29
28: ; preds = %22
store i32 -1, i32* %4
br label %151
29: ; preds = %22
%30 = load i8*, i8** %5
%31 = getelementptr inbounds i8, i8* %30, i64 0
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = and i32 %33, 252
%35 = icmp eq i32 %34, 252
br i1 %35, label %36, label %46
36: ; preds = %29
%37 = load i32, i32* %6
%38 = icmp slt i32 %37, 6
br i1 %38, label %39, label %40
39: ; preds = %36
store i32 -1, i32* %4
br label %151
40: ; preds = %36
store i32 6, i32* %8
%41 = load i8*, i8** %5
%42 = getelementptr inbounds i8, i8* %41, i64 0
%43 = load i8, i8* %42
%44 = zext i8 %43 to i32
%45 = and i32 %44, 1
store i32 %45, i32* %9
br label %118
46: ; preds = %29
%47 = load i8*, i8** %5
%48 = getelementptr inbounds i8, i8* %47, i64 0
%49 = load i8, i8* %48
%50 = zext i8 %49 to i32
%51 = and i32 %50, 248
%52 = icmp eq i32 %51, 248
br i1 %52, label %53, label %63
53: ; preds = %46
%54 = load i32, i32* %6
%55 = icmp slt i32 %54, 5
br i1 %55, label %56, label %57
56: ; preds = %53
store i32 -1, i32* %4
br label %151
57: ; preds = %53
store i32 5, i32* %8
%58 = load i8*, i8** %5
%59 = getelementptr inbounds i8, i8* %58, i64 0
%60 = load i8, i8* %59
%61 = zext i8 %60 to i32
%62 = and i32 %61, 3
store i32 %62, i32* %9
br label %117
63: ; preds = %46
%64 = load i8*, i8** %5
%65 = getelementptr inbounds i8, i8* %64, i64 0
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = and i32 %67, 240
%69 = icmp eq i32 %68, 240
br i1 %69, label %70, label %80
70: ; preds = %63
%71 = load i32, i32* %6
%72 = icmp slt i32 %71, 4
br i1 %72, label %73, label %74
73: ; preds = %70
store i32 -1, i32* %4
br label %151
74: ; preds = %70
store i32 4, i32* %8
%75 = load i8*, i8** %5
%76 = getelementptr inbounds i8, i8* %75, i64 0
%77 = load i8, i8* %76
%78 = zext i8 %77 to i32
%79 = and i32 %78, 7
store i32 %79, i32* %9
br label %116
80: ; preds = %63
%81 = load i8*, i8** %5
%82 = getelementptr inbounds i8, i8* %81, i64 0
%83 = load i8, i8* %82
%84 = zext i8 %83 to i32
%85 = and i32 %84, 224
%86 = icmp eq i32 %85, 224
br i1 %86, label %87, label %97
87: ; preds = %80
%88 = load i32, i32* %6
%89 = icmp slt i32 %88, 3
br i1 %89, label %90, label %91
90: ; preds = %87
store i32 -1, i32* %4
br label %151
91: ; preds = %87
store i32 3, i32* %8
%92 = load i8*, i8** %5
%93 = getelementptr inbounds i8, i8* %92, i64 0
%94 = load i8, i8* %93
%95 = zext i8 %94 to i32
%96 = and i32 %95, 15
store i32 %96, i32* %9
br label %115
97: ; preds = %80
%98 = load i8*, i8** %5
%99 = getelementptr inbounds i8, i8* %98, i64 0
%100 = load i8, i8* %99
%101 = zext i8 %100 to i32
%102 = and i32 %101, 192
%103 = icmp eq i32 %102, 192
br i1 %103, label %104, label %114
104: ; preds = %97
%105 = load i32, i32* %6
%106 = icmp slt i32 %105, 2
br i1 %106, label %107, label %108
107: ; preds = %104
store i32 -1, i32* %4
br label %151
108: ; preds = %104
store i32 2, i32* %8
%109 = load i8*, i8** %5
%110 = getelementptr inbounds i8, i8* %109, i64 0
%111 = load i8, i8* %110
%112 = zext i8 %111 to i32
%113 = and i32 %112, 31
store i32 %113, i32* %9
br label %114
114: ; preds = %108, %97
br label %115
115: ; preds = %114, %91
br label %116
116: ; preds = %115, %74
br label %117
117: ; preds = %116, %57
br label %118
118: ; preds = %117, %40
store i32 1, i32* %10
br label %119
119: ; preds = %144, %118
%120 = load i32, i32* %10
%121 = load i32, i32* %8
%122 = icmp slt i32 %120, %121
br i1 %122, label %123, label %147
123: ; preds = %119
%124 = load i8*, i8** %5
%125 = load i32, i32* %10
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i8, i8* %124, i64 %126
%128 = load i8, i8* %127
%129 = zext i8 %128 to i32
%130 = and i32 %129, 192
%131 = icmp ne i32 %130, 128
br i1 %131, label %132, label %133
132: ; preds = %123
store i32 -1, i32* %4
br label %151
133: ; preds = %123
%134 = load i32, i32* %9
%135 = shl i32 %134, 6
%136 = load i8*, i8** %5
%137 = load i32, i32* %10
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
%140 = load i8, i8* %139
%141 = zext i8 %140 to i32
%142 = and i32 %141, 63
%143 = or i32 %135, %142
store i32 %143, i32* %9
br label %144
144: ; preds = %133
%145 = load i32, i32* %10
%146 = add nsw i32 %145, 1
store i32 %146, i32* %10
br label %119
147: ; preds = %119
%148 = load i32, i32* %9
%149 = load i32*, i32** %7
store i32 %148, i32* %149
%150 = load i32, i32* %8
store i32 %150, i32* %4
br label %151
151: ; preds = %147, %132, %107, %90, %73, %56, %39, %28, %16
%152 = load i32, i32* %4
ret i32 %152
}

LLVM IR (-O2):
define i32 @utf8_to_value(i8* nocapture %0, i32 %1, i32* nocapture writeonly %2) {
%4 = load i8, i8* %0
%5 = zext i8 %4 to i32
%6 = icmp sgt i8 %4, -1
br i1 %6, label %91, label %7
7: ; preds = %3
%8 = icmp ult i8 %4, -64
br i1 %8, label %94, label %9
9: ; preds = %7
%10 = and i32 %5, 252
%11 = icmp eq i32 %10, 252
br i1 %11, label %12, label %14
12: ; preds = %9
%13 = icmp slt i32 %1, 6
br i1 %13, label %94, label %34
14: ; preds = %9
%15 = and i32 %5, 248
%16 = icmp eq i32 %15, 248
br i1 %16, label %17, label %19
17: ; preds = %14
%18 = icmp slt i32 %1, 5
br i1 %18, label %94, label %34
19: ; preds = %14
%20 = and i32 %5, 240
%21 = icmp eq i32 %20, 240
br i1 %21, label %22, label %24
22: ; preds = %19
%23 = icmp slt i32 %1, 4
br i1 %23, label %94, label %34
24: ; preds = %19
%25 = and i32 %5, 224
%26 = icmp eq i32 %25, 224
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = icmp slt i32 %1, 3
br i1 %28, label %94, label %34
29: ; preds = %24
%30 = and i32 %5, 192
%31 = icmp eq i32 %30, 192
br i1 %31, label %32, label %91
32: ; preds = %29
%33 = icmp slt i32 %1, 2
br i1 %33, label %94, label %34
34: ; preds = %32, %27, %22, %17, %12
%35 = phi i32 [ 1, %12 ], [ 3, %17 ], [ 7, %22 ], [ 15, %27 ], [ 31, %32 ]
%36 = phi i1 [ false, %12 ], [ false, %17 ], [ false, %22 ], [ false, %27 ], [ true, %32 ]
%37 = phi i1 [ false, %12 ], [ false, %17 ], [ false, %22 ], [ true, %27 ], [ false, %32 ]
%38 = phi i1 [ false, %12 ], [ false, %17 ], [ true, %22 ], [ false, %27 ], [ false, %32 ]
%39 = phi i1 [ false, %12 ], [ true, %17 ], [ false, %22 ], [ false, %27 ], [ false, %32 ]
%40 = phi i32 [ 6, %12 ], [ 5, %17 ], [ 4, %22 ], [ 3, %27 ], [ 2, %32 ]
%41 = and i32 %35, %5
%42 = getelementptr inbounds i8, i8* %0, i64 1
%43 = load i8, i8* %42
%44 = zext i8 %43 to i32
%45 = and i32 %44, 192
%46 = icmp eq i32 %45, 128
br i1 %46, label %47, label %94
47: ; preds = %34
%48 = shl nuw nsw i32 %41, 6
%49 = and i32 %44, 63
%50 = or i32 %49, %48
br i1 %36, label %91, label %51
51: ; preds = %47
%52 = getelementptr inbounds i8, i8* %0, i64 2
%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 %94
57: ; preds = %51
%58 = shl nuw nsw i32 %50, 6
%59 = and i32 %54, 63
%60 = or i32 %59, %58
br i1 %37, label %91, label %61
61: ; preds = %57
%62 = getelementptr inbounds i8, i8* %0, i64 3
%63 = load i8, i8* %62
%64 = zext i8 %63 to i32
%65 = and i32 %64, 192
%66 = icmp eq i32 %65, 128
br i1 %66, label %67, label %94
67: ; preds = %61
%68 = shl nuw nsw i32 %60, 6
%69 = and i32 %64, 63
%70 = or i32 %69, %68
br i1 %38, label %91, label %71
71: ; preds = %67
%72 = getelementptr inbounds i8, i8* %0, i64 4
%73 = load i8, i8* %72
%74 = zext i8 %73 to i32
%75 = and i32 %74, 192
%76 = icmp eq i32 %75, 128
br i1 %76, label %77, label %94
77: ; preds = %71
%78 = shl i32 %70, 6
%79 = and i32 %74, 63
%80 = or i32 %79, %78
br i1 %39, label %91, label %81
81: ; preds = %77
%82 = getelementptr inbounds i8, i8* %0, i64 5
%83 = load i8, i8* %82
%84 = zext i8 %83 to i32
%85 = and i32 %84, 192
%86 = icmp eq i32 %85, 128
br i1 %86, label %87, label %94
87: ; preds = %81
%88 = shl i32 %80, 6
%89 = and i32 %84, 63
%90 = or i32 %89, %88
br label %91
91: ; preds = %47, %57, %67, %77, %87, %29, %3
%92 = phi i32 [ %5, %3 ], [ undef, %29 ], [ %50, %47 ], [ %60, %57 ], [ %70, %67 ], [ %80, %77 ], [ %90, %87 ]
%93 = phi i32 [ 1, %3 ], [ undef, %29 ], [ %40, %87 ], [ %40, %77 ], [ %40, %67 ], [ %40, %57 ], [ %40, %47 ]
store i32 %92, i32* %2
br label %94
94: ; preds = %34, %51, %61, %71, %81, %91, %32, %27, %22, %17, %12, %7
%95 = phi i32 [ -1, %7 ], [ -1, %12 ], [ -1, %17 ], [ -1, %22 ], [ -1, %27 ], [ -1, %32 ], [ %93, %91 ], [ -1, %81 ], [ -1, %71 ], [ -1, %61 ], [ -1, %51 ], [ -1, %34 ]
ret i32 %95
}