void hex2plain(unsigned char *in, unsigned char *out, int len) {
  int i = 0;
  if ((len % 2)) {
    out[0] = 0;
    return;
  }
  for (; i < len; i++) {
    if (in[i] >= '0' && in[i] <= '9') {
      out[0] = in[i] << 4 >> 4;
    } else if (in[i] >= 'a' && in[i] <= 'f') {
      out[0] = 9 + (in[i] ^ (in[i] >> 4 << 4));
    } else {
      out[0] = 0;
      return;
    }
    out[0] <<= 4;
    i++;
    if (in[i] >= '0' && in[i] <= '9') {
      out[0] += in[i] ^ (in[i] >> 4 << 4);
    } else if (in[i] >= 'a' && in[i] <= 'f') {
      out[0] += 9 + (in[i] ^ (in[i] >> 4 << 4));
    } else {
      out[0] = 0;
      return;
    }
    out++;
  }
}


x86 assembly (clang, -O0):
<hex2plain>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1136 <hex2plain+0x36>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
jmp    12f2 <hex2plain+0x1f2>
jmp    113b <hex2plain+0x3b>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12f2 <hex2plain+0x1f2>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     1190 <hex2plain+0x90>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     1190 <hex2plain+0x90>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x4,%eax
sar    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    11fb <hex2plain+0xfb>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11ea <hex2plain+0xea>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     11ea <hex2plain+0xea>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sar    $0x4,%ecx
shl    $0x4,%ecx
xor    %ecx,%eax
add    $0x9,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    11f6 <hex2plain+0xf6>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
jmp    12f2 <hex2plain+0x1f2>
jmp    11fb <hex2plain+0xfb>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
shl    $0x4,%ecx
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     126a <hex2plain+0x16a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     126a <hex2plain+0x16a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
sar    $0x4,%eax
shl    $0x4,%eax
xor    %eax,%edx
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
add    %edx,%ecx
mov    %cl,(%rax)
jmp    12d8 <hex2plain+0x1d8>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     12c7 <hex2plain+0x1c7>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     12c7 <hex2plain+0x1c7>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
sar    $0x4,%eax
shl    $0x4,%eax
xor    %eax,%edx
add    $0x9,%edx
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
add    %edx,%ecx
mov    %cl,(%rax)
jmp    12d3 <hex2plain+0x1d3>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
jmp    12f2 <hex2plain+0x1f2>
jmp    12d8 <hex2plain+0x1d8>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113b <hex2plain+0x3b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex2plain>:
test   $0x1,%dl
jne    116e <hex2plain+0x6e>
test   %edx,%edx
jle    1171 <hex2plain+0x71>
xor    %r8d,%r8d
jmp    1125 <hex2plain+0x25>
xchg   %ax,%ax
xor    $0x30,%cl
add    %r9b,%cl
mov    %cl,(%rsi)
add    $0x1,%rsi
add    $0x2,%r8
cmp    %edx,%r8d
jge    1171 <hex2plain+0x71>
movzbl (%rdi,%r8,1),%r9d
lea    -0x30(%r9),%ecx
cmp    $0xa,%cl
jb     1144 <hex2plain+0x44>
lea    -0x61(%r9),%ecx
cmp    $0x5,%cl
ja     116e <hex2plain+0x6e>
xor    $0x60,%r9b
add    $0x9,%r9b
shl    $0x4,%r9b
mov    %r9b,(%rsi)
movzbl 0x1(%rdi,%r8,1),%ecx
lea    -0x30(%rcx),%eax
cmp    $0x9,%al
jbe    1110 <hex2plain+0x10>
lea    -0x61(%rcx),%eax
cmp    $0x5,%al
ja     116e <hex2plain+0x6e>
xor    $0x60,%cl
or     $0x9,%r9b
add    %cl,%r9b
mov    %r9d,%ecx
jmp    1116 <hex2plain+0x16>
movb   $0x0,(%rsi)
ret

