void add_byte_count(char binary[], int byte_count_posn, int byte_count) {
  if (byte_count & 0x100) {
    binary[byte_count_posn] = '0';
  } else {
    binary[byte_count_posn] = '1';
  }
  if (byte_count & 0x80) {
    binary[byte_count_posn + 1] = '0';
  } else {
    binary[byte_count_posn + 1] = '1';
  }
  if (byte_count & 0x40) {
    binary[byte_count_posn + 2] = '0';
  } else {
    binary[byte_count_posn + 2] = '1';
  }
  if (byte_count & 0x20) {
    binary[byte_count_posn + 3] = '0';
  } else {
    binary[byte_count_posn + 3] = '1';
  }
  if (byte_count & 0x10) {
    binary[byte_count_posn + 4] = '0';
  } else {
    binary[byte_count_posn + 4] = '1';
  }
  if (byte_count & 0x08) {
    binary[byte_count_posn + 5] = '0';
  } else {
    binary[byte_count_posn + 5] = '1';
  }
  if (byte_count & 0x04) {
    binary[byte_count_posn + 6] = '0';
  } else {
    binary[byte_count_posn + 6] = '1';
  }
  if (byte_count & 0x02) {
    binary[byte_count_posn + 7] = '0';
  } else {
    binary[byte_count_posn + 7] = '1';
  }
  if (byte_count & 0x01) {
    binary[byte_count_posn + 8] = '0';
  } else {
    binary[byte_count_posn + 8] = '1';
  }
}


x86 assembly (clang, -O0):
<add_byte_count>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
and    $0x100,%eax
cmp    $0x0,%eax
je     1130 <add_byte_count+0x30>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    113c <add_byte_count+0x3c>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1163 <add_byte_count+0x63>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    1174 <add_byte_count+0x74>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x40,%eax
cmp    $0x0,%eax
je     1199 <add_byte_count+0x99>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    11aa <add_byte_count+0xaa>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x20,%eax
cmp    $0x0,%eax
je     11cf <add_byte_count+0xcf>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    11e0 <add_byte_count+0xe0>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x10,%eax
cmp    $0x0,%eax
je     1205 <add_byte_count+0x105>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    1216 <add_byte_count+0x116>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     123b <add_byte_count+0x13b>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    124c <add_byte_count+0x14c>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x4,%eax
cmp    $0x0,%eax
je     1271 <add_byte_count+0x171>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    1282 <add_byte_count+0x182>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     12a7 <add_byte_count+0x1a7>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    12b8 <add_byte_count+0x1b8>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     12dd <add_byte_count+0x1dd>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    12ee <add_byte_count+0x1ee>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
movb   $0x31,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<add_byte_count>:
push   %rbx
test   $0x100,%edx
sete   %al
movslq %esi,%rsi
or     $0x30,%al
mov    %al,(%rdi,%rsi,1)
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa 0xedd(%rip),%xmm1
pand   %xmm0,%xmm1
pand   0xee1(%rip),%xmm0
pxor   %xmm2,%xmm2
pcmpeqd %xmm2,%xmm0
pcmpeqd %xmm2,%xmm1
packssdw %xmm0,%xmm1
packsswb %xmm1,%xmm1
pmovmskb %xmm1,%ecx
mov    %ecx,%r8d
and    $0x2,%r8b
shr    %r8b
mov    %ecx,%r9d
and    $0x4,%r9b
shr    $0x2,%r9b
mov    %ecx,%r10d
and    $0x8,%r10b
shr    $0x3,%r10b
mov    %ecx,%r11d
and    $0x10,%r11b
shr    $0x4,%r11b
mov    %ecx,%edx
and    $0x20,%dl
shr    $0x5,%dl
mov    %ecx,%eax
and    $0x40,%al
shr    $0x6,%al
mov    %ecx,%ebx
shr    $0x7,%bl
or     $0x30,%bl
mov    %bl,0x1(%rdi,%rsi,1)
or     $0x30,%al
mov    %al,0x2(%rdi,%rsi,1)
or     $0x30,%dl
mov    %dl,0x3(%rdi,%rsi,1)
or     $0x30,%r11b
mov    %r11b,0x4(%rdi,%rsi,1)
or     $0x30,%r10b
mov    %r10b,0x5(%rdi,%rsi,1)
or     $0x30,%r9b
mov    %r9b,0x6(%rdi,%rsi,1)
or     $0x30,%r8b
mov    %r8b,0x7(%rdi,%rsi,1)
and    $0x1,%cl
or     $0x30,%cl
mov    %cl,0x8(%rdi,%rsi,1)
pop    %rbx
ret

