int array_convert_hex2bin(const unsigned char input[], unsigned int isize,
                          unsigned char output[], unsigned int osize) {
  if (isize != 2 * osize)
    return -1;
  for (unsigned int i = 0; i < osize; ++i) {
    unsigned char value = 0;
    for (unsigned int j = 0; j < 2; ++j) {
      unsigned char number = 0;
      unsigned char ascii = input[i * 2 + j];
      if (ascii >= '0' && ascii <= '9')
        number = ascii - '0';
      else if (ascii >= 'A' && ascii <= 'F')
        number = 10 + ascii - 'A';
      else if (ascii >= 'a' && ascii <= 'f')
        number = 10 + ascii - 'a';
      else
        return -1;
      value <<= 4;
      value += number;
    }
    output[i] = value;
  }
  return 0;
}


x86 assembly (clang, -O0):
<array_convert_hex2bin>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
je     112f <array_convert_hex2bin+0x2f>
movl   $0xffffffff,-0x4(%rbp)
jmp    124e <array_convert_hex2bin+0x14e>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    1247 <array_convert_hex2bin+0x147>
movb   $0x0,-0x29(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x2,-0x30(%rbp)
jae    122c <array_convert_hex2bin+0x12c>
movb   $0x0,-0x31(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
shl    $0x1,%ecx
add    -0x30(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%al
mov    %al,-0x32(%rbp)
movzbl -0x32(%rbp),%eax
cmp    $0x30,%eax
jl     1199 <array_convert_hex2bin+0x99>
movzbl -0x32(%rbp),%eax
cmp    $0x39,%eax
jg     1199 <array_convert_hex2bin+0x99>
movzbl -0x32(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x31(%rbp)
jmp    1207 <array_convert_hex2bin+0x107>
movzbl -0x32(%rbp),%eax
cmp    $0x41,%eax
jl     11c5 <array_convert_hex2bin+0xc5>
movzbl -0x32(%rbp),%eax
cmp    $0x46,%eax
jg     11c5 <array_convert_hex2bin+0xc5>
movzbl -0x32(%rbp),%eax
add    $0xa,%eax
sub    $0x41,%eax
mov    %al,-0x31(%rbp)
jmp    1202 <array_convert_hex2bin+0x102>
movzbl -0x32(%rbp),%eax
cmp    $0x61,%eax
jl     11f1 <array_convert_hex2bin+0xf1>
movzbl -0x32(%rbp),%eax
cmp    $0x66,%eax
jg     11f1 <array_convert_hex2bin+0xf1>
movzbl -0x32(%rbp),%eax
add    $0xa,%eax
sub    $0x61,%eax
mov    %al,-0x31(%rbp)
jmp    11fd <array_convert_hex2bin+0xfd>
movl   $0xffffffff,-0x4(%rbp)
jmp    124e <array_convert_hex2bin+0x14e>
jmp    1202 <array_convert_hex2bin+0x102>
jmp    1207 <array_convert_hex2bin+0x107>
movzbl -0x29(%rbp),%eax
shl    $0x4,%eax
mov    %al,-0x29(%rbp)
movzbl -0x31(%rbp),%ecx
movzbl -0x29(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x29(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    114d <array_convert_hex2bin+0x4d>
mov    -0x29(%rbp),%dl
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1136 <array_convert_hex2bin+0x36>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<array_convert_hex2bin>:
push   %rbx
lea    (%rcx,%rcx,1),%ebx
mov    $0xffffffff,%eax
cmp    %esi,%ebx
jne    11ad <array_convert_hex2bin+0xad>
test   %ecx,%ecx
je     11a1 <array_convert_hex2bin+0xa1>
mov    %ecx,%r9d
lea    (%r9,%r9,1),%r8
mov    $0x1,%r10b
mov    $0x1,%r11d
xor    %esi,%esi
jmp    1154 <array_convert_hex2bin+0x54>
nopl   (%rax)
add    $0xc9,%cl
mov    %ecx,%ebx
shl    $0x4,%al
add    %bl,%al
mov    %al,(%rdx)
cmp    %r9,%r11
setb   %r10b
add    $0x2,%rsi
add    $0x1,%rdx
add    $0x1,%r11
cmp    %rsi,%r8
je     11a4 <array_convert_hex2bin+0xa4>
mov    %esi,%ecx
and    $0xfffffffe,%ecx
movzbl (%rdi,%rcx,1),%ebx
lea    -0x30(%rbx),%eax
cmp    $0xa,%al
jb     117c <array_convert_hex2bin+0x7c>
lea    -0x41(%rbx),%eax
cmp    $0x5,%al
ja     1170 <array_convert_hex2bin+0x70>
add    $0xc9,%bl
jmp    117a <array_convert_hex2bin+0x7a>
lea    -0x61(%rbx),%eax
cmp    $0x5,%al
ja     11a4 <array_convert_hex2bin+0xa4>
add    $0xa9,%bl
mov    %ebx,%eax
or     $0x1,%rcx
movzbl (%rdi,%rcx,1),%ecx
lea    -0x30(%rcx),%ebx
cmp    $0xa,%bl
jb     1135 <array_convert_hex2bin+0x35>
lea    -0x41(%rcx),%ebx
cmp    $0x6,%bl
jb     1130 <array_convert_hex2bin+0x30>
lea    -0x61(%rcx),%ebx
cmp    $0x5,%bl
ja     11a4 <array_convert_hex2bin+0xa4>
add    $0xa9,%cl
jmp    1133 <array_convert_hex2bin+0x33>
xor    %r10d,%r10d
movzbl %r10b,%eax
and    $0x1,%eax
neg    %eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @array_convert_hex2bin(i8* nocapture %0, i32 %1, i8* nocapture writeonly %2, i32 %3) {
%5 = shl i32 %3, 1
%6 = icmp eq i32 %5, %1
br i1 %6, label %7, label %58
7: ; preds = %4
%8 = icmp eq i32 %3, 0
br i1 %8, label %55, label %9
9: ; preds = %7
%10 = zext i32 %3 to i64
br label %11
11: ; preds = %9, %47
%12 = phi i64 [ 0, %9 ], [ %52, %47 ]
%13 = phi i1 [ true, %9 ], [ %53, %47 ]
%14 = shl nuw i64 %12, 1
%15 = and i64 %14, 4294967294
%16 = getelementptr inbounds i8, i8* %0, i64 %15
%17 = load i8, i8* %16
%18 = add i8 %17, -48
%19 = icmp ult i8 %18, 10
br i1 %19, label %30, label %20
20: ; preds = %11
%21 = add i8 %17, -65
%22 = icmp ult i8 %21, 6
br i1 %22, label %23, label %25
23: ; preds = %20
%24 = add nsw i8 %17, -55
br label %30
25: ; preds = %20
%26 = add i8 %17, -97
%27 = icmp ult i8 %26, 6
br i1 %27, label %28, label %55
28: ; preds = %25
%29 = add nsw i8 %17, -87
br label %30
30: ; preds = %28, %23, %11
%31 = phi i8 [ %24, %23 ], [ %29, %28 ], [ %18, %11 ]
%32 = or i64 %15, 1
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = load i8, i8* %33
%35 = add i8 %34, -48
%36 = icmp ult i8 %35, 10
br i1 %36, label %47, label %37
37: ; preds = %30
%38 = add i8 %34, -65
%39 = icmp ult i8 %38, 6
br i1 %39, label %45, label %40
40: ; preds = %37
%41 = add i8 %34, -97
%42 = icmp ult i8 %41, 6
br i1 %42, label %43, label %55
43: ; preds = %40
%44 = add nsw i8 %34, -87
br label %47
45: ; preds = %37
%46 = add nsw i8 %34, -55
br label %47
47: ; preds = %45, %43, %30
%48 = phi i8 [ %46, %45 ], [ %44, %43 ], [ %35, %30 ]
%49 = shl nuw i8 %31, 4
%50 = add nuw i8 %48, %49
%51 = getelementptr inbounds i8, i8* %2, i64 %12
store i8 %50, i8* %51
%52 = add nuw nsw i64 %12, 1
%53 = icmp ult i64 %52, %10
%54 = icmp eq i64 %52, %10
br i1 %54, label %55, label %11
55: ; preds = %47, %25, %40, %7
%56 = phi i1 [ false, %7 ], [ %53, %47 ], [ %13, %25 ], [ %13, %40 ]
%57 = sext i1 %56 to i32
br label %58
58: ; preds = %55, %4
%59 = phi i32 [ -1, %4 ], [ %57, %55 ]
ret i32 %59
}