#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 utf8_to_ucs4_buf(int *out, const unsigned char *in, size_t in_size) {
  const unsigned char *p = in;
  int *q = out;
  int w;
  while (in_size) {
    if (*p < 0x80) {
      *q++ = *p++;
      in_size--;
    } else if ((*p & 0xc0) == 0x80) {
      goto broken_coding;
    } else if ((*p & 0xe0) == 0xc0) {
      if (in_size < 2)
        goto broken_coding;
      if ((p[1] & 0xc0) != 0x80)
        goto broken_coding;
      w = (*p++ & 0x1f) << 6;
      w |= (*p++ & 0x3f);
      if (w < 0x80)
        goto broken_coding;
      *q++ = w;
      in_size -= 2;
    } else if ((*p & 0xf0) == 0xe0) {
      if (in_size < 3)
        goto broken_coding;
      if ((p[1] & 0xc0) != 0x80)
        goto broken_coding;
      if ((p[2] & 0xc0) != 0x80)
        goto broken_coding;
      w = (*p++ & 0x0f) << 12;
      w |= (*p++ & 0x3f) << 6;
      w |= (*p++ & 0x3f);
      if (w < 0x800)
        goto broken_coding;
      *q++ = w;
      in_size -= 3;
    } else if ((*p & 0xf8) == 0xf0) {
      if (in_size < 4)
        goto broken_coding;
      if ((p[1] & 0xc0) != 0x80)
        goto broken_coding;
      if ((p[2] & 0xc0) != 0x80)
        goto broken_coding;
      if ((p[3] & 0xc0) != 0x80)
        goto broken_coding;
      w = (*p++ & 0x07) << 18;
      w |= (*p++ & 0x3f) << 12;
      w |= (*p++ & 0x3f) << 6;
      w |= (*p++ & 0x3f);
      if (w < 0x10000)
        goto broken_coding;
      *q++ = w;
      in_size -= 4;
    } else {
      goto broken_coding;
    }
    continue;
  broken_coding:
    *q++ = '?';
    p++;
    in_size--;
  }
  return q - out;
}


