int ucs2utf(unsigned int i, unsigned char *buf) {
  unsigned char *p = buf;
  if (i < 0x80) {
    *p++ = i;
  } else {
    if (i < 0x800) {
      *p++ = (i >> 6) | 0xc0;
    } else {
      if (i < 0x00010000) {
        *p++ = (i >> 12) | 0xe0;
      } else {
        if (i < 0x00200000) {
          *p++ = (i >> 18) | 0xf0;
        } else {
          if (i < 0x04000000) {
            *p++ = (i >> 24) | 0xf8;
          } else if (i < 0x80000000) {
            *p++ = (i >> 30) | 0xfc;
            *p++ = ((i >> 24) & 0x3f) | 0x80;
          }
          *p++ = ((i >> 18) & 0x3f) | 0x80;
        }
        *p++ = ((i >> 12) & 0x3f) | 0x80;
      }
      *p++ = ((i >> 6) & 0x3f) | 0x80;
    }
    *p++ = (0x3f & i) | 0x80;
  }
  *p = '\0';
  return (p - buf);
}


x86 assembly (clang, -O0):
<ucs2utf>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x80,-0x4(%rbp)
jae    113b <ucs2utf+0x3b>
mov    -0x4(%rbp),%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    12cd <ucs2utf+0x1cd>
cmpl   $0x800,-0x4(%rbp)
jae    116b <ucs2utf+0x6b>
mov    -0x4(%rbp),%eax
shr    $0x6,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    12af <ucs2utf+0x1af>
cmpl   $0x10000,-0x4(%rbp)
jae    119b <ucs2utf+0x9b>
mov    -0x4(%rbp),%eax
shr    $0xc,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    128e <ucs2utf+0x18e>
cmpl   $0x200000,-0x4(%rbp)
jae    11cb <ucs2utf+0xcb>
mov    -0x4(%rbp),%eax
shr    $0x12,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    126d <ucs2utf+0x16d>
cmpl   $0x4000000,-0x4(%rbp)
jae    11fb <ucs2utf+0xfb>
mov    -0x4(%rbp),%eax
shr    $0x18,%eax
or     $0xf8,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    124c <ucs2utf+0x14c>
cmpl   $0x80000000,-0x4(%rbp)
jae    1247 <ucs2utf+0x147>
mov    -0x4(%rbp),%eax
shr    $0x1e,%eax
or     $0xfc,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
shr    $0x18,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    124c <ucs2utf+0x14c>
mov    -0x4(%rbp),%eax
shr    $0x12,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
shr    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
shr    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ucs2utf>:
cmp    $0x7f,%edi
ja     1111 <ucs2utf+0x11>
lea    0x1(%rsi),%rax
mov    %dil,(%rsi)
jmp    11ce <ucs2utf+0xce>
cmp    $0x7ff,%edi
ja     112a <ucs2utf+0x2a>
mov    %edi,%eax
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%rsi)
mov    %rsi,%rax
jmp    11be <ucs2utf+0xbe>
cmp    $0xffff,%edi
ja     1142 <ucs2utf+0x42>
mov    %edi,%ecx
shr    $0xc,%ecx
or     $0xe0,%cl
lea    0x1(%rsi),%rax
mov    %cl,(%rsi)
jmp    11b1 <ucs2utf+0xb1>
cmp    $0x1fffff,%edi
ja     1158 <ucs2utf+0x58>
mov    %edi,%eax
shr    $0x12,%eax
or     $0xf0,%al
mov    %al,(%rsi)
mov    %rsi,%rax
jmp    119f <ucs2utf+0x9f>
cmp    $0x3ffffff,%edi
ja     1170 <ucs2utf+0x70>
mov    %edi,%ecx
shr    $0x18,%ecx
or     $0xf8,%cl
lea    0x1(%rsi),%rax
mov    %cl,(%rsi)
jmp    1192 <ucs2utf+0x92>
mov    %rsi,%rax
test   %edi,%edi
js     1192 <ucs2utf+0x92>
mov    %edi,%eax
shr    $0x1e,%eax
or     $0xfc,%al
mov    %al,(%rsi)
mov    %edi,%ecx
shr    $0x18,%ecx
and    $0x3f,%cl
or     $0x80,%cl
lea    0x2(%rsi),%rax
mov    %cl,0x1(%rsi)
mov    %edi,%ecx
shr    $0x12,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,(%rax)
mov    %edi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rax)
add    $0x2,%rax
mov    %edi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,(%rax)
and    $0x3f,%dil
or     $0x80,%dil
mov    %dil,0x1(%rax)
add    $0x2,%rax
movb   $0x0,(%rax)
sub    %esi,%eax
ret

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

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