int codepoint_to_utf8(int g, char *txt) {
  if (g < (1 << (7))) {
    txt[0] = g & 0x7f;
    txt[1] = 0;
    return 1;
  } else if (g < (1 << (5 + 6))) {
    txt[0] = 0xc0 | ((g >> 6) & 0x1f);
    txt[1] = 0x80 | ((g)&0x3f);
    txt[2] = 0;
    return 2;
  } else if (g < (1 << (4 + 6 + 6))) {
    txt[0] = 0xe0 | ((g >> 12) & 0x0f);
    txt[1] = 0x80 | ((g >> 6) & 0x3f);
    txt[2] = 0x80 | ((g)&0x3f);
    txt[3] = 0;
    return 3;
  } else if (g < (1 << (3 + 6 + 6 + 6))) {
    txt[0] = 0xf0 | ((g >> 18) & 0x07);
    txt[1] = 0x80 | ((g >> 12) & 0x3f);
    txt[2] = 0x80 | ((g >> 6) & 0x3f);
    txt[3] = 0x80 | ((g)&0x3f);
    txt[4] = 0;
    return 4;
  } else if (g < (1 << (2 + 6 + 6 + 6 + 6))) {
    txt[0] = 0xf8 | ((g >> 24) & 0x03);
    txt[1] = 0x80 | ((g >> 18) & 0x3f);
    txt[2] = 0x80 | ((g >> 12) & 0x3f);
    txt[3] = 0x80 | ((g >> 6) & 0x3f);
    txt[4] = 0x80 | ((g)&0x3f);
    txt[5] = 0;
    return 5;
  } else if (g < (1 << (1 + 6 + 6 + 6 + 6 + 6))) {
    txt[0] = 0xfc | ((g >> 30) & 0x01);
    txt[1] = 0x80 | ((g >> 24) & 0x3f);
    txt[2] = 0x80 | ((g >> 18) & 0x3f);
    txt[3] = 0x80 | ((g >> 12) & 0x3f);
    txt[4] = 0x80 | ((g >> 6) & 0x3f);
    txt[5] = 0x80 | ((g)&0x3f);
    txt[6] = 0;
    return 6;
  } else {
    txt[0] = 0;
    return 0;
  }
}


