void hex2str(char *out, char *in) {
  while (*in) {
    *out = ((((*in) >= '0') && ((*in) <= '9'))
                ? ((*in) - '0')
                : ((((*in) >= 'A') && ((*in) <= 'F')) ? ((*in) - 'A' + 10) : 0))
           << 4;
    in++;
    if (*in) {
      *out |=
          ((((*in) >= '0') && ((*in) <= '9'))
               ? ((*in) - '0')
               : ((((*in) >= 'A') && ((*in) <= 'F')) ? ((*in) - 'A' + 10) : 0));
      in++;
    }
    out++;
  }
}


x86 assembly (clang, -O0):
<hex2str>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1259 <hex2str+0x159>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     114b <hex2str+0x4b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     114b <hex2str+0x4b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x14(%rbp)
jmp    1190 <hex2str+0x90>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     1180 <hex2str+0x80>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x46,%eax
jg     1180 <hex2str+0x80>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x18(%rbp)
jmp    118a <hex2str+0x8a>
xor    %eax,%eax
mov    %eax,-0x18(%rbp)
jmp    118a <hex2str+0x8a>
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1248 <hex2str+0x148>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     11e9 <hex2str+0xe9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     11e9 <hex2str+0xe9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x1c(%rbp)
jmp    122e <hex2str+0x12e>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     121e <hex2str+0x11e>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x46,%eax
jg     121e <hex2str+0x11e>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x20(%rbp)
jmp    1228 <hex2str+0x128>
xor    %eax,%eax
mov    %eax,-0x20(%rbp)
jmp    1228 <hex2str+0x128>
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    110c <hex2str+0xc>
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex2str>:
mov    (%rsi),%dl
test   %dl,%dl
je     1176 <hex2str+0x76>
xor    %r8d,%r8d
xor    %r11d,%r11d
nopl   0x0(%rax)
lea    -0x30(%rdx),%r10d
lea    -0x41(%rdx),%r9d
add    $0xc9,%dl
cmp    $0x6,%r9b
movzbl %dl,%eax
cmovae %r8d,%eax
cmp    $0xa,%r10b
movzbl %r10b,%edx
cmovae %eax,%edx
shl    $0x4,%dl
mov    %dl,(%rdi,%r11,1)
movzbl 0x1(%rsi,%r11,2),%eax
test   %al,%al
je     1176 <hex2str+0x76>
lea    -0x30(%rax),%r9d
lea    -0x41(%rax),%r10d
add    $0xc9,%al
cmp    $0x6,%r10b
movzbl %al,%eax
cmovae %r8d,%eax
cmp    $0xa,%r9b
movzbl %r9b,%ecx
cmovae %eax,%ecx
or     %dl,%cl
mov    %cl,(%rdi,%r11,1)
movzbl 0x2(%rsi,%r11,2),%edx
add    $0x1,%r11
test   %dl,%dl
jne    1110 <hex2str+0x10>
ret

