int isletterx(int c) {
  switch (c) {
  case '0':
  case '1':
  case '2':
  case '3':
  case '4':
  case '5':
  case '6':
  case '7':
  case '8':
  case '9':
  case '+':
  case '-':
  case '.':
  case '*':
  case '/':
  case '<':
  case '=':
  case '>':
  case '!':
  case '?':
  case ':':
  case '$':
  case '%':
  case '_':
  case '&':
  case '^':
  case '~':
  case 'a':
  case 'b':
  case 'c':
  case 'd':
  case 'e':
  case 'f':
  case 'g':
  case 'h':
  case 'i':
  case 'j':
  case 'k':
  case 'l':
  case 'm':
  case 'n':
  case 'o':
  case 'p':
  case 'q':
  case 'r':
  case 's':
  case 't':
  case 'u':
  case 'v':
  case 'w':
  case 'x':
  case 'y':
  case 'z':
  case 'A':
  case 'B':
  case 'C':
  case 'D':
  case 'E':
  case 'F':
  case 'G':
  case 'H':
  case 'I':
  case 'J':
  case 'K':
  case 'L':
  case 'M':
  case 'N':
  case 'O':
  case 'P':
  case 'Q':
  case 'R':
  case 'S':
  case 'T':
  case 'U':
  case 'V':
  case 'W':
  case 'X':
  case 'Y':
  case 'Z':
    return (1);
  }
  return ((unsigned char)c >= 0200);
}


x86 assembly (clang, -O0):
<isletterx>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffdf,%eax
mov    %eax,%ecx
mov    %rcx,-0x10(%rbp)
sub    $0x5d,%eax
ja     113c <isletterx+0x3c>
mov    -0x10(%rbp),%rax
lea    0xed9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x1,-0x4(%rbp)
jmp    1152 <isletterx+0x52>
mov    -0x8(%rbp),%eax
movzbl %al,%eax
cmp    $0x80,%eax
setge  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isletterx>:
lea    -0x21(%rdi),%ecx
cmp    $0x5d,%ecx
ja     111e <isletterx+0x1e>
mov    $0x1,%eax
lea    0xeec(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
ret
shr    $0x7,%edi
and    $0x1,%edi
mov    %edi,%eax
ret

LLVM IR (-O0):
define i32 @isletterx(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %6 [
i32 48, label %5
i32 49, label %5
i32 50, label %5
i32 51, label %5
i32 52, label %5
i32 53, label %5
i32 54, label %5
i32 55, label %5
i32 56, label %5
i32 57, label %5
i32 43, label %5
i32 45, label %5
i32 46, label %5
i32 42, label %5
i32 47, label %5
i32 60, label %5
i32 61, label %5
i32 62, label %5
i32 33, label %5
i32 63, label %5
i32 58, label %5
i32 36, label %5
i32 37, label %5
i32 95, label %5
i32 38, label %5
i32 94, label %5
i32 126, label %5
i32 97, label %5
i32 98, label %5
i32 99, label %5
i32 100, label %5
i32 101, label %5
i32 102, label %5
i32 103, label %5
i32 104, label %5
i32 105, label %5
i32 106, label %5
i32 107, label %5
i32 108, label %5
i32 109, label %5
i32 110, label %5
i32 111, label %5
i32 112, label %5
i32 113, label %5
i32 114, label %5
i32 115, label %5
i32 116, label %5
i32 117, label %5
i32 118, label %5
i32 119, label %5
i32 120, label %5
i32 121, label %5
i32 122, label %5
i32 65, label %5
i32 66, label %5
i32 67, label %5
i32 68, label %5
i32 69, label %5
i32 70, label %5
i32 71, label %5
i32 72, label %5
i32 73, label %5
i32 74, label %5
i32 75, label %5
i32 76, label %5
i32 77, label %5
i32 78, label %5
i32 79, label %5
i32 80, label %5
i32 81, label %5
i32 82, label %5
i32 83, label %5
i32 84, label %5
i32 85, label %5
i32 86, label %5
i32 87, label %5
i32 88, label %5
i32 89, label %5
i32 90, label %5
]
5: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1
store i32 1, i32* %2
br label %12
6: ; preds = %1
%7 = load i32, i32* %3
%8 = trunc i32 %7 to i8
%9 = zext i8 %8 to i32
%10 = icmp sge i32 %9, 128
%11 = zext i1 %10 to i32
store i32 %11, i32* %2
br label %12
12: ; preds = %6, %5
%13 = load i32, i32* %2
ret i32 %13
}

LLVM IR (-O2):
define i32 @isletterx(i32 %0) {
switch i32 %0, label %2 [
i32 48, label %5
i32 49, label %5
i32 50, label %5
i32 51, label %5
i32 52, label %5
i32 53, label %5
i32 54, label %5
i32 55, label %5
i32 56, label %5
i32 57, label %5
i32 43, label %5
i32 45, label %5
i32 46, label %5
i32 42, label %5
i32 47, label %5
i32 60, label %5
i32 61, label %5
i32 62, label %5
i32 33, label %5
i32 63, label %5
i32 58, label %5
i32 36, label %5
i32 37, label %5
i32 95, label %5
i32 38, label %5
i32 94, label %5
i32 126, label %5
i32 97, label %5
i32 98, label %5
i32 99, label %5
i32 100, label %5
i32 101, label %5
i32 102, label %5
i32 103, label %5
i32 104, label %5
i32 105, label %5
i32 106, label %5
i32 107, label %5
i32 108, label %5
i32 109, label %5
i32 110, label %5
i32 111, label %5
i32 112, label %5
i32 113, label %5
i32 114, label %5
i32 115, label %5
i32 116, label %5
i32 117, label %5
i32 118, label %5
i32 119, label %5
i32 120, label %5
i32 121, label %5
i32 122, label %5
i32 65, label %5
i32 66, label %5
i32 67, label %5
i32 68, label %5
i32 69, label %5
i32 70, label %5
i32 71, label %5
i32 72, label %5
i32 73, label %5
i32 74, label %5
i32 75, label %5
i32 76, label %5
i32 77, label %5
i32 78, label %5
i32 79, label %5
i32 80, label %5
i32 81, label %5
i32 82, label %5
i32 83, label %5
i32 84, label %5
i32 85, label %5
i32 86, label %5
i32 87, label %5
i32 88, label %5
i32 89, label %5
i32 90, label %5
]
2: ; preds = %1
%3 = lshr i32 %0, 7
%4 = and i32 %3, 1
br label %5
5: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %2
%6 = phi i32 [ %4, %2 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ]
ret i32 %6
}