#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 /*<<< orphan*/ uint8_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int /*<<< orphan*/);
uint8_t decode_hex_byte(const char *ptr) {
  int i;
  int retval = 0;
  for (i = 0; i < 2; i++) {
    if (ptr[i] >= '0' && ptr[i] <= '9')
      retval = (retval << 4) | (ptr[i] - '0');
    else if (ptr[i] >= 'a' && ptr[i] <= 'f')
      retval = (retval << 4) | (ptr[i] - 'a' + 10);
    else if (ptr[i] >= 'A' && ptr[i] <= 'F')
      retval = (retval << 4) | (ptr[i] - 'A' + 10);
    else
      assert(0);
  }
  return (uint8_t)retval;
}


x86 assembly (clang, -O0):
<decode_hex_byte>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x2,-0xc(%rbp)
jge    1239 <decode_hex_byte+0x129>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     117d <decode_hex_byte+0x6d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     117d <decode_hex_byte+0x6d>
mov    -0x10(%rbp),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
or     %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1226 <decode_hex_byte+0x116>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11c9 <decode_hex_byte+0xb9>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     11c9 <decode_hex_byte+0xb9>
mov    -0x10(%rbp),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x61,%ecx
add    $0xa,%ecx
or     %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    1221 <decode_hex_byte+0x111>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1215 <decode_hex_byte+0x105>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x46,%eax
jg     1215 <decode_hex_byte+0x105>
mov    -0x10(%rbp),%eax
shl    $0x4,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x41,%ecx
add    $0xa,%ecx
or     %ecx,%eax
mov    %eax,-0x10(%rbp)
jmp    121c <decode_hex_byte+0x10c>
xor    %edi,%edi
call   1030 <assert@plt>
jmp    1221 <decode_hex_byte+0x111>
jmp    1226 <decode_hex_byte+0x116>
jmp    122b <decode_hex_byte+0x11b>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112a <decode_hex_byte+0x1a>
mov    -0x10(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<decode_hex_byte>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
movsbl (%rdi),%ebx
lea    -0x30(%rbx),%eax
cmp    $0x9,%al
ja     1126 <decode_hex_byte+0x16>
add    $0xffffffd0,%ebx
jmp    1147 <decode_hex_byte+0x37>
lea    -0x61(%rbx),%eax
cmp    $0x5,%al
ja     1132 <decode_hex_byte+0x22>
add    $0xffffffa9,%ebx
jmp    1147 <decode_hex_byte+0x37>
lea    -0x41(%rbx),%eax
cmp    $0x5,%al
ja     113e <decode_hex_byte+0x2e>
add    $0xffffffc9,%ebx
jmp    1147 <decode_hex_byte+0x37>
xor    %ebx,%ebx
xor    %edi,%edi
call   1030 <assert@plt>
movsbl 0x1(%r14),%eax
lea    -0x30(%rax),%ecx
cmp    $0xa,%cl
jae    115c <decode_hex_byte+0x4c>
shl    $0x4,%ebx
add    $0xffffffd0,%eax
jmp    117a <decode_hex_byte+0x6a>
lea    -0x61(%rax),%ecx
cmp    $0x6,%cl
jae    116c <decode_hex_byte+0x5c>
shl    $0x4,%ebx
add    $0xffffffa9,%eax
jmp    117a <decode_hex_byte+0x6a>
lea    -0x41(%rax),%ecx
cmp    $0x6,%cl
jae    1188 <decode_hex_byte+0x78>
shl    $0x4,%ebx
add    $0xffffffc9,%eax
or     %ebx,%eax
mov    %eax,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
xor    %edi,%edi
call   1030 <assert@plt>
jmp    117e <decode_hex_byte+0x6e>

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

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