int decode_hex_byte(char b1, char b2, unsigned char *tptr) {
  *tptr = 0;
  if ((b1 >= '0') && (b1 <= '9')) {
    *tptr = ((b1 - '0') << 4);
  } else if ((b1 >= 'a') && (b1 <= 'f')) {
    *tptr = (((b1 - 'a') + 10) << 4);
  } else if ((b1 >= 'A') && (b1 <= 'F')) {
    *tptr = (((b1 - 'A') + 10) << 4);
  } else {
    return -1;
  }
  if ((b2 >= '0') && (b2 <= '9')) {
    *tptr |= ((b2 - '0') & 0x0f);
  } else if ((b2 >= 'a') && (b2 <= 'f')) {
    *tptr |= (((b2 - 'a') + 10) & 0x0f);
  } else if ((b2 >= 'A') && (b2 <= 'F')) {
    *tptr |= (((b2 - 'A') + 10) & 0x0f);
  } else {
    return -1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<decode_hex_byte>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
movsbl -0x5(%rbp),%eax
cmp    $0x30,%eax
jl     114c <decode_hex_byte+0x4c>
movsbl -0x5(%rbp),%eax
cmp    $0x39,%eax
jg     114c <decode_hex_byte+0x4c>
movsbl -0x5(%rbp),%eax
sub    $0x30,%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    11ca <decode_hex_byte+0xca>
movsbl -0x5(%rbp),%eax
cmp    $0x61,%eax
jl     1180 <decode_hex_byte+0x80>
movsbl -0x5(%rbp),%eax
cmp    $0x66,%eax
jg     1180 <decode_hex_byte+0x80>
movsbl -0x5(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    11c5 <decode_hex_byte+0xc5>
movsbl -0x5(%rbp),%eax
cmp    $0x41,%eax
jl     11b4 <decode_hex_byte+0xb4>
movsbl -0x5(%rbp),%eax
cmp    $0x46,%eax
jg     11b4 <decode_hex_byte+0xb4>
movsbl -0x5(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    11c0 <decode_hex_byte+0xc0>
movl   $0xffffffff,-0x4(%rbp)
jmp    1289 <decode_hex_byte+0x189>
jmp    11c5 <decode_hex_byte+0xc5>
jmp    11ca <decode_hex_byte+0xca>
movsbl -0x6(%rbp),%eax
cmp    $0x30,%eax
jl     11fe <decode_hex_byte+0xfe>
movsbl -0x6(%rbp),%eax
cmp    $0x39,%eax
jg     11fe <decode_hex_byte+0xfe>
movsbl -0x6(%rbp),%edx
sub    $0x30,%edx
and    $0xf,%edx
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    1282 <decode_hex_byte+0x182>
movsbl -0x6(%rbp),%eax
cmp    $0x61,%eax
jl     1235 <decode_hex_byte+0x135>
movsbl -0x6(%rbp),%eax
cmp    $0x66,%eax
jg     1235 <decode_hex_byte+0x135>
movsbl -0x6(%rbp),%edx
sub    $0x61,%edx
add    $0xa,%edx
and    $0xf,%edx
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    127d <decode_hex_byte+0x17d>
movsbl -0x6(%rbp),%eax
cmp    $0x41,%eax
jl     126c <decode_hex_byte+0x16c>
movsbl -0x6(%rbp),%eax
cmp    $0x46,%eax
jg     126c <decode_hex_byte+0x16c>
movsbl -0x6(%rbp),%edx
sub    $0x41,%edx
add    $0xa,%edx
and    $0xf,%edx
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    1278 <decode_hex_byte+0x178>
movl   $0xffffffff,-0x4(%rbp)
jmp    1289 <decode_hex_byte+0x189>
jmp    127d <decode_hex_byte+0x17d>
jmp    1282 <decode_hex_byte+0x182>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<decode_hex_byte>:
movb   $0x0,(%rdx)
lea    -0x30(%rdi),%eax
cmp    $0x9,%al
ja     1110 <decode_hex_byte+0x10>
shl    $0x4,%dil
jmp    112c <decode_hex_byte+0x2c>
lea    -0x61(%rdi),%eax
cmp    $0x5,%al
jbe    1124 <decode_hex_byte+0x24>
lea    -0x41(%rdi),%ecx
mov    $0xffffffff,%eax
cmp    $0x5,%cl
ja     115a <decode_hex_byte+0x5a>
shl    $0x4,%dil
add    $0x90,%dil
mov    %dil,(%rdx)
lea    -0x30(%rsi),%eax
cmp    $0xa,%al
jb     114e <decode_hex_byte+0x4e>
lea    -0x61(%rsi),%eax
cmp    $0x5,%al
jbe    114a <decode_hex_byte+0x4a>
lea    -0x41(%rsi),%ecx
mov    $0xffffffff,%eax
cmp    $0x5,%cl
ja     115a <decode_hex_byte+0x5a>
add    $0x9,%sil
and    $0xf,%sil
or     %sil,%dil
mov    %dil,(%rdx)
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @decode_hex_byte(i8 signext %0, i8 signext %1, i8* nocapture %2) {
store i8 0, i8* %2
%4 = add i8 %0, -48
%5 = icmp ult i8 %4, 10
br i1 %5, label %6, label %8
6: ; preds = %3
%7 = shl i8 %0, 4
br label %20
8: ; preds = %3
%9 = add i8 %0, -97
%10 = icmp ult i8 %9, 6
br i1 %10, label %11, label %14
11: ; preds = %8
%12 = shl i8 %0, 4
%13 = add nuw nsw i8 %12, -112
br label %20
14: ; preds = %8
%15 = add i8 %0, -65
%16 = icmp ult i8 %15, 6
br i1 %16, label %17, label %38
17: ; preds = %14
%18 = shl i8 %0, 4
%19 = add nuw nsw i8 %18, -112
br label %20
20: ; preds = %11, %17, %6
%21 = phi i8 [ %13, %11 ], [ %19, %17 ], [ %7, %6 ]
store i8 %21, i8* %2
%22 = add i8 %1, -48
%23 = icmp ult i8 %22, 10
br i1 %23, label %34, label %24
24: ; preds = %20
%25 = add i8 %1, -97
%26 = icmp ult i8 %25, 6
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = add nuw nsw i8 %1, 9
br label %34
29: ; preds = %24
%30 = add i8 %1, -65
%31 = icmp ult i8 %30, 6
br i1 %31, label %32, label %38
32: ; preds = %29
%33 = add nuw nsw i8 %1, 9
br label %34
34: ; preds = %20, %27, %32
%35 = phi i8 [ %33, %32 ], [ %28, %27 ], [ %1, %20 ]
%36 = and i8 %35, 15
%37 = or i8 %21, %36
store i8 %37, i8* %2
br label %38
38: ; preds = %34, %29, %14
%39 = phi i32 [ -1, %14 ], [ -1, %29 ], [ 0, %34 ]
ret i32 %39
}