void append_utf8_char(char *p_string, int *x_index, int p_char) {
  if (p_char < 128) {
    p_string[*x_index] = p_char;
    (*x_index) += 1;
  } else if (p_char >= 0x10000) {
    p_string[*x_index] = 0xf0 | (p_char >> 18);
    p_string[*x_index + 1] = 0x80 | ((p_char >> 12) & 0x3f);
    p_string[*x_index + 2] = 0x80 | ((p_char >> 6) & 0x3f);
    p_string[*x_index + 3] = 0x80 | ((p_char >> 0) & 0x3f);
    (*x_index) += 4;
  } else if (p_char >= 0x0800) {
    p_string[*x_index] = 0xe0 | (p_char >> 12);
    p_string[*x_index + 1] = 0x80 | ((p_char >> 6) & 0x3f);
    p_string[*x_index + 2] = 0x80 | ((p_char >> 0) & 0x3f);
    (*x_index) += 3;
  } else {
    p_string[*x_index] = 0xc0 | (p_char >> 6);
    p_string[*x_index + 1] = 0x80 | ((p_char >> 0) & 0x3f);
    (*x_index) += 2;
  }
}


x86 assembly (clang, -O0):
<append_utf8_char>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    113f <append_utf8_char+0x3f>
mov    -0x14(%rbp),%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    12b1 <append_utf8_char+0x1b1>
cmpl   $0x10000,-0x14(%rbp)
jl     11e0 <append_utf8_char+0xe0>
mov    -0x14(%rbp),%eax
sar    $0x12,%eax
or     $0xf0,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0x0,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x4,%ecx
mov    %ecx,(%rax)
jmp    12ac <append_utf8_char+0x1ac>
cmpl   $0x800,-0x14(%rbp)
jl     125e <append_utf8_char+0x15e>
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
or     $0xe0,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0x0,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x3,%ecx
mov    %ecx,(%rax)
jmp    12a7 <append_utf8_char+0x1a7>
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
or     $0xc0,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sar    $0x0,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x2,%ecx
mov    %ecx,(%rax)
jmp    12ac <append_utf8_char+0x1ac>
jmp    12b1 <append_utf8_char+0x1b1>
pop    %rbp
ret

x86 assembly (clang, -O2):
<append_utf8_char>:
cmp    $0x7f,%edx
jg     1111 <append_utf8_char+0x11>
mov    (%rsi),%eax
mov    $0x1,%ecx
jmp    11a8 <append_utf8_char+0xa8>
mov    %edx,%eax
cmp    $0x10000,%edx
jb     1158 <append_utf8_char+0x58>
shr    $0x12,%eax
or     $0xf0,%al
movslq (%rsi),%rcx
mov    %al,(%rdi,%rcx,1)
mov    %edx,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
movslq (%rsi),%rcx
mov    %al,0x1(%rcx,%rdi,1)
mov    %edx,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
movslq (%rsi),%rcx
mov    %al,0x2(%rcx,%rdi,1)
and    $0x3f,%dl
or     $0x80,%dl
mov    (%rsi),%eax
add    $0x3,%eax
mov    $0x4,%ecx
jmp    11a8 <append_utf8_char+0xa8>
cmp    $0x800,%edx
jb     118d <append_utf8_char+0x8d>
shr    $0xc,%eax
or     $0xe0,%al
movslq (%rsi),%rcx
mov    %al,(%rdi,%rcx,1)
mov    %edx,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
movslq (%rsi),%rcx
mov    %al,0x1(%rcx,%rdi,1)
and    $0x3f,%dl
or     $0x80,%dl
mov    (%rsi),%eax
add    $0x2,%eax
mov    $0x3,%ecx
jmp    11a8 <append_utf8_char+0xa8>
shr    $0x6,%eax
or     $0xc0,%al
movslq (%rsi),%rcx
mov    %al,(%rdi,%rcx,1)
and    $0x3f,%dl
or     $0x80,%dl
mov    (%rsi),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltq
mov    %dl,(%rdi,%rax,1)
add    %ecx,(%rsi)
ret

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

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