int isdigitx(int c, int radix) {
  switch (c) {
  case '0':
  case '1':
    return (1);
  case '2':
  case '3':
  case '4':
  case '5':
  case '6':
  case '7':
    return (radix > 2);
  case '8':
  case '9':
    return (radix > 8);
  case 'a':
  case 'b':
  case 'c':
  case 'd':
  case 'e':
  case 'f':
  case 'A':
  case 'B':
  case 'C':
  case 'D':
  case 'E':
  case 'F':
    return (radix > 10);
  }
  return (0);
}


x86 assembly (clang, -O0):
<isdigitx>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffd0,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x36,%eax
ja     117b <isdigitx+0x7b>
mov    -0x18(%rbp),%rax
lea    0xed6(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x1,-0x4(%rbp)
jmp    1182 <isdigitx+0x82>
cmpl   $0x2,-0xc(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1182 <isdigitx+0x82>
cmpl   $0x8,-0xc(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1182 <isdigitx+0x82>
cmpl   $0xa,-0xc(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1182 <isdigitx+0x82>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isdigitx>:
add    $0xffffffd0,%edi
cmp    $0x36,%edi
ja     112e <isdigitx+0x2e>
mov    $0x1,%al
lea    0xeef(%rip),%rcx
movslq (%rcx,%rdi,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
cmp    $0xb,%esi
jmp    1127 <isdigitx+0x27>
cmp    $0x3,%esi
jmp    1127 <isdigitx+0x27>
cmp    $0x9,%esi
setge  %al
movzbl %al,%eax
ret
xor    %eax,%eax
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @isdigitx(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
%6 = load i32, i32* %4
switch i32 %6, label %20 [
i32 48, label %7
i32 49, label %7
i32 50, label %8
i32 51, label %8
i32 52, label %8
i32 53, label %8
i32 54, label %8
i32 55, label %8
i32 56, label %12
i32 57, label %12
i32 97, label %16
i32 98, label %16
i32 99, label %16
i32 100, label %16
i32 101, label %16
i32 102, label %16
i32 65, label %16
i32 66, label %16
i32 67, label %16
i32 68, label %16
i32 69, label %16
i32 70, label %16
]
7: ; preds = %2, %2
store i32 1, i32* %3
br label %21
8: ; preds = %2, %2, %2, %2, %2, %2
%9 = load i32, i32* %5
%10 = icmp sgt i32 %9, 2
%11 = zext i1 %10 to i32
store i32 %11, i32* %3
br label %21
12: ; preds = %2, %2
%13 = load i32, i32* %5
%14 = icmp sgt i32 %13, 8
%15 = zext i1 %14 to i32
store i32 %15, i32* %3
br label %21
16: ; preds = %2, %2, %2, %2, %2, %2, %2, %2, %2, %2, %2, %2
%17 = load i32, i32* %5
%18 = icmp sgt i32 %17, 10
%19 = zext i1 %18 to i32
store i32 %19, i32* %3
br label %21
20: ; preds = %2
store i32 0, i32* %3
br label %21
21: ; preds = %20, %16, %12, %8, %7
%22 = load i32, i32* %3
ret i32 %22
}

LLVM IR (-O2):
define i32 @isdigitx(i32 %0, i32 %1) {
switch i32 %0, label %9 [
i32 48, label %10
i32 49, label %10
i32 50, label %3
i32 51, label %3
i32 52, label %3
i32 53, label %3
i32 54, label %3
i32 55, label %3
i32 56, label %5
i32 57, label %5
i32 97, label %7
i32 98, label %7
i32 99, label %7
i32 100, label %7
i32 101, label %7
i32 102, label %7
i32 65, label %7
i32 66, label %7
i32 67, label %7
i32 68, label %7
i32 69, label %7
i32 70, label %7
]
3: ; preds = %2, %2, %2, %2, %2, %2
%4 = icmp sgt i32 %1, 2
br label %10
5: ; preds = %2, %2
%6 = icmp sgt i32 %1, 8
br label %10
7: ; preds = %2, %2, %2, %2, %2, %2, %2, %2, %2, %2, %2, %2
%8 = icmp sgt i32 %1, 10
br label %10
9: ; preds = %2
br label %10
10: ; preds = %2, %2, %9, %7, %5, %3
%11 = phi i1 [ false, %9 ], [ %8, %7 ], [ %6, %5 ], [ %4, %3 ], [ true, %2 ], [ true, %2 ]
%12 = zext i1 %11 to i32
ret i32 %12
}