char *solv_bin2hex(const unsigned char *buf, int l, char *str) {
  int i;
  for (i = 0; i < l; i++, buf++) {
    int c = *buf >> 4;
    *str++ = c < 10 ? c + '0' : c + ('a' - 10);
    c = *buf & 15;
    *str++ = c < 10 ? c + '0' : c + ('a' - 10);
  }
  *str = 0;
  return str;
}


x86 assembly (clang, -O0):
<solv_bin2hex>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11c4 <solv_bin2hex+0xc4>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
sar    $0x4,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0xa,-0x20(%rbp)
jge    1147 <solv_bin2hex+0x47>
mov    -0x20(%rbp),%eax
add    $0x30,%eax
mov    %eax,-0x24(%rbp)
jmp    1150 <solv_bin2hex+0x50>
mov    -0x20(%rbp),%eax
add    $0x57,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0xa,-0x20(%rbp)
jge    118b <solv_bin2hex+0x8b>
mov    -0x20(%rbp),%eax
add    $0x30,%eax
mov    %eax,-0x28(%rbp)
jmp    1194 <solv_bin2hex+0x94>
mov    -0x20(%rbp),%eax
add    $0x57,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1116 <solv_bin2hex+0x16>
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<solv_bin2hex>:
test   %esi,%esi
jle    11aa <solv_bin2hex+0xaa>
lea    -0x1(%rsi),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     1133 <solv_bin2hex+0x33>
lea    (%r9,%rdi,1),%rax
add    $0x1,%rax
cmp    %rdx,%rax
jbe    11b1 <solv_bin2hex+0xb1>
lea    (%rdx,%r9,2),%rax
add    $0x2,%rax
cmp    %rdi,%rax
jbe    11b1 <solv_bin2hex+0xb1>
mov    %rdi,%r10
mov    %rdx,%rax
sub    %r8d,%esi
xor    %r8d,%r8d
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%r10,%rdx,1),%ecx
mov    %ecx,%edi
shr    $0x4,%dil
lea    0x30(%rdi),%r9d
add    $0x57,%dil
cmp    $0xa0,%cl
movzbl %r9b,%ecx
movzbl %dil,%edi
cmovb  %ecx,%edi
mov    %dil,(%rax,%rdx,2)
movzbl (%r10,%rdx,1),%ecx
and    $0xf,%cl
lea    0x30(%rcx),%r9d
lea    0x57(%rcx),%edi
cmp    $0xa,%cl
movzbl %r9b,%ecx
movzbl %dil,%edi
cmovb  %ecx,%edi
mov    %dil,0x1(%rax,%rdx,2)
add    $0x1,%rdx
add    $0xfffffffffffffffe,%r8
cmp    %edx,%esi
jne    1150 <solv_bin2hex+0x50>
sub    %r8,%rax
movb   $0x0,(%rax)
ret
mov    %rdx,%rax
movb   $0x0,(%rdx)
ret
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    (%rdi,%r8,1),%r10
lea    (%rdx,%r8,2),%rax
xor    %ecx,%ecx
movdqa 0xe31(%rip),%xmm8
movdqa 0xe38(%rip),%xmm9
movdqa 0xe40(%rip),%xmm2
movdqa 0xe48(%rip),%xmm3
movdqa 0xe50(%rip),%xmm4
movdqa 0xe58(%rip),%xmm5
nopl   0x0(%rax,%rax,1)
movq   (%rdi,%rcx,1),%xmm6
movdqa %xmm6,%xmm7
psrlw  $0x4,%xmm7
pand   %xmm8,%xmm7
movdqa %xmm6,%xmm0
pmaxub %xmm9,%xmm0
pcmpeqb %xmm6,%xmm0
movdqa %xmm7,%xmm1
por    %xmm2,%xmm1
paddb  %xmm3,%xmm7
pand   %xmm0,%xmm7
pandn  %xmm1,%xmm0
por    %xmm7,%xmm0
pand   %xmm4,%xmm6
movdqa %xmm6,%xmm1
pmaxub %xmm5,%xmm1
pcmpeqb %xmm6,%xmm1
movdqa %xmm6,%xmm7
por    %xmm2,%xmm7
paddb  %xmm3,%xmm6
pand   %xmm1,%xmm6
pandn  %xmm7,%xmm1
por    %xmm6,%xmm1
punpcklbw %xmm1,%xmm0
movdqu %xmm0,(%rdx,%rcx,2)
add    $0x8,%rcx
cmp    %rcx,%r8
jne    1200 <solv_bin2hex+0x100>
cmp    %r8,%r9
jne    1139 <solv_bin2hex+0x39>
jmp    11a6 <solv_bin2hex+0xa6>

