#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 */
int strlen(char *);
unsigned short TextEncodingDecodeUTF8(char *str, int *index) {
  int stringLength = strlen(str);
  int extraBytes = 0;
  unsigned short result = 0;
  if (!(str[*index] & 0x80)) {
    result = str[*index];
  } else {
    char valueMask = 0x7F;
    char lengthBits = (str[*index] << 1);
    while (lengthBits & 0x80) {
      ++extraBytes;
      lengthBits = (lengthBits << 1);
      valueMask >>= 1;
    }
    result = str[*index] & valueMask;
    while (extraBytes--) {
      *index = *index + 1;
      if (*index >= stringLength || (str[*index] & 0xC0) != 0x80)
        return 0;
      result <<= 6;
      result += str[*index] & 0x3F;
    }
  }
  return result;
}


x86 assembly (clang, -O0):
<TextEncodingDecodeUTF8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movw   $0x0,-0x22(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x80,%eax
cmp    $0x0,%eax
jne    116e <TextEncodingDecodeUTF8+0x5e>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %ax,-0x22(%rbp)
jmp    1261 <TextEncodingDecodeUTF8+0x151>
movb   $0x7f,-0x23(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
shl    $0x1,%eax
mov    %al,-0x24(%rbp)
movsbl -0x24(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     11bb <TextEncodingDecodeUTF8+0xab>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
movsbl -0x24(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x24(%rbp)
movsbl -0x23(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x23(%rbp)
jmp    1187 <TextEncodingDecodeUTF8+0x77>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x23(%rbp),%ecx
and    %ecx,%eax
mov    %ax,-0x22(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x20(%rbp)
cmp    $0x0,%eax
je     125c <TextEncodingDecodeUTF8+0x14c>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
cmp    -0x1c(%rbp),%eax
jge    1225 <TextEncodingDecodeUTF8+0x115>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1230 <TextEncodingDecodeUTF8+0x120>
movw   $0x0,-0x2(%rbp)
jmp    1269 <TextEncodingDecodeUTF8+0x159>
movzwl -0x22(%rbp),%eax
shl    $0x6,%eax
mov    %ax,-0x22(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%ecx
and    $0x3f,%ecx
movzwl -0x22(%rbp),%eax
add    %ecx,%eax
mov    %ax,-0x22(%rbp)
jmp    11d4 <TextEncodingDecodeUTF8+0xc4>
jmp    1261 <TextEncodingDecodeUTF8+0x151>
mov    -0x22(%rbp),%ax
mov    %ax,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<TextEncodingDecodeUTF8>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
call   1030 <strlen@plt>
mov    %eax,%r8d
movslq (%r14),%r9
movzbl (%rbx,%r9,1),%eax
test   %al,%al
jns    1196 <TextEncodingDecodeUTF8+0x86>
mov    %eax,%edx
add    %al,%dl
js     1139 <TextEncodingDecodeUTF8+0x29>
and    $0x7f,%eax
jmp    1196 <TextEncodingDecodeUTF8+0x86>
xor    %esi,%esi
mov    $0x7f,%ecx
add    $0x1,%esi
shr    %ecx
add    %dl,%dl
js     1140 <TextEncodingDecodeUTF8+0x30>
movsbl %al,%eax
and    %eax,%ecx
add    $0x1,%r9d
xor    %edi,%edi
mov    %ecx,%eax
cs nopw 0x0(%rax,%rax,1)
lea    (%r9,%rdi,1),%ecx
mov    %ecx,(%r14)
cmp    %r8d,%ecx
jge    1194 <TextEncodingDecodeUTF8+0x84>
movslq %ecx,%rcx
movzbl (%rbx,%rcx,1),%ecx
mov    %ecx,%edx
and    $0xffffffc0,%edx
cmp    $0x80,%edx
jne    1194 <TextEncodingDecodeUTF8+0x84>
shl    $0x6,%eax
and    $0x3f,%ecx
movzwl %ax,%eax
or     %ecx,%eax
add    $0x1,%edi
cmp    %edi,%esi
jne    1160 <TextEncodingDecodeUTF8+0x50>
jmp    1196 <TextEncodingDecodeUTF8+0x86>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define zeroext i16 @TextEncodingDecodeUTF8(i8* %0, i32* nocapture %1) {
%3 = tail call i32 @strlen(i8* %0)
%4 = load i32, i32* %1
%5 = sext i32 %4 to i64
%6 = getelementptr inbounds i8, i8* %0, i64 %5
%7 = load i8, i8* %6
%8 = icmp sgt i8 %7, -1
br i1 %8, label %15, label %9
9: ; preds = %2
%10 = shl i8 %7, 1
%11 = icmp sgt i8 %10, -1
br i1 %11, label %12, label %17
12: ; preds = %9
%13 = and i8 %7, 127
%14 = zext i8 %13 to i32
br label %48
15: ; preds = %2
%16 = zext i8 %7 to i16
br label %51
17: ; preds = %9, %17
%18 = phi i8 [ %23, %17 ], [ %10, %9 ]
%19 = phi i32 [ %22, %17 ], [ 127, %9 ]
%20 = phi i32 [ %21, %17 ], [ 0, %9 ]
%21 = add nuw nsw i32 %20, 1
%22 = lshr i32 %19, 1
%23 = shl i8 %18, 1
%24 = icmp sgt i8 %23, -1
br i1 %24, label %25, label %17
25: ; preds = %17
%26 = sext i8 %7 to i32
%27 = and i32 %22, %26
br label %28
28: ; preds = %25, %42
%29 = phi i32 [ %33, %42 ], [ %4, %25 ]
%30 = phi i32 [ %32, %42 ], [ %21, %25 ]
%31 = phi i32 [ %46, %42 ], [ %27, %25 ]
%32 = add nsw i32 %30, -1
%33 = add nsw i32 %29, 1
store i32 %33, i32* %1
%34 = icmp slt i32 %33, %3
br i1 %34, label %35, label %51
35: ; preds = %28
%36 = sext i32 %33 to i64
%37 = getelementptr inbounds i8, i8* %0, i64 %36
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = and i32 %39, 192
%41 = icmp eq i32 %40, 128
br i1 %41, label %42, label %51
42: ; preds = %35
%43 = shl nsw i32 %31, 6
%44 = and i32 %39, 63
%45 = and i32 %43, 65472
%46 = or i32 %44, %45
%47 = icmp eq i32 %32, 0
br i1 %47, label %48, label %28
48: ; preds = %42, %12
%49 = phi i32 [ %14, %12 ], [ %46, %42 ]
%50 = trunc i32 %49 to i16
br label %51
51: ; preds = %28, %35, %48, %15
%52 = phi i16 [ %16, %15 ], [ %50, %48 ], [ 0, %35 ], [ 0, %28 ]
ret i16 %52
}