#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
char toupper(char);
int symbol_match(char s, char p) {
  char P = toupper(p);
  char S = toupper(s);
  if (P == 'N')
    return 1;
  switch (P) {
  case 'A':
    return S == 'A';
  case 'C':
    return S == 'C';
  case 'G':
    return S == 'G';
  case 'T':
    return S == 'T';
  case 'R':
    if (S == 'A' || S == 'G')
      return 1;
    else
      return 0;
  case 'Y':
    if (S == 'C' || S == 'T')
      return 1;
    else
      return 0;
  case 'M':
    if (S == 'A' || S == 'C')
      return 1;
    else
      return 0;
  case 'K':
    if (S == 'G' || S == 'T')
      return 1;
    else
      return 0;
  case 'S':
    if (S == 'G' || S == 'C')
      return 1;
    else
      return 0;
  case 'W':
    if (S == 'A' || S == 'T')
      return 1;
    else
      return 0;
  }
  return 0;
}


x86 assembly (clang, -O0):
<symbol_match>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
movsbl -0x6(%rbp),%edi
call   1030 <toupper@plt>
mov    %al,-0x7(%rbp)
movsbl -0x5(%rbp),%edi
call   1030 <toupper@plt>
mov    %al,-0x8(%rbp)
movsbl -0x7(%rbp),%eax
cmp    $0x4e,%eax
jne    1155 <symbol_match+0x45>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x7(%rbp),%eax
add    $0xffffffbf,%eax
mov    %eax,%ecx
mov    %rcx,-0x10(%rbp)
sub    $0x18,%eax
ja     1307 <symbol_match+0x1f7>
mov    -0x10(%rbp),%rax
lea    0xe8a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsbl -0x8(%rbp),%eax
cmp    $0x41,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x43,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x47,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x54,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x41,%eax
je     11f5 <symbol_match+0xe5>
movsbl -0x8(%rbp),%eax
cmp    $0x47,%eax
jne    1201 <symbol_match+0xf1>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x43,%eax
je     1227 <symbol_match+0x117>
movsbl -0x8(%rbp),%eax
cmp    $0x54,%eax
jne    1233 <symbol_match+0x123>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x41,%eax
je     1259 <symbol_match+0x149>
movsbl -0x8(%rbp),%eax
cmp    $0x43,%eax
jne    1265 <symbol_match+0x155>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x47,%eax
je     128b <symbol_match+0x17b>
movsbl -0x8(%rbp),%eax
cmp    $0x54,%eax
jne    1297 <symbol_match+0x187>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x47,%eax
je     12bd <symbol_match+0x1ad>
movsbl -0x8(%rbp),%eax
cmp    $0x43,%eax
jne    12c9 <symbol_match+0x1b9>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movsbl -0x8(%rbp),%eax
cmp    $0x41,%eax
je     12ef <symbol_match+0x1df>
movsbl -0x8(%rbp),%eax
cmp    $0x54,%eax
jne    12fb <symbol_match+0x1eb>
movl   $0x1,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
jmp    130e <symbol_match+0x1fe>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<symbol_match>:
push   %rbp
push   %rbx
push   %rax
mov    %edi,%ebp
mov    %esi,%edi
call   1030 <toupper@plt>
mov    %eax,%ebx
mov    %ebp,%edi
call   1030 <toupper@plt>
mov    $0x1,%cl
cmp    $0x4e,%bl
je     118b <symbol_match+0x7b>
movsbl %bl,%edx
xor    %ecx,%ecx
add    $0xffffffbf,%edx
cmp    $0x18,%edx
ja     118b <symbol_match+0x7b>
lea    0xec0(%rip),%rsi
movslq (%rsi,%rdx,4),%rdx
add    %rsi,%rdx
jmp    *%rdx
cmp    $0x47,%al
sete   %cl
jmp    118b <symbol_match+0x7b>
cmp    $0x54,%al
sete   %dl
cmp    $0x47,%al
jmp    1186 <symbol_match+0x76>
and    $0xfd,%al
cmp    $0x41,%al
sete   %cl
jmp    118b <symbol_match+0x7b>
cmp    $0x47,%al
jmp    1178 <symbol_match+0x68>
and    $0xfb,%al
cmp    $0x43,%al
sete   %cl
jmp    118b <symbol_match+0x7b>
cmp    $0x54,%al
sete   %cl
jmp    118b <symbol_match+0x7b>
cmp    $0x54,%al
sete   %dl
cmp    $0x41,%al
jmp    1186 <symbol_match+0x76>
cmp    $0x54,%al
sete   %dl
cmp    $0x43,%al
sete   %cl
or     %dl,%cl
movzbl %cl,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @symbol_match(i8 signext %0, i8 signext %1) {
%3 = tail call signext i8 @toupper(i8 signext %1)
%4 = tail call signext i8 @toupper(i8 signext %0)
%5 = icmp eq i8 %3, 78
br i1 %5, label %38, label %6
6: ; preds = %2
%7 = sext i8 %3 to i32
switch i32 %7, label %38 [
i32 65, label %8
i32 67, label %10
i32 71, label %12
i32 84, label %14
i32 82, label %16
i32 89, label %20
i32 77, label %24
i32 75, label %27
i32 83, label %31
i32 87, label %34
]
8: ; preds = %6
%9 = icmp eq i8 %4, 65
br label %38
10: ; preds = %6
%11 = icmp eq i8 %4, 67
br label %38
12: ; preds = %6
%13 = icmp eq i8 %4, 71
br label %38
14: ; preds = %6
%15 = icmp eq i8 %4, 84
br label %38
16: ; preds = %6
%17 = icmp eq i8 %4, 71
%18 = icmp eq i8 %4, 65
%19 = or i1 %17, %18
br label %38
20: ; preds = %6
%21 = icmp eq i8 %4, 84
%22 = icmp eq i8 %4, 67
%23 = or i1 %21, %22
br label %38
24: ; preds = %6
%25 = and i8 %4, -3
%26 = icmp eq i8 %25, 65
br label %38
27: ; preds = %6
%28 = icmp eq i8 %4, 84
%29 = icmp eq i8 %4, 71
%30 = or i1 %28, %29
br label %38
31: ; preds = %6
%32 = and i8 %4, -5
%33 = icmp eq i8 %32, 67
br label %38
34: ; preds = %6
%35 = icmp eq i8 %4, 84
%36 = icmp eq i8 %4, 65
%37 = or i1 %35, %36
br label %38
38: ; preds = %34, %27, %20, %16, %6, %31, %24, %2, %14, %12, %10, %8
%39 = phi i1 [ %15, %14 ], [ %13, %12 ], [ %11, %10 ], [ %9, %8 ], [ true, %2 ], [ %26, %24 ], [ %33, %31 ], [ false, %6 ], [ %19, %16 ], [ %23, %20 ], [ %30, %27 ], [ %37, %34 ]
%40 = zext i1 %39 to i32
ret i32 %40
}