int ischar(char c) {
  if ('a' <= c && c <= 'z')
    return 1;
  if ('A' <= c && c <= 'Z')
    return 1;
  if ('0' <= c && c <= '9')
    return 1;
  if (c == '\0')
    return 1;
  if (c == '?')
    return 1;
  if (c == '*')
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<ischar>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
movsbl -0x5(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     1134 <ischar+0x34>
movsbl -0x5(%rbp),%eax
cmp    $0x7a,%eax
jg     1134 <ischar+0x34>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movsbl -0x5(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     115e <ischar+0x5e>
movsbl -0x5(%rbp),%eax
cmp    $0x5a,%eax
jg     115e <ischar+0x5e>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movsbl -0x5(%rbp),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     1188 <ischar+0x88>
movsbl -0x5(%rbp),%eax
cmp    $0x39,%eax
jg     1188 <ischar+0x88>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movsbl -0x5(%rbp),%eax
cmp    $0x0,%eax
jne    11a1 <ischar+0xa1>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movsbl -0x5(%rbp),%eax
cmp    $0x3f,%eax
jne    11ba <ischar+0xba>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movsbl -0x5(%rbp),%eax
cmp    $0x2a,%eax
jne    11d3 <ischar+0xd3>
movl   $0x1,-0x4(%rbp)
jmp    11da <ischar+0xda>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ischar>:
lea    -0x30(%rdi),%ecx
mov    $0x1,%eax
cmp    $0xa,%cl
jb     1134 <ischar+0x34>
mov    %edi,%ecx
and    $0xdf,%cl
add    $0xbf,%cl
cmp    $0x1a,%cl
jb     1134 <ischar+0x34>
cmp    $0x3f,%dil
ja     1135 <ischar+0x35>
movzbl %dil,%ecx
movabs $0x8000040000000001,%rdx
bt     %rcx,%rdx
jae    1135 <ischar+0x35>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @ischar(i8 signext %0) {
%2 = alloca i32
%3 = alloca i8
store i8 %0, i8* %3
%4 = load i8, i8* %3
%5 = sext i8 %4 to i32
%6 = icmp sle i32 97, %5
br i1 %6, label %7, label %12
7: ; preds = %1
%8 = load i8, i8* %3
%9 = sext i8 %8 to i32
%10 = icmp sle i32 %9, 122
br i1 %10, label %11, label %12
11: ; preds = %7
store i32 1, i32* %2
br label %46
12: ; preds = %7, %1
%13 = load i8, i8* %3
%14 = sext i8 %13 to i32
%15 = icmp sle i32 65, %14
br i1 %15, label %16, label %21
16: ; preds = %12
%17 = load i8, i8* %3
%18 = sext i8 %17 to i32
%19 = icmp sle i32 %18, 90
br i1 %19, label %20, label %21
20: ; preds = %16
store i32 1, i32* %2
br label %46
21: ; preds = %16, %12
%22 = load i8, i8* %3
%23 = sext i8 %22 to i32
%24 = icmp sle i32 48, %23
br i1 %24, label %25, label %30
25: ; preds = %21
%26 = load i8, i8* %3
%27 = sext i8 %26 to i32
%28 = icmp sle i32 %27, 57
br i1 %28, label %29, label %30
29: ; preds = %25
store i32 1, i32* %2
br label %46
30: ; preds = %25, %21
%31 = load i8, i8* %3
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %35
34: ; preds = %30
store i32 1, i32* %2
br label %46
35: ; preds = %30
%36 = load i8, i8* %3
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 63
br i1 %38, label %39, label %40
39: ; preds = %35
store i32 1, i32* %2
br label %46
40: ; preds = %35
%41 = load i8, i8* %3
%42 = sext i8 %41 to i32
%43 = icmp eq i32 %42, 42
br i1 %43, label %44, label %45
44: ; preds = %40
store i32 1, i32* %2
br label %46
45: ; preds = %40
store i32 0, i32* %2
br label %46
46: ; preds = %45, %44, %39, %34, %29, %20, %11
%47 = load i32, i32* %2
ret i32 %47
}

LLVM IR (-O2):
define i32 @ischar(i8 signext %0) {
%2 = and i8 %0, -33
%3 = add i8 %2, -65
%4 = icmp ult i8 %3, 26
%5 = add i8 %0, -48
%6 = icmp ult i8 %5, 10
%7 = or i1 %6, %4
br i1 %7, label %10, label %8
8: ; preds = %1
switch i8 %0, label %9 [
i8 0, label %10
i8 63, label %10
i8 42, label %10
]
9: ; preds = %8
br label %10
10: ; preds = %8, %8, %8, %1, %9
%11 = phi i32 [ 0, %9 ], [ 1, %1 ], [ 1, %8 ], [ 1, %8 ], [ 1, %8 ]
ret i32 %11
}