int hex2bin(const char *s) {
  int a, b;
  a = s[0] & 0xff;
  b = s[1] & 0xff;
  if ((a >= 'a') && (a <= 'f'))
    a = a + 10 - 'a';
  else if ((a >= 'A') && (a <= 'F'))
    a = a + 10 - 'A';
  else if ((a >= '0') && (a <= '9'))
    a -= '0';
  else
    return -1;
  if ((b >= 'a') && (b <= 'f'))
    b = b + 10 - 'a';
  else if ((b >= 'A') && (b <= 'F'))
    b = b + 10 - 'A';
  else if ((b >= '0') && (b <= '9'))
    b -= '0';
  else
    return -1;
  return ((a << 4) + b);
}


x86 assembly (clang, -O0):
<hex2bin>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
and    $0xff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
and    $0xff,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x61,-0x14(%rbp)
jl     114c <hex2bin+0x4c>
cmpl   $0x66,-0x14(%rbp)
jg     114c <hex2bin+0x4c>
mov    -0x14(%rbp),%eax
add    $0xa,%eax
sub    $0x61,%eax
mov    %eax,-0x14(%rbp)
jmp    11a9 <hex2bin+0xa9>
cmpl   $0x41,-0x14(%rbp)
jl     1171 <hex2bin+0x71>
cmpl   $0x46,-0x14(%rbp)
jg     1171 <hex2bin+0x71>
mov    -0x14(%rbp),%eax
add    $0xa,%eax
sub    $0x41,%eax
mov    %eax,-0x14(%rbp)
jmp    11a4 <hex2bin+0xa4>
cmpl   $0x30,-0x14(%rbp)
jl     1193 <hex2bin+0x93>
cmpl   $0x39,-0x14(%rbp)
jg     1193 <hex2bin+0x93>
mov    -0x14(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x14(%rbp)
jmp    119f <hex2bin+0x9f>
movl   $0xffffffff,-0x4(%rbp)
jmp    1237 <hex2bin+0x137>
jmp    11a4 <hex2bin+0xa4>
jmp    11a9 <hex2bin+0xa9>
cmpl   $0x61,-0x18(%rbp)
jl     11ce <hex2bin+0xce>
cmpl   $0x66,-0x18(%rbp)
jg     11ce <hex2bin+0xce>
mov    -0x18(%rbp),%eax
add    $0xa,%eax
sub    $0x61,%eax
mov    %eax,-0x18(%rbp)
jmp    122b <hex2bin+0x12b>
cmpl   $0x41,-0x18(%rbp)
jl     11f3 <hex2bin+0xf3>
cmpl   $0x46,-0x18(%rbp)
jg     11f3 <hex2bin+0xf3>
mov    -0x18(%rbp),%eax
add    $0xa,%eax
sub    $0x41,%eax
mov    %eax,-0x18(%rbp)
jmp    1226 <hex2bin+0x126>
cmpl   $0x30,-0x18(%rbp)
jl     1215 <hex2bin+0x115>
cmpl   $0x39,-0x18(%rbp)
jg     1215 <hex2bin+0x115>
mov    -0x18(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x18(%rbp)
jmp    1221 <hex2bin+0x121>
movl   $0xffffffff,-0x4(%rbp)
jmp    1237 <hex2bin+0x137>
jmp    1226 <hex2bin+0x126>
jmp    122b <hex2bin+0x12b>
mov    -0x14(%rbp),%eax
shl    $0x4,%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex2bin>:
movzbl (%rdi),%ecx
movzbl 0x1(%rdi),%edx
lea    -0x61(%rcx),%eax
mov    $0xffffffa9,%esi
mov    $0xffffffa9,%edi
cmp    $0x6,%al
jb     1138 <hex2bin+0x38>
lea    -0x41(%rcx),%eax
mov    $0xffffffc9,%edi
cmp    $0x6,%al
jb     1138 <hex2bin+0x38>
lea    -0x30(%rcx),%r8d
mov    $0xffffffff,%eax
mov    $0xffffffd0,%edi
cmp    $0x9,%r8b
ja     116a <hex2bin+0x6a>
lea    -0x61(%rdx),%eax
cmp    $0x6,%al
jb     115f <hex2bin+0x5f>
lea    -0x41(%rdx),%eax
mov    $0xffffffc9,%esi
cmp    $0x6,%al
jb     115f <hex2bin+0x5f>
lea    -0x30(%rdx),%r8d
mov    $0xffffffff,%eax
mov    $0xffffffd0,%esi
cmp    $0x9,%r8b
ja     116a <hex2bin+0x6a>
add    %ecx,%edi
add    %edx,%esi
shl    $0x4,%edi
add    %esi,%edi
mov    %edi,%eax
ret

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

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