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

/* Variables and functions */
size_t u8_toutf8(char *dest, size_t sz, const u_int32_t *src, size_t srcsz) {
  u_int32_t ch;
  size_t i = 0;
  char *dest0 = dest;
  char *dest_end = dest + sz;
  while (i < srcsz) {
    ch = src[i];
    if (ch < 0x80) {
      if (dest >= dest_end)
        break;
      *dest++ = (char)ch;
    } else if (ch < 0x800) {
      if (dest >= dest_end - 1)
        break;
      *dest++ = (ch >> 6) | 0xC0;
      *dest++ = (ch & 0x3F) | 0x80;
    } else if (ch < 0x10000) {
      if (dest >= dest_end - 2)
        break;
      *dest++ = (ch >> 12) | 0xE0;
      *dest++ = ((ch >> 6) & 0x3F) | 0x80;
      *dest++ = (ch & 0x3F) | 0x80;
    } else if (ch < 0x110000) {
      if (dest >= dest_end - 3)
        break;
      *dest++ = (ch >> 18) | 0xF0;
      *dest++ = ((ch >> 12) & 0x3F) | 0x80;
      *dest++ = ((ch >> 6) & 0x3F) | 0x80;
      *dest++ = (ch & 0x3F) | 0x80;
    }
    i++;
  }
  return (dest - dest0);
}


