void xlate(char *inb, char *trb, unsigned len) {
  unsigned i;
  for (i = 0; i < len; ++i) {
    char c = *inb++;
    char c1 = c >> 4;
    char c2 = c & 0xf;
    if (c1 > 9)
      c1 = c1 + 'A' - 10;
    else
      c1 = c1 + '0';
    if (c2 > 9)
      c2 = c2 + 'A' - 10;
    else
      c2 = c2 + '0';
    *trb++ = c1;
    *trb++ = c2;
  }
  *trb = 0;
}


x86 assembly (clang, -O0):
<xlate>:
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
jae    11d2 <xlate+0xd2>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
sar    $0x4,%eax
mov    %al,-0x1a(%rbp)
movsbl -0x19(%rbp),%eax
and    $0xf,%eax
mov    %al,-0x1b(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x9,%eax
jle    1169 <xlate+0x69>
movsbl -0x1a(%rbp),%eax
add    $0x41,%eax
sub    $0xa,%eax
mov    %al,-0x1a(%rbp)
jmp    1173 <xlate+0x73>
movsbl -0x1a(%rbp),%eax
add    $0x30,%eax
mov    %al,-0x1a(%rbp)
movsbl -0x1b(%rbp),%eax
cmp    $0x9,%eax
jle    1192 <xlate+0x92>
movsbl -0x1b(%rbp),%eax
add    $0x41,%eax
sub    $0xa,%eax
mov    %al,-0x1b(%rbp)
jmp    119c <xlate+0x9c>
movsbl -0x1b(%rbp),%eax
add    $0x30,%eax
mov    %al,-0x1b(%rbp)
mov    -0x1a(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x1b(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <xlate+0x16>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<xlate>:
push   %r14
push   %rbx
test   %edx,%edx
je     1209 <xlate+0x109>
lea    -0x1(%rdx),%r9d
xor    %r8d,%r8d
cmp    $0xf,%r9d
jb     113a <xlate+0x3a>
lea    (%r9,%rdi,1),%rax
add    $0x1,%rax
cmp    %rsi,%rax
jbe    1211 <xlate+0x111>
lea    (%rsi,%r9,2),%rax
add    $0x2,%rax
cmp    %rdi,%rax
jbe    1211 <xlate+0x111>
mov    %rdi,%r10
mov    %rsi,%r14
mov    %edx,%esi
sub    %r8d,%esi
mov    %r8d,%edi
not    %edi
test   $0x1,%sil
je     118a <xlate+0x8a>
mov    (%r10),%cl
add    $0x1,%r10
mov    %ecx,%esi
and    $0xf,%sil
sar    $0x4,%cl
add    $0x30,%cl
lea    0x37(%rsi),%r9d
lea    0x30(%rsi),%r11d
cmp    $0xa,%sil
movzbl %r9b,%r9d
movzbl %r11b,%esi
cmovae %r9d,%esi
mov    %cl,(%r14)
mov    %sil,0x1(%r14)
add    $0x2,%r14
add    $0x1,%r8d
add    %edx,%edi
je     132c <xlate+0x22c>
sub    %r8d,%edx
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movzbl (%r10,%rcx,1),%eax
mov    %eax,%esi
and    $0xf,%sil
sar    $0x4,%al
add    $0x30,%al
lea    0x37(%rsi),%edi
lea    0x30(%rsi),%ebx
cmp    $0xa,%sil
movzbl %dil,%esi
movzbl %bl,%edi
cmovae %esi,%edi
mov    %al,(%r14)
mov    %dil,0x1(%r14)
movzbl 0x1(%r10,%rcx,1),%eax
mov    %eax,%esi
and    $0xf,%sil
sar    $0x4,%al
add    $0x30,%al
lea    0x37(%rsi),%edi
lea    0x30(%rsi),%ebx
cmp    $0xa,%sil
movzbl %dil,%esi
movzbl %bl,%edi
cmovae %esi,%edi
mov    %al,0x2(%r14)
mov    %dil,0x3(%r14)
add    $0x4,%r14
add    $0x2,%rcx
cmp    %ecx,%edx
jne    11a0 <xlate+0xa0>
jmp    132c <xlate+0x22c>
mov    %rsi,%r14
jmp    132c <xlate+0x22c>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff0,%r8
lea    (%rdi,%r8,1),%r10
lea    (%rsi,%r8,2),%r14
xor    %ecx,%ecx
movdqa 0xdd1(%rip),%xmm8
movdqa 0xdd8(%rip),%xmm9
movdqa 0xddf(%rip),%xmm10
movdqa 0xde6(%rip),%xmm11
movdqa 0xded(%rip),%xmm12
movdqa 0xdf4(%rip),%xmm13
movdqa 0xdfb(%rip),%xmm14
cs nopw 0x0(%rax,%rax,1)
nop
movq   (%rdi,%rcx,1),%xmm3
movq   0x8(%rdi,%rcx,1),%xmm0
movdqa %xmm3,%xmm2
pand   %xmm8,%xmm2
movdqa %xmm0,%xmm4
pand   %xmm8,%xmm4
psrlw  $0x4,%xmm3
pand   %xmm9,%xmm3
pxor   %xmm10,%xmm3
psrlw  $0x4,%xmm0
pand   %xmm9,%xmm0
pxor   %xmm10,%xmm0
paddb  %xmm11,%xmm3
paddb  %xmm11,%xmm0
movdqa %xmm2,%xmm7
pminub %xmm13,%xmm7
pcmpeqb %xmm2,%xmm7
movdqa %xmm4,%xmm1
pminub %xmm13,%xmm1
pcmpeqb %xmm4,%xmm1
movdqa %xmm2,%xmm5
paddb  %xmm14,%xmm5
movdqa %xmm4,%xmm6
paddb  %xmm14,%xmm6
por    %xmm12,%xmm2
por    %xmm12,%xmm4
pand   %xmm7,%xmm2
pandn  %xmm5,%xmm7
por    %xmm2,%xmm7
punpcklbw %xmm7,%xmm3
pand   %xmm1,%xmm4
pandn  %xmm6,%xmm1
por    %xmm4,%xmm1
punpcklbw %xmm1,%xmm0
movdqu %xmm3,(%rsi,%rcx,2)
movdqu %xmm0,0x10(%rsi,%rcx,2)
add    $0x10,%rcx
cmp    %rcx,%r8
jne    1270 <xlate+0x170>
cmp    %r8,%r9
jne    1140 <xlate+0x40>
movb   $0x0,(%r14)
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @xlate(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8
%9 = alloca i8
%10 = alloca i8
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %11
11: ; preds = %63, %3
%12 = load i32, i32* %7
%13 = load i32, i32* %6
%14 = icmp ult i32 %12, %13
br i1 %14, label %15, label %66
15: ; preds = %11
%16 = load i8*, i8** %4
%17 = getelementptr inbounds i8, i8* %16, i32 1
store i8* %17, i8** %4
%18 = load i8, i8* %16
store i8 %18, i8* %8
%19 = load i8, i8* %8
%20 = sext i8 %19 to i32
%21 = ashr i32 %20, 4
%22 = trunc i32 %21 to i8
store i8 %22, i8* %9
%23 = load i8, i8* %8
%24 = sext i8 %23 to i32
%25 = and i32 %24, 15
%26 = trunc i32 %25 to i8
store i8 %26, i8* %10
%27 = load i8, i8* %9
%28 = sext i8 %27 to i32
%29 = icmp sgt i32 %28, 9
br i1 %29, label %30, label %36
30: ; preds = %15
%31 = load i8, i8* %9
%32 = sext i8 %31 to i32
%33 = add nsw i32 %32, 65
%34 = sub nsw i32 %33, 10
%35 = trunc i32 %34 to i8
store i8 %35, i8* %9
br label %41
36: ; preds = %15
%37 = load i8, i8* %9
%38 = sext i8 %37 to i32
%39 = add nsw i32 %38, 48
%40 = trunc i32 %39 to i8
store i8 %40, i8* %9
br label %41
41: ; preds = %36, %30
%42 = load i8, i8* %10
%43 = sext i8 %42 to i32
%44 = icmp sgt i32 %43, 9
br i1 %44, label %45, label %51
45: ; preds = %41
%46 = load i8, i8* %10
%47 = sext i8 %46 to i32
%48 = add nsw i32 %47, 65
%49 = sub nsw i32 %48, 10
%50 = trunc i32 %49 to i8
store i8 %50, i8* %10
br label %56
51: ; preds = %41
%52 = load i8, i8* %10
%53 = sext i8 %52 to i32
%54 = add nsw i32 %53, 48
%55 = trunc i32 %54 to i8
store i8 %55, i8* %10
br label %56
56: ; preds = %51, %45
%57 = load i8, i8* %9
%58 = load i8*, i8** %5
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %5
store i8 %57, i8* %58
%60 = load i8, i8* %10
%61 = load i8*, i8** %5
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %5
store i8 %60, i8* %61
br label %63
63: ; preds = %56
%64 = load i32, i32* %7
%65 = add i32 %64, 1
store i32 %65, i32* %7
br label %11
66: ; preds = %11
%67 = load i8*, i8** %5
store i8 0, i8* %67
ret void
}

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