char check_compat(char prev, char post) {
  char check = 0;
  if ((((prev >= 'a') && (prev <= 'z') && (post >= 'a') && (post <= 'z')) ||
       ((prev >= 'A') && (prev <= 'Z') && (post >= 'A') && (post <= 'Z')) ||
       ((prev >= '0') && (prev <= '9') && (post >= '0') && (post <= '9'))) &&
      (prev < post)) {
    check = 1;
  } else
    check = 0;
  return check;
}


x86 assembly (clang, -O0):
<check_compat>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x1(%rbp)
mov    %al,-0x2(%rbp)
movb   $0x0,-0x3(%rbp)
movsbl -0x1(%rbp),%eax
cmp    $0x61,%eax
jl     1148 <check_compat+0x48>
movsbl -0x1(%rbp),%eax
cmp    $0x7a,%eax
jg     1148 <check_compat+0x48>
movsbl -0x2(%rbp),%eax
cmp    $0x61,%eax
jl     1148 <check_compat+0x48>
movsbl -0x2(%rbp),%eax
cmp    $0x7a,%eax
jle    11b0 <check_compat+0xb0>
movsbl -0x1(%rbp),%eax
cmp    $0x41,%eax
jl     117c <check_compat+0x7c>
movsbl -0x1(%rbp),%eax
cmp    $0x5a,%eax
jg     117c <check_compat+0x7c>
movsbl -0x2(%rbp),%eax
cmp    $0x41,%eax
jl     117c <check_compat+0x7c>
movsbl -0x2(%rbp),%eax
cmp    $0x5a,%eax
jle    11b0 <check_compat+0xb0>
movsbl -0x1(%rbp),%eax
cmp    $0x30,%eax
jl     11c9 <check_compat+0xc9>
movsbl -0x1(%rbp),%eax
cmp    $0x39,%eax
jg     11c9 <check_compat+0xc9>
movsbl -0x2(%rbp),%eax
cmp    $0x30,%eax
jl     11c9 <check_compat+0xc9>
movsbl -0x2(%rbp),%eax
cmp    $0x39,%eax
jg     11c9 <check_compat+0xc9>
movsbl -0x1(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jge    11c9 <check_compat+0xc9>
movb   $0x1,-0x3(%rbp)
jmp    11cd <check_compat+0xcd>
movb   $0x0,-0x3(%rbp)
movsbl -0x3(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_compat>:
lea    -0x61(%rdi),%eax
cmp    $0x19,%al
ja     110e <check_compat+0xe>
lea    -0x61(%rsi),%eax
cmp    $0x1a,%al
jb     111c <check_compat+0x1c>
lea    -0x41(%rdi),%eax
cmp    $0x19,%al
ja     1126 <check_compat+0x26>
lea    -0x41(%rsi),%eax
cmp    $0x1a,%al
jae    1126 <check_compat+0x26>
mov    $0x1,%al
cmp    %sil,%dil
jb     1125 <check_compat+0x25>
xor    %eax,%eax
ret
cmp    %sil,%dil
jge    1123 <check_compat+0x23>
add    $0xd0,%dil
cmp    $0x9,%dil
ja     1123 <check_compat+0x23>
add    $0xd0,%sil
mov    $0x1,%al
cmp    $0xa,%sil
jb     1125 <check_compat+0x25>
jmp    1123 <check_compat+0x23>

LLVM IR (-O0):
define signext i8 @check_compat(i8 signext %0, i8 signext %1) {
%3 = alloca i8
%4 = alloca i8
%5 = alloca i8
store i8 %0, i8* %3
store i8 %1, i8* %4
store i8 0, i8* %5
%6 = load i8, i8* %3
%7 = sext i8 %6 to i32
%8 = icmp sge i32 %7, 97
br i1 %8, label %9, label %21
9: ; preds = %2
%10 = load i8, i8* %3
%11 = sext i8 %10 to i32
%12 = icmp sle i32 %11, 122
br i1 %12, label %13, label %21
13: ; preds = %9
%14 = load i8, i8* %4
%15 = sext i8 %14 to i32
%16 = icmp sge i32 %15, 97
br i1 %16, label %17, label %21
17: ; preds = %13
%18 = load i8, i8* %4
%19 = sext i8 %18 to i32
%20 = icmp sle i32 %19, 122
br i1 %20, label %53, label %21
21: ; preds = %17, %13, %9, %2
%22 = load i8, i8* %3
%23 = sext i8 %22 to i32
%24 = icmp sge i32 %23, 65
br i1 %24, label %25, label %37
25: ; preds = %21
%26 = load i8, i8* %3
%27 = sext i8 %26 to i32
%28 = icmp sle i32 %27, 90
br i1 %28, label %29, label %37
29: ; preds = %25
%30 = load i8, i8* %4
%31 = sext i8 %30 to i32
%32 = icmp sge i32 %31, 65
br i1 %32, label %33, label %37
33: ; preds = %29
%34 = load i8, i8* %4
%35 = sext i8 %34 to i32
%36 = icmp sle i32 %35, 90
br i1 %36, label %53, label %37
37: ; preds = %33, %29, %25, %21
%38 = load i8, i8* %3
%39 = sext i8 %38 to i32
%40 = icmp sge i32 %39, 48
br i1 %40, label %41, label %60
41: ; preds = %37
%42 = load i8, i8* %3
%43 = sext i8 %42 to i32
%44 = icmp sle i32 %43, 57
br i1 %44, label %45, label %60
45: ; preds = %41
%46 = load i8, i8* %4
%47 = sext i8 %46 to i32
%48 = icmp sge i32 %47, 48
br i1 %48, label %49, label %60
49: ; preds = %45
%50 = load i8, i8* %4
%51 = sext i8 %50 to i32
%52 = icmp sle i32 %51, 57
br i1 %52, label %53, label %60
53: ; preds = %49, %33, %17
%54 = load i8, i8* %3
%55 = sext i8 %54 to i32
%56 = load i8, i8* %4
%57 = sext i8 %56 to i32
%58 = icmp slt i32 %55, %57
br i1 %58, label %59, label %60
59: ; preds = %53
store i8 1, i8* %5
br label %61
60: ; preds = %53, %49, %45, %41, %37
store i8 0, i8* %5
br label %61
61: ; preds = %60, %59
%62 = load i8, i8* %5
ret i8 %62
}

LLVM IR (-O2):
define signext i8 @check_compat(i8 signext %0, i8 signext %1) {
%3 = add i8 %0, -97
%4 = icmp ult i8 %3, 26
%5 = add i8 %1, -97
%6 = icmp ult i8 %5, 26
%7 = and i1 %4, %6
br i1 %7, label %22, label %8
8: ; preds = %2
%9 = add i8 %0, -65
%10 = icmp ult i8 %9, 26
%11 = add i8 %1, -65
%12 = icmp ult i8 %11, 26
%13 = and i1 %10, %12
br i1 %13, label %22, label %14
14: ; preds = %8
%15 = add i8 %0, -48
%16 = icmp ult i8 %15, 10
%17 = add i8 %1, -48
%18 = icmp ult i8 %17, 10
%19 = and i1 %16, %18
%20 = icmp slt i8 %0, %1
%21 = and i1 %20, %19
br i1 %21, label %25, label %24
22: ; preds = %8, %2
%23 = icmp ult i8 %0, %1
br i1 %23, label %25, label %24
24: ; preds = %22, %14
br label %25
25: ; preds = %22, %14, %24
%26 = phi i8 [ 0, %24 ], [ 1, %14 ], [ 1, %22 ]
ret i8 %26
}