x86 assembly (clang, -O0):
<u8_toutf8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    133d <u8_toutf8+0x23d>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x80,-0x24(%rbp)
jge    1187 <u8_toutf8+0x87>
mov    -0x8(%rbp),%rax
cmp    -0x40(%rbp),%rax
jb     116c <u8_toutf8+0x6c>
jmp    133d <u8_toutf8+0x23d>
mov    -0x24(%rbp),%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    132c <u8_toutf8+0x22c>
cmpl   $0x800,-0x24(%rbp)
jge    11ef <u8_toutf8+0xef>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%rax
jb     11ae <u8_toutf8+0xae>
jmp    133d <u8_toutf8+0x23d>
mov    -0x24(%rbp),%eax
sar    $0x6,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    1327 <u8_toutf8+0x227>
cmpl   $0x10000,-0x24(%rbp)
jge    1278 <u8_toutf8+0x178>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    $0xfffffffffffffffe,%rcx
cmp    %rcx,%rax
jb     1216 <u8_toutf8+0x116>
jmp    133d <u8_toutf8+0x23d>
mov    -0x24(%rbp),%eax
sar    $0xc,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    1322 <u8_toutf8+0x222>
cmpl   $0x110000,-0x24(%rbp)
jge    131d <u8_toutf8+0x21d>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    $0xfffffffffffffffd,%rcx
cmp    %rcx,%rax
jb     129f <u8_toutf8+0x19f>
jmp    133d <u8_toutf8+0x23d>
mov    -0x24(%rbp),%eax
sar    $0x12,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    1322 <u8_toutf8+0x222>
jmp    1327 <u8_toutf8+0x227>
jmp    132c <u8_toutf8+0x22c>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1130 <u8_toutf8+0x30>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<u8_toutf8>:
push   %rbp
push   %rbx
mov    %rdi,%rax
test   %rcx,%rcx
je     1221 <u8_toutf8+0x121>
lea    (%rdi,%rsi,1),%r8
lea    (%rdi,%rsi,1),%r9
add    $0xfffffffffffffffd,%r9
lea    (%rdi,%rsi,1),%r10
add    $0xfffffffffffffffe,%r10
lea    (%rdi,%rsi,1),%r11
add    $0xffffffffffffffff,%r11
xor    %esi,%esi
mov    %rdi,%rax
jmp    117d <u8_toutf8+0x7d>
mov    %ebx,%ebp
shr    $0x12,%ebp
or     $0xf0,%bpl
mov    %bpl,(%rax)
mov    %ebx,%ebp
shr    $0xc,%ebp
and    $0x3f,%bpl
or     $0x80,%bpl
mov    %bpl,0x1(%rax)
mov    %ebx,%ebp
shr    $0x6,%ebp
and    $0x3f,%bpl
or     $0x80,%bpl
mov    %bpl,0x2(%rax)
and    $0x3f,%bl
or     $0x80,%bl
mov    %bl,0x3(%rax)
add    $0x4,%rax
nopl   0x0(%rax)
add    $0x1,%rsi
cmp    %rsi,%rcx
je     1221 <u8_toutf8+0x121>
mov    (%rdx,%rsi,4),%ebx
cmp    $0x7f,%ebx
jg     11a0 <u8_toutf8+0xa0>
cmp    %r8,%rax
jae    1221 <u8_toutf8+0x121>
mov    %bl,(%rax)
add    $0x1,%rax
jmp    1170 <u8_toutf8+0x70>
cs nopw 0x0(%rax,%rax,1)
cmp    $0x7ff,%ebx
ja     11d0 <u8_toutf8+0xd0>
cmp    %r11,%rax
jae    1221 <u8_toutf8+0x121>
mov    %ebx,%ebp
shr    $0x6,%ebp
or     $0xc0,%bpl
mov    %bpl,(%rax)
and    $0x3f,%bl
or     $0x80,%bl
mov    %bl,0x1(%rax)
add    $0x2,%rax
jmp    1170 <u8_toutf8+0x70>
nopl   0x0(%rax,%rax,1)
cmp    $0xffff,%ebx
ja     120c <u8_toutf8+0x10c>
cmp    %r10,%rax
jae    1221 <u8_toutf8+0x121>
mov    %ebx,%ebp
shr    $0xc,%ebp
or     $0xe0,%bpl
mov    %bpl,(%rax)
mov    %ebx,%ebp
shr    $0x6,%ebp
and    $0x3f,%bpl
or     $0x80,%bpl
mov    %bpl,0x1(%rax)
and    $0x3f,%bl
or     $0x80,%bl
mov    %bl,0x2(%rax)
add    $0x3,%rax
jmp    1170 <u8_toutf8+0x70>
cmp    $0x10ffff,%ebx
ja     1170 <u8_toutf8+0x70>
cmp    %r9,%rax
jb     1131 <u8_toutf8+0x31>
sub    %rdi,%rax
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i64 @u8_toutf8(i8* %0, i64 %1, i32* %2, i64 %3) {
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32*
%8 = alloca i64
%9 = alloca i32
%10 = alloca i64
%11 = alloca i8*
%12 = alloca i8*
store i8* %0, i8** %5
store i64 %1, i64* %6
store i32* %2, i32** %7
store i64 %3, i64* %8
store i64 0, i64* %10
%13 = load i8*, i8** %5
store i8* %13, i8** %11
%14 = load i8*, i8** %5
%15 = load i64, i64* %6
%16 = getelementptr inbounds i8, i8* %14, i64 %15
store i8* %16, i8** %12
br label %17
17: ; preds = %128, %4
%18 = load i64, i64* %10
%19 = load i64, i64* %8
%20 = icmp ult i64 %18, %19
br i1 %20, label %21, label %131
21: ; preds = %17
%22 = load i32*, i32** %7
%23 = load i64, i64* %10
%24 = getelementptr inbounds i32, i32* %22, i64 %23
%25 = load i32, i32* %24
store i32 %25, i32* %9
%26 = load i32, i32* %9
%27 = icmp slt i32 %26, 128
br i1 %27, label %28, label %38
28: ; preds = %21
%29 = load i8*, i8** %5
%30 = load i8*, i8** %12
%31 = icmp uge i8* %29, %30
br i1 %31, label %32, label %33
32: ; preds = %28
br label %131
33: ; preds = %28
%34 = load i32, i32* %9
%35 = trunc i32 %34 to i8
%36 = load i8*, i8** %5
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %5
store i8 %35, i8* %36
br label %128
38: ; preds = %21
%39 = load i32, i32* %9
%40 = icmp slt i32 %39, 2048
br i1 %40, label %41, label %60
41: ; preds = %38
%42 = load i8*, i8** %5
%43 = load i8*, i8** %12
%44 = getelementptr inbounds i8, i8* %43, i64 -1
%45 = icmp uge i8* %42, %44
br i1 %45, label %46, label %47
46: ; preds = %41
br label %131
47: ; preds = %41
%48 = load i32, i32* %9
%49 = ashr i32 %48, 6
%50 = or i32 %49, 192
%51 = trunc i32 %50 to i8
%52 = load i8*, i8** %5
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %5
store i8 %51, i8* %52
%54 = load i32, i32* %9
%55 = and i32 %54, 63
%56 = or i32 %55, 128
%57 = trunc i32 %56 to i8
%58 = load i8*, i8** %5
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %5
store i8 %57, i8* %58
br label %127
60: ; preds = %38
%61 = load i32, i32* %9
%62 = icmp slt i32 %61, 65536
br i1 %62, label %63, label %89
63: ; preds = %60
%64 = load i8*, i8** %5
%65 = load i8*, i8** %12
%66 = getelementptr inbounds i8, i8* %65, i64 -2
%67 = icmp uge i8* %64, %66
br i1 %67, label %68, label %69
68: ; preds = %63
br label %131
69: ; preds = %63
%70 = load i32, i32* %9
%71 = ashr i32 %70, 12
%72 = or i32 %71, 224
%73 = trunc i32 %72 to i8
%74 = load i8*, i8** %5
%75 = getelementptr inbounds i8, i8* %74, i32 1
store i8* %75, i8** %5
store i8 %73, i8* %74
%76 = load i32, i32* %9
%77 = ashr i32 %76, 6
%78 = and i32 %77, 63
%79 = or i32 %78, 128
%80 = trunc i32 %79 to i8
%81 = load i8*, i8** %5
%82 = getelementptr inbounds i8, i8* %81, i32 1
store i8* %82, i8** %5
store i8 %80, i8* %81
%83 = load i32, i32* %9
%84 = and i32 %83, 63
%85 = or i32 %84, 128
%86 = trunc i32 %85 to i8
%87 = load i8*, i8** %5
%88 = getelementptr inbounds i8, i8* %87, i32 1
store i8* %88, i8** %5
store i8 %86, i8* %87
br label %126
89: ; preds = %60
%90 = load i32, i32* %9
%91 = icmp slt i32 %90, 1114112
br i1 %91, label %92, label %125
92: ; preds = %89
%93 = load i8*, i8** %5
%94 = load i8*, i8** %12
%95 = getelementptr inbounds i8, i8* %94, i64 -3
%96 = icmp uge i8* %93, %95
br i1 %96, label %97, label %98
97: ; preds = %92
br label %131
98: ; preds = %92
%99 = load i32, i32* %9
%100 = ashr i32 %99, 18
%101 = or i32 %100, 240
%102 = trunc i32 %101 to i8
%103 = load i8*, i8** %5
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %5
store i8 %102, i8* %103
%105 = load i32, i32* %9
%106 = ashr i32 %105, 12
%107 = and i32 %106, 63
%108 = or i32 %107, 128
%109 = trunc i32 %108 to i8
%110 = load i8*, i8** %5
%111 = getelementptr inbounds i8, i8* %110, i32 1
store i8* %111, i8** %5
store i8 %109, i8* %110
%112 = load i32, i32* %9
%113 = ashr i32 %112, 6
%114 = and i32 %113, 63
%115 = or i32 %114, 128
%116 = trunc i32 %115 to i8
%117 = load i8*, i8** %5
%118 = getelementptr inbounds i8, i8* %117, i32 1
store i8* %118, i8** %5
store i8 %116, i8* %117
%119 = load i32, i32* %9
%120 = and i32 %119, 63
%121 = or i32 %120, 128
%122 = trunc i32 %121 to i8
%123 = load i8*, i8** %5
%124 = getelementptr inbounds i8, i8* %123, i32 1
store i8* %124, i8** %5
store i8 %122, i8* %123
br label %125
125: ; preds = %98, %89
br label %126
126: ; preds = %125, %69
br label %127
127: ; preds = %126, %47
br label %128
128: ; preds = %127, %33
%129 = load i64, i64* %10
%130 = add i64 %129, 1
store i64 %130, i64* %10
br label %17
131: ; preds = %97, %68, %46, %32, %17
%132 = load i8*, i8** %5
%133 = load i8*, i8** %11
%134 = ptrtoint i8* %132 to i64
%135 = ptrtoint i8* %133 to i64
%136 = sub i64 %134, %135
ret i64 %136
}

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