#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*/ printf(char *, unsigned char, ...);
int /*<<< orphan*/ puts(char const *);
unsigned char byte_from_hex_str(const char *hex_string) {
  unsigned char outbyte = 0;
  unsigned char value1, value2 = 0;
  puts(hex_string);
  if (hex_string[0] >= 48 && hex_string[0] <= 57)
    value1 = hex_string[0] - 48;
  else if (hex_string[0] >= 65 && hex_string[0] <= 70)
    value1 = hex_string[0] - 55;
  if (hex_string[1] >= 48 && hex_string[1] <= 57)
    value2 = hex_string[1] - 48;
  else if (hex_string[1] >= 65 && hex_string[1] <= 70)
    value2 = hex_string[1] - 55;
  printf("Val1: %d, Val2: %d\n", value1, value2);
  outbyte = value1;
  outbyte = outbyte << 4;
  outbyte = outbyte + value2;
  printf("Outbyte: %d\n", outbyte);
  return outbyte;
}


x86 assembly (clang, -O0):
<byte_from_hex_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movb   $0x0,-0x9(%rbp)
movb   $0x0,-0xb(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <puts@plt>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     116f <byte_from_hex_str+0x4f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     116f <byte_from_hex_str+0x4f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %al,-0xa(%rbp)
jmp    11a1 <byte_from_hex_str+0x81>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     119c <byte_from_hex_str+0x7c>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x46,%eax
jg     119c <byte_from_hex_str+0x7c>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x37,%eax
mov    %al,-0xa(%rbp)
jmp    11a1 <byte_from_hex_str+0x81>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x30,%eax
jl     11d6 <byte_from_hex_str+0xb6>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x39,%eax
jg     11d6 <byte_from_hex_str+0xb6>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
sub    $0x30,%eax
mov    %al,-0xb(%rbp)
jmp    120b <byte_from_hex_str+0xeb>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x41,%eax
jl     1206 <byte_from_hex_str+0xe6>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x46,%eax
jg     1206 <byte_from_hex_str+0xe6>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
sub    $0x37,%eax
mov    %al,-0xb(%rbp)
jmp    120b <byte_from_hex_str+0xeb>
mov    -0xa(%rbp),%al
movzbl -0xb(%rbp),%edx
lea    0xde7(%rip),%rdi
movzbl %al,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0xa(%rbp),%al
mov    %al,-0x9(%rbp)
movzbl -0x9(%rbp),%eax
shl    $0x4,%eax
mov    %al,-0x9(%rbp)
movzbl -0x9(%rbp),%eax
movzbl -0xb(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0x9(%rbp)
lea    0xdcd(%rip),%rdi
movzbl -0x9(%rbp),%esi
mov    $0x0,%al
call   1040 <printf@plt>
movzbl -0x9(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<byte_from_hex_str>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
call   1030 <puts@plt>
mov    (%rbx),%al
lea    -0x30(%rax),%ecx
add    $0xc9,%al
cmp    $0xa,%cl
movzbl %cl,%ecx
movzbl %al,%eax
cmovb  %ecx,%eax
movzbl 0x1(%rbx),%ecx
lea    -0x30(%rcx),%edx
cmp    $0x9,%dl
ja     114f <byte_from_hex_str+0x2f>
add    $0xffffffd0,%ecx
jmp    115f <byte_from_hex_str+0x3f>
lea    -0x41(%rcx),%edx
add    $0xffffffc9,%ecx
xor    %esi,%esi
cmp    $0x6,%dl
cmovb  %ecx,%esi
mov    %esi,%ecx
movzbl %cl,%ebx
movzbl %al,%ebp
lea    0xe94(%rip),%rdi
mov    %ebp,%esi
mov    %ebx,%edx
xor    %eax,%eax
call   1040 <printf@plt>
shl    $0x4,%bpl
add    %bpl,%bl
movzbl %bl,%ebx
lea    0xe8c(%rip),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [20 x i8] c"Val1: %d, Val2: %d\0A\00"
@.str.1 = [13 x i8] c"Outbyte: %d\0A\00"
define zeroext i8 @byte_from_hex_str(i8* nocapture %0) {
%2 = tail call i32 @puts(i8* dereferenceable(1) %0)
%3 = load i8, i8* %0
%4 = add i8 %3, -48
%5 = icmp ult i8 %4, 10
%6 = add i8 %3, -65
%7 = icmp ult i8 %6, 6
%8 = add i8 %3, -55
%9 = select i1 %7, i8 %8, i8 undef
%10 = select i1 %5, i8 %4, i8 %9
%11 = getelementptr inbounds i8, i8* %0, i64 1
%12 = load i8, i8* %11
%13 = zext i8 %12 to i32
%14 = add i8 %12, -48
%15 = icmp ult i8 %14, 10
br i1 %15, label %16, label %18
16: ; preds = %1
%17 = add nsw i32 %13, -48
br label %23
18: ; preds = %1
%19 = add i8 %12, -65
%20 = icmp ult i8 %19, 6
%21 = add nsw i32 %13, -55
%22 = select i1 %20, i32 %21, i32 0
br label %23
23: ; preds = %18, %16
%24 = phi i32 [ %17, %16 ], [ %22, %18 ]
%25 = and i32 %24, 255
%26 = tail call i32 (i8*, i8, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i8 zeroext %10, i32 %25)
%27 = shl nuw i8 %10, 4
%28 = trunc i32 %24 to i8
%29 = add i8 %27, %28
%30 = tail call i32 (i8*, i8, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.1, i64 0, i64 0), i8 zeroext %29)
ret i8 %29
}