#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 */
void __hexstring_to_bytes(char const *in, size_t in_size, unsigned char *out,
                          size_t out_size, int reverse) {
  size_t offset = 0;
  unsigned char a, b;
  unsigned int c;
  for (size_t i = 0; i + 2 <= in_size && offset < out_size; i += 2, offset++) {
    size_t i2 = (reverse != 0) ? (in_size - i - 2) : i;
    c = (int)in[i2 + 0];
    if (c >= (unsigned int)'0' && c <= (unsigned int)'9')
      a = c - (unsigned int)'0';
    else
      a = ((c & ~0x20) - (unsigned int)'A') + 10;
    c = (int)in[i2 + 1];
    if (c >= (unsigned int)'0' && c <= (unsigned int)'9')
      b = c - (unsigned int)'0';
    else
      b = ((c & ~0x20) - (unsigned int)'A') + 10;
    out[offset] = (a << 4) | b;
  }
}


x86 assembly (clang, -O0):
<__hexstring_to_bytes>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
movq   $0x0,-0x30(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rcx
add    $0x2,%rcx
xor    %eax,%eax
cmp    -0x10(%rbp),%rcx
mov    %al,-0x49(%rbp)
ja     114d <__hexstring_to_bytes+0x4d>
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    115d <__hexstring_to_bytes+0x5d>
jmp    1244 <__hexstring_to_bytes+0x144>
cmpl   $0x0,-0x24(%rbp)
je     117c <__hexstring_to_bytes+0x7c>
mov    -0x10(%rbp),%rax
sub    -0x40(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x58(%rbp)
jmp    1184 <__hexstring_to_bytes+0x84>
mov    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x30,-0x38(%rbp)
jb     11bd <__hexstring_to_bytes+0xbd>
cmpl   $0x39,-0x38(%rbp)
ja     11bd <__hexstring_to_bytes+0xbd>
mov    -0x38(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x31(%rbp)
jmp    11cc <__hexstring_to_bytes+0xcc>
mov    -0x38(%rbp),%eax
and    $0xffffffdf,%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %al,-0x31(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsbl 0x1(%rax,%rcx,1),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x30,-0x38(%rbp)
jb     11fe <__hexstring_to_bytes+0xfe>
cmpl   $0x39,-0x38(%rbp)
ja     11fe <__hexstring_to_bytes+0xfe>
mov    -0x38(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x32(%rbp)
jmp    120d <__hexstring_to_bytes+0x10d>
mov    -0x38(%rbp),%eax
and    $0xffffffdf,%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %al,-0x32(%rbp)
movzbl -0x31(%rbp),%eax
shl    $0x4,%eax
movzbl -0x32(%rbp),%ecx
or     %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1128 <__hexstring_to_bytes+0x28>
pop    %rbp
ret

x86 assembly (clang, -O2):
<__hexstring_to_bytes>:
push   %rbp
push   %rbx
cmp    $0x2,%rsi
jb     1180 <__hexstring_to_bytes+0x80>
test   %rcx,%rcx
je     1180 <__hexstring_to_bytes+0x80>
lea    -0x2(%rsi),%r9
mov    $0x4,%r11d
mov    $0x1,%r10d
nopl   (%rax)
lea    -0x4(%r11),%rax
test   %r8d,%r8d
cmovne %r9,%rax
movzbl (%rdi,%rax,1),%ebx
movzbl 0x1(%rdi,%rax,1),%eax
lea    -0x30(%rbx),%ebp
add    $0x9,%bl
cmp    $0xa,%bpl
movzbl %bpl,%ebp
movzbl %bl,%ebx
cmovb  %ebp,%ebx
lea    -0x30(%rax),%ebp
and    $0xdf,%al
add    $0xc9,%al
cmp    $0xa,%bpl
movzbl %bpl,%ebp
movzbl %al,%eax
cmovb  %ebp,%eax
shl    $0x4,%bl
or     %al,%bl
mov    %bl,-0x1(%rdx,%r10,1)
cmp    %rsi,%r11
ja     1180 <__hexstring_to_bytes+0x80>
add    $0x2,%r11
add    $0xfffffffffffffffe,%r9
lea    0x1(%r10),%rax
cmp    %rcx,%r10
mov    %rax,%r10
jb     1120 <__hexstring_to_bytes+0x20>
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define void @__hexstring_to_bytes(i8* nocapture %0, i64 %1, i8* nocapture writeonly %2, i64 %3, i32 %4) {
%6 = icmp ugt i64 %1, 1
%7 = icmp ne i64 %3, 0
%8 = and i1 %6, %7
br i1 %8, label %9, label %12
9: ; preds = %5
%10 = icmp eq i32 %4, 0
%11 = add i64 %1, -2
br label %13
12: ; preds = %13, %5
ret void
13: ; preds = %9, %13
%14 = phi i64 [ 2, %9 ], [ %37, %13 ]
%15 = phi i64 [ 0, %9 ], [ %36, %13 ]
%16 = phi i64 [ 0, %9 ], [ %14, %13 ]
%17 = sub i64 %11, %16
%18 = select i1 %10, i64 %16, i64 %17
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = load i8, i8* %19
%21 = add i8 %20, -48
%22 = icmp ult i8 %21, 10
%23 = add i8 %20, 9
%24 = select i1 %22, i8 %21, i8 %23
%25 = add i64 %18, 1
%26 = getelementptr inbounds i8, i8* %0, i64 %25
%27 = load i8, i8* %26
%28 = add i8 %27, -48
%29 = icmp ult i8 %28, 10
%30 = and i8 %27, -33
%31 = add i8 %30, -55
%32 = select i1 %29, i8 %28, i8 %31
%33 = shl i8 %24, 4
%34 = or i8 %33, %32
%35 = getelementptr inbounds i8, i8* %2, i64 %15
store i8 %34, i8* %35
%36 = add nuw i64 %15, 1
%37 = add i64 %14, 2
%38 = icmp ule i64 %37, %1
%39 = icmp ult i64 %36, %3
%40 = select i1 %38, i1 %39, i1 false
br i1 %40, label %13, label %12
}