#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 hex_decode(const char *str, unsigned char *out, size_t outlen,
                size_t *bytes_written) {
  size_t si = 0;
  size_t oi = 0;
  char buf[2];
  while (str[si] != 0 && oi < outlen) {
    buf[si % 2] = str[si];
    ++si;
    if (si % 2 == 0) {
      out[oi++] =
          (buf[0] >= '0' && buf[0] <= '9' ? buf[0] - '0' : buf[0] - 'a' + 10)
              << 4 |
          (buf[1] >= '0' && buf[1] <= '9' ? buf[1] - '0' : buf[1] - 'a' + 10);
    }
  }
  if (bytes_written != NULL) {
    *bytes_written = oi;
  }
}


x86 assembly (clang, -O0):
<hex_decode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x33(%rbp)
je     114c <hex_decode+0x4c>
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
setb   %al
mov    %al,-0x33(%rbp)
mov    -0x33(%rbp),%al
test   $0x1,%al
jne    115c <hex_decode+0x5c>
jmp    122b <hex_decode+0x12b>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x28(%rbp),%rax
and    $0x1,%rax
mov    %cl,-0x32(%rbp,%rax,1)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
jne    1226 <hex_decode+0x126>
movsbl -0x32(%rbp),%eax
cmp    $0x30,%eax
jl     11ba <hex_decode+0xba>
movsbl -0x32(%rbp),%eax
cmp    $0x39,%eax
jg     11ba <hex_decode+0xba>
movsbl -0x32(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x38(%rbp)
jmp    11c7 <hex_decode+0xc7>
movsbl -0x32(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x3c(%rbp)
movsbl -0x31(%rbp),%eax
cmp    $0x30,%eax
jl     11f9 <hex_decode+0xf9>
movsbl -0x31(%rbp),%eax
cmp    $0x39,%eax
jg     11f9 <hex_decode+0xf9>
movsbl -0x31(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x40(%rbp)
jmp    1206 <hex_decode+0x106>
movsbl -0x31(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x40(%rbp),%ecx
or     %ecx,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    1124 <hex_decode+0x24>
cmpq   $0x0,-0x20(%rbp)
je     1241 <hex_decode+0x141>
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex_decode>:
push   %rbx
mov    (%rdi),%r9b
xor    %r8d,%r8d
test   %r9b,%r9b
je     118a <hex_decode+0x8a>
test   %rdx,%rdx
je     118a <hex_decode+0x8a>
mov    $0x1,%r10d
xor    %r8d,%r8d
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r10),%eax
and    $0x1,%eax
mov    %r9b,-0x2(%rsp,%rax,1)
test   $0x1,%r10b
jne    1177 <hex_decode+0x77>
movzbl -0x2(%rsp),%eax
movzbl -0x1(%rsp),%r9d
lea    -0x30(%rax),%r11d
add    $0x9,%al
cmp    $0xa,%r11b
movzbl %r11b,%r11d
movzbl %al,%ebx
cmovb  %r11d,%ebx
shl    $0x4,%bl
lea    -0x30(%r9),%r11d
add    $0xa9,%r9b
cmp    $0xa,%r11b
movzbl %r11b,%r11d
movzbl %r9b,%eax
cmovb  %r11d,%eax
or     %bl,%al
mov    %al,(%rsi,%r8,1)
add    $0x1,%r8
movzbl (%rdi,%r10,1),%r9d
test   %r9b,%r9b
je     118a <hex_decode+0x8a>
add    $0x1,%r10
cmp    %rdx,%r8
jb     1120 <hex_decode+0x20>
test   %rcx,%rcx
je     1192 <hex_decode+0x92>
mov    %r8,(%rcx)
pop    %rbx
ret

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

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