#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 */
size_t strlen(char const *);
int streq_nocase(const char *str1, const char *str2) {
  if (str1 == NULL || str2 == NULL)
    return 0;
  if (str1 == str2)
    return 1;
  size_t l1 = strlen(str1);
  size_t l2 = strlen(str2);
  if (l1 != l2)
    return 0;
  for (int i = 0; i < l1; i++) {
    char s1 = str1[i];
    if (s1 >= 'A' && s1 <= 'Z')
      s1 += ' ';
    char s2 = str2[i];
    if (s2 >= 'A' && s2 <= 'Z')
      s2 += ' ';
    if (s1 != s2) {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<streq_nocase>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1136 <streq_nocase+0x26>
cmpq   $0x0,-0x18(%rbp)
jne    1142 <streq_nocase+0x32>
movl   $0x0,-0x4(%rbp)
jmp    123f <streq_nocase+0x12f>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    115c <streq_nocase+0x4c>
movl   $0x1,-0x4(%rbp)
jmp    123f <streq_nocase+0x12f>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
je     1190 <streq_nocase+0x80>
movl   $0x0,-0x4(%rbp)
jmp    123f <streq_nocase+0x12f>
movl   $0x0,-0x2c(%rbp)
movslq -0x2c(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1238 <streq_nocase+0x128>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2d(%rbp)
movsbl -0x2d(%rbp),%eax
cmp    $0x41,%eax
jl     11d7 <streq_nocase+0xc7>
movsbl -0x2d(%rbp),%eax
cmp    $0x5a,%eax
jg     11d7 <streq_nocase+0xc7>
movsbl -0x2d(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x2d(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2e(%rbp)
movsbl -0x2e(%rbp),%eax
cmp    $0x41,%eax
jl     1209 <streq_nocase+0xf9>
movsbl -0x2e(%rbp),%eax
cmp    $0x5a,%eax
jg     1209 <streq_nocase+0xf9>
movsbl -0x2e(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x2e(%rbp)
movsbl -0x2d(%rbp),%eax
movsbl -0x2e(%rbp),%ecx
cmp    %ecx,%eax
je     1225 <streq_nocase+0x115>
movl   $0x0,-0x4(%rbp)
jmp    123f <streq_nocase+0x12f>
jmp    122a <streq_nocase+0x11a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1197 <streq_nocase+0x87>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<streq_nocase>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     11e6 <streq_nocase+0xd6>
mov    %rsi,%r14
test   %rsi,%rsi
je     11e6 <streq_nocase+0xd6>
mov    %rdi,%rbx
mov    $0x1,%ebp
cmp    %r14,%rdi
je     11e8 <streq_nocase+0xd8>
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1030 <strlen@plt>
cmp    %rax,%r15
jne    11e6 <streq_nocase+0xd6>
test   %r15,%r15
je     11e8 <streq_nocase+0xd8>
movzbl (%rbx),%eax
lea    -0x41(%rax),%ecx
lea    0x20(%rax),%edx
cmp    $0x1a,%cl
movzbl %dl,%ecx
cmovae %eax,%ecx
movzbl (%r14),%eax
lea    -0x41(%rax),%edx
lea    0x20(%rax),%esi
cmp    $0x1a,%dl
movzbl %sil,%edx
cmovae %eax,%edx
mov    $0x0,%ebp
cmp    %dl,%cl
jne    11e8 <streq_nocase+0xd8>
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
mov    %rcx,%rax
cmp    %rcx,%r15
je     11db <streq_nocase+0xcb>
movzbl (%rbx,%rax,1),%ecx
lea    -0x41(%rcx),%edx
lea    0x20(%rcx),%esi
cmp    $0x1a,%dl
movzbl %sil,%edx
cmovae %ecx,%edx
movzbl (%r14,%rax,1),%ecx
lea    -0x41(%rcx),%esi
lea    0x20(%rcx),%edi
cmp    $0x1a,%sil
movzbl %dil,%esi
cmovae %ecx,%esi
lea    0x1(%rax),%rcx
cmp    %sil,%dl
je     11a0 <streq_nocase+0x90>
xor    %ebp,%ebp
cmp    %rax,%r15
setbe  %bpl
jmp    11e8 <streq_nocase+0xd8>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @streq_nocase(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i32
%9 = alloca i8
%10 = alloca i8
store i8* %0, i8** %4
store i8* %1, i8** %5
%11 = load i8*, i8** %4
%12 = icmp eq i8* %11, null
br i1 %12, label %16, label %13
13: ; preds = %2
%14 = load i8*, i8** %5
%15 = icmp eq i8* %14, null
br i1 %15, label %16, label %17
16: ; preds = %13, %2
store i32 0, i32* %3
br label %85
17: ; preds = %13
%18 = load i8*, i8** %4
%19 = load i8*, i8** %5
%20 = icmp eq i8* %18, %19
br i1 %20, label %21, label %22
21: ; preds = %17
store i32 1, i32* %3
br label %85
22: ; preds = %17
%23 = load i8*, i8** %4
%24 = call i64 @strlen(i8* %23)
store i64 %24, i64* %6
%25 = load i8*, i8** %5
%26 = call i64 @strlen(i8* %25)
store i64 %26, i64* %7
%27 = load i64, i64* %6
%28 = load i64, i64* %7
%29 = icmp ne i64 %27, %28
br i1 %29, label %30, label %31
30: ; preds = %22
store i32 0, i32* %3
br label %85
31: ; preds = %22
store i32 0, i32* %8
br label %32
32: ; preds = %81, %31
%33 = load i32, i32* %8
%34 = sext i32 %33 to i64
%35 = load i64, i64* %6
%36 = icmp ult i64 %34, %35
br i1 %36, label %37, label %84
37: ; preds = %32
%38 = load i8*, i8** %4
%39 = load i32, i32* %8
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %38, i64 %40
%42 = load i8, i8* %41
store i8 %42, i8* %9
%43 = load i8, i8* %9
%44 = sext i8 %43 to i32
%45 = icmp sge i32 %44, 65
br i1 %45, label %46, label %55
46: ; preds = %37
%47 = load i8, i8* %9
%48 = sext i8 %47 to i32
%49 = icmp sle i32 %48, 90
br i1 %49, label %50, label %55
50: ; preds = %46
%51 = load i8, i8* %9
%52 = sext i8 %51 to i32
%53 = add nsw i32 %52, 32
%54 = trunc i32 %53 to i8
store i8 %54, i8* %9
br label %55
55: ; preds = %50, %46, %37
%56 = load i8*, i8** %5
%57 = load i32, i32* %8
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
%60 = load i8, i8* %59
store i8 %60, i8* %10
%61 = load i8, i8* %10
%62 = sext i8 %61 to i32
%63 = icmp sge i32 %62, 65
br i1 %63, label %64, label %73
64: ; preds = %55
%65 = load i8, i8* %10
%66 = sext i8 %65 to i32
%67 = icmp sle i32 %66, 90
br i1 %67, label %68, label %73
68: ; preds = %64
%69 = load i8, i8* %10
%70 = sext i8 %69 to i32
%71 = add nsw i32 %70, 32
%72 = trunc i32 %71 to i8
store i8 %72, i8* %10
br label %73
73: ; preds = %68, %64, %55
%74 = load i8, i8* %9
%75 = sext i8 %74 to i32
%76 = load i8, i8* %10
%77 = sext i8 %76 to i32
%78 = icmp ne i32 %75, %77
br i1 %78, label %79, label %80
79: ; preds = %73
store i32 0, i32* %3
br label %85
80: ; preds = %73
br label %81
81: ; preds = %80
%82 = load i32, i32* %8
%83 = add nsw i32 %82, 1
store i32 %83, i32* %8
br label %32
84: ; preds = %32
store i32 1, i32* %3
br label %85
85: ; preds = %84, %79, %30, %21, %16
%86 = load i32, i32* %3
ret i32 %86
}

LLVM IR (-O2):
define i32 @streq_nocase(i8* %0, i8* %1) {
%3 = icmp eq i8* %0, null
%4 = icmp eq i8* %1, null
%5 = or i1 %3, %4
br i1 %5, label %47, label %6
6: ; preds = %2
%7 = icmp eq i8* %0, %1
br i1 %7, label %47, label %8
8: ; preds = %6
%9 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%10 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%11 = icmp eq i64 %9, %10
br i1 %11, label %12, label %47
12: ; preds = %8
%13 = icmp eq i64 %9, 0
br i1 %13, label %47, label %14
14: ; preds = %12
%15 = load i8, i8* %0
%16 = add i8 %15, -65
%17 = icmp ult i8 %16, 26
%18 = add i8 %15, 32
%19 = select i1 %17, i8 %18, i8 %15
%20 = load i8, i8* %1
%21 = add i8 %20, -65
%22 = icmp ult i8 %21, 26
%23 = add i8 %20, 32
%24 = select i1 %22, i8 %23, i8 %20
%25 = icmp eq i8 %19, %24
br i1 %25, label %26, label %47
26: ; preds = %14, %29
%27 = phi i64 [ %43, %29 ], [ 1, %14 ]
%28 = icmp eq i64 %27, %9
br i1 %28, label %44, label %29
29: ; preds = %26
%30 = getelementptr inbounds i8, i8* %0, i64 %27
%31 = load i8, i8* %30
%32 = add i8 %31, -65
%33 = icmp ult i8 %32, 26
%34 = add i8 %31, 32
%35 = select i1 %33, i8 %34, i8 %31
%36 = getelementptr inbounds i8, i8* %1, i64 %27
%37 = load i8, i8* %36
%38 = add i8 %37, -65
%39 = icmp ult i8 %38, 26
%40 = add i8 %37, 32
%41 = select i1 %39, i8 %40, i8 %37
%42 = icmp eq i8 %35, %41
%43 = add nuw i64 %27, 1
br i1 %42, label %26, label %44
44: ; preds = %29, %26
%45 = icmp ule i64 %9, %27
%46 = zext i1 %45 to i32
br label %47
47: ; preds = %12, %14, %44, %8, %6, %2
%48 = phi i32 [ 0, %2 ], [ 1, %6 ], [ 0, %8 ], [ 1, %12 ], [ 0, %14 ], [ %46, %44 ]
ret i32 %48
}