LLVM IR (-O0):
define void @hex2plain(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
%8 = load i32, i32* %6
%9 = srem i32 %8, 2
%10 = icmp ne i32 %9, 0
br i1 %10, label %11, label %14
11: ; preds = %3
%12 = load i8*, i8** %5
%13 = getelementptr inbounds i8, i8* %12, i64 0
store i8 0, i8* %13
br label %182
14: ; preds = %3
br label %15
15: ; preds = %179, %14
%16 = load i32, i32* %7
%17 = load i32, i32* %6
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %182
19: ; preds = %15
%20 = load i8*, i8** %4
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = icmp sge i32 %25, 48
br i1 %26, label %27, label %47
27: ; preds = %19
%28 = load i8*, i8** %4
%29 = load i32, i32* %7
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
%34 = icmp sle i32 %33, 57
br i1 %34, label %35, label %47
35: ; preds = %27
%36 = load i8*, i8** %4
%37 = load i32, i32* %7
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = shl i32 %41, 4
%43 = ashr i32 %42, 4
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %5
%46 = getelementptr inbounds i8, i8* %45, i64 0
store i8 %44, i8* %46
br label %87
47: ; preds = %27, %19
%48 = load i8*, i8** %4
%49 = load i32, i32* %7
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %48, i64 %50
%52 = load i8, i8* %51
%53 = zext i8 %52 to i32
%54 = icmp sge i32 %53, 97
br i1 %54, label %55, label %83
55: ; preds = %47
%56 = load i8*, i8** %4
%57 = load i32, i32* %7
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
%60 = load i8, i8* %59
%61 = zext i8 %60 to i32
%62 = icmp sle i32 %61, 102
br i1 %62, label %63, label %83
63: ; preds = %55
%64 = load i8*, i8** %4
%65 = load i32, i32* %7
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i8, i8* %64, i64 %66
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = load i8*, i8** %4
%71 = load i32, i32* %7
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = ashr i32 %75, 4
%77 = shl i32 %76, 4
%78 = xor i32 %69, %77
%79 = add nsw i32 9, %78
%80 = trunc i32 %79 to i8
%81 = load i8*, i8** %5
%82 = getelementptr inbounds i8, i8* %81, i64 0
store i8 %80, i8* %82
br label %86
83: ; preds = %55, %47
%84 = load i8*, i8** %5
%85 = getelementptr inbounds i8, i8* %84, i64 0
store i8 0, i8* %85
br label %182
86: ; preds = %63
br label %87
87: ; preds = %86, %35
%88 = load i8*, i8** %5
%89 = getelementptr inbounds i8, i8* %88, i64 0
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = shl i32 %91, 4
%93 = trunc i32 %92 to i8
store i8 %93, i8* %89
%94 = load i32, i32* %7
%95 = add nsw i32 %94, 1
store i32 %95, i32* %7
%96 = load i8*, i8** %4
%97 = load i32, i32* %7
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i8, i8* %96, i64 %98
%100 = load i8, i8* %99
%101 = zext i8 %100 to i32
%102 = icmp sge i32 %101, 48
br i1 %102, label %103, label %133
103: ; preds = %87
%104 = load i8*, i8** %4
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %104, i64 %106
%108 = load i8, i8* %107
%109 = zext i8 %108 to i32
%110 = icmp sle i32 %109, 57
br i1 %110, label %111, label %133
111: ; preds = %103
%112 = load i8*, i8** %4
%113 = load i32, i32* %7
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
%118 = load i8*, i8** %4
%119 = load i32, i32* %7
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
%122 = load i8, i8* %121
%123 = zext i8 %122 to i32
%124 = ashr i32 %123, 4
%125 = shl i32 %124, 4
%126 = xor i32 %117, %125
%127 = load i8*, i8** %5
%128 = getelementptr inbounds i8, i8* %127, i64 0
%129 = load i8, i8* %128
%130 = zext i8 %129 to i32
%131 = add nsw i32 %130, %126
%132 = trunc i32 %131 to i8
store i8 %132, i8* %128
br label %176
133: ; preds = %103, %87
%134 = load i8*, i8** %4
%135 = load i32, i32* %7
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8, i8* %134, i64 %136
%138 = load i8, i8* %137
%139 = zext i8 %138 to i32
%140 = icmp sge i32 %139, 97
br i1 %140, label %141, label %172
141: ; preds = %133
%142 = load i8*, i8** %4
%143 = load i32, i32* %7
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i8, i8* %142, i64 %144
%146 = load i8, i8* %145
%147 = zext i8 %146 to i32
%148 = icmp sle i32 %147, 102
br i1 %148, label %149, label %172
149: ; preds = %141
%150 = load i8*, i8** %4
%151 = load i32, i32* %7
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
%154 = load i8, i8* %153
%155 = zext i8 %154 to i32
%156 = load i8*, i8** %4
%157 = load i32, i32* %7
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i8, i8* %156, i64 %158
%160 = load i8, i8* %159
%161 = zext i8 %160 to i32
%162 = ashr i32 %161, 4
%163 = shl i32 %162, 4
%164 = xor i32 %155, %163
%165 = add nsw i32 9, %164
%166 = load i8*, i8** %5
%167 = getelementptr inbounds i8, i8* %166, i64 0
%168 = load i8, i8* %167
%169 = zext i8 %168 to i32
%170 = add nsw i32 %169, %165
%171 = trunc i32 %170 to i8
store i8 %171, i8* %167
br label %175
172: ; preds = %141, %133
%173 = load i8*, i8** %5
%174 = getelementptr inbounds i8, i8* %173, i64 0
store i8 0, i8* %174
br label %182
175: ; preds = %149
br label %176
176: ; preds = %175, %111
%177 = load i8*, i8** %5
%178 = getelementptr inbounds i8, i8* %177, i32 1
store i8* %178, i8** %5
br label %179
179: ; preds = %176
%180 = load i32, i32* %7
%181 = add nsw i32 %180, 1
store i32 %181, i32* %7
br label %15
182: ; preds = %11, %83, %172, %15
ret void
}

