int isradixdigit(int ch, int radix) {
  switch (radix) {
  case 2:
    return ch >= '0' && ch <= '1';
  case 8:
    return ch >= '0' && ch <= '7';
  case 10:
    return ch >= '0' && ch <= '9';
  case 16:
    return (ch >= '0' && ch <= '9') || (ch >= 'A' && ch <= 'F');
  }
  return 0;
}


x86 assembly (clang, -O0):
<isradixdigit>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0xfffffffe,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0xe,%eax
ja     11f6 <isradixdigit+0xf6>
mov    -0x18(%rbp),%rax
lea    0xed6(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
xor    %eax,%eax
cmpl   $0x30,-0x8(%rbp)
mov    %al,-0x19(%rbp)
jl     114c <isradixdigit+0x4c>
cmpl   $0x31,-0x8(%rbp)
setle  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11fd <isradixdigit+0xfd>
xor    %eax,%eax
cmpl   $0x30,-0x8(%rbp)
mov    %al,-0x1a(%rbp)
jl     1175 <isradixdigit+0x75>
cmpl   $0x37,-0x8(%rbp)
setle  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11fd <isradixdigit+0xfd>
xor    %eax,%eax
cmpl   $0x30,-0x8(%rbp)
mov    %al,-0x1b(%rbp)
jl     119e <isradixdigit+0x9e>
cmpl   $0x39,-0x8(%rbp)
setle  %al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11fd <isradixdigit+0xfd>
cmpl   $0x30,-0x8(%rbp)
jl     11c7 <isradixdigit+0xc7>
mov    $0x1,%al
cmpl   $0x39,-0x8(%rbp)
mov    %al,-0x1c(%rbp)
jle    11e6 <isradixdigit+0xe6>
xor    %eax,%eax
cmpl   $0x41,-0x8(%rbp)
mov    %al,-0x1d(%rbp)
jl     11e0 <isradixdigit+0xe0>
cmpl   $0x46,-0x8(%rbp)
setle  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
mov    %al,-0x1c(%rbp)
mov    -0x1c(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11fd <isradixdigit+0xfd>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isradixdigit>:
add    $0xfffffffe,%esi
ror    %esi
xor    %eax,%eax
cmp    $0x7,%esi
ja     114f <isradixdigit+0x4f>
lea    0xeed(%rip),%rcx
movslq (%rcx,%rsi,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
and    $0xfffffffe,%edi
jmp    1124 <isradixdigit+0x24>
and    $0xfffffff8,%edi
cmp    $0x30,%edi
sete   %al
movzbl %al,%eax
ret
add    $0xffffffd0,%edi
cmp    $0xa,%edi
setb   %al
movzbl %al,%eax
ret
lea    -0x30(%rdi),%eax
cmp    $0xa,%eax
setb   %cl
add    $0xffffffbf,%edi
cmp    $0x6,%edi
setb   %al
or     %cl,%al
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @isradixdigit(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* %5
switch i32 %6, label %51 [
i32 2, label %7
i32 8, label %16
i32 10, label %25
i32 16, label %34
]
7: ; preds = %2
%8 = load i32, i32* %4
%9 = icmp sge i32 %8, 48
br i1 %9, label %10, label %13
10: ; preds = %7
%11 = load i32, i32* %4
%12 = icmp sle i32 %11, 49
br label %13
13: ; preds = %10, %7
%14 = phi i1 [ false, %7 ], [ %12, %10 ]
%15 = zext i1 %14 to i32
store i32 %15, i32* %3
br label %52
16: ; preds = %2
%17 = load i32, i32* %4
%18 = icmp sge i32 %17, 48
br i1 %18, label %19, label %22
19: ; preds = %16
%20 = load i32, i32* %4
%21 = icmp sle i32 %20, 55
br label %22
22: ; preds = %19, %16
%23 = phi i1 [ false, %16 ], [ %21, %19 ]
%24 = zext i1 %23 to i32
store i32 %24, i32* %3
br label %52
25: ; preds = %2
%26 = load i32, i32* %4
%27 = icmp sge i32 %26, 48
br i1 %27, label %28, label %31
28: ; preds = %25
%29 = load i32, i32* %4
%30 = icmp sle i32 %29, 57
br label %31
31: ; preds = %28, %25
%32 = phi i1 [ false, %25 ], [ %30, %28 ]
%33 = zext i1 %32 to i32
store i32 %33, i32* %3
br label %52
34: ; preds = %2
%35 = load i32, i32* %4
%36 = icmp sge i32 %35, 48
br i1 %36, label %37, label %40
37: ; preds = %34
%38 = load i32, i32* %4
%39 = icmp sle i32 %38, 57
br i1 %39, label %48, label %40
40: ; preds = %37, %34
%41 = load i32, i32* %4
%42 = icmp sge i32 %41, 65
br i1 %42, label %43, label %46
43: ; preds = %40
%44 = load i32, i32* %4
%45 = icmp sle i32 %44, 70
br label %46
46: ; preds = %43, %40
%47 = phi i1 [ false, %40 ], [ %45, %43 ]
br label %48
48: ; preds = %46, %37
%49 = phi i1 [ true, %37 ], [ %47, %46 ]
%50 = zext i1 %49 to i32
store i32 %50, i32* %3
br label %52
51: ; preds = %2
store i32 0, i32* %3
br label %52
52: ; preds = %51, %48, %31, %22, %13
%53 = load i32, i32* %3
ret i32 %53
}

LLVM IR (-O2):
define i32 @isradixdigit(i32 %0, i32 %1) {
%3 = add i32 %1, -2
%4 = tail call i32 @llvm.fshl.i32(i32 %3, i32 %3, i32 31)
switch i32 %4, label %20 [
i32 0, label %5
i32 3, label %8
i32 4, label %11
i32 7, label %14
]
5: ; preds = %2
%6 = and i32 %0, -2
%7 = icmp eq i32 %6, 48
br label %20
8: ; preds = %2
%9 = and i32 %0, -8
%10 = icmp eq i32 %9, 48
br label %20
11: ; preds = %2
%12 = add i32 %0, -48
%13 = icmp ult i32 %12, 10
br label %20
14: ; preds = %2
%15 = add i32 %0, -48
%16 = icmp ult i32 %15, 10
%17 = add i32 %0, -65
%18 = icmp ult i32 %17, 6
%19 = or i1 %16, %18
br label %20
20: ; preds = %2, %14, %11, %8, %5
%21 = phi i1 [ %19, %14 ], [ %13, %11 ], [ %10, %8 ], [ %7, %5 ], [ false, %2 ]
%22 = zext i1 %21 to i32
ret i32 %22
}