#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 */
scalar_t__ isdigit(char);
scalar_t__ isupper(char);
int detect_two_char(const char *list, char a, char b) {
  char list_a;
  if (isupper(a))
    list_a = list[a - 'A'];
  else if (isdigit(a))
    list_a = list[a - '1' + 26];
  if (a == b) {
    if (list_a == b)
      return 3;
    else
      return 1;
  } else {
    if (list_a == b)
      return 2;
  }
  return 0;
}


x86 assembly (clang, -O0):
<detect_two_char>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %dl,%al
mov    %sil,%cl
mov    %rdi,-0x10(%rbp)
mov    %cl,-0x11(%rbp)
mov    %al,-0x12(%rbp)
movsbl -0x11(%rbp),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
je     1163 <detect_two_char+0x43>
mov    -0x10(%rbp),%rax
movsbl -0x11(%rbp),%ecx
sub    $0x41,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x13(%rbp)
jmp    1192 <detect_two_char+0x72>
movsbl -0x11(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     118d <detect_two_char+0x6d>
mov    -0x10(%rbp),%rax
movsbl -0x11(%rbp),%ecx
sub    $0x31,%ecx
add    $0x1a,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x13(%rbp)
jmp    1192 <detect_two_char+0x72>
movsbl -0x11(%rbp),%eax
movsbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jne    11ca <detect_two_char+0xaa>
movsbl -0x13(%rbp),%eax
movsbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jne    11be <detect_two_char+0x9e>
movl   $0x3,-0x4(%rbp)
jmp    11f2 <detect_two_char+0xd2>
movl   $0x1,-0x4(%rbp)
jmp    11f2 <detect_two_char+0xd2>
movsbl -0x13(%rbp),%eax
movsbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jne    11e6 <detect_two_char+0xc6>
movl   $0x2,-0x4(%rbp)
jmp    11f2 <detect_two_char+0xd2>
jmp    11eb <detect_two_char+0xcb>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<detect_two_char>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
mov    %esi,%edi
call   1040 <isupper@plt>
mov    $0xffffffffffffffbf,%rcx
test   %rax,%rax
jne    1153 <detect_two_char+0x33>
movsbl %bpl,%edi
call   1030 <isdigit@plt>
mov    $0xffffffffffffffe9,%rcx
test   %rax,%rax
je     1177 <detect_two_char+0x57>
movsbq %bpl,%rax
add    %rcx,%rax
mov    (%r14,%rax,1),%al
xor    %ecx,%ecx
cmp    %bl,%al
sete   %cl
lea    (%rcx,%rcx,1),%edx
cmp    %bl,%bpl
lea    0x1(%rcx,%rcx,1),%eax
cmovne %edx,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret
jmp    115e <detect_two_char+0x3e>

LLVM IR (-O0):
define i32 @detect_two_char(i8* %0, i8 signext %1, i8 signext %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8 %2, i8* %7
%9 = load i8, i8* %6
%10 = call i64 @isupper(i8 signext %9)
%11 = icmp ne i64 %10, 0
br i1 %11, label %12, label %20
12: ; preds = %3
%13 = load i8*, i8** %5
%14 = load i8, i8* %6
%15 = sext i8 %14 to i32
%16 = sub nsw i32 %15, 65
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %13, i64 %17
%19 = load i8, i8* %18
store i8 %19, i8* %8
br label %34
20: ; preds = %3
%21 = load i8, i8* %6
%22 = call i64 @isdigit(i8 signext %21)
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %33
24: ; preds = %20
%25 = load i8*, i8** %5
%26 = load i8, i8* %6
%27 = sext i8 %26 to i32
%28 = sub nsw i32 %27, 49
%29 = add nsw i32 %28, 26
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %25, i64 %30
%32 = load i8, i8* %31
store i8 %32, i8* %8
br label %33
33: ; preds = %24, %20
br label %34
34: ; preds = %33, %12
%35 = load i8, i8* %6
%36 = sext i8 %35 to i32
%37 = load i8, i8* %7
%38 = sext i8 %37 to i32
%39 = icmp eq i32 %36, %38
br i1 %39, label %40, label %48
40: ; preds = %34
%41 = load i8, i8* %8
%42 = sext i8 %41 to i32
%43 = load i8, i8* %7
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %42, %44
br i1 %45, label %46, label %47
46: ; preds = %40
store i32 3, i32* %4
br label %57
47: ; preds = %40
store i32 1, i32* %4
br label %57
48: ; preds = %34
%49 = load i8, i8* %8
%50 = sext i8 %49 to i32
%51 = load i8, i8* %7
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %50, %52
br i1 %53, label %54, label %55
54: ; preds = %48
store i32 2, i32* %4
br label %57
55: ; preds = %48
br label %56
56: ; preds = %55
store i32 0, i32* %4
br label %57
57: ; preds = %56, %54, %47, %46
%58 = load i32, i32* %4
ret i32 %58
}

LLVM IR (-O2):
define i32 @detect_two_char(i8* nocapture %0, i8 signext %1, i8 signext %2) {
%4 = tail call i64 @isupper(i8 signext %1)
%5 = icmp eq i64 %4, 0
br i1 %5, label %6, label %9
6: ; preds = %3
%7 = tail call i64 @isdigit(i8 signext %1)
%8 = icmp eq i64 %7, 0
br i1 %8, label %15, label %9
9: ; preds = %6, %3
%10 = phi i64 [ -65, %3 ], [ -23, %6 ]
%11 = sext i8 %1 to i64
%12 = add nsw i64 %10, %11
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
br label %15
15: ; preds = %9, %6
%16 = phi i8 [ undef, %6 ], [ %14, %9 ]
%17 = icmp eq i8 %1, %2
%18 = icmp eq i8 %16, %2
%19 = select i1 %18, i32 3, i32 1
%20 = select i1 %18, i32 2, i32 0
%21 = select i1 %17, i32 %19, i32 %20
ret i32 %21
}