#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 /*<<< orphan*/ reallocMsg(void **, int);
int strAppendUTF8(long codepoint, unsigned char **nfdString, int *retval) {
  int nfdLength = 0;
  if (retval) {
    nfdLength = *retval;
  }
  if (codepoint < 0x80) {
    reallocMsg((void **)nfdString, nfdLength + 1);
    (*nfdString)[nfdLength++] = codepoint;
  } else if (codepoint < 0x800) {
    reallocMsg((void **)nfdString, nfdLength + 2);
    (*nfdString)[nfdLength++] = (codepoint >> 6) + 0xC0;
    (*nfdString)[nfdLength++] = (codepoint & 0x3F) + 0x80;
  } else if (codepoint < 0x10000) {
    reallocMsg((void **)nfdString, nfdLength + 3);
    (*nfdString)[nfdLength++] = (codepoint >> 12) + 0xE0;
    (*nfdString)[nfdLength++] = ((codepoint >> 6) & 0x3F) + 0x80;
    (*nfdString)[nfdLength++] = (codepoint & 0x3F) + 0x80;
  } else {
    reallocMsg((void **)nfdString, nfdLength + 4);
    (*nfdString)[nfdLength++] = (codepoint >> 18) + 0xF0;
    (*nfdString)[nfdLength++] = ((codepoint >> 12) & 0x3F) + 0x80;
    (*nfdString)[nfdLength++] = ((codepoint >> 6) & 0x3F) + 0x80;
    (*nfdString)[nfdLength++] = (codepoint & 0x3F) + 0x80;
  }
  if (retval) {
    *retval = nfdLength;
  }
  return 1;
}


x86 assembly (clang, -O0):
<strAppendUTF8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     113f <strAppendUTF8+0x2f>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
cmpq   $0x80,-0x8(%rbp)
jge    117f <strAppendUTF8+0x6f>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
call   1030 <reallocMsg@plt>
mov    -0x8(%rbp),%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1350 <strAppendUTF8+0x240>
cmpq   $0x800,-0x8(%rbp)
jge    11f1 <strAppendUTF8+0xe1>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x2,%esi
call   1030 <reallocMsg@plt>
mov    -0x8(%rbp),%rax
sar    $0x6,%rax
add    $0xc0,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    134b <strAppendUTF8+0x23b>
cmpq   $0x10000,-0x8(%rbp)
jge    128f <strAppendUTF8+0x17f>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x3,%esi
call   1030 <reallocMsg@plt>
mov    -0x8(%rbp),%rax
sar    $0xc,%rax
add    $0xe0,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
sar    $0x6,%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1346 <strAppendUTF8+0x236>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x4,%esi
call   1030 <reallocMsg@plt>
mov    -0x8(%rbp),%rax
sar    $0x12,%rax
add    $0xf0,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
sar    $0xc,%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
sar    $0x6,%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
and    $0x3f,%rax
add    $0x80,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    134b <strAppendUTF8+0x23b>
jmp    1350 <strAppendUTF8+0x240>
cmpq   $0x0,-0x18(%rbp)
je     1364 <strAppendUTF8+0x254>
mov    -0x1c(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    $0x1,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strAppendUTF8>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
test   %rdx,%rdx
je     1143 <strAppendUTF8+0x33>
mov    (%r14),%ebp
cmp    $0x7f,%rbx
jg     114b <strAppendUTF8+0x3b>
lea    0x1(%rbp),%r12d
mov    %r15,%rdi
mov    %r12d,%esi
call   1030 <reallocMsg@plt>
jmp    120c <strAppendUTF8+0xfc>
xor    %ebp,%ebp
cmp    $0x7f,%rbx
jle    112f <strAppendUTF8+0x1f>
cmp    $0x7ff,%rbx
ja     117d <strAppendUTF8+0x6d>
lea    0x2(%rbp),%r12d
mov    %r15,%rdi
mov    %r12d,%esi
call   1030 <reallocMsg@plt>
mov    %rbx,%rax
shr    $0x6,%rax
add    $0xc0,%al
mov    (%r15),%rcx
movslq %ebp,%rdx
add    $0x1,%ebp
mov    %al,(%rcx,%rdx,1)
jmp    1206 <strAppendUTF8+0xf6>
cmp    $0xffff,%rbx
ja     11be <strAppendUTF8+0xae>
lea    0x3(%rbp),%r12d
mov    %r15,%rdi
mov    %r12d,%esi
call   1030 <reallocMsg@plt>
mov    %rbx,%rax
shr    $0xc,%rax
add    $0xe0,%al
mov    (%r15),%rcx
movslq %ebp,%rdx
mov    %al,(%rcx,%rdx,1)
mov    %rbx,%rax
shr    $0x6,%rax
and    $0x3f,%al
or     $0x80,%al
mov    (%r15),%rcx
add    $0x2,%ebp
mov    %al,0x1(%rdx,%rcx,1)
jmp    1206 <strAppendUTF8+0xf6>
lea    0x4(%rbp),%r12d
mov    %r15,%rdi
mov    %r12d,%esi
call   1030 <reallocMsg@plt>
mov    %rbx,%rax
shr    $0x12,%rax
add    $0xf0,%al
mov    (%r15),%rcx
movslq %ebp,%rdx
mov    %al,(%rcx,%rdx,1)
mov    %rbx,%rax
shr    $0xc,%rax
and    $0x3f,%al
or     $0x80,%al
mov    (%r15),%rcx
mov    %al,0x1(%rdx,%rcx,1)
mov    %rbx,%rax
shr    $0x6,%rax
and    $0x3f,%al
or     $0x80,%al
mov    (%r15),%rcx
lea    0x3(%rdx),%ebp
mov    %al,0x2(%rdx,%rcx,1)
and    $0x3f,%bl
or     $0x80,%bl
mov    (%r15),%rax
movslq %ebp,%rcx
mov    %bl,(%rax,%rcx,1)
test   %r14,%r14
je     121d <strAppendUTF8+0x10d>
mov    %r12d,(%r14)
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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