x86 assembly (clang, -O0):
<utf8_to_ucs4_buf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     14a1 <utf8_to_ucs4_buf+0x3a1>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    1171 <utf8_to_ucs4_buf+0x71>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    146a <utf8_to_ucs4_buf+0x36a>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
jne    118d <utf8_to_ucs4_buf+0x8d>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    123e <utf8_to_ucs4_buf+0x13e>
cmpq   $0x2,-0x18(%rbp)
jae    11b4 <utf8_to_ucs4_buf+0xb4>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     11d1 <utf8_to_ucs4_buf+0xd1>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x1f,%eax
shl    $0x6,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x80,-0x2c(%rbp)
jge    1219 <utf8_to_ucs4_buf+0x119>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    1460 <utf8_to_ucs4_buf+0x360>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
and    $0xf0,%eax
cmp    $0xe0,%eax
jne    132a <utf8_to_ucs4_buf+0x22a>
cmpq   $0x3,-0x18(%rbp)
jae    1265 <utf8_to_ucs4_buf+0x165>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     1282 <utf8_to_ucs4_buf+0x182>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     129f <utf8_to_ucs4_buf+0x19f>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0xf,%eax
shl    $0xc,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x800,-0x2c(%rbp)
jge    1305 <utf8_to_ucs4_buf+0x205>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
sub    $0x3,%rax
mov    %rax,-0x18(%rbp)
jmp    145b <utf8_to_ucs4_buf+0x35b>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
and    $0xf8,%eax
cmp    $0xf0,%eax
jne    1451 <utf8_to_ucs4_buf+0x351>
cmpq   $0x4,-0x18(%rbp)
jae    1351 <utf8_to_ucs4_buf+0x251>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     136e <utf8_to_ucs4_buf+0x26e>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     138b <utf8_to_ucs4_buf+0x28b>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0xc0,%eax
cmp    $0x80,%eax
je     13a8 <utf8_to_ucs4_buf+0x2a8>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x7,%eax
shl    $0x12,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl (%rax),%eax
and    $0x3f,%eax
or     -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x10000,-0x2c(%rbp)
jge    142c <utf8_to_ucs4_buf+0x32c>
jmp    146f <utf8_to_ucs4_buf+0x36f>
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1456 <utf8_to_ucs4_buf+0x356>
jmp    146f <utf8_to_ucs4_buf+0x36f>
jmp    145b <utf8_to_ucs4_buf+0x35b>
jmp    1460 <utf8_to_ucs4_buf+0x360>
jmp    1465 <utf8_to_ucs4_buf+0x365>
jmp    146a <utf8_to_ucs4_buf+0x36a>
jmp    1120 <utf8_to_ucs4_buf+0x20>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x3f,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1120 <utf8_to_ucs4_buf+0x20>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_to_ucs4_buf>:
mov    %rdi,%rax
test   %rdx,%rdx
je     12bc <utf8_to_ucs4_buf+0x1bc>
mov    %rdi,%rax
nop
movzbl (%rsi),%r11d
test   %r11b,%r11b
js     1130 <utf8_to_ucs4_buf+0x30>
add    $0x1,%rsi
mov    %r11d,(%rax)
jmp    129a <utf8_to_ucs4_buf+0x19a>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r11d,%ecx
and    $0xffffffc0,%ecx
cmp    $0x80,%ecx
je     1290 <utf8_to_ucs4_buf+0x190>
mov    %r11d,%ecx
and    $0xffffffe0,%ecx
cmp    $0xc0,%ecx
jne    119d <utf8_to_ucs4_buf+0x9d>
cmp    $0x2,%rdx
jb     1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x1(%rsi),%r8d
mov    %r8d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
and    $0x1f,%r11d
shl    $0x6,%r11d
add    $0x2,%rsi
and    $0x3f,%r8d
or     %r11d,%r8d
cmp    $0x80,%r8d
jb     1290 <utf8_to_ucs4_buf+0x190>
mov    %r8d,(%rax)
mov    $0xfffffffffffffffe,%rcx
jmp    12a1 <utf8_to_ucs4_buf+0x1a1>
mov    %r11d,%ecx
and    $0xfffffff0,%ecx
cmp    $0xe0,%ecx
jne    1217 <utf8_to_ucs4_buf+0x117>
cmp    $0x3,%rdx
jb     1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x1(%rsi),%r8d
mov    %r8d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x2(%rsi),%r9d
mov    %r9d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
shl    $0xc,%r11d
movzwl %r11w,%ecx
and    $0x3f,%r8d
shl    $0x6,%r8d
or     %ecx,%r8d
add    $0x3,%rsi
and    $0x3f,%r9d
or     %r8d,%r9d
cmp    $0x800,%r9d
jb     1290 <utf8_to_ucs4_buf+0x190>
mov    %r9d,(%rax)
mov    $0xfffffffffffffffd,%rcx
jmp    12a1 <utf8_to_ucs4_buf+0x1a1>
mov    %r11d,%ecx
and    $0xfffffff8,%ecx
cmp    $0xf0,%ecx
jne    1290 <utf8_to_ucs4_buf+0x190>
cmp    $0x4,%rdx
jb     1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x1(%rsi),%r8d
mov    %r8d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x2(%rsi),%r9d
mov    %r9d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
movzbl 0x3(%rsi),%r10d
mov    %r10d,%ecx
and    $0xc0,%cl
cmp    $0x80,%cl
jne    1290 <utf8_to_ucs4_buf+0x190>
and    $0x7,%r11d
shl    $0x12,%r11d
and    $0x3f,%r8d
shl    $0xc,%r8d
or     %r11d,%r8d
and    $0x3f,%r9d
shl    $0x6,%r9d
or     %r8d,%r9d
add    $0x4,%rsi
and    $0x3f,%r10d
or     %r9d,%r10d
cmp    $0x10000,%r10d
jae    12b0 <utf8_to_ucs4_buf+0x1b0>
nopl   (%rax)
movl   $0x3f,(%rax)
add    $0x1,%rsi
mov    $0xffffffffffffffff,%rcx
add    $0x4,%rax
add    %rcx,%rdx
jne    1110 <utf8_to_ucs4_buf+0x10>
jmp    12bc <utf8_to_ucs4_buf+0x1bc>
mov    %r10d,(%rax)
mov    $0xfffffffffffffffc,%rcx
jmp    12a1 <utf8_to_ucs4_buf+0x1a1>
sub    %rdi,%rax
shr    $0x2,%rax
ret

