int check_watson_crick(char a, char b) {
  if (a == 'A') {
    if (b == 'T') {
      return 1;
    } else {
      return 0;
    }
  }
  if (a == 'T') {
    if (b == 'A') {
      return 1;
    } else {
      return 0;
    }
  }
  if (a == 'G') {
    if (b == 'C') {
      return 1;
    } else {
      return 0;
    }
  }
  if (a == 'C') {
    if (b == 'G') {
      return 1;
    } else {
      return 0;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<check_watson_crick>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
movsbl -0x5(%rbp),%eax
cmp    $0x41,%eax
jne    1142 <check_watson_crick+0x42>
movsbl -0x6(%rbp),%eax
cmp    $0x54,%eax
jne    1136 <check_watson_crick+0x36>
movl   $0x1,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movsbl -0x5(%rbp),%eax
cmp    $0x54,%eax
jne    1174 <check_watson_crick+0x74>
movsbl -0x6(%rbp),%eax
cmp    $0x41,%eax
jne    1168 <check_watson_crick+0x68>
movl   $0x1,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movsbl -0x5(%rbp),%eax
cmp    $0x47,%eax
jne    11a6 <check_watson_crick+0xa6>
movsbl -0x6(%rbp),%eax
cmp    $0x43,%eax
jne    119a <check_watson_crick+0x9a>
movl   $0x1,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movsbl -0x5(%rbp),%eax
cmp    $0x43,%eax
jne    11d8 <check_watson_crick+0xd8>
movsbl -0x6(%rbp),%eax
cmp    $0x47,%eax
jne    11cc <check_watson_crick+0xcc>
movl   $0x1,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movl   $0x0,-0x4(%rbp)
jmp    11df <check_watson_crick+0xdf>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_watson_crick>:
xor    %eax,%eax
add    $0xbf,%dil
cmp    $0x13,%dil
ja     1139 <check_watson_crick+0x39>
movzbl %dil,%ecx
lea    0xee9(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
cmp    $0x54,%sil
jmp    1136 <check_watson_crick+0x36>
cmp    $0x47,%sil
jmp    1136 <check_watson_crick+0x36>
cmp    $0x43,%sil
jmp    1136 <check_watson_crick+0x36>
cmp    $0x41,%sil
sete   %al
movzbl %al,%eax
ret

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

LLVM IR (-O2):
define i32 @check_watson_crick(i8 signext %0, i8 signext %1) {
switch i8 %0, label %11 [
i8 65, label %3
i8 84, label %5
i8 71, label %7
i8 67, label %9
]
3: ; preds = %2
%4 = icmp eq i8 %1, 84
br label %11
5: ; preds = %2
%6 = icmp eq i8 %1, 65
br label %11
7: ; preds = %2
%8 = icmp eq i8 %1, 67
br label %11
9: ; preds = %2
%10 = icmp eq i8 %1, 71
br label %11
11: ; preds = %2, %9, %7, %5, %3
%12 = phi i1 [ %4, %3 ], [ %6, %5 ], [ %8, %7 ], [ %10, %9 ], [ false, %2 ]
%13 = zext i1 %12 to i32
ret i32 %13
}