int mc_utf8_from_unicode(char *p, int uc) {
  if (uc <= 0x7f) {
    *p = (char)uc;
    return 1;
  } else if (uc <= 0x7ff) {
    *p++ = 0xc0 | ((uc & 0x7c0) >> 6);
    *p = 0x80 | (uc & 0x3f);
    return 2;
  } else if (uc <= 0xffff) {
    *p++ = 0xe0 | ((uc & 0xf000) >> 12);
    *p++ = 0x80 | ((uc & 0xfc0) >> 6);
    *p = 0x80 | (uc & 0x3f);
    return 3;
  } else {
    *p++ = 0xf0 | ((uc & 0x1c0000) >> 18);
    *p++ = 0x80 | ((uc & 0x3f000) >> 12);
    *p++ = 0x80 | ((uc & 0xfc0) >> 6);
    *p = 0x80 | (uc & 0x3f);
    return 4;
  }
  return 0;
}


x86 assembly (clang, -O0):
<mc_utf8_from_unicode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x7f,-0x14(%rbp)
jg     112c <mc_utf8_from_unicode+0x2c>
mov    -0x14(%rbp),%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1270 <mc_utf8_from_unicode+0x170>
cmpl   $0x7ff,-0x14(%rbp)
jg     117b <mc_utf8_from_unicode+0x7b>
mov    -0x14(%rbp),%eax
and    $0x7c0,%eax
sar    $0x6,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x2,-0x4(%rbp)
jmp    1270 <mc_utf8_from_unicode+0x170>
cmpl   $0xffff,-0x14(%rbp)
jg     11ed <mc_utf8_from_unicode+0xed>
mov    -0x14(%rbp),%eax
and    $0xf000,%eax
sar    $0xc,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0xfc0,%eax
sar    $0x6,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x3,-0x4(%rbp)
jmp    1270 <mc_utf8_from_unicode+0x170>
mov    -0x14(%rbp),%eax
and    $0x1c0000,%eax
sar    $0x12,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f000,%eax
sar    $0xc,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0xfc0,%eax
sar    $0x6,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x4,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mc_utf8_from_unicode>:
cmp    $0x7f,%esi
jg     110e <mc_utf8_from_unicode+0xe>
mov    %sil,(%rdi)
mov    $0x1,%eax
ret
mov    %esi,%eax
cmp    $0x7ff,%esi
ja     1131 <mc_utf8_from_unicode+0x31>
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x1(%rdi)
mov    $0x2,%eax
ret
cmp    $0xffff,%esi
ja     115e <mc_utf8_from_unicode+0x5e>
shr    $0xc,%eax
or     $0xe0,%al
mov    %al,(%rdi)
mov    %esi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x2(%rdi)
mov    $0x3,%eax
ret
shr    $0x12,%eax
and    $0x7,%al
or     $0xf0,%al
mov    %al,(%rdi)
mov    %esi,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rdi)
mov    %esi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x2(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x3(%rdi)
mov    $0x4,%eax
ret

LLVM IR (-O0):
define i32 @mc_utf8_from_unicode(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
%6 = load i32, i32* %5
%7 = icmp sle i32 %6, 127
br i1 %7, label %8, label %12
8: ; preds = %2
%9 = load i32, i32* %5
%10 = trunc i32 %9 to i8
%11 = load i8*, i8** %4
store i8 %10, i8* %11
store i32 1, i32* %3
br label %78
12: ; preds = %2
%13 = load i32, i32* %5
%14 = icmp sle i32 %13, 2047
br i1 %14, label %15, label %28
15: ; preds = %12
%16 = load i32, i32* %5
%17 = and i32 %16, 1984
%18 = ashr i32 %17, 6
%19 = or i32 192, %18
%20 = trunc i32 %19 to i8
%21 = load i8*, i8** %4
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %4
store i8 %20, i8* %21
%23 = load i32, i32* %5
%24 = and i32 %23, 63
%25 = or i32 128, %24
%26 = trunc i32 %25 to i8
%27 = load i8*, i8** %4
store i8 %26, i8* %27
store i32 2, i32* %3
br label %78
28: ; preds = %12
%29 = load i32, i32* %5
%30 = icmp sle i32 %29, 65535
br i1 %30, label %31, label %51
31: ; preds = %28
%32 = load i32, i32* %5
%33 = and i32 %32, 61440
%34 = ashr i32 %33, 12
%35 = or i32 224, %34
%36 = trunc i32 %35 to i8
%37 = load i8*, i8** %4
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %4
store i8 %36, i8* %37
%39 = load i32, i32* %5
%40 = and i32 %39, 4032
%41 = ashr i32 %40, 6
%42 = or i32 128, %41
%43 = trunc i32 %42 to i8
%44 = load i8*, i8** %4
%45 = getelementptr inbounds i8, i8* %44, i32 1
store i8* %45, i8** %4
store i8 %43, i8* %44
%46 = load i32, i32* %5
%47 = and i32 %46, 63
%48 = or i32 128, %47
%49 = trunc i32 %48 to i8
%50 = load i8*, i8** %4
store i8 %49, i8* %50
store i32 3, i32* %3
br label %78
51: ; preds = %28
%52 = load i32, i32* %5
%53 = and i32 %52, 1835008
%54 = ashr i32 %53, 18
%55 = or i32 240, %54
%56 = trunc i32 %55 to i8
%57 = load i8*, i8** %4
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %4
store i8 %56, i8* %57
%59 = load i32, i32* %5
%60 = and i32 %59, 258048
%61 = ashr i32 %60, 12
%62 = or i32 128, %61
%63 = trunc i32 %62 to i8
%64 = load i8*, i8** %4
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %4
store i8 %63, i8* %64
%66 = load i32, i32* %5
%67 = and i32 %66, 4032
%68 = ashr i32 %67, 6
%69 = or i32 128, %68
%70 = trunc i32 %69 to i8
%71 = load i8*, i8** %4
%72 = getelementptr inbounds i8, i8* %71, i32 1
store i8* %72, i8** %4
store i8 %70, i8* %71
%73 = load i32, i32* %5
%74 = and i32 %73, 63
%75 = or i32 128, %74
%76 = trunc i32 %75 to i8
%77 = load i8*, i8** %4
store i8 %76, i8* %77
store i32 4, i32* %3
br label %78
78: ; preds = %51, %31, %15, %8
%79 = load i32, i32* %3
ret i32 %79
}

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