LLVM IR (-O0):
define i32 @utf8_to_ucs4_buf(i32* %0, i8* %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i8*
%8 = alloca i32*
%9 = alloca i32
store i32* %0, i32** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%10 = load i8*, i8** %5
store i8* %10, i8** %7
%11 = load i32*, i32** %4
store i32* %11, i32** %8
br label %12
12: ; preds = %213, %212, %3
%13 = load i64, i64* %6
%14 = icmp ne i64 %13, 0
br i1 %14, label %15, label %220
15: ; preds = %12
%16 = load i8*, i8** %7
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = icmp slt i32 %18, 128
br i1 %19, label %20, label %29
20: ; preds = %15
%21 = load i8*, i8** %7
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %7
%23 = load i8, i8* %21
%24 = zext i8 %23 to i32
%25 = load i32*, i32** %8
%26 = getelementptr inbounds i32, i32* %25, i32 1
store i32* %26, i32** %8
store i32 %24, i32* %25
%27 = load i64, i64* %6
%28 = add i64 %27, -1
store i64 %28, i64* %6
br label %212
29: ; preds = %15
%30 = load i8*, i8** %7
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = and i32 %32, 192
%34 = icmp eq i32 %33, 128
br i1 %34, label %35, label %36
35: ; preds = %29
br label %213
36: ; preds = %29
%37 = load i8*, i8** %7
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = and i32 %39, 224
%41 = icmp eq i32 %40, 192
br i1 %41, label %42, label %77
42: ; preds = %36
%43 = load i64, i64* %6
%44 = icmp ult i64 %43, 2
br i1 %44, label %45, label %46
45: ; preds = %42
br label %213
46: ; preds = %42
%47 = load i8*, i8** %7
%48 = getelementptr inbounds i8, i8* %47, i64 1
%49 = load i8, i8* %48
%50 = zext i8 %49 to i32
%51 = and i32 %50, 192
%52 = icmp ne i32 %51, 128
br i1 %52, label %53, label %54
53: ; preds = %46
br label %213
54: ; preds = %46
%55 = load i8*, i8** %7
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %7
%57 = load i8, i8* %55
%58 = zext i8 %57 to i32
%59 = and i32 %58, 31
%60 = shl i32 %59, 6
store i32 %60, i32* %9
%61 = load i8*, i8** %7
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %7
%63 = load i8, i8* %61
%64 = zext i8 %63 to i32
%65 = and i32 %64, 63
%66 = load i32, i32* %9
%67 = or i32 %66, %65
store i32 %67, i32* %9
%68 = load i32, i32* %9
%69 = icmp slt i32 %68, 128
br i1 %69, label %70, label %71
70: ; preds = %54
br label %213
71: ; preds = %54
%72 = load i32, i32* %9
%73 = load i32*, i32** %8
%74 = getelementptr inbounds i32, i32* %73, i32 1
store i32* %74, i32** %8
store i32 %72, i32* %73
%75 = load i64, i64* %6
%76 = sub i64 %75, 2
store i64 %76, i64* %6
br label %210
77: ; preds = %36
%78 = load i8*, i8** %7
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
%81 = and i32 %80, 240
%82 = icmp eq i32 %81, 224
br i1 %82, label %83, label %134
83: ; preds = %77
%84 = load i64, i64* %6
%85 = icmp ult i64 %84, 3
br i1 %85, label %86, label %87
86: ; preds = %83
br label %213
87: ; preds = %83
%88 = load i8*, i8** %7
%89 = getelementptr inbounds i8, i8* %88, i64 1
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = and i32 %91, 192
%93 = icmp ne i32 %92, 128
br i1 %93, label %94, label %95
94: ; preds = %87
br label %213
95: ; preds = %87
%96 = load i8*, i8** %7
%97 = getelementptr inbounds i8, i8* %96, i64 2
%98 = load i8, i8* %97
%99 = zext i8 %98 to i32
%100 = and i32 %99, 192
%101 = icmp ne i32 %100, 128
br i1 %101, label %102, label %103
102: ; preds = %95
br label %213
103: ; preds = %95
%104 = load i8*, i8** %7
%105 = getelementptr inbounds i8, i8* %104, i32 1
store i8* %105, i8** %7
%106 = load i8, i8* %104
%107 = zext i8 %106 to i32
%108 = and i32 %107, 15
%109 = shl i32 %108, 12
store i32 %109, i32* %9
%110 = load i8*, i8** %7
%111 = getelementptr inbounds i8, i8* %110, i32 1
store i8* %111, i8** %7
%112 = load i8, i8* %110
%113 = zext i8 %112 to i32
%114 = and i32 %113, 63
%115 = shl i32 %114, 6
%116 = load i32, i32* %9
%117 = or i32 %116, %115
store i32 %117, i32* %9
%118 = load i8*, i8** %7
%119 = getelementptr inbounds i8, i8* %118, i32 1
store i8* %119, i8** %7
%120 = load i8, i8* %118
%121 = zext i8 %120 to i32
%122 = and i32 %121, 63
%123 = load i32, i32* %9
%124 = or i32 %123, %122
store i32 %124, i32* %9
%125 = load i32, i32* %9
%126 = icmp slt i32 %125, 2048
br i1 %126, label %127, label %128
127: ; preds = %103
br label %213
128: ; preds = %103
%129 = load i32, i32* %9
%130 = load i32*, i32** %8
%131 = getelementptr inbounds i32, i32* %130, i32 1
store i32* %131, i32** %8
store i32 %129, i32* %130
%132 = load i64, i64* %6
%133 = sub i64 %132, 3
store i64 %133, i64* %6
br label %209
134: ; preds = %77
%135 = load i8*, i8** %7
%136 = load i8, i8* %135
%137 = zext i8 %136 to i32
%138 = and i32 %137, 248
%139 = icmp eq i32 %138, 240
br i1 %139, label %140, label %207
140: ; preds = %134
%141 = load i64, i64* %6
%142 = icmp ult i64 %141, 4
br i1 %142, label %143, label %144
143: ; preds = %140
br label %213
144: ; preds = %140
%145 = load i8*, i8** %7
%146 = getelementptr inbounds i8, i8* %145, i64 1
%147 = load i8, i8* %146
%148 = zext i8 %147 to i32
%149 = and i32 %148, 192
%150 = icmp ne i32 %149, 128
br i1 %150, label %151, label %152
151: ; preds = %144
br label %213
152: ; preds = %144
%153 = load i8*, i8** %7
%154 = getelementptr inbounds i8, i8* %153, i64 2
%155 = load i8, i8* %154
%156 = zext i8 %155 to i32
%157 = and i32 %156, 192
%158 = icmp ne i32 %157, 128
br i1 %158, label %159, label %160
159: ; preds = %152
br label %213
160: ; preds = %152
%161 = load i8*, i8** %7
%162 = getelementptr inbounds i8, i8* %161, i64 3
%163 = load i8, i8* %162
%164 = zext i8 %163 to i32
%165 = and i32 %164, 192
%166 = icmp ne i32 %165, 128
br i1 %166, label %167, label %168
167: ; preds = %160
br label %213
168: ; preds = %160
%169 = load i8*, i8** %7
%170 = getelementptr inbounds i8, i8* %169, i32 1
store i8* %170, i8** %7
%171 = load i8, i8* %169
%172 = zext i8 %171 to i32
%173 = and i32 %172, 7
%174 = shl i32 %173, 18
store i32 %174, i32* %9
%175 = load i8*, i8** %7
%176 = getelementptr inbounds i8, i8* %175, i32 1
store i8* %176, i8** %7
%177 = load i8, i8* %175
%178 = zext i8 %177 to i32
%179 = and i32 %178, 63
%180 = shl i32 %179, 12
%181 = load i32, i32* %9
%182 = or i32 %181, %180
store i32 %182, i32* %9
%183 = load i8*, i8** %7
%184 = getelementptr inbounds i8, i8* %183, i32 1
store i8* %184, i8** %7
%185 = load i8, i8* %183
%186 = zext i8 %185 to i32
%187 = and i32 %186, 63
%188 = shl i32 %187, 6
%189 = load i32, i32* %9
%190 = or i32 %189, %188
store i32 %190, i32* %9
%191 = load i8*, i8** %7
%192 = getelementptr inbounds i8, i8* %191, i32 1
store i8* %192, i8** %7
%193 = load i8, i8* %191
%194 = zext i8 %193 to i32
%195 = and i32 %194, 63
%196 = load i32, i32* %9
%197 = or i32 %196, %195
store i32 %197, i32* %9
%198 = load i32, i32* %9
%199 = icmp slt i32 %198, 65536
br i1 %199, label %200, label %201
200: ; preds = %168
br label %213
201: ; preds = %168
%202 = load i32, i32* %9
%203 = load i32*, i32** %8
%204 = getelementptr inbounds i32, i32* %203, i32 1
store i32* %204, i32** %8
store i32 %202, i32* %203
%205 = load i64, i64* %6
%206 = sub i64 %205, 4
store i64 %206, i64* %6
br label %208
207: ; preds = %134
br label %213
208: ; preds = %201
br label %209
209: ; preds = %208, %128
br label %210
210: ; preds = %209, %71
br label %211
211: ; preds = %210
br label %212
212: ; preds = %211, %20
br label %12
213: ; preds = %207, %200, %167, %159, %151, %143, %127, %102, %94, %86, %70, %53, %45, %35
%214 = load i32*, i32** %8
%215 = getelementptr inbounds i32, i32* %214, i32 1
store i32* %215, i32** %8
store i32 63, i32* %214
%216 = load i8*, i8** %7
%217 = getelementptr inbounds i8, i8* %216, i32 1
store i8* %217, i8** %7
%218 = load i64, i64* %6
%219 = add i64 %218, -1
store i64 %219, i64* %6
br label %12
220: ; preds = %12
%221 = load i32*, i32** %8
%222 = load i32*, i32** %4
%223 = ptrtoint i32* %221 to i64
%224 = ptrtoint i32* %222 to i64
%225 = sub i64 %223, %224
%226 = sdiv exact i64 %225, 4
%227 = trunc i64 %226 to i32
ret i32 %227
}

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