void binarraytobinstring(char *target, char *source, int length) {
  int i;
  for (i = 0; i < length; ++i)
    *(target++) = *(source++) + '0';
  *target = '\0';
}


x86 assembly (clang, -O0):
<binarraytobinstring>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1158 <binarraytobinstring+0x58>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <binarraytobinstring+0x16>
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<binarraytobinstring>:
test   %edx,%edx
jle    1279 <binarraytobinstring+0x179>
lea    -0x1(%rdx),%r10d
xor    %r8d,%r8d
cmp    $0x1f,%r10d
jb     11f3 <binarraytobinstring+0xf3>
lea    (%rsi,%r10,1),%rax
add    $0x1,%rax
cmp    %rdi,%rax
jbe    1137 <binarraytobinstring+0x37>
lea    (%rdi,%r10,1),%rax
add    $0x1,%rax
cmp    %rsi,%rax
ja     11f3 <binarraytobinstring+0xf3>
add    $0x1,%r10
mov    %r10,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rax
mov    %rax,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rax,%rax
je     127d <binarraytobinstring+0x17d>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
movdqa 0xe95(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movdqu (%rsi,%rax,1),%xmm1
movdqu 0x10(%rsi,%rax,1),%xmm2
paddb  %xmm0,%xmm1
paddb  %xmm0,%xmm2
movdqu %xmm1,(%rdi,%rax,1)
movdqu %xmm2,0x10(%rdi,%rax,1)
movdqu 0x20(%rsi,%rax,1),%xmm1
movdqu 0x30(%rsi,%rax,1),%xmm2
paddb  %xmm0,%xmm1
paddb  %xmm0,%xmm2
movdqu %xmm1,0x20(%rdi,%rax,1)
movdqu %xmm2,0x30(%rdi,%rax,1)
add    $0x40,%rax
add    $0xfffffffffffffffe,%rcx
jne    1170 <binarraytobinstring+0x70>
test   $0x1,%r9b
je     11e4 <binarraytobinstring+0xe4>
movdqu (%rsi,%rax,1),%xmm0
movdqu 0x10(%rsi,%rax,1),%xmm1
movdqa 0xe2f(%rip),%xmm2
paddb  %xmm2,%xmm0
paddb  %xmm2,%xmm1
movdqu %xmm0,(%rdi,%rax,1)
movdqu %xmm1,0x10(%rdi,%rax,1)
add    %r8,%rdi
cmp    %r8,%r10
je     1279 <binarraytobinstring+0x179>
add    %r8,%rsi
mov    %edx,%r10d
sub    %r8d,%r10d
mov    %r8d,%r9d
not    %r9d
add    %edx,%r9d
and    $0x3,%r10d
je     122b <binarraytobinstring+0x12b>
neg    %r10d
xor    %ecx,%ecx
nopl   (%rax)
movzbl (%rsi),%eax
add    $0x1,%rsi
add    $0x30,%al
mov    %al,(%rdi)
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
cmp    %ecx,%r10d
jne    1210 <binarraytobinstring+0x110>
sub    %ecx,%r8d
cmp    $0x3,%r9d
jb     1279 <binarraytobinstring+0x179>
sub    %r8d,%edx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movzbl (%rsi,%rax,1),%ecx
add    $0x30,%cl
mov    %cl,(%rdi,%rax,1)
movzbl 0x1(%rsi,%rax,1),%ecx
add    $0x30,%cl
mov    %cl,0x1(%rdi,%rax,1)
movzbl 0x2(%rsi,%rax,1),%ecx
add    $0x30,%cl
mov    %cl,0x2(%rdi,%rax,1)
movzbl 0x3(%rsi,%rax,1),%ecx
add    $0x30,%cl
mov    %cl,0x3(%rdi,%rax,1)
add    $0x4,%rax
cmp    %eax,%edx
jne    1240 <binarraytobinstring+0x140>
add    %rax,%rdi
movb   $0x0,(%rdi)
ret
xor    %eax,%eax
test   $0x1,%r9b
jne    11be <binarraytobinstring+0xbe>
jmp    11e4 <binarraytobinstring+0xe4>

LLVM IR (-O0):
define void @binarraytobinstring(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %21, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %6
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %24
12: ; preds = %8
%13 = load i8*, i8** %5
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %5
%15 = load i8, i8* %13
%16 = sext i8 %15 to i32
%17 = add nsw i32 %16, 48
%18 = trunc i32 %17 to i8
%19 = load i8*, i8** %4
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %4
store i8 %18, i8* %19
br label %21
21: ; preds = %12
%22 = load i32, i32* %7
%23 = add nsw i32 %22, 1
store i32 %23, i32* %7
br label %8
24: ; preds = %8
%25 = load i8*, i8** %4
store i8 0, i8* %25
ret void
}

LLVM IR (-O2):
define void @binarraytobinstring(i8* nocapture writeonly %0, i8* nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %129
5: ; preds = %3
%6 = add i32 %2, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 31
br i1 %9, label %80, label %10
10: ; preds = %5
%11 = add i32 %2, -1
%12 = zext i32 %11 to i64
%13 = add nuw nsw i64 %12, 1
%14 = getelementptr i8, i8* %0, i64 %13
%15 = getelementptr i8, i8* %1, i64 %13
%16 = icmp ugt i8* %15, %0
%17 = icmp ugt i8* %14, %1
%18 = and i1 %16, %17
br i1 %18, label %80, label %19
19: ; preds = %10
%20 = and i64 %8, 8589934560
%21 = trunc i64 %20 to i32
%22 = getelementptr i8, i8* %0, i64 %20
%23 = getelementptr i8, i8* %1, i64 %20
%24 = add nsw i64 %20, -32
%25 = lshr exact i64 %24, 5
%26 = add nuw nsw i64 %25, 1
%27 = and i64 %26, 1
%28 = icmp eq i64 %24, 0
br i1 %28, label %62, label %29
29: ; preds = %19
%30 = and i64 %26, 1152921504606846974
br label %31
31: ; preds = %31, %29
%32 = phi i64 [ 0, %29 ], [ %59, %31 ]
%33 = phi i64 [ 0, %29 ], [ %60, %31 ]
%34 = getelementptr i8, i8* %0, i64 %32
%35 = getelementptr i8, i8* %1, i64 %32
%36 = bitcast i8* %35 to <16 x i8>*
%37 = load <16 x i8>, <16 x i8>* %36
%38 = getelementptr i8, i8* %35, i64 16
%39 = bitcast i8* %38 to <16 x i8>*
%40 = load <16 x i8>, <16 x i8>* %39
%41 = add <16 x i8> %37, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%42 = add <16 x i8> %40, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%43 = bitcast i8* %34 to <16 x i8>*
store <16 x i8> %41, <16 x i8>* %43
%44 = getelementptr i8, i8* %34, i64 16
%45 = bitcast i8* %44 to <16 x i8>*
store <16 x i8> %42, <16 x i8>* %45
%46 = or i64 %32, 32
%47 = getelementptr i8, i8* %0, i64 %46
%48 = getelementptr i8, i8* %1, i64 %46
%49 = bitcast i8* %48 to <16 x i8>*
%50 = load <16 x i8>, <16 x i8>* %49
%51 = getelementptr i8, i8* %48, i64 16
%52 = bitcast i8* %51 to <16 x i8>*
%53 = load <16 x i8>, <16 x i8>* %52
%54 = add <16 x i8> %50, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%55 = add <16 x i8> %53, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%56 = bitcast i8* %47 to <16 x i8>*
store <16 x i8> %54, <16 x i8>* %56
%57 = getelementptr i8, i8* %47, i64 16
%58 = bitcast i8* %57 to <16 x i8>*
store <16 x i8> %55, <16 x i8>* %58
%59 = add nuw i64 %32, 64
%60 = add i64 %33, 2
%61 = icmp eq i64 %60, %30
br i1 %61, label %62, label %31
62: ; preds = %31, %19
%63 = phi i64 [ 0, %19 ], [ %59, %31 ]
%64 = icmp eq i64 %27, 0
br i1 %64, label %78, label %65
65: ; preds = %62
%66 = getelementptr i8, i8* %0, i64 %63
%67 = getelementptr i8, i8* %1, i64 %63
%68 = bitcast i8* %67 to <16 x i8>*
%69 = load <16 x i8>, <16 x i8>* %68
%70 = getelementptr i8, i8* %67, i64 16
%71 = bitcast i8* %70 to <16 x i8>*
%72 = load <16 x i8>, <16 x i8>* %71
%73 = add <16 x i8> %69, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%74 = add <16 x i8> %72, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%75 = bitcast i8* %66 to <16 x i8>*
store <16 x i8> %73, <16 x i8>* %75
%76 = getelementptr i8, i8* %66, i64 16
%77 = bitcast i8* %76 to <16 x i8>*
store <16 x i8> %74, <16 x i8>* %77
br label %78
78: ; preds = %62, %65
%79 = icmp eq i64 %8, %20
br i1 %79, label %129, label %80
80: ; preds = %10, %5, %78
%81 = phi i32 [ 0, %10 ], [ 0, %5 ], [ %21, %78 ]
%82 = phi i8* [ %0, %10 ], [ %0, %5 ], [ %22, %78 ]
%83 = phi i8* [ %1, %10 ], [ %1, %5 ], [ %23, %78 ]
%84 = sub i32 %2, %81
%85 = xor i32 %81, -1
%86 = add i32 %85, %2
%87 = and i32 %84, 3
%88 = icmp eq i32 %87, 0
br i1 %88, label %101, label %89
89: ; preds = %80, %89
%90 = phi i32 [ %98, %89 ], [ %81, %80 ]
%91 = phi i8* [ %97, %89 ], [ %82, %80 ]
%92 = phi i8* [ %94, %89 ], [ %83, %80 ]
%93 = phi i32 [ %99, %89 ], [ 0, %80 ]
%94 = getelementptr inbounds i8, i8* %92, i64 1
%95 = load i8, i8* %92
%96 = add i8 %95, 48
%97 = getelementptr inbounds i8, i8* %91, i64 1
store i8 %96, i8* %91
%98 = add nuw nsw i32 %90, 1
%99 = add i32 %93, 1
%100 = icmp eq i32 %99, %87
br i1 %100, label %101, label %89
101: ; preds = %89, %80
%102 = phi i8* [ undef, %80 ], [ %97, %89 ]
%103 = phi i32 [ %81, %80 ], [ %98, %89 ]
%104 = phi i8* [ %82, %80 ], [ %97, %89 ]
%105 = phi i8* [ %83, %80 ], [ %94, %89 ]
%106 = icmp ult i32 %86, 3
br i1 %106, label %129, label %107
107: ; preds = %101, %107
%108 = phi i32 [ %127, %107 ], [ %103, %101 ]
%109 = phi i8* [ %126, %107 ], [ %104, %101 ]
%110 = phi i8* [ %123, %107 ], [ %105, %101 ]
%111 = getelementptr inbounds i8, i8* %110, i64 1
%112 = load i8, i8* %110
%113 = add i8 %112, 48
%114 = getelementptr inbounds i8, i8* %109, i64 1
store i8 %113, i8* %109
%115 = getelementptr inbounds i8, i8* %110, i64 2
%116 = load i8, i8* %111
%117 = add i8 %116, 48
%118 = getelementptr inbounds i8, i8* %109, i64 2
store i8 %117, i8* %114
%119 = getelementptr inbounds i8, i8* %110, i64 3
%120 = load i8, i8* %115
%121 = add i8 %120, 48
%122 = getelementptr inbounds i8, i8* %109, i64 3
store i8 %121, i8* %118
%123 = getelementptr inbounds i8, i8* %110, i64 4
%124 = load i8, i8* %119
%125 = add i8 %124, 48
%126 = getelementptr inbounds i8, i8* %109, i64 4
store i8 %125, i8* %122
%127 = add nuw nsw i32 %108, 4
%128 = icmp eq i32 %127, %2
br i1 %128, label %129, label %107
129: ; preds = %101, %107, %78, %3
%130 = phi i8* [ %0, %3 ], [ %22, %78 ], [ %102, %101 ], [ %126, %107 ]
store i8 0, i8* %130
ret void
}