LLVM IR (-O0):
define void @add_byte_count(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32, i32* %6
%8 = and i32 %7, 256
%9 = icmp ne i32 %8, 0
br i1 %9, label %10, label %15
10: ; preds = %3
%11 = load i8*, i8** %4
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %11, i64 %13
store i8 48, i8* %14
br label %20
15: ; preds = %3
%16 = load i8*, i8** %4
%17 = load i32, i32* %5
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
store i8 49, i8* %19
br label %20
20: ; preds = %15, %10
%21 = load i32, i32* %6
%22 = and i32 %21, 128
%23 = icmp ne i32 %22, 0
br i1 %23, label %24, label %30
24: ; preds = %20
%25 = load i8*, i8** %4
%26 = load i32, i32* %5
%27 = add nsw i32 %26, 1
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %25, i64 %28
store i8 48, i8* %29
br label %36
30: ; preds = %20
%31 = load i8*, i8** %4
%32 = load i32, i32* %5
%33 = add nsw i32 %32, 1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %31, i64 %34
store i8 49, i8* %35
br label %36
36: ; preds = %30, %24
%37 = load i32, i32* %6
%38 = and i32 %37, 64
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %46
40: ; preds = %36
%41 = load i8*, i8** %4
%42 = load i32, i32* %5
%43 = add nsw i32 %42, 2
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %41, i64 %44
store i8 48, i8* %45
br label %52
46: ; preds = %36
%47 = load i8*, i8** %4
%48 = load i32, i32* %5
%49 = add nsw i32 %48, 2
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %47, i64 %50
store i8 49, i8* %51
br label %52
52: ; preds = %46, %40
%53 = load i32, i32* %6
%54 = and i32 %53, 32
%55 = icmp ne i32 %54, 0
br i1 %55, label %56, label %62
56: ; preds = %52
%57 = load i8*, i8** %4
%58 = load i32, i32* %5
%59 = add nsw i32 %58, 3
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %57, i64 %60
store i8 48, i8* %61
br label %68
62: ; preds = %52
%63 = load i8*, i8** %4
%64 = load i32, i32* %5
%65 = add nsw i32 %64, 3
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %63, i64 %66
store i8 49, i8* %67
br label %68
68: ; preds = %62, %56
%69 = load i32, i32* %6
%70 = and i32 %69, 16
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %78
72: ; preds = %68
%73 = load i8*, i8** %4
%74 = load i32, i32* %5
%75 = add nsw i32 %74, 4
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %73, i64 %76
store i8 48, i8* %77
br label %84
78: ; preds = %68
%79 = load i8*, i8** %4
%80 = load i32, i32* %5
%81 = add nsw i32 %80, 4
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %79, i64 %82
store i8 49, i8* %83
br label %84
84: ; preds = %78, %72
%85 = load i32, i32* %6
%86 = and i32 %85, 8
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %94
88: ; preds = %84
%89 = load i8*, i8** %4
%90 = load i32, i32* %5
%91 = add nsw i32 %90, 5
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %89, i64 %92
store i8 48, i8* %93
br label %100
94: ; preds = %84
%95 = load i8*, i8** %4
%96 = load i32, i32* %5
%97 = add nsw i32 %96, 5
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i8, i8* %95, i64 %98
store i8 49, i8* %99
br label %100
100: ; preds = %94, %88
%101 = load i32, i32* %6
%102 = and i32 %101, 4
%103 = icmp ne i32 %102, 0
br i1 %103, label %104, label %110
104: ; preds = %100
%105 = load i8*, i8** %4
%106 = load i32, i32* %5
%107 = add nsw i32 %106, 6
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %105, i64 %108
store i8 48, i8* %109
br label %116
110: ; preds = %100
%111 = load i8*, i8** %4
%112 = load i32, i32* %5
%113 = add nsw i32 %112, 6
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %111, i64 %114
store i8 49, i8* %115
br label %116
116: ; preds = %110, %104
%117 = load i32, i32* %6
%118 = and i32 %117, 2
%119 = icmp ne i32 %118, 0
br i1 %119, label %120, label %126
120: ; preds = %116
%121 = load i8*, i8** %4
%122 = load i32, i32* %5
%123 = add nsw i32 %122, 7
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %121, i64 %124
store i8 48, i8* %125
br label %132
126: ; preds = %116
%127 = load i8*, i8** %4
%128 = load i32, i32* %5
%129 = add nsw i32 %128, 7
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i8, i8* %127, i64 %130
store i8 49, i8* %131
br label %132
132: ; preds = %126, %120
%133 = load i32, i32* %6
%134 = and i32 %133, 1
%135 = icmp ne i32 %134, 0
br i1 %135, label %136, label %142
136: ; preds = %132
%137 = load i8*, i8** %4
%138 = load i32, i32* %5
%139 = add nsw i32 %138, 8
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i8, i8* %137, i64 %140
store i8 48, i8* %141
br label %148
142: ; preds = %132
%143 = load i8*, i8** %4
%144 = load i32, i32* %5
%145 = add nsw i32 %144, 8
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds i8, i8* %143, i64 %146
store i8 49, i8* %147
br label %148
148: ; preds = %142, %136
ret void
}

