#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 */
size_t utf8_encode_unichar(char *out_utf8, uint32_t g) {
  if (g < (1 << 7)) {
    if (out_utf8)
      out_utf8[0] = g & 0x7f;
    return 1;
  } else if (g < (1 << 11)) {
    if (out_utf8) {
      out_utf8[0] = 0xc0 | ((g >> 6) & 0x1f);
      out_utf8[1] = 0x80 | (g & 0x3f);
    }
    return 2;
  } else if (g < (1 << 16)) {
    if (out_utf8) {
      out_utf8[0] = 0xe0 | ((g >> 12) & 0x0f);
      out_utf8[1] = 0x80 | ((g >> 6) & 0x3f);
      out_utf8[2] = 0x80 | (g & 0x3f);
    }
    return 3;
  } else if (g < (1 << 21)) {
    if (out_utf8) {
      out_utf8[0] = 0xf0 | ((g >> 18) & 0x07);
      out_utf8[1] = 0x80 | ((g >> 12) & 0x3f);
      out_utf8[2] = 0x80 | ((g >> 6) & 0x3f);
      out_utf8[3] = 0x80 | (g & 0x3f);
    }
    return 4;
  } else {
    return 0;
  }
}


x86 assembly (clang, -O0):
<utf8_encode_unichar>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    113e <utf8_encode_unichar+0x3e>
cmpq   $0x0,-0x10(%rbp)
je     1131 <utf8_encode_unichar+0x31>
mov    -0x14(%rbp),%eax
and    $0x7f,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movq   $0x1,-0x8(%rbp)
jmp    1278 <utf8_encode_unichar+0x178>
cmpl   $0x800,-0x14(%rbp)
jge    118d <utf8_encode_unichar+0x8d>
cmpq   $0x0,-0x10(%rbp)
je     1180 <utf8_encode_unichar+0x80>
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x1f,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
movq   $0x2,-0x8(%rbp)
jmp    1278 <utf8_encode_unichar+0x178>
cmpl   $0x10000,-0x14(%rbp)
jge    11f3 <utf8_encode_unichar+0xf3>
cmpq   $0x0,-0x10(%rbp)
je     11e6 <utf8_encode_unichar+0xe6>
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
and    $0xf,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
movq   $0x3,-0x8(%rbp)
jmp    1278 <utf8_encode_unichar+0x178>
cmpl   $0x200000,-0x14(%rbp)
jge    1270 <utf8_encode_unichar+0x170>
cmpq   $0x0,-0x10(%rbp)
je     1263 <utf8_encode_unichar+0x163>
mov    -0x14(%rbp),%eax
sar    $0x12,%eax
and    $0x7,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x3(%rax)
movq   $0x4,-0x8(%rbp)
jmp    1278 <utf8_encode_unichar+0x178>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_encode_unichar>:
cmp    $0x7f,%esi
jg     111b <utf8_encode_unichar+0x1b>
mov    $0x1,%eax
test   %rdi,%rdi
je     11c3 <utf8_encode_unichar+0xc3>
and    $0x7f,%sil
mov    %sil,(%rdi)
ret
cmp    $0x7ff,%esi
ja     1148 <utf8_encode_unichar+0x48>
mov    $0x2,%eax
test   %rdi,%rdi
je     11c3 <utf8_encode_unichar+0xc3>
mov    %esi,%ecx
shr    $0x6,%ecx
or     $0xc0,%cl
mov    %cl,(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x1(%rdi)
ret
cmp    $0xffff,%esi
ja     117f <utf8_encode_unichar+0x7f>
mov    $0x3,%eax
test   %rdi,%rdi
je     11c3 <utf8_encode_unichar+0xc3>
mov    %esi,%ecx
shr    $0xc,%ecx
or     $0xe0,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x2(%rdi)
ret
cmp    $0x1fffff,%esi
ja     11c4 <utf8_encode_unichar+0xc4>
mov    $0x4,%eax
test   %rdi,%rdi
je     11c3 <utf8_encode_unichar+0xc3>
mov    %esi,%ecx
shr    $0x12,%ecx
or     $0xf0,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x2(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x3(%rdi)
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i64 @utf8_encode_unichar(i8* writeonly %0, i32 %1) {
%3 = icmp slt i32 %1, 128
br i1 %3, label %4, label %9
4: ; preds = %2
%5 = icmp eq i8* %0, null
br i1 %5, label %60, label %6
6: ; preds = %4
%7 = trunc i32 %1 to i8
%8 = and i8 %7, 127
store i8 %8, i8* %0
br label %60
9: ; preds = %2
%10 = icmp ult i32 %1, 2048
br i1 %10, label %11, label %21
11: ; preds = %9
%12 = icmp eq i8* %0, null
br i1 %12, label %60, label %13
13: ; preds = %11
%14 = lshr i32 %1, 6
%15 = trunc i32 %14 to i8
%16 = or i8 %15, -64
store i8 %16, i8* %0
%17 = trunc i32 %1 to i8
%18 = and i8 %17, 63
%19 = or i8 %18, -128
%20 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %19, i8* %20
br label %60
21: ; preds = %9
%22 = icmp ult i32 %1, 65536
br i1 %22, label %23, label %38
23: ; preds = %21
%24 = icmp eq i8* %0, null
br i1 %24, label %60, label %25
25: ; preds = %23
%26 = lshr i32 %1, 12
%27 = trunc i32 %26 to i8
%28 = or i8 %27, -32
store i8 %28, i8* %0
%29 = lshr i32 %1, 6
%30 = trunc i32 %29 to i8
%31 = and i8 %30, 63
%32 = or i8 %31, -128
%33 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %32, i8* %33
%34 = trunc i32 %1 to i8
%35 = and i8 %34, 63
%36 = or i8 %35, -128
%37 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %36, i8* %37
br label %60
38: ; preds = %21
%39 = icmp ult i32 %1, 2097152
br i1 %39, label %40, label %60
40: ; preds = %38
%41 = icmp eq i8* %0, null
br i1 %41, label %60, label %42
42: ; preds = %40
%43 = lshr i32 %1, 18
%44 = trunc i32 %43 to i8
%45 = or i8 %44, -16
store i8 %45, i8* %0
%46 = lshr i32 %1, 12
%47 = trunc i32 %46 to i8
%48 = and i8 %47, 63
%49 = or i8 %48, -128
%50 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %49, i8* %50
%51 = lshr i32 %1, 6
%52 = trunc i32 %51 to i8
%53 = and i8 %52, 63
%54 = or i8 %53, -128
%55 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %54, i8* %55
%56 = trunc i32 %1 to i8
%57 = and i8 %56, 63
%58 = or i8 %57, -128
%59 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %58, i8* %59
br label %60
60: ; preds = %38, %40, %42, %23, %25, %11, %13, %4, %6
%61 = phi i64 [ 1, %6 ], [ 1, %4 ], [ 2, %13 ], [ 2, %11 ], [ 3, %25 ], [ 3, %23 ], [ 4, %42 ], [ 4, %40 ], [ 0, %38 ]
ret i64 %61
}