int utf8_charcopy(const char *str, char *dest) {
  int pointer = 0;
  if (str[pointer] & 0x80) {
    unsigned char escape_char = ((str[pointer] & 0xF0) << 1);
    while (escape_char & 0x80 && str[pointer]) {
      dest[pointer] = str[pointer];
      escape_char = escape_char << 1;
      ++pointer;
    }
  }
  if (str[pointer]) {
    dest[pointer] = str[pointer];
    ++pointer;
  }
  return pointer;
}


x86 assembly (clang, -O0):
<utf8_charcopy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     11b4 <utf8_charcopy+0xb4>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0xf0,%eax
shl    $0x1,%eax
mov    %al,-0x15(%rbp)
movzbl -0x15(%rbp),%ecx
and    $0x80,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x16(%rbp)
je     1171 <utf8_charcopy+0x71>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
test   $0x1,%al
jne    1181 <utf8_charcopy+0x81>
jmp    11af <utf8_charcopy+0xaf>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
movzbl -0x15(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x15(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1144 <utf8_charcopy+0x44>
jmp    11b4 <utf8_charcopy+0xb4>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     11e5 <utf8_charcopy+0xe5>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_charcopy>:
mov    (%rdi),%cl
xor    %eax,%eax
test   %cl,%cl
js     110d <utf8_charcopy+0xd>
test   %cl,%cl
jne    1142 <utf8_charcopy+0x42>
ret
lea    (%rcx,%rcx,1),%edx
xor    %eax,%eax
and    $0xe0,%dl
jns    1142 <utf8_charcopy+0x42>
xor    %eax,%eax
nopl   0x0(%rax)
mov    %cl,(%rsi,%rax,1)
add    %dl,%dl
jns    1136 <utf8_charcopy+0x36>
movzbl 0x1(%rdi,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    1120 <utf8_charcopy+0x20>
jmp    1139 <utf8_charcopy+0x39>
add    $0x1,%eax
mov    %eax,%ecx
mov    (%rdi,%rcx,1),%cl
test   %cl,%cl
je     110c <utf8_charcopy+0xc>
mov    %eax,%edx
mov    %cl,(%rsi,%rdx,1)
add    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @utf8_charcopy(i8* nocapture %0, i8* nocapture writeonly %1) {
%3 = load i8, i8* %0
%4 = icmp sgt i8 %3, -1
br i1 %4, label %30, label %5
5: ; preds = %2
%6 = shl i8 %3, 1
%7 = and i8 %6, -32
%8 = icmp sgt i8 %7, -1
br i1 %8, label %34, label %9
9: ; preds = %5, %19
%10 = phi i32 [ %17, %19 ], [ 0, %5 ]
%11 = phi i8 [ %15, %19 ], [ %7, %5 ]
%12 = phi i64 [ %16, %19 ], [ 0, %5 ]
%13 = phi i8 [ %21, %19 ], [ %3, %5 ]
%14 = getelementptr inbounds i8, i8* %1, i64 %12
store i8 %13, i8* %14
%15 = shl i8 %11, 1
%16 = add nuw nsw i64 %12, 1
%17 = add nuw nsw i32 %10, 1
%18 = icmp sgt i8 %15, -1
br i1 %18, label %25, label %19
19: ; preds = %9
%20 = getelementptr inbounds i8, i8* %0, i64 %16
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %23, label %9
23: ; preds = %19
%24 = trunc i64 %16 to i32
br label %25
25: ; preds = %9, %23
%26 = phi i32 [ %24, %23 ], [ %17, %9 ]
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %0, i64 %27
%29 = load i8, i8* %28
br label %30
30: ; preds = %25, %2
%31 = phi i8 [ %3, %2 ], [ %29, %25 ]
%32 = phi i32 [ 0, %2 ], [ %26, %25 ]
%33 = icmp eq i8 %31, 0
br i1 %33, label %40, label %34
34: ; preds = %5, %30
%35 = phi i32 [ %32, %30 ], [ 0, %5 ]
%36 = phi i8 [ %31, %30 ], [ %3, %5 ]
%37 = zext i32 %35 to i64
%38 = getelementptr inbounds i8, i8* %1, i64 %37
store i8 %36, i8* %38
%39 = add nuw nsw i32 %35, 1
br label %40
40: ; preds = %34, %30
%41 = phi i32 [ %39, %34 ], [ %32, %30 ]
ret i32 %41
}