int BASM_Parse_PeekChar(char **str) {
  unsigned char *s;
  int i;
  s = (unsigned char *)(*str);
  i = *s++;
  if (i >= 0xFC) {
    i = (i & 1) << 30;
    i += ((*s++) & 63) << 24;
    i += ((*s++) & 63) << 18;
    i += ((*s++) & 63) << 12;
    i += ((*s++) & 63) << 6;
    i += (*s++) & 63;
  } else if (i >= 0xF8) {
    i = (i & 3) << 24;
    i += ((*s++) & 63) << 18;
    i += ((*s++) & 63) << 12;
    i += ((*s++) & 63) << 6;
    i += (*s++) & 63;
  } else if (i >= 0xF0) {
    i = (i & 7) << 18;
    i += ((*s++) & 63) << 12;
    i += ((*s++) & 63) << 6;
    i += (*s++) & 63;
  } else if (i >= 0xE0) {
    i = (i & 15) << 12;
    i += ((*s++) & 63) << 6;
    i += (*s++) & 63;
  } else if (i >= 0xC0) {
    i = (i & 31) << 6;
    i += (*s++) & 63;
  } else if (i >= 0x80) {
  }
  return (i);
}


x86 assembly (clang, -O0):
<BASM_Parse_PeekChar>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0xfc,-0x14(%rbp)
jl     11d9 <BASM_Parse_PeekChar+0xd9>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
shl    $0x1e,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x18,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x12,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    139c <BASM_Parse_PeekChar+0x29c>
cmpl   $0xf8,-0x14(%rbp)
jl     126c <BASM_Parse_PeekChar+0x16c>
mov    -0x14(%rbp),%eax
and    $0x3,%eax
shl    $0x18,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x12,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1397 <BASM_Parse_PeekChar+0x297>
cmpl   $0xf0,-0x14(%rbp)
jl     12e1 <BASM_Parse_PeekChar+0x1e1>
mov    -0x14(%rbp),%eax
and    $0x7,%eax
shl    $0x12,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1392 <BASM_Parse_PeekChar+0x292>
cmpl   $0xe0,-0x14(%rbp)
jl     1338 <BASM_Parse_PeekChar+0x238>
mov    -0x14(%rbp),%eax
and    $0xf,%eax
shl    $0xc,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    138d <BASM_Parse_PeekChar+0x28d>
cmpl   $0xc0,-0x14(%rbp)
jl     1371 <BASM_Parse_PeekChar+0x271>
mov    -0x14(%rbp),%eax
and    $0x1f,%eax
shl    $0x6,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    1388 <BASM_Parse_PeekChar+0x288>
cmpl   $0x80,-0x14(%rbp)
jl     1383 <BASM_Parse_PeekChar+0x283>
jmp    1383 <BASM_Parse_PeekChar+0x283>
jmp    1388 <BASM_Parse_PeekChar+0x288>
jmp    138d <BASM_Parse_PeekChar+0x28d>
jmp    1392 <BASM_Parse_PeekChar+0x292>
jmp    1397 <BASM_Parse_PeekChar+0x297>
jmp    139c <BASM_Parse_PeekChar+0x29c>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<BASM_Parse_PeekChar>:
mov    (%rdi),%rcx
movzbl (%rcx),%eax
cmp    $0xfc,%eax
jb     116b <BASM_Parse_PeekChar+0x6b>
and    $0x1,%eax
shl    $0x1e,%eax
movd   0x1(%rcx),%xmm0
pand   0xee0(%rip),%xmm0
pxor   %xmm1,%xmm1
punpcklbw %xmm1,%xmm0
punpcklwd %xmm1,%xmm0
pshufd $0xf5,%xmm0,%xmm1
pmuludq 0xed7(%rip),%xmm0
pshufd $0xe8,%xmm0,%xmm0
pmuludq 0xeda(%rip),%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
add    $0x5,%rcx
pshufd $0xee,%xmm0,%xmm1
por    %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
por    %xmm1,%xmm0
movd   %xmm0,%edx
jmp    11d7 <BASM_Parse_PeekChar+0xd7>
cmp    $0xf8,%al
jb     1197 <BASM_Parse_PeekChar+0x97>
and    $0x3,%eax
shl    $0x18,%eax
movzbl 0x1(%rcx),%edx
and    $0x3f,%edx
shl    $0x12,%edx
or     %eax,%edx
movzbl 0x2(%rcx),%eax
and    $0x3f,%eax
shl    $0xc,%eax
or     %edx,%eax
movzbl 0x3(%rcx),%edx
add    $0x4,%rcx
jmp    11d1 <BASM_Parse_PeekChar+0xd1>
cmp    $0xf0,%al
jb     11bf <BASM_Parse_PeekChar+0xbf>
and    $0x7,%eax
shl    $0x12,%eax
movzbl 0x1(%rcx),%esi
and    $0x3f,%esi
shl    $0xc,%esi
or     %eax,%esi
movzbl 0x2(%rcx),%edx
add    $0x3,%rcx
and    $0x3f,%edx
shl    $0x6,%edx
or     %esi,%edx
jmp    11d9 <BASM_Parse_PeekChar+0xd9>
cmp    $0xe0,%al
jb     11e2 <BASM_Parse_PeekChar+0xe2>
shl    $0xc,%eax
movzwl %ax,%eax
movzbl 0x1(%rcx),%edx
add    $0x2,%rcx
and    $0x3f,%edx
shl    $0x6,%edx
or     %eax,%edx
movzbl (%rcx),%eax
and    $0x3f,%eax
or     %edx,%eax
ret
cmp    $0xc0,%al
jb     11e1 <BASM_Parse_PeekChar+0xe1>
add    $0x1,%rcx
and    $0x1f,%eax
shl    $0x6,%eax
mov    %eax,%edx
jmp    11d9 <BASM_Parse_PeekChar+0xd9>

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

