#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 */
typedef int uint32_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int /*<<< orphan*/);
int /*<<< orphan*/ utf8_validate_cz(char const *);
int utf8_read_char(const char *s, uint32_t *out) {
  const unsigned char *c = (const unsigned char *)s;
  assert(utf8_validate_cz(s));
  if (c[0] <= 0x7F) {
    *out = c[0];
    return 1;
  } else if (c[0] <= 0xDF) {
    *out = ((uint32_t)c[0] & 0x1F) << 6 | ((uint32_t)c[1] & 0x3F);
    return 2;
  } else if (c[0] <= 0xEF) {
    *out = ((uint32_t)c[0] & 0xF) << 12 | ((uint32_t)c[1] & 0x3F) << 6 |
           ((uint32_t)c[2] & 0x3F);
    return 3;
  } else {
    *out = ((uint32_t)c[0] & 0x7) << 18 | ((uint32_t)c[1] & 0x3F) << 12 |
           ((uint32_t)c[2] & 0x3F) << 6 | ((uint32_t)c[3] & 0x3F);
    return 4;
  }
}


x86 assembly (clang, -O0):
<utf8_read_char>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <utf8_validate_cz@plt>
mov    %eax,%edi
call   1040 <assert@plt>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x7f,%eax
jg     1171 <utf8_read_char+0x51>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1244 <utf8_read_char+0x124>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xdf,%eax
jg     11af <utf8_read_char+0x8f>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
and    $0x1f,%ecx
shl    $0x6,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
or     %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x2,-0x4(%rbp)
jmp    1244 <utf8_read_char+0x124>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xef,%eax
jg     11fd <utf8_read_char+0xdd>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
and    $0xf,%ecx
shl    $0xc,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
or     %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x3,-0x4(%rbp)
jmp    1244 <utf8_read_char+0x124>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
and    $0x7,%ecx
shl    $0x12,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0x3f,%eax
or     %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x4,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_read_char>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
call   1030 <utf8_validate_cz@plt>
mov    %eax,%edi
call   1040 <assert@plt>
movzbl (%rbx),%ecx
mov    $0x1,%eax
test   %cl,%cl
jns    11af <utf8_read_char+0x8f>
cmp    $0xdf,%cl
ja     115b <utf8_read_char+0x3b>
and    $0x1f,%ecx
shl    $0x6,%ecx
mov    $0x2,%eax
mov    $0x1,%esi
mov    %ecx,%edx
jmp    11a6 <utf8_read_char+0x86>
cmp    $0xef,%cl
ja     117e <utf8_read_char+0x5e>
shl    $0xc,%ecx
movzwl %cx,%eax
movzbl 0x1(%rbx),%edx
and    $0x3f,%edx
shl    $0x6,%edx
or     %eax,%edx
mov    $0x3,%eax
mov    $0x2,%esi
jmp    11a6 <utf8_read_char+0x86>
and    $0x7,%ecx
shl    $0x12,%ecx
movzbl 0x1(%rbx),%eax
and    $0x3f,%eax
shl    $0xc,%eax
or     %ecx,%eax
movzbl 0x2(%rbx),%edx
and    $0x3f,%edx
shl    $0x6,%edx
or     %eax,%edx
mov    $0x4,%eax
mov    $0x3,%esi
movzbl (%rbx,%rsi,1),%ecx
and    $0x3f,%ecx
or     %edx,%ecx
mov    %ecx,(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i32 @utf8_read_char(i8* %0, i32* nocapture writeonly %1) {
%3 = tail call i32 @utf8_validate_cz(i8* %0)
%4 = tail call i32 @assert(i32 %3)
%5 = load i8, i8* %0
%6 = zext i8 %5 to i32
%7 = icmp sgt i8 %5, -1
br i1 %7, label %48, label %8
8: ; preds = %2
%9 = icmp ult i8 %5, -32
br i1 %9, label %10, label %13
10: ; preds = %8
%11 = shl nuw nsw i32 %6, 6
%12 = and i32 %11, 1984
br label %39
13: ; preds = %8
%14 = icmp ult i8 %5, -16
br i1 %14, label %15, label %24
15: ; preds = %13
%16 = shl nuw nsw i32 %6, 12
%17 = and i32 %16, 61440
%18 = getelementptr inbounds i8, i8* %0, i64 1
%19 = load i8, i8* %18
%20 = and i8 %19, 63
%21 = zext i8 %20 to i32
%22 = shl nuw nsw i32 %21, 6
%23 = or i32 %22, %17
br label %39
24: ; preds = %13
%25 = shl nuw nsw i32 %6, 18
%26 = and i32 %25, 1835008
%27 = getelementptr inbounds i8, i8* %0, i64 1
%28 = load i8, i8* %27
%29 = and i8 %28, 63
%30 = zext i8 %29 to i32
%31 = shl nuw nsw i32 %30, 12
%32 = or i32 %31, %26
%33 = getelementptr inbounds i8, i8* %0, i64 2
%34 = load i8, i8* %33
%35 = and i8 %34, 63
%36 = zext i8 %35 to i32
%37 = shl nuw nsw i32 %36, 6
%38 = or i32 %32, %37
br label %39
39: ; preds = %10, %15, %24
%40 = phi i64 [ 3, %24 ], [ 2, %15 ], [ 1, %10 ]
%41 = phi i32 [ %38, %24 ], [ %23, %15 ], [ %12, %10 ]
%42 = phi i32 [ 4, %24 ], [ 3, %15 ], [ 2, %10 ]
%43 = getelementptr inbounds i8, i8* %0, i64 %40
%44 = load i8, i8* %43
%45 = and i8 %44, 63
%46 = zext i8 %45 to i32
%47 = or i32 %41, %46
br label %48
48: ; preds = %39, %2
%49 = phi i32 [ %6, %2 ], [ %47, %39 ]
%50 = phi i32 [ 1, %2 ], [ %42, %39 ]
store i32 %49, i32* %1
ret i32 %50
}