int midpUTF8Encode(const unsigned short *pUcs2, int ucs2Len,
                   unsigned char *pUtf8, int utf8Len) {
  int i;
  int j;
  unsigned short current;
  for (i = 0, j = 0; i < ucs2Len; i++) {
    if (j == utf8Len) {
      return -1;
    }
    current = pUcs2[i];
    if (current < 0x80) {
      pUtf8[j++] = (unsigned char)current;
      continue;
    }
    if (current < 0x800) {
      pUtf8[j++] = (unsigned char)(0xC0 | ((current >> 6) & 0x1F));
      if (j == utf8Len) {
        return -1;
      }
      pUtf8[j++] = (unsigned char)(0x80 | (current & 0x3F));
      continue;
    }
    pUtf8[j++] = (unsigned char)(0xE0 | ((current >> 12) & 0x0F));
    if (j == utf8Len) {
      return -1;
    }
    pUtf8[j++] = (unsigned char)(0x80 | ((current >> 6) & 0x3F));
    if (j == utf8Len) {
      return -1;
    }
    pUtf8[j++] = (unsigned char)(0x80 | (current & 0x3F));
  }
  return j;
}


x86 assembly (clang, -O0):
<midpUTF8Encode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12a5 <midpUTF8Encode+0x1a5>
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    1144 <midpUTF8Encode+0x44>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ab <midpUTF8Encode+0x1ab>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x2e(%rbp)
movzwl -0x2e(%rbp),%eax
cmp    $0x80,%eax
jge    1183 <midpUTF8Encode+0x83>
mov    -0x2e(%rbp),%ax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1297 <midpUTF8Encode+0x197>
movzwl -0x2e(%rbp),%eax
cmp    $0x800,%eax
jge    11f8 <midpUTF8Encode+0xf8>
movzwl -0x2e(%rbp),%eax
sar    $0x6,%eax
and    $0x1f,%eax
or     $0xc0,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    11d0 <midpUTF8Encode+0xd0>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ab <midpUTF8Encode+0x1ab>
movzwl -0x2e(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1297 <midpUTF8Encode+0x197>
movzwl -0x2e(%rbp),%eax
sar    $0xc,%eax
and    $0xf,%eax
or     $0xe0,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    1236 <midpUTF8Encode+0x136>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ab <midpUTF8Encode+0x1ab>
movzwl -0x2e(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    1274 <midpUTF8Encode+0x174>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ab <midpUTF8Encode+0x1ab>
movzwl -0x2e(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1120 <midpUTF8Encode+0x20>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<midpUTF8Encode>:
push   %r14
push   %rbx
test   %esi,%esi
jle    11ce <midpUTF8Encode+0xce>
mov    %esi,%r8d
xor    %r9d,%r9d
xor    %esi,%esi
jmp    1140 <midpUTF8Encode+0x40>
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x1,%eax
mov    %esi,%r11d
add    %eax,%esi
movslq %r11d,%rax
mov    %r10b,(%rdx,%rax,1)
add    $0x1,%r9
mov    %esi,%eax
cmp    %r9,%r8
je     11d0 <midpUTF8Encode+0xd0>
mov    $0xffffffff,%eax
cmp    %ecx,%esi
je     11d0 <midpUTF8Encode+0xd0>
movzwl (%rdi,%r9,2),%r10d
cmp    $0x7f,%r10w
jbe    1120 <midpUTF8Encode+0x20>
movzwl %r10w,%ebx
mov    %esi,%r14d
cmp    $0x7ff,%ebx
ja     1190 <midpUTF8Encode+0x90>
mov    %r10d,%ebx
shr    $0x6,%ebx
or     $0xc0,%bl
lea    0x1(%rsi),%r11d
mov    %bl,(%rdx,%r14,1)
cmp    %ecx,%r11d
je     11d0 <midpUTF8Encode+0xd0>
and    $0x3f,%r10b
or     $0x80,%r10b
mov    $0x2,%eax
jmp    1128 <midpUTF8Encode+0x28>
nopl   (%rax)
shr    $0xc,%ebx
or     $0xe0,%bl
mov    %bl,(%rdx,%r14,1)
add    $0x1,%r14
cmp    %ecx,%r14d
je     11d0 <midpUTF8Encode+0xd0>
mov    %r10d,%ebx
shr    $0x6,%ebx
and    $0x3f,%bl
or     $0x80,%bl
lea    0x2(%rsi),%r11d
mov    %bl,(%rdx,%r14,1)
cmp    %ecx,%r11d
je     11d0 <midpUTF8Encode+0xd0>
and    $0x3f,%r10b
or     $0x80,%r10b
mov    $0x3,%eax
jmp    1128 <midpUTF8Encode+0x28>
xor    %eax,%eax
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i32 @midpUTF8Encode(i16* nocapture %0, i32 %1, i8* nocapture writeonly %2, i32 %3) {
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %62
6: ; preds = %4
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %6, %53
%9 = phi i64 [ 0, %6 ], [ %60, %53 ]
%10 = phi i32 [ 0, %6 ], [ %57, %53 ]
%11 = icmp eq i32 %10, %3
br i1 %11, label %62, label %12
12: ; preds = %8
%13 = getelementptr inbounds i16, i16* %0, i64 %9
%14 = load i16, i16* %13
%15 = icmp ult i16 %14, 128
br i1 %15, label %16, label %18
16: ; preds = %12
%17 = trunc i16 %14 to i8
br label %53
18: ; preds = %12
%19 = icmp ult i16 %14, 2048
br i1 %19, label %20, label %32
20: ; preds = %18
%21 = lshr i16 %14, 6
%22 = trunc i16 %21 to i8
%23 = or i8 %22, -64
%24 = add nuw nsw i32 %10, 1
%25 = zext i32 %10 to i64
%26 = getelementptr inbounds i8, i8* %2, i64 %25
store i8 %23, i8* %26
%27 = icmp eq i32 %24, %3
br i1 %27, label %62, label %28
28: ; preds = %20
%29 = trunc i16 %14 to i8
%30 = and i8 %29, 63
%31 = or i8 %30, -128
br label %53
32: ; preds = %18
%33 = lshr i16 %14, 12
%34 = trunc i16 %33 to i8
%35 = or i8 %34, -32
%36 = add nuw nsw i32 %10, 1
%37 = zext i32 %10 to i64
%38 = getelementptr inbounds i8, i8* %2, i64 %37
store i8 %35, i8* %38
%39 = icmp eq i32 %36, %3
br i1 %39, label %62, label %40
40: ; preds = %32
%41 = lshr i16 %14, 6
%42 = trunc i16 %41 to i8
%43 = and i8 %42, 63
%44 = or i8 %43, -128
%45 = add nuw nsw i32 %10, 2
%46 = zext i32 %36 to i64
%47 = getelementptr inbounds i8, i8* %2, i64 %46
store i8 %44, i8* %47
%48 = icmp eq i32 %45, %3
br i1 %48, label %62, label %49
49: ; preds = %40
%50 = trunc i16 %14 to i8
%51 = and i8 %50, 63
%52 = or i8 %51, -128
br label %53
53: ; preds = %49, %28, %16
%54 = phi i32 [ 3, %49 ], [ 2, %28 ], [ 1, %16 ]
%55 = phi i32 [ %45, %49 ], [ %24, %28 ], [ %10, %16 ]
%56 = phi i8 [ %52, %49 ], [ %31, %28 ], [ %17, %16 ]
%57 = add nuw nsw i32 %10, %54
%58 = sext i32 %55 to i64
%59 = getelementptr inbounds i8, i8* %2, i64 %58
store i8 %56, i8* %59
%60 = add nuw nsw i64 %9, 1
%61 = icmp eq i64 %60, %7
br i1 %61, label %62, label %8
62: ; preds = %8, %20, %32, %40, %53, %4
%63 = phi i32 [ 0, %4 ], [ %57, %53 ], [ -1, %40 ], [ -1, %32 ], [ -1, %20 ], [ -1, %8 ]
ret i32 %63
}