LLVM IR (-O0):
define void @hex2str(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
store i8* %1, i8** %4
br label %5
5: ; preds = %96, %2
%6 = load i8*, i8** %4
%7 = load i8, i8* %6
%8 = icmp ne i8 %7, 0
br i1 %8, label %9, label %99
9: ; preds = %5
%10 = load i8*, i8** %4
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp sge i32 %12, 48
br i1 %13, label %14, label %24
14: ; preds = %9
%15 = load i8*, i8** %4
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp sle i32 %17, 57
br i1 %18, label %19, label %24
19: ; preds = %14
%20 = load i8*, i8** %4
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = sub nsw i32 %22, 48
br label %43
24: ; preds = %14, %9
%25 = load i8*, i8** %4
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp sge i32 %27, 65
br i1 %28, label %29, label %40
29: ; preds = %24
%30 = load i8*, i8** %4
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp sle i32 %32, 70
br i1 %33, label %34, label %40
34: ; preds = %29
%35 = load i8*, i8** %4
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = sub nsw i32 %37, 65
%39 = add nsw i32 %38, 10
br label %41
40: ; preds = %29, %24
br label %41
41: ; preds = %40, %34
%42 = phi i32 [ %39, %34 ], [ 0, %40 ]
br label %43
43: ; preds = %41, %19
%44 = phi i32 [ %23, %19 ], [ %42, %41 ]
%45 = shl i32 %44, 4
%46 = trunc i32 %45 to i8
%47 = load i8*, i8** %3
store i8 %46, i8* %47
%48 = load i8*, i8** %4
%49 = getelementptr inbounds i8, i8* %48, i32 1
store i8* %49, i8** %4
%50 = load i8*, i8** %4
%51 = load i8, i8* %50
%52 = icmp ne i8 %51, 0
br i1 %52, label %53, label %96
53: ; preds = %43
%54 = load i8*, i8** %4
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = icmp sge i32 %56, 48
br i1 %57, label %58, label %68
58: ; preds = %53
%59 = load i8*, i8** %4
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp sle i32 %61, 57
br i1 %62, label %63, label %68
63: ; preds = %58
%64 = load i8*, i8** %4
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = sub nsw i32 %66, 48
br label %87
68: ; preds = %58, %53
%69 = load i8*, i8** %4
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = icmp sge i32 %71, 65
br i1 %72, label %73, label %84
73: ; preds = %68
%74 = load i8*, i8** %4
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = icmp sle i32 %76, 70
br i1 %77, label %78, label %84
78: ; preds = %73
%79 = load i8*, i8** %4
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = sub nsw i32 %81, 65
%83 = add nsw i32 %82, 10
br label %85
84: ; preds = %73, %68
br label %85
85: ; preds = %84, %78
%86 = phi i32 [ %83, %78 ], [ 0, %84 ]
br label %87
87: ; preds = %85, %63
%88 = phi i32 [ %67, %63 ], [ %86, %85 ]
%89 = load i8*, i8** %3
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = or i32 %91, %88
%93 = trunc i32 %92 to i8
store i8 %93, i8* %89
%94 = load i8*, i8** %4
%95 = getelementptr inbounds i8, i8* %94, i32 1
store i8* %95, i8** %4
br label %96
96: ; preds = %87, %43
%97 = load i8*, i8** %3
%98 = getelementptr inbounds i8, i8* %97, i32 1
store i8* %98, i8** %3
br label %5
99: ; preds = %5
ret void
}

LLVM IR (-O2):
define void @hex2str(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %33, label %5
5: ; preds = %2, %20
%6 = phi i8 [ %30, %20 ], [ %3, %2 ]
%7 = phi i8* [ %29, %20 ], [ %1, %2 ]
%8 = phi i8* [ %31, %20 ], [ %0, %2 ]
%9 = add i8 %6, -48
%10 = icmp ult i8 %9, 10
%11 = add i8 %6, -65
%12 = icmp ult i8 %11, 6
%13 = add i8 %6, -55
%14 = select i1 %12, i8 %13, i8 0
%15 = select i1 %10, i8 %9, i8 %14
%16 = shl nuw i8 %15, 4
store i8 %16, i8* %8
%17 = getelementptr inbounds i8, i8* %7, i64 1
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 0
br i1 %19, label %33, label %20
20: ; preds = %5
%21 = add i8 %18, -48
%22 = icmp ult i8 %21, 10
%23 = add i8 %18, -65
%24 = icmp ult i8 %23, 6
%25 = add i8 %18, -55
%26 = select i1 %24, i8 %25, i8 0
%27 = select i1 %22, i8 %21, i8 %26
%28 = or i8 %27, %16
store i8 %28, i8* %8
%29 = getelementptr inbounds i8, i8* %7, i64 2
%30 = load i8, i8* %29
%31 = getelementptr inbounds i8, i8* %8, i64 1
%32 = icmp eq i8 %30, 0
br i1 %32, label %33, label %5
33: ; preds = %5, %20, %2
ret void
}