#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 /*<<< orphan*/);
int strlen(char const *);
int safe_strtohexa(const char *str, unsigned char *bin, const int size) {
  assert(bin != NULL);
  int i, slen = strlen(str);
  char ch1, ch2;
  if (slen <= 0 || slen > (2 * size) || (slen % 2) != 0) {
    return 0;
  }
  for (i = 0; i < (slen / 2); i++) {
    ch1 = str[2 * i];
    ch2 = str[2 * i + 1];
    if (ch1 >= '0' && ch1 <= '9')
      bin[i] = (ch1 - '0');
    else if (ch1 >= 'A' && ch1 <= 'F')
      bin[i] = (ch1 - 'A' + 10);
    else if (ch1 >= 'a' && ch1 <= 'f')
      bin[i] = (ch1 - 'a' + 10);
    else
      return 0;
    if (ch2 >= '0' && ch2 <= '9')
      bin[i] = (bin[i] << 4) + (ch2 - '0');
    else if (ch2 >= 'A' && ch2 <= 'F')
      bin[i] = (bin[i] << 4) + (ch2 - 'A' + 10);
    else if (ch2 >= 'a' && ch2 <= 'f')
      bin[i] = (bin[i] << 4) + (ch2 - 'a' + 10);
    else
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<safe_strtohexa>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    1180 <safe_strtohexa+0x60>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jg     1180 <safe_strtohexa+0x60>
mov    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     118c <safe_strtohexa+0x6c>
movl   $0x0,-0x4(%rbp)
jmp    1391 <safe_strtohexa+0x271>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
cmp    %ecx,%eax
jge    138a <safe_strtohexa+0x26a>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x25(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x26(%rbp)
movsbl -0x25(%rbp),%eax
cmp    $0x30,%eax
jl     120d <safe_strtohexa+0xed>
movsbl -0x25(%rbp),%eax
cmp    $0x39,%eax
jg     120d <safe_strtohexa+0xed>
movsbl -0x25(%rbp),%eax
sub    $0x30,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    128f <safe_strtohexa+0x16f>
movsbl -0x25(%rbp),%eax
cmp    $0x41,%eax
jl     1243 <safe_strtohexa+0x123>
movsbl -0x25(%rbp),%eax
cmp    $0x46,%eax
jg     1243 <safe_strtohexa+0x123>
movsbl -0x25(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    128a <safe_strtohexa+0x16a>
movsbl -0x25(%rbp),%eax
cmp    $0x61,%eax
jl     1279 <safe_strtohexa+0x159>
movsbl -0x25(%rbp),%eax
cmp    $0x66,%eax
jg     1279 <safe_strtohexa+0x159>
movsbl -0x25(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1285 <safe_strtohexa+0x165>
movl   $0x0,-0x4(%rbp)
jmp    1391 <safe_strtohexa+0x271>
jmp    128a <safe_strtohexa+0x16a>
jmp    128f <safe_strtohexa+0x16f>
movsbl -0x26(%rbp),%eax
cmp    $0x30,%eax
jl     12d3 <safe_strtohexa+0x1b3>
movsbl -0x26(%rbp),%eax
cmp    $0x39,%eax
jg     12d3 <safe_strtohexa+0x1b3>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x4,%eax
movsbl -0x26(%rbp),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1377 <safe_strtohexa+0x257>
movsbl -0x26(%rbp),%eax
cmp    $0x41,%eax
jl     131a <safe_strtohexa+0x1fa>
movsbl -0x26(%rbp),%eax
cmp    $0x46,%eax
jg     131a <safe_strtohexa+0x1fa>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x4,%eax
movsbl -0x26(%rbp),%ecx
sub    $0x41,%ecx
add    $0xa,%ecx
add    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1372 <safe_strtohexa+0x252>
movsbl -0x26(%rbp),%eax
cmp    $0x61,%eax
jl     1361 <safe_strtohexa+0x241>
movsbl -0x26(%rbp),%eax
cmp    $0x66,%eax
jg     1361 <safe_strtohexa+0x241>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x4,%eax
movsbl -0x26(%rbp),%ecx
sub    $0x61,%ecx
add    $0xa,%ecx
add    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    136d <safe_strtohexa+0x24d>
movl   $0x0,-0x4(%rbp)
jmp    1391 <safe_strtohexa+0x271>
jmp    1372 <safe_strtohexa+0x252>
jmp    1377 <safe_strtohexa+0x257>
jmp    137c <safe_strtohexa+0x25c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1193 <safe_strtohexa+0x73>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<safe_strtohexa>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %edi,%edi
test   %rsi,%rsi
setne  %dil
call   1040 <assert@plt>
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
jle    121f <safe_strtohexa+0xff>
add    %ebp,%ebp
cmp    %ebp,%ecx
jg     121f <safe_strtohexa+0xff>
mov    %ecx,%edx
and    $0x1,%edx
jne    121f <safe_strtohexa+0xff>
mov    $0x1,%eax
cmp    $0x2,%ecx
jb     121f <safe_strtohexa+0xff>
shr    %ecx
xor    %edx,%edx
jmp    1198 <safe_strtohexa+0x78>
nopw   0x0(%rax,%rax,1)
shl    $0x4,%dil
add    %bpl,%dil
mov    %dil,(%r14,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%rcx
je     121f <safe_strtohexa+0xff>
movzbl (%rbx,%rdx,2),%ebp
movzbl 0x1(%rbx,%rdx,2),%esi
lea    -0x30(%rbp),%edi
cmp    $0xa,%dil
jb     11cf <safe_strtohexa+0xaf>
lea    -0x41(%rbp),%edi
cmp    $0x5,%dil
ja     11c0 <safe_strtohexa+0xa0>
add    $0xc9,%bpl
jmp    11cd <safe_strtohexa+0xad>
nopl   0x0(%rax)
lea    -0x61(%rbp),%edi
cmp    $0x5,%dil
ja     121d <safe_strtohexa+0xfd>
add    $0xa9,%bpl
mov    %ebp,%edi
mov    %dil,(%r14,%rdx,1)
lea    -0x30(%rsi),%ebp
cmp    $0x9,%bpl
jbe    1180 <safe_strtohexa+0x60>
lea    -0x41(%rsi),%ebp
cmp    $0x5,%bpl
ja     1200 <safe_strtohexa+0xe0>
shl    $0x4,%dil
add    %dil,%sil
add    $0xc9,%sil
jmp    1214 <safe_strtohexa+0xf4>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x61(%rsi),%ebp
cmp    $0x5,%bpl
ja     121d <safe_strtohexa+0xfd>
shl    $0x4,%dil
add    %dil,%sil
add    $0xa9,%sil
mov    %sil,(%r14,%rdx,1)
jmp    118b <safe_strtohexa+0x6b>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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