LLVM IR (-O2):
define void @hex2plain(i8* nocapture %0, i8* nocapture %1, i32 %2) {
%4 = and i32 %2, 1
%5 = icmp eq i32 %4, 0
br i1 %5, label %6, label %45
6: ; preds = %3
%7 = icmp sgt i32 %2, 0
br i1 %7, label %8, label %47
8: ; preds = %6, %39
%9 = phi i64 [ %42, %39 ], [ 0, %6 ]
%10 = phi i8* [ %41, %39 ], [ %1, %6 ]
%11 = getelementptr inbounds i8, i8* %0, i64 %9
%12 = load i8, i8* %11
%13 = add i8 %12, -48
%14 = icmp ult i8 %13, 10
br i1 %14, label %21, label %15
15: ; preds = %8
%16 = add i8 %12, -97
%17 = icmp ult i8 %16, 6
br i1 %17, label %18, label %45
18: ; preds = %15
%19 = xor i8 %12, 96
%20 = add i8 %19, 9
br label %21
21: ; preds = %8, %18
%22 = phi i8 [ %20, %18 ], [ %12, %8 ]
%23 = shl i8 %22, 4
store i8 %23, i8* %10
%24 = or i64 %9, 1
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = add i8 %26, -48
%28 = icmp ult i8 %27, 10
br i1 %28, label %29, label %32
29: ; preds = %21
%30 = xor i8 %26, 48
%31 = add i8 %30, %23
br label %39
32: ; preds = %21
%33 = add i8 %26, -97
%34 = icmp ult i8 %33, 6
br i1 %34, label %35, label %45
35: ; preds = %32
%36 = xor i8 %26, 96
%37 = or i8 %23, 9
%38 = add i8 %37, %36
br label %39
39: ; preds = %35, %29
%40 = phi i8 [ %38, %35 ], [ %31, %29 ]
store i8 %40, i8* %10
%41 = getelementptr inbounds i8, i8* %10, i64 1
%42 = add nuw i64 %9, 2
%43 = trunc i64 %42 to i32
%44 = icmp slt i32 %43, %2
br i1 %44, label %8, label %47
45: ; preds = %32, %15, %3
%46 = phi i8* [ %1, %3 ], [ %10, %15 ], [ %10, %32 ]
store i8 0, i8* %46
br label %47
47: ; preds = %39, %45, %6
ret void
}