#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 */
typedef int uint8_t;
typedef size_t uint32_t;

/* Variables and functions */
uint32_t parse_byte_string(char *string, uint8_t *p_dest, uint32_t max_length) {
  if (string == NULL) {
    return 0;
  }
  uint32_t count = 0;
  while (1) {
    p_dest[count] = 0;
    for (uint8_t i = 0; i < 2; ++i) {
      char c = string[count * 2 + i];
      if (c >= '0' && c <= '9') {
        p_dest[count] |= (c - '0') << (4 - i * 4);
      } else if (c >= 'A' && c <= 'F') {
        p_dest[count] |= (c - 'A' + 10) << (4 - i * 4);
      } else if (c >= 'a' && c <= 'f') {
        p_dest[count] |= (c - 'a' + 10) << (4 - i * 4);
      } else {
        return count;
      }
    }
    if (count++ == max_length) {
      return max_length;
    }
  }
}


x86 assembly (clang, -O0):
<parse_byte_string>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1128 <parse_byte_string+0x28>
movq   $0x0,-0x8(%rbp)
jmp    128d <parse_byte_string+0x18d>
movq   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x2,-0x2c(%rbp)
jge    1262 <parse_byte_string+0x162>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
shl    $0x1,%rcx
movslq -0x2c(%rbp),%rdx
add    %rdx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2d(%rbp)
movsbl -0x2d(%rbp),%eax
cmp    $0x30,%eax
jl     11ac <parse_byte_string+0xac>
movsbl -0x2d(%rbp),%eax
cmp    $0x39,%eax
jg     11ac <parse_byte_string+0xac>
movsbl -0x2d(%rbp),%edx
sub    $0x30,%edx
mov    -0x2c(%rbp),%eax
shl    $0x2,%eax
mov    $0x4,%ecx
sub    %eax,%ecx
shl    %cl,%edx
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    124f <parse_byte_string+0x14f>
movsbl -0x2d(%rbp),%eax
cmp    $0x41,%eax
jl     11f2 <parse_byte_string+0xf2>
movsbl -0x2d(%rbp),%eax
cmp    $0x46,%eax
jg     11f2 <parse_byte_string+0xf2>
movsbl -0x2d(%rbp),%edx
sub    $0x41,%edx
add    $0xa,%edx
mov    -0x2c(%rbp),%eax
shl    $0x2,%eax
mov    $0x4,%ecx
sub    %eax,%ecx
shl    %cl,%edx
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    124a <parse_byte_string+0x14a>
movsbl -0x2d(%rbp),%eax
cmp    $0x61,%eax
jl     1238 <parse_byte_string+0x138>
movsbl -0x2d(%rbp),%eax
cmp    $0x66,%eax
jg     1238 <parse_byte_string+0x138>
movsbl -0x2d(%rbp),%edx
sub    $0x61,%edx
add    $0xa,%edx
mov    -0x2c(%rbp),%eax
shl    $0x2,%eax
mov    $0x4,%ecx
sub    %eax,%ecx
shl    %cl,%edx
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    1245 <parse_byte_string+0x145>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    128d <parse_byte_string+0x18d>
jmp    124a <parse_byte_string+0x14a>
jmp    124f <parse_byte_string+0x14f>
jmp    1254 <parse_byte_string+0x154>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1146 <parse_byte_string+0x46>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
cmp    -0x20(%rbp),%rax
jne    1288 <parse_byte_string+0x188>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    128d <parse_byte_string+0x18d>
jmp    1130 <parse_byte_string+0x30>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_byte_string>:
test   %rdi,%rdi
je     11af <parse_byte_string+0xaf>
lea    0x1(%rdx),%r8
xor    %eax,%eax
jmp    1133 <parse_byte_string+0x33>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %r9d,%ecx
or     %ecx,%r10d
mov    %r10d,(%rsi,%rax,4)
add    $0x1,%rax
cmp    %rax,%r8
je     11b2 <parse_byte_string+0xb2>
movl   $0x0,(%rsi,%rax,4)
movsbl (%rdi,%rax,2),%r10d
lea    -0x30(%r10),%ecx
mov    $0xfffffd00,%r9d
cmp    $0xa,%cl
jb     116c <parse_byte_string+0x6c>
lea    -0x41(%r10),%ecx
mov    $0xfffffc90,%r9d
cmp    $0x6,%cl
jb     116c <parse_byte_string+0x6c>
lea    -0x61(%r10),%ecx
mov    $0xfffffa90,%r9d
cmp    $0x5,%cl
ja     11ae <parse_byte_string+0xae>
shl    $0x4,%r10d
add    %r9d,%r10d
mov    %r10d,(%rsi,%rax,4)
movsbl 0x1(%rdi,%rax,2),%r9d
lea    -0x30(%r9),%r11d
mov    $0xffffffd0,%ecx
cmp    $0xa,%r11b
jb     1120 <parse_byte_string+0x20>
lea    -0x41(%r9),%r11d
mov    $0xffffffc9,%ecx
cmp    $0x6,%r11b
jb     1120 <parse_byte_string+0x20>
lea    -0x61(%r9),%r11d
mov    $0xffffffa9,%ecx
cmp    $0x5,%r11b
jbe    1120 <parse_byte_string+0x20>
ret
xor    %eax,%eax
ret
mov    %rdx,%rax
ret

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

LLVM IR (-O2):
define i64 @parse_byte_string(i8* %0, i32* nocapture %1, i64 %2) {
%4 = icmp eq i8* %0, null
br i1 %4, label %42, label %5
5: ; preds = %3, %36
%6 = phi i64 [ %40, %36 ], [ 0, %3 ]
%7 = getelementptr inbounds i32, i32* %1, i64 %6
store i32 0, i32* %7
%8 = shl i64 %6, 1
%9 = getelementptr inbounds i8, i8* %0, i64 %8
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = add i8 %10, -48
%13 = icmp ult i8 %12, 10
br i1 %13, label %20, label %14
14: ; preds = %5
%15 = add i8 %10, -65
%16 = icmp ult i8 %15, 6
br i1 %16, label %20, label %17
17: ; preds = %14
%18 = add i8 %10, -97
%19 = icmp ult i8 %18, 6
br i1 %19, label %20, label %42
20: ; preds = %17, %14, %5
%21 = phi i32 [ -768, %5 ], [ -880, %14 ], [ -1392, %17 ]
%22 = shl nsw i32 %11, 4
%23 = add nsw i32 %22, %21
store i32 %23, i32* %7
%24 = or i64 %8, 1
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = add i8 %26, -48
%29 = icmp ult i8 %28, 10
br i1 %29, label %36, label %30
30: ; preds = %20
%31 = add i8 %26, -65
%32 = icmp ult i8 %31, 6
br i1 %32, label %36, label %33
33: ; preds = %30
%34 = add i8 %26, -97
%35 = icmp ult i8 %34, 6
br i1 %35, label %36, label %42
36: ; preds = %20, %30, %33
%37 = phi i32 [ -87, %33 ], [ -55, %30 ], [ -48, %20 ]
%38 = add nsw i32 %37, %27
%39 = or i32 %23, %38
store i32 %39, i32* %7
%40 = add i64 %6, 1
%41 = icmp eq i64 %6, %2
br i1 %41, label %42, label %5
42: ; preds = %36, %17, %33, %3
%43 = phi i64 [ 0, %3 ], [ %2, %36 ], [ %6, %17 ], [ %6, %33 ]
ret i64 %43
}