#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
char ReadByte(char **);
int /*<<< orphan*/ assert(int /*<<< orphan*/);
unsigned int UTF82UCS(char **src) {
  char b1 = ReadByte(src);
  int ucs = 0;
  if (b1 >> 7 == 0x0) {
    return b1;
  } else if (b1 >> 5 == 0x6) {
    char b2 = ReadByte(src);
    if (b2 >> 6 != 0x2) {
      return 0;
    }
    return b1 << 4 | b2;
  } else if (b1 >> 4 == 0xE) {
    char b2 = ReadByte(src);
    if (b2 >> 6 != 0x2) {
      return 0;
    }
    char b3 = ReadByte(src);
    if (b3 >> 6 != 0x2) {
      return 0;
    }
    return b1 << 8 | b2 << 4 | b3;
  } else if (b1 >> 3 == 0x1E) {
    char b2 = ReadByte(src);
    if (b2 >> 6 != 0x2) {
      return 0;
    }
    char b3 = ReadByte(src);
    if (b3 >> 6 != 0x2) {
      return 0;
    }
    char b4 = ReadByte(src);
    if (b4 >> 6 != 0x2) {
      return 0;
    }
    return b1 << 12 | b2 << 8 | b3 << 4 | b4;
  } else {
    assert(0);
  }
  return 0;
}


x86 assembly (clang, -O0):
<UTF82UCS>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x11(%rbp)
movl   $0x0,-0x18(%rbp)
movsbl -0x11(%rbp),%eax
sar    $0x7,%eax
cmp    $0x0,%eax
jne    115b <UTF82UCS+0x3b>
movsbl -0x11(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
sar    $0x5,%eax
cmp    $0x6,%eax
jne    11a8 <UTF82UCS+0x88>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     1193 <UTF82UCS+0x73>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
shl    $0x4,%eax
movsbl -0x19(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
sar    $0x4,%eax
cmp    $0xe,%eax
jne    1226 <UTF82UCS+0x106>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x1a(%rbp)
movsbl -0x1a(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     11e0 <UTF82UCS+0xc0>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x1b(%rbp)
movsbl -0x1b(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     1208 <UTF82UCS+0xe8>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
shl    $0x8,%eax
movsbl -0x1a(%rbp),%ecx
shl    $0x4,%ecx
or     %ecx,%eax
movsbl -0x1b(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
sar    $0x3,%eax
cmp    $0x1e,%eax
jne    12d5 <UTF82UCS+0x1b5>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x1c(%rbp)
movsbl -0x1c(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     125e <UTF82UCS+0x13e>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x1d(%rbp)
movsbl -0x1d(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     1286 <UTF82UCS+0x166>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
mov    -0x10(%rbp),%rdi
call   1040 <ReadByte@plt>
mov    %al,-0x1e(%rbp)
movsbl -0x1e(%rbp),%eax
sar    $0x6,%eax
cmp    $0x2,%eax
je     12ae <UTF82UCS+0x18e>
movl   $0x0,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
movsbl -0x11(%rbp),%eax
shl    $0xc,%eax
movsbl -0x1c(%rbp),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
movsbl -0x1d(%rbp),%ecx
shl    $0x4,%ecx
or     %ecx,%eax
movsbl -0x1e(%rbp),%ecx
or     %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    12f2 <UTF82UCS+0x1d2>
xor    %edi,%edi
call   1030 <assert@plt>
jmp    12e1 <UTF82UCS+0x1c1>
jmp    12e6 <UTF82UCS+0x1c6>
jmp    12eb <UTF82UCS+0x1cb>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<UTF82UCS>:
push   %rbx
call   1040 <ReadByte@plt>
test   %al,%al
js     112f <UTF82UCS+0xf>
movzbl %al,%ebx
jmp    1138 <UTF82UCS+0x18>
xor    %ebx,%ebx
xor    %edi,%edi
call   1030 <assert@plt>
mov    %ebx,%eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @UTF82UCS(i8** %0) {
%2 = tail call signext i8 @ReadByte(i8** %0)
%3 = icmp sgt i8 %2, -1
br i1 %3, label %4, label %6
4: ; preds = %1
%5 = zext i8 %2 to i32
br label %8
6: ; preds = %1
%7 = tail call i32 @assert(i32 0)
br label %8
8: ; preds = %6, %4
%9 = phi i32 [ %5, %4 ], [ 0, %6 ]
ret i32 %9
}