#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 /*<<< orphan*/ utf8;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
short vktor_unicode_cp_to_utf8(unsigned short cp, unsigned char *utf8) {
  short len = 0;
  assert(sizeof(utf8) >= 4);
  assert(!(cp >= 0xd800 && cp <= 0xdbff));
  if (cp <= 0x7f) {
    utf8[0] = (unsigned char)cp;
    len = 1;
  } else if (cp <= 0x7ff) {
    utf8[0] = 0xc0 | (cp >> 6);
    utf8[1] = 0x80 | (cp & 0x3f);
    len = 2;
  } else if ((cp >= 0xdc99 && cp <= 0xdfff)) {
    return 0;
  } else {
    utf8[0] = (unsigned char)0xe0 | (cp >> 12);
    utf8[1] = (unsigned char)0x80 | ((cp >> 6) & 0x3f);
    utf8[2] = (unsigned char)0x80 | (cp & 0x3f);
    len = 3;
  }
  utf8[len] = '\0';
  return len;
}


x86 assembly (clang, -O0):
<vktor_unicode_cp_to_utf8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %di,%ax
mov    %ax,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movw   $0x0,-0x12(%rbp)
mov    $0x1,%edi
call   1030 <assert@plt>
movzwl -0x4(%rbp),%ecx
xor    %eax,%eax
cmp    $0xd800,%ecx
mov    %al,-0x13(%rbp)
jl     1157 <vktor_unicode_cp_to_utf8+0x47>
movzwl -0x4(%rbp),%eax
cmp    $0xdbff,%eax
setle  %al
mov    %al,-0x13(%rbp)
mov    -0x13(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movzwl -0x4(%rbp),%eax
cmp    $0x7f,%eax
jg     118a <vktor_unicode_cp_to_utf8+0x7a>
mov    -0x4(%rbp),%ax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movw   $0x1,-0x12(%rbp)
jmp    1247 <vktor_unicode_cp_to_utf8+0x137>
movzwl -0x4(%rbp),%eax
cmp    $0x7ff,%eax
jg     11cd <vktor_unicode_cp_to_utf8+0xbd>
movzwl -0x4(%rbp),%eax
sar    $0x6,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movzwl -0x4(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
movw   $0x2,-0x12(%rbp)
jmp    1242 <vktor_unicode_cp_to_utf8+0x132>
movzwl -0x4(%rbp),%eax
cmp    $0xdc99,%eax
jl     11f6 <vktor_unicode_cp_to_utf8+0xe6>
movzwl -0x4(%rbp),%eax
cmp    $0xdfff,%eax
jg     11f6 <vktor_unicode_cp_to_utf8+0xe6>
movw   $0x0,-0x2(%rbp)
jmp    125c <vktor_unicode_cp_to_utf8+0x14c>
movzwl -0x4(%rbp),%eax
sar    $0xc,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movzwl -0x4(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
movzwl -0x4(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
movw   $0x3,-0x12(%rbp)
jmp    1242 <vktor_unicode_cp_to_utf8+0x132>
jmp    1247 <vktor_unicode_cp_to_utf8+0x137>
mov    -0x10(%rbp),%rax
movswq -0x12(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x12(%rbp),%ax
mov    %ax,-0x2(%rbp)
movswl -0x2(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vktor_unicode_cp_to_utf8>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %edi,%ebx
mov    $0x1,%edi
call   1030 <assert@plt>
mov    %ebx,%eax
and    $0xfc00,%eax
xor    %edi,%edi
cmp    $0xd800,%eax
setne  %dil
call   1030 <assert@plt>
cmp    $0x7f,%bx
ja     1149 <vktor_unicode_cp_to_utf8+0x39>
mov    %bl,(%r14)
mov    $0x1,%ax
jmp    11a6 <vktor_unicode_cp_to_utf8+0x96>
movzwl %bx,%eax
cmp    $0x7ff,%eax
ja     116d <vktor_unicode_cp_to_utf8+0x5d>
mov    %ebx,%eax
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%r14)
and    $0x3f,%bl
or     $0x80,%bl
mov    %bl,0x1(%r14)
mov    $0x2,%ax
jmp    11a6 <vktor_unicode_cp_to_utf8+0x96>
lea    0x2367(%rbx),%ecx
movzwl %cx,%ecx
cmp    $0x367,%ecx
jae    1182 <vktor_unicode_cp_to_utf8+0x72>
xor    %eax,%eax
jmp    11ae <vktor_unicode_cp_to_utf8+0x9e>
mov    %eax,%ecx
shr    $0xc,%ecx
or     $0xe0,%cl
mov    %cl,(%r14)
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%r14)
and    $0x3f,%bl
or     $0x80,%bl
mov    %bl,0x2(%r14)
mov    $0x3,%ax
movzwl %ax,%ecx
movb   $0x0,(%r14,%rcx,1)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define signext i16 @vktor_unicode_cp_to_utf8(i16 zeroext %0, i8* %1) {
%3 = alloca i16
%4 = alloca i16
%5 = alloca i8*
%6 = alloca i16
store i16 %0, i16* %4
store i8* %1, i8** %5
store i16 0, i16* %6
%7 = call i32 @assert(i32 1)
%8 = load i16, i16* %4
%9 = zext i16 %8 to i32
%10 = icmp sge i32 %9, 55296
br i1 %10, label %11, label %15
11: ; preds = %2
%12 = load i16, i16* %4
%13 = zext i16 %12 to i32
%14 = icmp sle i32 %13, 56319
br label %15
15: ; preds = %11, %2
%16 = phi i1 [ false, %2 ], [ %14, %11 ]
%17 = xor i1 %16, true
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = load i16, i16* %4
%21 = zext i16 %20 to i32
%22 = icmp sle i32 %21, 127
br i1 %22, label %23, label %28
23: ; preds = %15
%24 = load i16, i16* %4
%25 = trunc i16 %24 to i8
%26 = load i8*, i8** %5
%27 = getelementptr inbounds i8, i8* %26, i64 0
store i8 %25, i8* %27
store i16 1, i16* %6
br label %81
28: ; preds = %15
%29 = load i16, i16* %4
%30 = zext i16 %29 to i32
%31 = icmp sle i32 %30, 2047
br i1 %31, label %32, label %47
32: ; preds = %28
%33 = load i16, i16* %4
%34 = zext i16 %33 to i32
%35 = ashr i32 %34, 6
%36 = or i32 192, %35
%37 = trunc i32 %36 to i8
%38 = load i8*, i8** %5
%39 = getelementptr inbounds i8, i8* %38, i64 0
store i8 %37, i8* %39
%40 = load i16, i16* %4
%41 = zext i16 %40 to i32
%42 = and i32 %41, 63
%43 = or i32 128, %42
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %5
%46 = getelementptr inbounds i8, i8* %45, i64 1
store i8 %44, i8* %46
store i16 2, i16* %6
br label %80
47: ; preds = %28
%48 = load i16, i16* %4
%49 = zext i16 %48 to i32
%50 = icmp sge i32 %49, 56473
br i1 %50, label %51, label %56
51: ; preds = %47
%52 = load i16, i16* %4
%53 = zext i16 %52 to i32
%54 = icmp sle i32 %53, 57343
br i1 %54, label %55, label %56
55: ; preds = %51
store i16 0, i16* %3
br label %87
56: ; preds = %51, %47
%57 = load i16, i16* %4
%58 = zext i16 %57 to i32
%59 = ashr i32 %58, 12
%60 = or i32 224, %59
%61 = trunc i32 %60 to i8
%62 = load i8*, i8** %5
%63 = getelementptr inbounds i8, i8* %62, i64 0
store i8 %61, i8* %63
%64 = load i16, i16* %4
%65 = zext i16 %64 to i32
%66 = ashr i32 %65, 6
%67 = and i32 %66, 63
%68 = or i32 128, %67
%69 = trunc i32 %68 to i8
%70 = load i8*, i8** %5
%71 = getelementptr inbounds i8, i8* %70, i64 1
store i8 %69, i8* %71
%72 = load i16, i16* %4
%73 = zext i16 %72 to i32
%74 = and i32 %73, 63
%75 = or i32 128, %74
%76 = trunc i32 %75 to i8
%77 = load i8*, i8** %5
%78 = getelementptr inbounds i8, i8* %77, i64 2
store i8 %76, i8* %78
store i16 3, i16* %6
br label %79
79: ; preds = %56
br label %80
80: ; preds = %79, %32
br label %81
81: ; preds = %80, %23
%82 = load i8*, i8** %5
%83 = load i16, i16* %6
%84 = sext i16 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
store i8 0, i8* %85
%86 = load i16, i16* %6
store i16 %86, i16* %3
br label %87
87: ; preds = %81, %55
%88 = load i16, i16* %3
ret i16 %88
}

LLVM IR (-O2):
define signext i16 @vktor_unicode_cp_to_utf8(i16 zeroext %0, i8* nocapture writeonly %1) {
%3 = tail call i32 @assert(i32 1)
%4 = and i16 %0, -1024
%5 = icmp ne i16 %4, -10240
%6 = zext i1 %5 to i32
%7 = tail call i32 @assert(i32 %6)
%8 = icmp ult i16 %0, 128
br i1 %8, label %9, label %11
9: ; preds = %2
%10 = trunc i16 %0 to i8
store i8 %10, i8* %1
br label %37
11: ; preds = %2
%12 = icmp ult i16 %0, 2048
br i1 %12, label %13, label %21
13: ; preds = %11
%14 = lshr i16 %0, 6
%15 = trunc i16 %14 to i8
%16 = or i8 %15, -64
store i8 %16, i8* %1
%17 = trunc i16 %0 to i8
%18 = and i8 %17, 63
%19 = or i8 %18, -128
%20 = getelementptr inbounds i8, i8* %1, i64 1
store i8 %19, i8* %20
br label %37
21: ; preds = %11
%22 = add i16 %0, 9063
%23 = icmp ult i16 %22, 871
br i1 %23, label %41, label %24
24: ; preds = %21
%25 = lshr i16 %0, 12
%26 = trunc i16 %25 to i8
%27 = or i8 %26, -32
store i8 %27, i8* %1
%28 = lshr i16 %0, 6
%29 = trunc i16 %28 to i8
%30 = and i8 %29, 63
%31 = or i8 %30, -128
%32 = getelementptr inbounds i8, i8* %1, i64 1
store i8 %31, i8* %32
%33 = trunc i16 %0 to i8
%34 = and i8 %33, 63
%35 = or i8 %34, -128
%36 = getelementptr inbounds i8, i8* %1, i64 2
store i8 %35, i8* %36
br label %37
37: ; preds = %13, %24, %9
%38 = phi i16 [ 1, %9 ], [ 2, %13 ], [ 3, %24 ]
%39 = zext i16 %38 to i64
%40 = getelementptr inbounds i8, i8* %1, i64 %39
store i8 0, i8* %40
br label %41
41: ; preds = %21, %37
%42 = phi i16 [ %38, %37 ], [ 0, %21 ]
ret i16 %42
}