#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__ isupper(char);
char tolower(char);
int CmpChar(char a, char b) {
  char a_, b_;
  a_ = isupper(a) ? tolower(a) : a;
  b_ = isupper(b) ? tolower(b) : b;
  if (a_ != b_)
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<CmpChar>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
movsbl -0x5(%rbp),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
je     115b <CmpChar+0x3b>
movsbl -0x5(%rbp),%edi
call   1030 <tolower@plt>
movsbl %al,%eax
mov    %eax,-0xc(%rbp)
jmp    1162 <CmpChar+0x42>
movsbl -0x5(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %al,-0x7(%rbp)
movsbl -0x6(%rbp),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
je     118f <CmpChar+0x6f>
movsbl -0x6(%rbp),%edi
call   1030 <tolower@plt>
movsbl %al,%eax
mov    %eax,-0x10(%rbp)
jmp    1196 <CmpChar+0x76>
movsbl -0x6(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %al,-0x8(%rbp)
movsbl -0x7(%rbp),%eax
movsbl -0x8(%rbp),%ecx
cmp    %ecx,%eax
je     11b8 <CmpChar+0x98>
movl   $0x0,-0x4(%rbp)
jmp    11bf <CmpChar+0x9f>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<CmpChar>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%r14d
mov    %edi,%ebx
call   1040 <isupper@plt>
test   %rax,%rax
je     113d <CmpChar+0x1d>
movsbl %bl,%edi
call   1030 <tolower@plt>
mov    %eax,%ebx
movsbl %r14b,%ebp
mov    %ebp,%edi
call   1040 <isupper@plt>
test   %rax,%rax
je     1157 <CmpChar+0x37>
mov    %ebp,%edi
call   1030 <tolower@plt>
mov    %eax,%r14d
xor    %eax,%eax
cmp    %r14b,%bl
sete   %al
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @CmpChar(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* %4
%9 = call i64 @isupper(i8 signext %8)
%10 = icmp ne i64 %9, 0
br i1 %10, label %11, label %15
11: ; preds = %2
%12 = load i8, i8* %4
%13 = call signext i8 @tolower(i8 signext %12)
%14 = sext i8 %13 to i32
br label %18
15: ; preds = %2
%16 = load i8, i8* %4
%17 = sext i8 %16 to i32
br label %18
18: ; preds = %15, %11
%19 = phi i32 [ %14, %11 ], [ %17, %15 ]
%20 = trunc i32 %19 to i8
store i8 %20, i8* %6
%21 = load i8, i8* %5
%22 = call i64 @isupper(i8 signext %21)
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %28
24: ; preds = %18
%25 = load i8, i8* %5
%26 = call signext i8 @tolower(i8 signext %25)
%27 = sext i8 %26 to i32
br label %31
28: ; preds = %18
%29 = load i8, i8* %5
%30 = sext i8 %29 to i32
br label %31
31: ; preds = %28, %24
%32 = phi i32 [ %27, %24 ], [ %30, %28 ]
%33 = trunc i32 %32 to i8
store i8 %33, i8* %7
%34 = load i8, i8* %6
%35 = sext i8 %34 to i32
%36 = load i8, i8* %7
%37 = sext i8 %36 to i32
%38 = icmp ne i32 %35, %37
br i1 %38, label %39, label %40
39: ; preds = %31
store i32 0, i32* %3
br label %41
40: ; preds = %31
store i32 1, i32* %3
br label %41
41: ; preds = %40, %39
%42 = load i32, i32* %3
ret i32 %42
}

LLVM IR (-O2):
define i32 @CmpChar(i8 signext %0, i8 signext %1) {
%3 = tail call i64 @isupper(i8 signext %0)
%4 = icmp eq i64 %3, 0
br i1 %4, label %7, label %5
5: ; preds = %2
%6 = tail call signext i8 @tolower(i8 signext %0)
br label %7
7: ; preds = %2, %5
%8 = phi i8 [ %6, %5 ], [ %0, %2 ]
%9 = tail call i64 @isupper(i8 signext %1)
%10 = icmp eq i64 %9, 0
br i1 %10, label %13, label %11
11: ; preds = %7
%12 = tail call signext i8 @tolower(i8 signext %1)
br label %13
13: ; preds = %7, %11
%14 = phi i8 [ %12, %11 ], [ %1, %7 ]
%15 = icmp eq i8 %8, %14
%16 = zext i1 %15 to i32
ret i32 %16
}