LLVM IR (-O2):
define i32 @BASM_Parse_PeekChar(i8** nocapture %0) {
%2 = load i8*, i8** %0
%3 = getelementptr inbounds i8, i8* %2, i64 1
%4 = load i8, i8* %2
%5 = zext i8 %4 to i32
%6 = icmp ugt i8 %4, -5
br i1 %6, label %7, label %18
7: ; preds = %1
%8 = shl i32 %5, 30
%9 = and i32 %8, 1073741824
%10 = bitcast i8* %3 to <4 x i8>*
%11 = load <4 x i8>, <4 x i8>* %10
%12 = and <4 x i8> %11, <i8 63, i8 63, i8 63, i8 63>
%13 = zext <4 x i8> %12 to <4 x i32>
%14 = shl nuw nsw <4 x i32> %13, <i32 24, i32 18, i32 12, i32 6>
%15 = getelementptr inbounds i8, i8* %2, i64 5
%16 = call i32 @llvm.vector.reduce.or.v4i32(<4 x i32> %14)
%17 = or i32 %16, %9
br label %74
18: ; preds = %1
%19 = icmp ugt i8 %4, -9
br i1 %19, label %20, label %41
20: ; preds = %18
%21 = shl nuw i32 %5, 24
%22 = and i32 %21, 50331648
%23 = getelementptr inbounds i8, i8* %2, i64 2
%24 = load i8, i8* %3
%25 = and i8 %24, 63
%26 = zext i8 %25 to i32
%27 = shl nuw nsw i32 %26, 18
%28 = or i32 %27, %22
%29 = getelementptr inbounds i8, i8* %2, i64 3
%30 = load i8, i8* %23
%31 = and i8 %30, 63
%32 = zext i8 %31 to i32
%33 = shl nuw nsw i32 %32, 12
%34 = or i32 %28, %33
%35 = getelementptr inbounds i8, i8* %2, i64 4
%36 = load i8, i8* %29
%37 = and i8 %36, 63
%38 = zext i8 %37 to i32
%39 = shl nuw nsw i32 %38, 6
%40 = or i32 %34, %39
br label %74
41: ; preds = %18
%42 = icmp ugt i8 %4, -17
br i1 %42, label %43, label %58
43: ; preds = %41
%44 = shl nuw nsw i32 %5, 18
%45 = and i32 %44, 1835008
%46 = getelementptr inbounds i8, i8* %2, i64 2
%47 = load i8, i8* %3
%48 = and i8 %47, 63
%49 = zext i8 %48 to i32
%50 = shl nuw nsw i32 %49, 12
%51 = or i32 %50, %45
%52 = getelementptr inbounds i8, i8* %2, i64 3
%53 = load i8, i8* %46
%54 = and i8 %53, 63
%55 = zext i8 %54 to i32
%56 = shl nuw nsw i32 %55, 6
%57 = or i32 %51, %56
br label %74
58: ; preds = %41
%59 = icmp ugt i8 %4, -33
br i1 %59, label %60, label %69
60: ; preds = %58
%61 = shl nuw nsw i32 %5, 12
%62 = and i32 %61, 61440
%63 = getelementptr inbounds i8, i8* %2, i64 2
%64 = load i8, i8* %3
%65 = and i8 %64, 63
%66 = zext i8 %65 to i32
%67 = shl nuw nsw i32 %66, 6
%68 = or i32 %67, %62
br label %74
69: ; preds = %58
%70 = icmp ugt i8 %4, -65
br i1 %70, label %71, label %81
71: ; preds = %69
%72 = shl nuw nsw i32 %5, 6
%73 = and i32 %72, 1984
br label %74
74: ; preds = %7, %43, %71, %60, %20
%75 = phi i8* [ %35, %20 ], [ %63, %60 ], [ %3, %71 ], [ %52, %43 ], [ %15, %7 ]
%76 = phi i32 [ %40, %20 ], [ %68, %60 ], [ %73, %71 ], [ %57, %43 ], [ %17, %7 ]
%77 = load i8, i8* %75
%78 = and i8 %77, 63
%79 = zext i8 %78 to i32
%80 = or i32 %76, %79
br label %81
81: ; preds = %74, %69
%82 = phi i32 [ %5, %69 ], [ %80, %74 ]
ret i32 %82
}