void byte_value_to_string(int value[], char *output, int size) {
  for (int i = 0; i < size; i++)
    output[i] = (char)(value[i] + 48);
}


x86 assembly (clang, -O0):
<byte_value_to_string>:
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    114b <byte_value_to_string+0x4b>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <byte_value_to_string+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<byte_value_to_string>:
test   %edx,%edx
jle    129d <byte_value_to_string+0x19d>
mov    %edx,%r9d
cmp    $0x8,%edx
jb     1126 <byte_value_to_string+0x26>
lea    (%rdi,%r9,4),%rax
cmp    %rsi,%rax
jbe    1198 <byte_value_to_string+0x98>
lea    (%rsi,%r9,1),%rax
cmp    %rdi,%rax
jbe    1198 <byte_value_to_string+0x98>
xor    %ecx,%ecx
mov    %rcx,%r8
not    %r8
add    %r9,%r8
mov    %r9,%rdx
and    $0x3,%rdx
je     1153 <byte_value_to_string+0x53>
nopw   0x0(%rax,%rax,1)
movzbl (%rdi,%rcx,4),%eax
add    $0x30,%al
mov    %al,(%rsi,%rcx,1)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdx
jne    1140 <byte_value_to_string+0x40>
cmp    $0x3,%r8
jb     129d <byte_value_to_string+0x19d>
nopl   (%rax)
movzbl (%rdi,%rcx,4),%eax
add    $0x30,%al
mov    %al,(%rsi,%rcx,1)
movzbl 0x4(%rdi,%rcx,4),%eax
add    $0x30,%al
mov    %al,0x1(%rsi,%rcx,1)
movzbl 0x8(%rdi,%rcx,4),%eax
add    $0x30,%al
mov    %al,0x2(%rsi,%rcx,1)
movzbl 0xc(%rdi,%rcx,4),%eax
add    $0x30,%al
mov    %al,0x3(%rsi,%rcx,1)
add    $0x4,%rcx
cmp    %rcx,%r9
jne    1160 <byte_value_to_string+0x60>
jmp    129d <byte_value_to_string+0x19d>
mov    %r9d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     129e <byte_value_to_string+0x19e>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %edx,%edx
movdqa 0xe39(%rip),%xmm0
movdqa 0xe41(%rip),%xmm1
nop
movdqu (%rdi,%rdx,4),%xmm2
movdqu 0x10(%rdi,%rdx,4),%xmm3
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
pand   %xmm0,%xmm3
packuswb %xmm3,%xmm3
packuswb %xmm3,%xmm3
paddb  %xmm1,%xmm2
paddb  %xmm1,%xmm3
movd   %xmm2,(%rsi,%rdx,1)
movd   %xmm3,0x4(%rsi,%rdx,1)
movdqu 0x20(%rdi,%rdx,4),%xmm2
movdqu 0x30(%rdi,%rdx,4),%xmm3
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
pand   %xmm0,%xmm3
packuswb %xmm3,%xmm3
packuswb %xmm3,%xmm3
paddb  %xmm1,%xmm2
paddb  %xmm1,%xmm3
movd   %xmm2,0x8(%rsi,%rdx,1)
movd   %xmm3,0xc(%rsi,%rdx,1)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    11d0 <byte_value_to_string+0xd0>
test   $0x1,%r8b
je     1294 <byte_value_to_string+0x194>
movdqu (%rdi,%rdx,4),%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm1
movdqa 0xd9f(%rip),%xmm2
pand   %xmm2,%xmm0
packuswb %xmm0,%xmm0
packuswb %xmm0,%xmm0
pand   %xmm2,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
movdqa 0xd8f(%rip),%xmm2
paddb  %xmm2,%xmm0
paddb  %xmm2,%xmm1
movd   %xmm0,(%rsi,%rdx,1)
movd   %xmm1,0x4(%rsi,%rdx,1)
cmp    %r9,%rcx
jne    1128 <byte_value_to_string+0x28>
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    124e <byte_value_to_string+0x14e>
jmp    1294 <byte_value_to_string+0x194>

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

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