char valid_hex(char *str) {
  int i;
  if ((str[0] == '0') && (str[1] == 'x' || str[1] == 'X'))
    i = 2;
  else
    i = 0;
  for (; str[i] != '\0'; i++) {
    if (str[i] >= 'A' && str[i] <= 'F')
      continue;
    else if (str[i] >= 'a' && str[i] <= 'f')
      continue;
    else if (str[i] >= '1' && str[i] <= '9')
      continue;
    else
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<valid_hex>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1146 <valid_hex+0x46>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     113a <valid_hex+0x3a>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    1146 <valid_hex+0x46>
movl   $0x2,-0x14(%rbp)
jmp    114d <valid_hex+0x4d>
movl   $0x0,-0x14(%rbp)
jmp    1152 <valid_hex+0x52>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     120b <valid_hex+0x10b>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1196 <valid_hex+0x96>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x46,%eax
jg     1196 <valid_hex+0x96>
jmp    11fd <valid_hex+0xfd>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11c5 <valid_hex+0xc5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     11c5 <valid_hex+0xc5>
jmp    11fd <valid_hex+0xfd>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jl     11f4 <valid_hex+0xf4>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     11f4 <valid_hex+0xf4>
jmp    11fd <valid_hex+0xfd>
movb   $0x0,-0x1(%rbp)
jmp    120f <valid_hex+0x10f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1152 <valid_hex+0x52>
movb   $0x1,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid_hex>:
mov    (%rdi),%cl
cmp    $0x30,%cl
jne    1121 <valid_hex+0x21>
mov    0x1(%rdi),%cl
and    $0xdf,%cl
xor    %eax,%eax
cmp    $0x58,%cl
sete   %al
mov    (%rdi,%rax,2),%cl
add    %rax,%rax
test   %cl,%cl
jne    1127 <valid_hex+0x27>
jmp    1167 <valid_hex+0x67>
xor    %eax,%eax
test   %cl,%cl
je     1167 <valid_hex+0x67>
lea    (%rax,%rdi,1),%rdx
add    $0x1,%rdx
movabs $0x3f0000003f,%rsi
jmp    114b <valid_hex+0x4b>
nopl   0x0(%rax,%rax,1)
movzbl (%rdx),%ecx
add    $0x1,%rdx
test   %cl,%cl
je     1167 <valid_hex+0x67>
lea    -0x31(%rcx),%eax
cmp    $0x9,%al
jb     1140 <valid_hex+0x40>
xor    %eax,%eax
add    $0xbf,%cl
cmp    $0x25,%cl
ja     1169 <valid_hex+0x69>
movzbl %cl,%ecx
bt     %rcx,%rsi
jb     1140 <valid_hex+0x40>
jmp    1169 <valid_hex+0x69>
mov    $0x1,%al
ret

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

LLVM IR (-O2):
define signext i8 @valid_hex(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 48
br i1 %3, label %4, label %14
4: ; preds = %1
%5 = getelementptr inbounds i8, i8* %0, i64 1
%6 = load i8, i8* %5
%7 = and i8 %6, -33
%8 = icmp eq i8 %7, 88
%9 = select i1 %8, i32 2, i32 0
%10 = zext i32 %9 to i64
%11 = getelementptr inbounds i8, i8* %0, i64 %10
%12 = load i8, i8* %11
%13 = zext i32 %9 to i64
br label %14
14: ; preds = %1, %4
%15 = phi i8 [ %12, %4 ], [ %2, %1 ]
%16 = phi i64 [ %13, %4 ], [ 0, %1 ]
%17 = icmp eq i8 %15, 0
br i1 %17, label %30, label %18
18: ; preds = %14, %25
%19 = phi i64 [ %26, %25 ], [ %16, %14 ]
%20 = phi i8 [ %28, %25 ], [ %15, %14 ]
%21 = freeze i8 %20
%22 = add i8 %21, -49
%23 = icmp ult i8 %22, 9
br i1 %23, label %25, label %24
24: ; preds = %18
switch i8 %21, label %30 [
i8 102, label %25
i8 101, label %25
i8 100, label %25
i8 99, label %25
i8 98, label %25
i8 97, label %25
i8 70, label %25
i8 69, label %25
i8 68, label %25
i8 67, label %25
i8 66, label %25
i8 65, label %25
]
25: ; preds = %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %18
%26 = add nuw i64 %19, 1
%27 = getelementptr inbounds i8, i8* %0, i64 %26
%28 = load i8, i8* %27
%29 = icmp eq i8 %28, 0
br i1 %29, label %30, label %18
30: ; preds = %25, %24, %14
%31 = phi i8 [ 1, %14 ], [ 0, %24 ], [ 1, %25 ]
ret i8 %31
}