#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 wint_t;

/* Variables and functions */
int WEOF;
wint_t get_utf8(const char **cpp, const char *end) {
  int tail = 0;
  wint_t ret = 0;
  const char *cp = *cpp;
  unsigned char c;
  if (!cp)
    return WEOF;
  if (end && end <= cp)
    return WEOF;
  c = (unsigned char)*cp++;
  if (!c)
    return WEOF;
  if (c < 0x80)
    ret = c;
  else if (c < 0xc0)
    return (0xfffffffeu);
  else if (c < 0xe0) {
    ret = c & 0x1f;
    tail = 1;
  } else if (c < 0xf0) {
    ret = c & 0xf;
    tail = 2;
  } else if (c < 0xf8) {
    ret = c & 0x7;
    tail = 3;
  } else
    return (0xfffffffeu);
  if (end && end < cp + tail)
    return WEOF;
  while (tail--) {
    c = *cp++;
    if ((c & 0xc0) != 0x80)
      return (0xfffffffeu);
    ret = (ret << 6) | (c & 0x3f);
  }
  *cpp = cp;
  return ret;
}


x86 assembly (clang, -O0):
<get_utf8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    1141 <get_utf8+0x41>
mov    0x2ea9(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
cmpq   $0x0,-0x18(%rbp)
je     116b <get_utf8+0x6b>
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
ja     116b <get_utf8+0x6b>
mov    0x2e7f(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x29(%rbp)
cmpb   $0x0,-0x29(%rbp)
jne    119a <get_utf8+0x9a>
mov    0x2e50(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
movzbl -0x29(%rbp),%eax
cmp    $0x80,%eax
jge    11b5 <get_utf8+0xb5>
movzbl -0x29(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    125f <get_utf8+0x15f>
movzbl -0x29(%rbp),%eax
cmp    $0xc0,%eax
jge    11d0 <get_utf8+0xd0>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
movzbl -0x29(%rbp),%eax
cmp    $0xe0,%eax
jge    11f5 <get_utf8+0xf5>
movzbl -0x29(%rbp),%eax
and    $0x1f,%eax
mov    %eax,-0x20(%rbp)
movl   $0x1,-0x1c(%rbp)
jmp    1255 <get_utf8+0x155>
movzbl -0x29(%rbp),%eax
cmp    $0xf0,%eax
jge    121a <get_utf8+0x11a>
movzbl -0x29(%rbp),%eax
and    $0xf,%eax
mov    %eax,-0x20(%rbp)
movl   $0x2,-0x1c(%rbp)
jmp    1250 <get_utf8+0x150>
movzbl -0x29(%rbp),%eax
cmp    $0xf8,%eax
jge    123f <get_utf8+0x13f>
movzbl -0x29(%rbp),%eax
and    $0x7,%eax
mov    %eax,-0x20(%rbp)
movl   $0x3,-0x1c(%rbp)
jmp    124b <get_utf8+0x14b>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
jmp    1250 <get_utf8+0x150>
jmp    1255 <get_utf8+0x155>
jmp    125a <get_utf8+0x15a>
jmp    125f <get_utf8+0x15f>
cmpq   $0x0,-0x18(%rbp)
je     1293 <get_utf8+0x193>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    1293 <get_utf8+0x193>
mov    0x2d57(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
jmp    1298 <get_utf8+0x198>
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     12f7 <get_utf8+0x1f7>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x29(%rbp)
movzbl -0x29(%rbp),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     12e0 <get_utf8+0x1e0>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1308 <get_utf8+0x208>
mov    -0x20(%rbp),%eax
shl    $0x6,%eax
movzbl -0x29(%rbp),%ecx
and    $0x3f,%ecx
or     %ecx,%eax
mov    %eax,-0x20(%rbp)
jmp    1298 <get_utf8+0x198>
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_utf8>:
push   %rbp
push   %rbx
mov    (%rdi),%rdx
test   %rdx,%rdx
je     1197 <get_utf8+0x97>
test   %rsi,%rsi
je     1118 <get_utf8+0x18>
cmp    %rsi,%rdx
jae    1197 <get_utf8+0x97>
movzbl (%rdx),%ecx
test   %ecx,%ecx
je     1197 <get_utf8+0x97>
lea    0x1(%rdx),%r8
test   %cl,%cl
js     1138 <get_utf8+0x38>
test   %rsi,%rsi
je     1131 <get_utf8+0x31>
cmp    %rsi,%r8
ja     1197 <get_utf8+0x97>
mov    %r8,(%rdi)
mov    %ecx,%eax
jmp    11a0 <get_utf8+0xa0>
mov    $0xfffffffe,%eax
cmp    $0xc0,%cl
jb     11a0 <get_utf8+0xa0>
cmp    $0xe0,%cl
jae    115b <get_utf8+0x5b>
mov    $0x1,%r11d
mov    $0x1,%bpl
mov    $0x1f,%r10d
xor    %r9d,%r9d
jmp    1187 <get_utf8+0x87>
cmp    $0xf0,%cl
jae    1171 <get_utf8+0x71>
mov    $0x2,%r11d
mov    $0x1,%r9b
mov    $0xf,%r10d
jmp    1185 <get_utf8+0x85>
cmp    $0xf7,%cl
ja     11a0 <get_utf8+0xa0>
mov    $0x3,%r11d
mov    $0x7,%r10d
xor    %r9d,%r9d
xor    %ebp,%ebp
test   %rsi,%rsi
je     11a3 <get_utf8+0xa3>
mov    %r11d,%ebx
add    %rbx,%r8
cmp    %rsi,%r8
jbe    11a3 <get_utf8+0xa3>
mov    0x2e42(%rip),%rax
mov    (%rax),%eax
pop    %rbx
pop    %rbp
ret
movzbl 0x1(%rdx),%ebx
mov    %ebx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    11a0 <get_utf8+0xa0>
and    %ecx,%r10d
add    $0xffffffff,%r11d
lea    (%r11,%rdx,1),%r8
add    $0x2,%r8
shl    $0x6,%r10d
and    $0x3f,%ebx
mov    %ebx,%ecx
or     %r10d,%ecx
test   %bpl,%bpl
jne    1131 <get_utf8+0x31>
movzbl 0x2(%rdx),%ebp
mov    %ebp,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    11a0 <get_utf8+0xa0>
mov    %ecx,%esi
shl    $0x6,%esi
and    $0x3f,%ebp
mov    %ebp,%ecx
or     %esi,%ecx
test   %r9b,%r9b
jne    1131 <get_utf8+0x31>
movzbl 0x3(%rdx),%edx
mov    %edx,%esi
and    $0xffffffc0,%esi
cmp    $0x80,%esi
jne    11a0 <get_utf8+0xa0>
shl    $0x6,%ecx
and    $0x3f,%edx
or     %edx,%ecx
jmp    1131 <get_utf8+0x31>

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

LLVM IR (-O2):
@WEOF = global i32 0
define i32 @get_utf8(i8** nocapture %0, i8* readnone %1) {
%3 = load i8*, i8** %0
%4 = icmp eq i8* %3, null
br i1 %4, label %5, label %7
5: ; preds = %2
%6 = load i32, i32* @WEOF
br label %83
7: ; preds = %2
%8 = icmp eq i8* %1, null
%9 = icmp ult i8* %3, %1
%10 = select i1 %8, i1 true, i1 %9
br i1 %10, label %13, label %11
11: ; preds = %7
%12 = load i32, i32* @WEOF
br label %83
13: ; preds = %7
%14 = getelementptr inbounds i8, i8* %3, i64 1
%15 = load i8, i8* %3
%16 = icmp eq i8 %15, 0
br i1 %16, label %17, label %19
17: ; preds = %13
%18 = load i32, i32* @WEOF
br label %83
19: ; preds = %13
%20 = zext i8 %15 to i32
%21 = icmp sgt i8 %15, -1
br i1 %21, label %40, label %22
22: ; preds = %19
%23 = icmp ult i8 %15, -64
br i1 %23, label %83, label %24
24: ; preds = %22
%25 = icmp ult i8 %15, -32
br i1 %25, label %30, label %26
26: ; preds = %24
%27 = icmp ult i8 %15, -16
br i1 %27, label %30, label %28
28: ; preds = %26
%29 = icmp ult i8 %15, -8
br i1 %29, label %30, label %83
30: ; preds = %28, %26, %24
%31 = phi i32 [ 31, %24 ], [ 15, %26 ], [ 7, %28 ]
%32 = phi i1 [ false, %24 ], [ true, %26 ], [ false, %28 ]
%33 = phi i1 [ true, %24 ], [ false, %26 ], [ false, %28 ]
%34 = phi i32 [ 1, %24 ], [ 2, %26 ], [ 3, %28 ]
%35 = xor i1 %8, true
%36 = zext i32 %34 to i64
%37 = getelementptr inbounds i8, i8* %14, i64 %36
%38 = icmp ugt i8* %37, %1
%39 = select i1 %35, i1 %38, i1 false
br i1 %39, label %54, label %44
40: ; preds = %19
%41 = xor i1 %8, true
%42 = icmp ugt i8* %14, %1
%43 = select i1 %41, i1 %42, i1 false
br i1 %43, label %54, label %80
44: ; preds = %30
%45 = and i32 %31, %20
%46 = add nsw i32 %34, -1
%47 = zext i32 %46 to i64
%48 = add nuw nsw i64 %47, 2
%49 = getelementptr i8, i8* %3, i64 %48
%50 = load i8, i8* %14
%51 = zext i8 %50 to i32
%52 = and i32 %51, 192
%53 = icmp eq i32 %52, 128
br i1 %53, label %56, label %83
54: ; preds = %40, %30
%55 = load i32, i32* @WEOF
br label %83
56: ; preds = %44
%57 = shl nuw nsw i32 %45, 6
%58 = and i32 %51, 63
%59 = or i32 %58, %57
br i1 %33, label %80, label %60
60: ; preds = %56
%61 = getelementptr inbounds i8, i8* %3, i64 2
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
%64 = and i32 %63, 192
%65 = icmp eq i32 %64, 128
br i1 %65, label %66, label %83
66: ; preds = %60
%67 = shl nuw nsw i32 %59, 6
%68 = and i32 %63, 63
%69 = or i32 %68, %67
br i1 %32, label %80, label %70
70: ; preds = %66
%71 = getelementptr inbounds i8, i8* %3, i64 3
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
%74 = and i32 %73, 192
%75 = icmp eq i32 %74, 128
br i1 %75, label %76, label %83
76: ; preds = %70
%77 = shl nuw nsw i32 %69, 6
%78 = and i32 %73, 63
%79 = or i32 %78, %77
br label %80
80: ; preds = %56, %66, %76, %40
%81 = phi i32 [ %20, %40 ], [ %59, %56 ], [ %69, %66 ], [ %79, %76 ]
%82 = phi i8* [ %14, %40 ], [ %49, %76 ], [ %49, %66 ], [ %49, %56 ]
store i8* %82, i8** %0
br label %83
83: ; preds = %44, %60, %70, %28, %22, %80, %54, %17, %11, %5
%84 = phi i32 [ %12, %11 ], [ %55, %54 ], [ %81, %80 ], [ %18, %17 ], [ %6, %5 ], [ -2, %22 ], [ -2, %28 ], [ -2, %70 ], [ -2, %60 ], [ -2, %44 ]
ret i32 %84
}