int hex_decode(char *_h, char _b[16]) {
  int i;
  int k;
  int n;
  for (k = 0; k < 16; k++) {
    _b[k] = 0;
    for (n = 0; n < 2; n++) {
      _b[k] <<= 4;
      i = 2 * k + n;
      if (_h[i] >= '0' && _h[i] <= '9')
        _b[k] += _h[i] - '0';
      else if (_h[i] >= 'a' && _h[i] <= 'f')
        _b[k] += _h[i] - 'a' + 10;
      else if (_h[i] >= 'A' && _h[i] <= 'F')
        _b[k] += _h[i] - 'A' + 10;
      else
        return -1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<hex_decode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x10,-0x20(%rbp)
jge    1287 <hex_decode+0x187>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x24(%rbp)
cmpl   $0x2,-0x24(%rbp)
jge    1274 <hex_decode+0x174>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
shl    $0x4,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     11a7 <hex_decode+0xa7>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     11a7 <hex_decode+0xa7>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
sub    $0x30,%esi
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    1261 <hex_decode+0x161>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11f9 <hex_decode+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     11f9 <hex_decode+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
sub    $0x61,%esi
add    $0xa,%esi
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    125c <hex_decode+0x15c>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     124b <hex_decode+0x14b>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x46,%eax
jg     124b <hex_decode+0x14b>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
sub    $0x41,%esi
add    $0xa,%esi
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    1257 <hex_decode+0x157>
movl   $0xffffffff,-0x4(%rbp)
jmp    128e <hex_decode+0x18e>
jmp    125c <hex_decode+0x15c>
jmp    1261 <hex_decode+0x161>
jmp    1266 <hex_decode+0x166>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1130 <hex_decode+0x30>
jmp    1279 <hex_decode+0x179>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1113 <hex_decode+0x13>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex_decode>:
xor    %eax,%eax
jmp    1122 <hex_decode+0x22>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %cl,%dl
add    %r8b,%dl
mov    %dl,(%rsi,%rax,1)
add    $0x1,%rax
cmp    $0x10,%rax
je     1185 <hex_decode+0x85>
movb   $0x0,(%rsi,%rax,1)
movzbl (%rdi,%rax,2),%edx
lea    -0x30(%rdx),%ecx
cmp    $0xa,%cl
jb     114d <hex_decode+0x4d>
lea    -0x61(%rdx),%ecx
cmp    $0x5,%cl
ja     1140 <hex_decode+0x40>
add    $0xa9,%dl
jmp    114b <hex_decode+0x4b>
nop
lea    -0x41(%rdx),%ecx
cmp    $0x5,%cl
ja     117f <hex_decode+0x7f>
add    $0xc9,%dl
mov    %edx,%ecx
shl    $0x4,%cl
mov    %cl,(%rsi,%rax,1)
movzbl 0x1(%rdi,%rax,2),%edx
lea    -0x30(%rdx),%r9d
mov    $0xd0,%r8b
cmp    $0xa,%r9b
jb     1110 <hex_decode+0x10>
lea    -0x61(%rdx),%r9d
mov    $0xa9,%r8b
cmp    $0x6,%r9b
jb     1110 <hex_decode+0x10>
lea    -0x41(%rdx),%r9d
mov    $0xc9,%r8b
cmp    $0x5,%r9b
jbe    1110 <hex_decode+0x10>
mov    $0xffffffff,%eax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @hex_decode(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 0, i32* %7
br label %9
9: ; preds = %138, %2
%10 = load i32, i32* %7
%11 = icmp slt i32 %10, 16
br i1 %11, label %12, label %141
12: ; preds = %9
%13 = load i8*, i8** %5
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
store i8 0, i8* %16
store i32 0, i32* %8
br label %17
17: ; preds = %134, %12
%18 = load i32, i32* %8
%19 = icmp slt i32 %18, 2
br i1 %19, label %20, label %137
20: ; preds = %17
%21 = load i8*, i8** %5
%22 = load i32, i32* %7
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = shl i32 %26, 4
%28 = trunc i32 %27 to i8
store i8 %28, i8* %24
%29 = load i32, i32* %7
%30 = mul nsw i32 2, %29
%31 = load i32, i32* %8
%32 = add nsw i32 %30, %31
store i32 %32, i32* %6
%33 = load i8*, i8** %4
%34 = load i32, i32* %6
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp sge i32 %38, 48
br i1 %39, label %40, label %64
40: ; preds = %20
%41 = load i8*, i8** %4
%42 = load i32, i32* %6
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = icmp sle i32 %46, 57
br i1 %47, label %48, label %64
48: ; preds = %40
%49 = load i8*, i8** %4
%50 = load i32, i32* %6
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %49, i64 %51
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = sub nsw i32 %54, 48
%56 = load i8*, i8** %5
%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 = sext i8 %60 to i32
%62 = add nsw i32 %61, %55
%63 = trunc i32 %62 to i8
store i8 %63, i8* %59
br label %133
64: ; preds = %40, %20
%65 = load i8*, i8** %4
%66 = load i32, i32* %6
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = icmp sge i32 %70, 97
br i1 %71, label %72, label %97
72: ; preds = %64
%73 = load i8*, i8** %4
%74 = load i32, i32* %6
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8, i8* %73, i64 %75
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp sle i32 %78, 102
br i1 %79, label %80, label %97
80: ; preds = %72
%81 = load i8*, i8** %4
%82 = load i32, i32* %6
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %81, i64 %83
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = sub nsw i32 %86, 97
%88 = add nsw i32 %87, 10
%89 = load i8*, i8** %5
%90 = load i32, i32* %7
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i8, i8* %89, i64 %91
%93 = load i8, i8* %92
%94 = sext i8 %93 to i32
%95 = add nsw i32 %94, %88
%96 = trunc i32 %95 to i8
store i8 %96, i8* %92
br label %132
97: ; preds = %72, %64
%98 = load i8*, i8** %4
%99 = load i32, i32* %6
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %98, i64 %100
%102 = load i8, i8* %101
%103 = sext i8 %102 to i32
%104 = icmp sge i32 %103, 65
br i1 %104, label %105, label %130
105: ; preds = %97
%106 = load i8*, i8** %4
%107 = load i32, i32* %6
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %106, i64 %108
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp sle i32 %111, 70
br i1 %112, label %113, label %130
113: ; preds = %105
%114 = load i8*, i8** %4
%115 = load i32, i32* %6
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds i8, i8* %114, i64 %116
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = sub nsw i32 %119, 65
%121 = add nsw i32 %120, 10
%122 = load i8*, i8** %5
%123 = load i32, i32* %7
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %122, i64 %124
%126 = load i8, i8* %125
%127 = sext i8 %126 to i32
%128 = add nsw i32 %127, %121
%129 = trunc i32 %128 to i8
store i8 %129, i8* %125
br label %131
130: ; preds = %105, %97
store i32 -1, i32* %3
br label %142
131: ; preds = %113
br label %132
132: ; preds = %131, %80
br label %133
133: ; preds = %132, %48
br label %134
134: ; preds = %133
%135 = load i32, i32* %8
%136 = add nsw i32 %135, 1
store i32 %136, i32* %8
br label %17
137: ; preds = %17
br label %138
138: ; preds = %137
%139 = load i32, i32* %7
%140 = add nsw i32 %139, 1
store i32 %140, i32* %7
br label %9
141: ; preds = %9
store i32 0, i32* %3
br label %142
142: ; preds = %141, %130
%143 = load i32, i32* %3
ret i32 %143
}

LLVM IR (-O2):
define i32 @hex_decode(i8* nocapture %0, i8* nocapture %1) {
br label %3
3: ; preds = %2, %35
%4 = phi i64 [ 0, %2 ], [ %39, %35 ]
%5 = getelementptr inbounds i8, i8* %1, i64 %4
%6 = shl nuw nsw i64 %4, 1
store i8 0, i8* %5
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = load i8, i8* %7
%9 = add i8 %8, -48
%10 = icmp ult i8 %9, 10
br i1 %10, label %21, label %11
11: ; preds = %3
%12 = add i8 %8, -97
%13 = icmp ult i8 %12, 6
br i1 %13, label %14, label %16
14: ; preds = %11
%15 = add nsw i8 %8, -87
br label %21
16: ; preds = %11
%17 = add i8 %8, -65
%18 = icmp ult i8 %17, 6
br i1 %18, label %19, label %41
19: ; preds = %16
%20 = add nsw i8 %8, -55
br label %21
21: ; preds = %3, %19, %14
%22 = phi i8 [ %20, %19 ], [ %15, %14 ], [ %9, %3 ]
%23 = shl nuw i8 %22, 4
store i8 %23, i8* %5
%24 = or i64 %6, 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 %35, label %29
29: ; preds = %21
%30 = add i8 %26, -97
%31 = icmp ult i8 %30, 6
br i1 %31, label %35, label %32
32: ; preds = %29
%33 = add i8 %26, -65
%34 = icmp ult i8 %33, 6
br i1 %34, label %35, label %41
35: ; preds = %21, %29, %32
%36 = phi i8 [ -55, %32 ], [ -87, %29 ], [ -48, %21 ]
%37 = add i8 %26, %23
%38 = add i8 %37, %36
store i8 %38, i8* %5
%39 = add nuw nsw i64 %4, 1
%40 = icmp eq i64 %39, 16
br i1 %40, label %41, label %3
41: ; preds = %35, %16, %32
%42 = phi i32 [ -1, %32 ], [ -1, %16 ], [ 0, %35 ]
ret i32 %42
}