int isValidDNACharacter(char input) {
  if (input == 'A')
    return 1;
  if (input == 'C')
    return 1;
  if (input == 'G')
    return 1;
  if (input == 'T')
    return 1;
  if (input == '-')
    return 1;
  if (input == 'N')
    return 1;
  if (input == 'a')
    return 1;
  if (input == 'c')
    return 1;
  if (input == 'g')
    return 1;
  if (input == 't')
    return 1;
  if (input == 'X' || input == 'K' || input == 'M' || input == 'R' ||
      input == 'Y' || input == 'S' || input == 'W' || input == 'B' ||
      input == 'V' || input == 'H' || input == 'D' || input == '.')
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<isValidDNACharacter>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
movsbl -0x5(%rbp),%eax
cmp    $0x41,%eax
jne    1123 <isValidDNACharacter+0x23>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x43,%eax
jne    113c <isValidDNACharacter+0x3c>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x47,%eax
jne    1155 <isValidDNACharacter+0x55>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x54,%eax
jne    116e <isValidDNACharacter+0x6e>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x2d,%eax
jne    1187 <isValidDNACharacter+0x87>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x4e,%eax
jne    11a0 <isValidDNACharacter+0xa0>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x61,%eax
jne    11b9 <isValidDNACharacter+0xb9>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x63,%eax
jne    11d2 <isValidDNACharacter+0xd2>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x67,%eax
jne    11eb <isValidDNACharacter+0xeb>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x74,%eax
jne    1204 <isValidDNACharacter+0x104>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movsbl -0x5(%rbp),%eax
cmp    $0x58,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x4b,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x4d,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x52,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x59,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x53,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x57,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x42,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x56,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x48,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x44,%eax
je     12a0 <isValidDNACharacter+0x1a0>
movsbl -0x5(%rbp),%eax
cmp    $0x2e,%eax
jne    12ac <isValidDNACharacter+0x1ac>
movl   $0x1,-0x4(%rbp)
jmp    12b3 <isValidDNACharacter+0x1b3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValidDNACharacter>:
add    $0xd3,%dil
cmp    $0x47,%dil
ja     1124 <isValidDNACharacter+0x24>
mov    $0x1,%eax
movzbl %dil,%ecx
lea    0xee6(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @isValidDNACharacter(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 eq i32 %5, 65
br i1 %6, label %7, label %8
7: ; preds = %1
store i32 1, i32* %2
br label %103
8: ; preds = %1
%9 = load i8, i8* %3
%10 = sext i8 %9 to i32
%11 = icmp eq i32 %10, 67
br i1 %11, label %12, label %13
12: ; preds = %8
store i32 1, i32* %2
br label %103
13: ; preds = %8
%14 = load i8, i8* %3
%15 = sext i8 %14 to i32
%16 = icmp eq i32 %15, 71
br i1 %16, label %17, label %18
17: ; preds = %13
store i32 1, i32* %2
br label %103
18: ; preds = %13
%19 = load i8, i8* %3
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, 84
br i1 %21, label %22, label %23
22: ; preds = %18
store i32 1, i32* %2
br label %103
23: ; preds = %18
%24 = load i8, i8* %3
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, 45
br i1 %26, label %27, label %28
27: ; preds = %23
store i32 1, i32* %2
br label %103
28: ; preds = %23
%29 = load i8, i8* %3
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 78
br i1 %31, label %32, label %33
32: ; preds = %28
store i32 1, i32* %2
br label %103
33: ; preds = %28
%34 = load i8, i8* %3
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 97
br i1 %36, label %37, label %38
37: ; preds = %33
store i32 1, i32* %2
br label %103
38: ; preds = %33
%39 = load i8, i8* %3
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %40, 99
br i1 %41, label %42, label %43
42: ; preds = %38
store i32 1, i32* %2
br label %103
43: ; preds = %38
%44 = load i8, i8* %3
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 103
br i1 %46, label %47, label %48
47: ; preds = %43
store i32 1, i32* %2
br label %103
48: ; preds = %43
%49 = load i8, i8* %3
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 116
br i1 %51, label %52, label %53
52: ; preds = %48
store i32 1, i32* %2
br label %103
53: ; preds = %48
%54 = load i8, i8* %3
%55 = sext i8 %54 to i32
%56 = icmp eq i32 %55, 88
br i1 %56, label %101, label %57
57: ; preds = %53
%58 = load i8, i8* %3
%59 = sext i8 %58 to i32
%60 = icmp eq i32 %59, 75
br i1 %60, label %101, label %61
61: ; preds = %57
%62 = load i8, i8* %3
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 77
br i1 %64, label %101, label %65
65: ; preds = %61
%66 = load i8, i8* %3
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %67, 82
br i1 %68, label %101, label %69
69: ; preds = %65
%70 = load i8, i8* %3
%71 = sext i8 %70 to i32
%72 = icmp eq i32 %71, 89
br i1 %72, label %101, label %73
73: ; preds = %69
%74 = load i8, i8* %3
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 83
br i1 %76, label %101, label %77
77: ; preds = %73
%78 = load i8, i8* %3
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 87
br i1 %80, label %101, label %81
81: ; preds = %77
%82 = load i8, i8* %3
%83 = sext i8 %82 to i32
%84 = icmp eq i32 %83, 66
br i1 %84, label %101, label %85
85: ; preds = %81
%86 = load i8, i8* %3
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 86
br i1 %88, label %101, label %89
89: ; preds = %85
%90 = load i8, i8* %3
%91 = sext i8 %90 to i32
%92 = icmp eq i32 %91, 72
br i1 %92, label %101, label %93
93: ; preds = %89
%94 = load i8, i8* %3
%95 = sext i8 %94 to i32
%96 = icmp eq i32 %95, 68
br i1 %96, label %101, label %97
97: ; preds = %93
%98 = load i8, i8* %3
%99 = sext i8 %98 to i32
%100 = icmp eq i32 %99, 46
br i1 %100, label %101, label %102
101: ; preds = %97, %93, %89, %85, %81, %77, %73, %69, %65, %61, %57, %53
store i32 1, i32* %2
br label %103
102: ; preds = %97
store i32 0, i32* %2
br label %103
103: ; preds = %102, %101, %52, %47, %42, %37, %32, %27, %22, %17, %12, %7
%104 = load i32, i32* %2
ret i32 %104
}

LLVM IR (-O2):
define i32 @isValidDNACharacter(i8 signext %0) {
switch i8 %0, label %2 [
i8 65, label %3
i8 67, label %3
i8 71, label %3
i8 84, label %3
i8 45, label %3
i8 78, label %3
i8 97, label %3
i8 99, label %3
i8 103, label %3
i8 116, label %3
i8 89, label %3
i8 88, label %3
i8 87, label %3
i8 86, label %3
i8 83, label %3
i8 82, label %3
i8 77, label %3
i8 75, label %3
i8 72, label %3
i8 68, label %3
i8 66, label %3
i8 46, label %3
]
2: ; preds = %1
br label %3
3: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %2
%4 = phi i32 [ 0, %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 ]
ret i32 %4
}