LLVM IR (-O0):
define i8* @solv_bin2hex(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
store i32 0, i32* %7
br label %9
9: ; preds = %48, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %5
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %53
13: ; preds = %9
%14 = load i8*, i8** %4
%15 = load i8, i8* %14
%16 = zext i8 %15 to i32
%17 = ashr i32 %16, 4
store i32 %17, i32* %8
%18 = load i32, i32* %8
%19 = icmp slt i32 %18, 10
br i1 %19, label %20, label %23
20: ; preds = %13
%21 = load i32, i32* %8
%22 = add nsw i32 %21, 48
br label %26
23: ; preds = %13
%24 = load i32, i32* %8
%25 = add nsw i32 %24, 87
br label %26
26: ; preds = %23, %20
%27 = phi i32 [ %22, %20 ], [ %25, %23 ]
%28 = trunc i32 %27 to i8
%29 = load i8*, i8** %6
%30 = getelementptr inbounds i8, i8* %29, i32 1
store i8* %30, i8** %6
store i8 %28, i8* %29
%31 = load i8*, i8** %4
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = and i32 %33, 15
store i32 %34, i32* %8
%35 = load i32, i32* %8
%36 = icmp slt i32 %35, 10
br i1 %36, label %37, label %40
37: ; preds = %26
%38 = load i32, i32* %8
%39 = add nsw i32 %38, 48
br label %43
40: ; preds = %26
%41 = load i32, i32* %8
%42 = add nsw i32 %41, 87
br label %43
43: ; preds = %40, %37
%44 = phi i32 [ %39, %37 ], [ %42, %40 ]
%45 = trunc i32 %44 to i8
%46 = load i8*, i8** %6
%47 = getelementptr inbounds i8, i8* %46, i32 1
store i8* %47, i8** %6
store i8 %45, i8* %46
br label %48
48: ; preds = %43
%49 = load i32, i32* %7
%50 = add nsw i32 %49, 1
store i32 %50, i32* %7
%51 = load i8*, i8** %4
%52 = getelementptr inbounds i8, i8* %51, i32 1
store i8* %52, i8** %4
br label %9
53: ; preds = %9
%54 = load i8*, i8** %6
store i8 0, i8* %54
%55 = load i8*, i8** %6
ret i8* %55
}

