unsigned long scan_hex_Good(char *cp) {
  unsigned long num_digits = 0, digit, val = 0;
  while (1) {
    digit = *cp;
    if ((digit - '0') <= 9)
      digit -= '0';
    else if ((digit - 'a') < 6)
      digit -= 'a' - 10;
    else if ((digit - 'A') < 6)
      digit -= 'A' - 10;
    else
      break;
    val = (val << 4) | digit;
    ++cp;
  }
  return val;
}


x86 assembly (clang, -O0):
<scan_hex_Good>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x10(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsbq (%rax),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x30,%rax
cmp    $0x9,%rax
ja     1147 <scan_hex_Good+0x47>
mov    -0x18(%rbp),%rax
sub    $0x30,%rax
mov    %rax,-0x18(%rbp)
jmp    119c <scan_hex_Good+0x9c>
mov    -0x18(%rbp),%rax
sub    $0x61,%rax
cmp    $0x6,%rax
jae    116a <scan_hex_Good+0x6a>
mov    -0x18(%rbp),%rax
sub    $0x57,%rax
mov    %rax,-0x18(%rbp)
jmp    1197 <scan_hex_Good+0x97>
mov    -0x18(%rbp),%rax
sub    $0x41,%rax
cmp    $0x6,%rax
jae    118d <scan_hex_Good+0x8d>
mov    -0x18(%rbp),%rax
sub    $0x37,%rax
mov    %rax,-0x18(%rbp)
jmp    1192 <scan_hex_Good+0x92>
jmp    11bd <scan_hex_Good+0xbd>
jmp    1197 <scan_hex_Good+0x97>
jmp    119c <scan_hex_Good+0x9c>
mov    -0x20(%rbp),%rax
shl    $0x4,%rax
or     -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1118 <scan_hex_Good+0x18>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<scan_hex_Good>:
xor    %eax,%eax
jmp    1122 <scan_hex_Good+0x22>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0xffffffffffffffa9,%rcx
mov    %rcx,%rdx
shl    $0x4,%rax
or     %rdx,%rax
add    $0x1,%rdi
movsbq (%rdi),%rcx
lea    -0x30(%rcx),%rdx
cmp    $0xa,%rdx
jb     1117 <scan_hex_Good+0x17>
lea    -0x61(%rcx),%rdx
cmp    $0x5,%rdx
jbe    1110 <scan_hex_Good+0x10>
lea    -0x41(%rcx),%rdx
cmp    $0x5,%rdx
ja     114a <scan_hex_Good+0x4a>
add    $0xffffffffffffffc9,%rcx
jmp    1114 <scan_hex_Good+0x14>
ret

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

LLVM IR (-O2):
define i64 @scan_hex_Good(i8* nocapture %0) {
br label %2
2: ; preds = %19, %1
%3 = phi i8* [ %0, %1 ], [ %23, %19 ]
%4 = phi i64 [ 0, %1 ], [ %22, %19 ]
%5 = load i8, i8* %3
%6 = sext i8 %5 to i64
%7 = add nsw i64 %6, -48
%8 = icmp ult i64 %7, 10
br i1 %8, label %19, label %9
9: ; preds = %2
%10 = add nsw i64 %6, -97
%11 = icmp ult i64 %10, 6
br i1 %11, label %12, label %14
12: ; preds = %9
%13 = add nsw i64 %6, -87
br label %19
14: ; preds = %9
%15 = add nsw i64 %6, -65
%16 = icmp ult i64 %15, 6
br i1 %16, label %17, label %24
17: ; preds = %14
%18 = add nsw i64 %6, -55
br label %19
19: ; preds = %2, %12, %17
%20 = phi i64 [ %13, %12 ], [ %18, %17 ], [ %7, %2 ]
%21 = shl i64 %4, 4
%22 = or i64 %20, %21
%23 = getelementptr inbounds i8, i8* %3, i64 1
br label %2
24: ; preds = %14
ret i64 %4
}