LLVM IR (-O2):
define void @add_byte_count(i8* nocapture writeonly %0, i32 %1, i32 %2) {
%4 = and i32 %2, 256
%5 = icmp eq i32 %4, 0
%6 = sext i32 %1 to i64
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = select i1 %5, i8 49, i8 48
store i8 %8, i8* %7
%9 = insertelement <8 x i32> poison, i32 %2, i64 0
%10 = shufflevector <8 x i32> %9, <8 x i32> poison, <8 x i32> zeroinitializer
%11 = and <8 x i32> %10, <i32 1, i32 2, i32 4, i32 8, i32 16, i32 32, i32 64, i32 128>
%12 = icmp eq <8 x i32> %11, zeroinitializer
%13 = extractelement <8 x i1> %12, i64 7
%14 = select i1 %13, i8 49, i8 48
%15 = add nsw i32 %1, 1
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %0, i64 %16
store i8 %14, i8* %17
%18 = extractelement <8 x i1> %12, i64 6
%19 = select i1 %18, i8 49, i8 48
%20 = add nsw i32 %1, 2
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %0, i64 %21
store i8 %19, i8* %22
%23 = extractelement <8 x i1> %12, i64 5
%24 = select i1 %23, i8 49, i8 48
%25 = add nsw i32 %1, 3
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %0, i64 %26
store i8 %24, i8* %27
%28 = extractelement <8 x i1> %12, i64 4
%29 = select i1 %28, i8 49, i8 48
%30 = add nsw i32 %1, 4
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %0, i64 %31
store i8 %29, i8* %32
%33 = extractelement <8 x i1> %12, i64 3
%34 = select i1 %33, i8 49, i8 48
%35 = add nsw i32 %1, 5
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %0, i64 %36
store i8 %34, i8* %37
%38 = extractelement <8 x i1> %12, i64 2
%39 = select i1 %38, i8 49, i8 48
%40 = add nsw i32 %1, 6
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %0, i64 %41
store i8 %39, i8* %42
%43 = extractelement <8 x i1> %12, i64 1
%44 = select i1 %43, i8 49, i8 48
%45 = add nsw i32 %1, 7
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %0, i64 %46
store i8 %44, i8* %47
%48 = extractelement <8 x i1> %12, i64 0
%49 = select i1 %48, i8 49, i8 48
%50 = add nsw i32 %1, 8
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %0, i64 %51
store i8 %49, i8* %52
ret void
}