LLVM IR (-O2):
define i8* @solv_bin2hex(i8* nocapture %0, i32 %1, i8* writeonly %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %77
5: ; preds = %3
%6 = add i32 %1, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 7
br i1 %9, label %52, label %10
10: ; preds = %5
%11 = add i32 %1, -1
%12 = zext i32 %11 to i64
%13 = shl nuw nsw i64 %12, 1
%14 = add nuw nsw i64 %13, 2
%15 = getelementptr i8, i8* %2, i64 %14
%16 = add nuw nsw i64 %12, 1
%17 = getelementptr i8, i8* %0, i64 %16
%18 = icmp ugt i8* %17, %2
%19 = icmp ugt i8* %15, %0
%20 = and i1 %18, %19
br i1 %20, label %52, label %21
21: ; preds = %10
%22 = and i64 %8, 8589934584
%23 = getelementptr i8, i8* %0, i64 %22
%24 = trunc i64 %22 to i32
%25 = shl nuw nsw i64 %22, 1
%26 = getelementptr i8, i8* %2, i64 %25
br label %27
27: ; preds = %27, %21
%28 = phi i64 [ 0, %21 ], [ %48, %27 ]
%29 = getelementptr i8, i8* %0, i64 %28
%30 = shl i64 %28, 1
%31 = bitcast i8* %29 to <8 x i8>*
%32 = load <8 x i8>, <8 x i8>* %31
%33 = lshr <8 x i8> %32, <i8 4, i8 4, i8 4, i8 4, i8 4, i8 4, i8 4, i8 4>
%34 = icmp ult <8 x i8> %32, <i8 -96, i8 -96, i8 -96, i8 -96, i8 -96, i8 -96, i8 -96, i8 -96>
%35 = or <8 x i8> %33, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%36 = add nuw nsw <8 x i8> %33, <i8 87, i8 87, i8 87, i8 87, i8 87, i8 87, i8 87, i8 87>
%37 = select <8 x i1> %34, <8 x i8> %35, <8 x i8> %36
%38 = bitcast i8* %29 to <8 x i8>*
%39 = load <8 x i8>, <8 x i8>* %38
%40 = and <8 x i8> %39, <i8 15, i8 15, i8 15, i8 15, i8 15, i8 15, i8 15, i8 15>
%41 = icmp ult <8 x i8> %40, <i8 10, i8 10, i8 10, i8 10, i8 10, i8 10, i8 10, i8 10>
%42 = or <8 x i8> %40, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%43 = add nuw nsw <8 x i8> %40, <i8 87, i8 87, i8 87, i8 87, i8 87, i8 87, i8 87, i8 87>
%44 = select <8 x i1> %41, <8 x i8> %42, <8 x i8> %43
%45 = getelementptr inbounds i8, i8* %2, i64 %30
%46 = bitcast i8* %45 to <16 x i8>*
%47 = shufflevector <8 x i8> %37, <8 x i8> %44, <16 x i32> <i32 0, i32 8, i32 1, i32 9, i32 2, i32 10, i32 3, i32 11, i32 4, i32 12, i32 5, i32 13, i32 6, i32 14, i32 7, i32 15>
store <16 x i8> %47, <16 x i8>* %46
%48 = add nuw i64 %28, 8
%49 = icmp eq i64 %48, %22
br i1 %49, label %50, label %27
50: ; preds = %27
%51 = icmp eq i64 %8, %22
br i1 %51, label %77, label %52
52: ; preds = %10, %5, %50
%53 = phi i8* [ %0, %10 ], [ %0, %5 ], [ %23, %50 ]
%54 = phi i32 [ 0, %10 ], [ 0, %5 ], [ %24, %50 ]
%55 = phi i8* [ %2, %10 ], [ %2, %5 ], [ %26, %50 ]
br label %56
56: ; preds = %52, %56
%57 = phi i8* [ %75, %56 ], [ %53, %52 ]
%58 = phi i32 [ %74, %56 ], [ %54, %52 ]
%59 = phi i8* [ %73, %56 ], [ %55, %52 ]
%60 = load i8, i8* %57
%61 = lshr i8 %60, 4
%62 = icmp ult i8 %60, -96
%63 = or i8 %61, 48
%64 = add nuw nsw i8 %61, 87
%65 = select i1 %62, i8 %63, i8 %64
%66 = getelementptr inbounds i8, i8* %59, i64 1
store i8 %65, i8* %59
%67 = load i8, i8* %57
%68 = and i8 %67, 15
%69 = icmp ult i8 %68, 10
%70 = or i8 %68, 48
%71 = add nuw nsw i8 %68, 87
%72 = select i1 %69, i8 %70, i8 %71
%73 = getelementptr inbounds i8, i8* %59, i64 2
store i8 %72, i8* %66
%74 = add nuw nsw i32 %58, 1
%75 = getelementptr inbounds i8, i8* %57, i64 1
%76 = icmp eq i32 %74, %1
br i1 %76, label %77, label %56
77: ; preds = %56, %50, %3
%78 = phi i8* [ %2, %3 ], [ %26, %50 ], [ %73, %56 ]
store i8 0, i8* %78
ret i8* %78
}