int put_utf8(int v, int (*put_fn)(void *context, char ch),
             void *put_fn_context) {
  if (v <= 0x7f)
    return put_fn(put_fn_context, v);
  else {
    int r;
    if (v <= 0x7ff)
      r = put_fn(put_fn_context, v >> 6 | 0xc0);
    else {
      if (v <= 0xffff)
        r = put_fn(put_fn_context, v >> (6 + 6) | 0xe0);
      else {
        if (v <= 0x10ffff)
          r = put_fn(put_fn_context, v >> (6 + 6 + 6) | 0xf0);
        else
          return 0;
        if (r > 0)
          r = put_fn(put_fn_context, ((v >> (6 + 6)) & 0x3f) | 0x80);
      }
      if (r > 0)
        r = put_fn(put_fn_context, ((v >> 6) & 0x3f) | 0x80);
    }
    if (r > 0)
      r = put_fn(put_fn_context, (v & 0x3f) | 0x80);
    return r;
  }
}


x86 assembly (clang, -O0):
<put_utf8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpl   $0x7f,-0x8(%rbp)
jg     1135 <put_utf8+0x35>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x4(%rbp)
jmp    1253 <put_utf8+0x153>
cmpl   $0x7ff,-0x8(%rbp)
jg     1163 <put_utf8+0x63>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
sar    $0x6,%ecx
or     $0xc0,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
jmp    1227 <put_utf8+0x127>
cmpl   $0xffff,-0x8(%rbp)
jg     1191 <put_utf8+0x91>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
sar    $0xc,%ecx
or     $0xe0,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
jmp    11f9 <put_utf8+0xf9>
cmpl   $0x10ffff,-0x8(%rbp)
jg     11bf <put_utf8+0xbf>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
sar    $0x12,%ecx
or     $0xf0,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
jmp    11cb <put_utf8+0xcb>
movl   $0x0,-0x4(%rbp)
jmp    1253 <put_utf8+0x153>
cmpl   $0x0,-0x1c(%rbp)
jle    11f4 <put_utf8+0xf4>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
sar    $0xc,%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
jmp    11f9 <put_utf8+0xf9>
cmpl   $0x0,-0x1c(%rbp)
jle    1222 <put_utf8+0x122>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
sar    $0x6,%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
jmp    1227 <put_utf8+0x127>
cmpl   $0x0,-0x1c(%rbp)
jle    124d <put_utf8+0x14d>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
movsbl %cl,%esi
call   *%rax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<put_utf8>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%rbx
mov    %rsi,%rcx
mov    %edi,%ebp
cmp    $0x7f,%edi
jle    118e <put_utf8+0x8e>
cmp    $0x7ff,%ebp
mov    %rcx,%r14
ja     1125 <put_utf8+0x25>
mov    %ebp,%eax
shr    $0x6,%eax
or     $0xc0,%al
jmp    1177 <put_utf8+0x77>
cmp    $0xffff,%ebp
ja     1136 <put_utf8+0x36>
mov    %ebp,%eax
shr    $0xc,%eax
or     $0xe0,%al
jmp    115f <put_utf8+0x5f>
xor    %eax,%eax
cmp    $0x10ffff,%ebp
ja     119b <put_utf8+0x9b>
mov    %ebp,%eax
shr    $0x12,%eax
or     $0xf0,%al
movsbl %al,%esi
mov    %rbx,%rdi
call   *%rcx
test   %eax,%eax
jle    119b <put_utf8+0x9b>
mov    %ebp,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %r14,%rcx
movsbl %al,%esi
mov    %rbx,%rdi
call   *%rcx
test   %eax,%eax
jle    119b <put_utf8+0x9b>
mov    %ebp,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %r14,%rcx
movsbl %al,%esi
mov    %rbx,%rdi
call   *%rcx
test   %eax,%eax
jle    119b <put_utf8+0x9b>
and    $0x3f,%bpl
or     $0x80,%bpl
mov    %r14,%rcx
movsbl %bpl,%esi
mov    %rbx,%rdi
pop    %rbx
pop    %r14
pop    %rbp
jmp    *%rcx
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @put_utf8(i32 %0, i32 (i8*, i8)* nocapture %1, i8* %2) {
%4 = icmp slt i32 %0, 128
br i1 %4, label %5, label %7
5: ; preds = %3
%6 = trunc i32 %0 to i8
br label %49
7: ; preds = %3
%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
br label %41
13: ; preds = %7
%14 = icmp ult i32 %0, 65536
br i1 %14, label %15, label %19
15: ; preds = %13
%16 = lshr i32 %0, 12
%17 = trunc i32 %16 to i8
%18 = or i8 %17, -32
br label %32
19: ; preds = %13
%20 = icmp ult i32 %0, 1114112
br i1 %20, label %21, label %52
21: ; preds = %19
%22 = lshr i32 %0, 18
%23 = trunc i32 %22 to i8
%24 = or i8 %23, -16
%25 = tail call i32 %1(i8* %2, i8 signext %24)
%26 = icmp sgt i32 %25, 0
br i1 %26, label %27, label %52
27: ; preds = %21
%28 = lshr i32 %0, 12
%29 = trunc i32 %28 to i8
%30 = and i8 %29, 63
%31 = or i8 %30, -128
br label %32
32: ; preds = %27, %15
%33 = phi i8 [ %31, %27 ], [ %18, %15 ]
%34 = tail call i32 %1(i8* %2, i8 signext %33)
%35 = icmp sgt i32 %34, 0
br i1 %35, label %36, label %52
36: ; preds = %32
%37 = lshr i32 %0, 6
%38 = trunc i32 %37 to i8
%39 = and i8 %38, 63
%40 = or i8 %39, -128
br label %41
41: ; preds = %36, %9
%42 = phi i8 [ %40, %36 ], [ %12, %9 ]
%43 = tail call i32 %1(i8* %2, i8 signext %42)
%44 = icmp sgt i32 %43, 0
br i1 %44, label %45, label %52
45: ; preds = %41
%46 = trunc i32 %0 to i8
%47 = and i8 %46, 63
%48 = or i8 %47, -128
br label %49
49: ; preds = %5, %45
%50 = phi i8 [ %48, %45 ], [ %6, %5 ]
%51 = tail call i32 %1(i8* %2, i8 signext %50)
br label %52
52: ; preds = %49, %21, %32, %19, %41
%53 = phi i32 [ 0, %19 ], [ %43, %41 ], [ %34, %32 ], [ %25, %21 ], [ %51, %49 ]
ret i32 %53
}