x86 assembly (clang, -O0):
<codepoint_to_utf8>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x80,-0x8(%rbp)
jge    113a <codepoint_to_utf8+0x3a>
mov    -0x8(%rbp),%eax
and    $0x7f,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
movl   $0x1,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
cmpl   $0x800,-0x8(%rbp)
jge    1185 <codepoint_to_utf8+0x85>
mov    -0x8(%rbp),%eax
sar    $0x6,%eax
and    $0x1f,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x2(%rax)
movl   $0x2,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
cmpl   $0x10000,-0x8(%rbp)
jge    11e7 <codepoint_to_utf8+0xe7>
mov    -0x8(%rbp),%eax
sar    $0xc,%eax
and    $0xf,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x8(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x3(%rax)
movl   $0x3,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
cmpl   $0x200000,-0x8(%rbp)
jge    1260 <codepoint_to_utf8+0x160>
mov    -0x8(%rbp),%eax
sar    $0x12,%eax
and    $0x7,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x8(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x8(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x4(%rax)
movl   $0x4,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
cmpl   $0x4000000,-0x8(%rbp)
jge    12f0 <codepoint_to_utf8+0x1f0>
mov    -0x8(%rbp),%eax
sar    $0x18,%eax
and    $0x3,%eax
or     $0xf8,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%eax
sar    $0x12,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x8(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x8(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x8(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x4(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x5(%rax)
movl   $0x5,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
cmpl   $0x80000000,-0x8(%rbp)
jge    1397 <codepoint_to_utf8+0x297>
mov    -0x8(%rbp),%eax
sar    $0x1e,%eax
and    $0x1,%eax
or     $0xfc,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%eax
sar    $0x18,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x8(%rbp),%eax
sar    $0x12,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x8(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x8(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x4(%rax)
mov    -0x8(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x5(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x6(%rax)
movl   $0x6,-0x4(%rbp)
jmp    13a5 <codepoint_to_utf8+0x2a5>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<codepoint_to_utf8>:
cmp    $0x7f,%edi
jg     1119 <codepoint_to_utf8+0x19>
and    $0x7f,%dil
mov    %dil,(%rsi)
add    $0x1,%rsi
mov    $0x1,%eax
movb   $0x0,(%rsi)
ret
cmp    $0x7ff,%edi
ja     1143 <codepoint_to_utf8+0x43>
mov    %edi,%eax
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%rsi)
and    $0x3f,%dil
or     $0x80,%dil
mov    %dil,0x1(%rsi)
add    $0x2,%rsi
mov    $0x2,%eax
movb   $0x0,(%rsi)
ret
cmp    $0xffff,%edi
ja     1179 <codepoint_to_utf8+0x79>
mov    %edi,%eax
shr    $0xc,%eax
or     $0xe0,%al
mov    %al,(%rsi)
mov    %edi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rsi)
and    $0x3f,%dil
or     $0x80,%dil
mov    %dil,0x2(%rsi)
add    $0x3,%rsi
mov    $0x3,%eax
movb   $0x0,(%rsi)
ret
cmp    $0x1fffff,%edi
ja     11bb <codepoint_to_utf8+0xbb>
mov    %edi,%eax
shr    $0x12,%eax
or     $0xf0,%al
mov    %al,(%rsi)
mov    %edi,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rsi)
mov    %edi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x2(%rsi)
and    $0x3f,%dil
or     $0x80,%dil
mov    %dil,0x3(%rsi)
add    $0x4,%rsi
mov    $0x4,%eax
movb   $0x0,(%rsi)
ret
xor    %eax,%eax
cmp    $0x3ffffff,%edi
ja     1207 <codepoint_to_utf8+0x107>
mov    %edi,%eax
shr    $0x18,%eax
or     $0xf8,%al
mov    %al,(%rsi)
mov    %edi,%eax
shr    $0x12,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rsi)
mov    %edi,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x2(%rsi)
mov    %edi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x3(%rsi)
and    $0x3f,%dil
or     $0x80,%dil
mov    %dil,0x4(%rsi)
add    $0x5,%rsi
mov    $0x5,%eax
movb   $0x0,(%rsi)
ret

LLVM IR (-O0):
define i32 @codepoint_to_utf8(i32 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8*
store i32 %0, i32* %4
store i8* %1, i8** %5
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 128
br i1 %7, label %8, label %16
8: ; preds = %2
%9 = load i32, i32* %4
%10 = and i32 %9, 127
%11 = trunc i32 %10 to i8
%12 = load i8*, i8** %5
%13 = getelementptr inbounds i8, i8* %12, i64 0
store i8 %11, i8* %13
%14 = load i8*, i8** %5
%15 = getelementptr inbounds i8, i8* %14, i64 1
store i8 0, i8* %15
store i32 1, i32* %3
br label %184
16: ; preds = %2
%17 = load i32, i32* %4
%18 = icmp slt i32 %17, 2048
br i1 %18, label %19, label %35
19: ; preds = %16
%20 = load i32, i32* %4
%21 = ashr i32 %20, 6
%22 = and i32 %21, 31
%23 = or i32 192, %22
%24 = trunc i32 %23 to i8
%25 = load i8*, i8** %5
%26 = getelementptr inbounds i8, i8* %25, i64 0
store i8 %24, i8* %26
%27 = load i32, i32* %4
%28 = and i32 %27, 63
%29 = or i32 128, %28
%30 = trunc i32 %29 to i8
%31 = load i8*, i8** %5
%32 = getelementptr inbounds i8, i8* %31, i64 1
store i8 %30, i8* %32
%33 = load i8*, i8** %5
%34 = getelementptr inbounds i8, i8* %33, i64 2
store i8 0, i8* %34
store i32 2, i32* %3
br label %184
35: ; preds = %16
%36 = load i32, i32* %4
%37 = icmp slt i32 %36, 65536
br i1 %37, label %38, label %61
38: ; preds = %35
%39 = load i32, i32* %4
%40 = ashr i32 %39, 12
%41 = and i32 %40, 15
%42 = or i32 224, %41
%43 = trunc i32 %42 to i8
%44 = load i8*, i8** %5
%45 = getelementptr inbounds i8, i8* %44, i64 0
store i8 %43, i8* %45
%46 = load i32, i32* %4
%47 = ashr i32 %46, 6
%48 = and i32 %47, 63
%49 = or i32 128, %48
%50 = trunc i32 %49 to i8
%51 = load i8*, i8** %5
%52 = getelementptr inbounds i8, i8* %51, i64 1
store i8 %50, i8* %52
%53 = load i32, i32* %4
%54 = and i32 %53, 63
%55 = or i32 128, %54
%56 = trunc i32 %55 to i8
%57 = load i8*, i8** %5
%58 = getelementptr inbounds i8, i8* %57, i64 2
store i8 %56, i8* %58
%59 = load i8*, i8** %5
%60 = getelementptr inbounds i8, i8* %59, i64 3
store i8 0, i8* %60
store i32 3, i32* %3
br label %184
61: ; preds = %35
%62 = load i32, i32* %4
%63 = icmp slt i32 %62, 2097152
br i1 %63, label %64, label %94
64: ; preds = %61
%65 = load i32, i32* %4
%66 = ashr i32 %65, 18
%67 = and i32 %66, 7
%68 = or i32 240, %67
%69 = trunc i32 %68 to i8
%70 = load i8*, i8** %5
%71 = getelementptr inbounds i8, i8* %70, i64 0
store i8 %69, i8* %71
%72 = load i32, i32* %4
%73 = ashr i32 %72, 12
%74 = and i32 %73, 63
%75 = or i32 128, %74
%76 = trunc i32 %75 to i8
%77 = load i8*, i8** %5
%78 = getelementptr inbounds i8, i8* %77, i64 1
store i8 %76, i8* %78
%79 = load i32, i32* %4
%80 = ashr i32 %79, 6
%81 = and i32 %80, 63
%82 = or i32 128, %81
%83 = trunc i32 %82 to i8
%84 = load i8*, i8** %5
%85 = getelementptr inbounds i8, i8* %84, i64 2
store i8 %83, i8* %85
%86 = load i32, i32* %4
%87 = and i32 %86, 63
%88 = or i32 128, %87
%89 = trunc i32 %88 to i8
%90 = load i8*, i8** %5
%91 = getelementptr inbounds i8, i8* %90, i64 3
store i8 %89, i8* %91
%92 = load i8*, i8** %5
%93 = getelementptr inbounds i8, i8* %92, i64 4
store i8 0, i8* %93
store i32 4, i32* %3
br label %184
94: ; preds = %61
%95 = load i32, i32* %4
%96 = icmp slt i32 %95, 67108864
br i1 %96, label %97, label %134
97: ; preds = %94
%98 = load i32, i32* %4
%99 = ashr i32 %98, 24
%100 = and i32 %99, 3
%101 = or i32 248, %100
%102 = trunc i32 %101 to i8
%103 = load i8*, i8** %5
%104 = getelementptr inbounds i8, i8* %103, i64 0
store i8 %102, i8* %104
%105 = load i32, i32* %4
%106 = ashr i32 %105, 18
%107 = and i32 %106, 63
%108 = or i32 128, %107
%109 = trunc i32 %108 to i8
%110 = load i8*, i8** %5
%111 = getelementptr inbounds i8, i8* %110, i64 1
store i8 %109, i8* %111
%112 = load i32, i32* %4
%113 = ashr i32 %112, 12
%114 = and i32 %113, 63
%115 = or i32 128, %114
%116 = trunc i32 %115 to i8
%117 = load i8*, i8** %5
%118 = getelementptr inbounds i8, i8* %117, i64 2
store i8 %116, i8* %118
%119 = load i32, i32* %4
%120 = ashr i32 %119, 6
%121 = and i32 %120, 63
%122 = or i32 128, %121
%123 = trunc i32 %122 to i8
%124 = load i8*, i8** %5
%125 = getelementptr inbounds i8, i8* %124, i64 3
store i8 %123, i8* %125
%126 = load i32, i32* %4
%127 = and i32 %126, 63
%128 = or i32 128, %127
%129 = trunc i32 %128 to i8
%130 = load i8*, i8** %5
%131 = getelementptr inbounds i8, i8* %130, i64 4
store i8 %129, i8* %131
%132 = load i8*, i8** %5
%133 = getelementptr inbounds i8, i8* %132, i64 5
store i8 0, i8* %133
store i32 5, i32* %3
br label %184
134: ; preds = %94
%135 = load i32, i32* %4
%136 = icmp slt i32 %135, -2147483648
br i1 %136, label %137, label %181
137: ; preds = %134
%138 = load i32, i32* %4
%139 = ashr i32 %138, 30
%140 = and i32 %139, 1
%141 = or i32 252, %140
%142 = trunc i32 %141 to i8
%143 = load i8*, i8** %5
%144 = getelementptr inbounds i8, i8* %143, i64 0
store i8 %142, i8* %144
%145 = load i32, i32* %4
%146 = ashr i32 %145, 24
%147 = and i32 %146, 63
%148 = or i32 128, %147
%149 = trunc i32 %148 to i8
%150 = load i8*, i8** %5
%151 = getelementptr inbounds i8, i8* %150, i64 1
store i8 %149, i8* %151
%152 = load i32, i32* %4
%153 = ashr i32 %152, 18
%154 = and i32 %153, 63
%155 = or i32 128, %154
%156 = trunc i32 %155 to i8
%157 = load i8*, i8** %5
%158 = getelementptr inbounds i8, i8* %157, i64 2
store i8 %156, i8* %158
%159 = load i32, i32* %4
%160 = ashr i32 %159, 12
%161 = and i32 %160, 63
%162 = or i32 128, %161
%163 = trunc i32 %162 to i8
%164 = load i8*, i8** %5
%165 = getelementptr inbounds i8, i8* %164, i64 3
store i8 %163, i8* %165
%166 = load i32, i32* %4
%167 = ashr i32 %166, 6
%168 = and i32 %167, 63
%169 = or i32 128, %168
%170 = trunc i32 %169 to i8
%171 = load i8*, i8** %5
%172 = getelementptr inbounds i8, i8* %171, i64 4
store i8 %170, i8* %172
%173 = load i32, i32* %4
%174 = and i32 %173, 63
%175 = or i32 128, %174
%176 = trunc i32 %175 to i8
%177 = load i8*, i8** %5
%178 = getelementptr inbounds i8, i8* %177, i64 5
store i8 %176, i8* %178
%179 = load i8*, i8** %5
%180 = getelementptr inbounds i8, i8* %179, i64 6
store i8 0, i8* %180
store i32 6, i32* %3
br label %184
181: ; preds = %134
%182 = load i8*, i8** %5
%183 = getelementptr inbounds i8, i8* %182, i64 0
store i8 0, i8* %183
store i32 0, i32* %3
br label %184
184: ; preds = %181, %137, %97, %64, %38, %19, %8
%185 = load i32, i32* %3
ret i32 %185
}

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