#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int crypto_hex_to_binary(const char *hex, const unsigned int length,
                         unsigned char *binary) {
  int i;
  char byte = 0;
  assert(hex && binary);
  assert(length % 2 == 0);
  if (!hex || !binary || length % 2 != 0)
    return 1;
  for (i = 0; i < length && hex[i]; i++) {
    if (hex[i] >= '0' && hex[i] <= '9')
      byte |= hex[i] - '0';
    else if (hex[i] >= 'A' && hex[i] <= 'F')
      byte |= 10 + hex[i] - 'A';
    else if (hex[i] >= 'a' && hex[i] <= 'f')
      byte |= 10 + hex[i] - 'a';
    else {
      return 1;
    }
    if (i % 2 == 0)
      byte <<= 4;
    else {
      binary[i / 2] = byte;
      byte = 0;
    }
  }
  if (i != length) {
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<crypto_hex_to_binary>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movb   $0x0,-0x25(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x26(%rbp)
je     1142 <crypto_hex_to_binary+0x32>
cmpq   $0x0,-0x20(%rbp)
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0x0,-0x10(%rbp)
je     118a <crypto_hex_to_binary+0x7a>
cmpq   $0x0,-0x20(%rbp)
je     118a <crypto_hex_to_binary+0x7a>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1196 <crypto_hex_to_binary+0x86>
movl   $0x1,-0x4(%rbp)
jmp    1345 <crypto_hex_to_binary+0x235>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x27(%rbp)
jae    11c3 <crypto_hex_to_binary+0xb3>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x27(%rbp)
mov    -0x27(%rbp),%al
test   $0x1,%al
jne    11d3 <crypto_hex_to_binary+0xc3>
jmp    1326 <crypto_hex_to_binary+0x216>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     121a <crypto_hex_to_binary+0x10a>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     121a <crypto_hex_to_binary+0x10a>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
sub    $0x30,%ecx
movsbl -0x25(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x25(%rbp)
jmp    12c4 <crypto_hex_to_binary+0x1b4>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1264 <crypto_hex_to_binary+0x154>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x46,%eax
jg     1264 <crypto_hex_to_binary+0x154>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
add    $0xa,%ecx
sub    $0x41,%ecx
movsbl -0x25(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x25(%rbp)
jmp    12bf <crypto_hex_to_binary+0x1af>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     12ae <crypto_hex_to_binary+0x19e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     12ae <crypto_hex_to_binary+0x19e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
add    $0xa,%ecx
sub    $0x61,%ecx
movsbl -0x25(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x25(%rbp)
jmp    12ba <crypto_hex_to_binary+0x1aa>
movl   $0x1,-0x4(%rbp)
jmp    1345 <crypto_hex_to_binary+0x235>
jmp    12bf <crypto_hex_to_binary+0x1af>
jmp    12c4 <crypto_hex_to_binary+0x1b4>
mov    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12e7 <crypto_hex_to_binary+0x1d7>
movsbl -0x25(%rbp),%eax
shl    $0x4,%eax
mov    %al,-0x25(%rbp)
jmp    1313 <crypto_hex_to_binary+0x203>
mov    -0x25(%rbp),%al
mov    %al,-0x31(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    -0x31(%rbp),%dl
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
movb   $0x0,-0x25(%rbp)
jmp    1318 <crypto_hex_to_binary+0x208>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    119d <crypto_hex_to_binary+0x8d>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     133e <crypto_hex_to_binary+0x22e>
movl   $0x1,-0x4(%rbp)
jmp    1345 <crypto_hex_to_binary+0x235>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<crypto_hex_to_binary>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r15
mov    %esi,%r14d
mov    %rdi,%rbp
mov    %esi,%ebx
not    %ebx
test   %rdi,%rdi
setne  %al
test   %rdx,%rdx
setne  %r12b
and    %al,%r12b
movzbl %r12b,%edi
call   1030 <assert@plt>
and    $0x1,%ebx
mov    %ebx,%edi
call   1030 <assert@plt>
mov    $0x1,%eax
test   $0x1,%r14b
jne    11dd <crypto_hex_to_binary+0xcd>
test   %r12b,%r12b
je     11dd <crypto_hex_to_binary+0xcd>
test   %r14d,%r14d
je     11cf <crypto_hex_to_binary+0xbf>
mov    %r14d,%edx
xor    %ecx,%ecx
xor    %ebx,%ebx
jmp    1183 <crypto_hex_to_binary+0x73>
xchg   %ax,%ax
mov    %ecx,%edi
shr    %edi
mov    %sil,(%r15,%rdi,1)
xor    %ebx,%ebx
add    $0x1,%rcx
cmp    %rcx,%rdx
je     11d3 <crypto_hex_to_binary+0xc3>
movzbl 0x0(%rbp,%rcx,1),%edi
test   %dil,%dil
je     11d5 <crypto_hex_to_binary+0xc5>
lea    -0x30(%rdi),%esi
cmp    $0xa,%sil
jb     11bf <crypto_hex_to_binary+0xaf>
lea    -0x41(%rdi),%esi
cmp    $0x5,%sil
ja     11b0 <crypto_hex_to_binary+0xa0>
add    $0xc9,%dil
jmp    11bd <crypto_hex_to_binary+0xad>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x61(%rdi),%esi
cmp    $0x5,%sil
ja     11dd <crypto_hex_to_binary+0xcd>
add    $0xa9,%dil
mov    %edi,%esi
or     %bl,%sil
test   $0x1,%cl
jne    1170 <crypto_hex_to_binary+0x60>
shl    $0x4,%sil
mov    %esi,%ebx
jmp    117a <crypto_hex_to_binary+0x6a>
xor    %ecx,%ecx
jmp    11d5 <crypto_hex_to_binary+0xc5>
mov    %edx,%ecx
xor    %eax,%eax
cmp    %r14d,%ecx
setne  %al
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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