#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 */
int plm_casecmp(const char *s1, const char *s2, size_t len) {
  static int dv = 'a' - 'A';
  size_t i;
  for (i = 0; i < len; i++) {
    if (((s1[i] <= 'z' && s1[i] >= 'A') && (s2[i] <= 'z' && s2[i] >= 'A')
             ? (s1[i] == s2[i] || s1[i] - s2[i] == dv || s2[i] - s1[i] == dv)
             : s1[i] == s2[i]))
      break;
  }
  return (i == len ? 0 : s1[i] - s2[i]);
}


x86 assembly (clang, -O0):
<plm_casecmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1226 <plm_casecmp+0x126>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jg     11eb <plm_casecmp+0xeb>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11eb <plm_casecmp+0xeb>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jg     11eb <plm_casecmp+0xeb>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11eb <plm_casecmp+0xeb>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     120b <plm_casecmp+0x10b>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
cmp    0x2e66(%rip),%eax
je     120b <plm_casecmp+0x10b>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
cmp    0x2e40(%rip),%eax
je     120b <plm_casecmp+0x10b>
jmp    1210 <plm_casecmp+0x110>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1210 <plm_casecmp+0x110>
jmp    1226 <plm_casecmp+0x126>
jmp    1215 <plm_casecmp+0x115>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1118 <plm_casecmp+0x18>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    123e <plm_casecmp+0x13e>
xor    %eax,%eax
mov    %eax,-0x24(%rbp)
jmp    125b <plm_casecmp+0x15b>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<plm_casecmp>:
xor    %eax,%eax
xor    %r11d,%r11d
test   %rdx,%rdx
jne    112e <plm_casecmp+0x2e>
cmp    %rdx,%r11
je     1168 <plm_casecmp+0x68>
movsbl (%rdi,%r11,1),%eax
movsbl (%rsi,%r11,1),%ecx
sub    %ecx,%eax
ret
nopl   0x0(%rax)
cmp    %r9b,%r8b
je     110a <plm_casecmp+0xa>
add    $0x1,%r11
cmp    %r11,%rdx
je     1166 <plm_casecmp+0x66>
movsbl (%rdi,%r11,1),%r8d
lea    -0x41(%r8),%r10d
movsbl (%rsi,%r11,1),%r9d
cmp    $0x39,%r10b
ja     1120 <plm_casecmp+0x20>
lea    -0x41(%r9),%ecx
cmp    $0x39,%cl
ja     1120 <plm_casecmp+0x20>
cmp    %r9b,%r8b
je     110a <plm_casecmp+0xa>
mov    %r8d,%ecx
sub    %r9d,%ecx
cmp    $0x20,%ecx
je     110a <plm_casecmp+0xa>
sub    %r8d,%r9d
cmp    $0x20,%r9d
jne    1125 <plm_casecmp+0x25>
jmp    110a <plm_casecmp+0xa>
xor    %eax,%eax
ret

LLVM IR (-O0):
@plm_casecmp.dv = internal global i32 32
define i32 @plm_casecmp(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i64
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
store i64 0, i64* %7
br label %8
8: ; preds = %94, %3
%9 = load i64, i64* %7
%10 = load i64, i64* %6
%11 = icmp ult i64 %9, %10
br i1 %11, label %12, label %97
12: ; preds = %8
%13 = load i8*, i8** %4
%14 = load i64, i64* %7
%15 = getelementptr inbounds i8, i8* %13, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp sle i32 %17, 122
br i1 %18, label %19, label %80
19: ; preds = %12
%20 = load i8*, i8** %4
%21 = load i64, i64* %7
%22 = getelementptr inbounds i8, i8* %20, i64 %21
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = icmp sge i32 %24, 65
br i1 %25, label %26, label %80
26: ; preds = %19
%27 = load i8*, i8** %5
%28 = load i64, i64* %7
%29 = getelementptr inbounds i8, i8* %27, i64 %28
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = icmp sle i32 %31, 122
br i1 %32, label %33, label %80
33: ; preds = %26
%34 = load i8*, i8** %5
%35 = load i64, i64* %7
%36 = getelementptr inbounds i8, i8* %34, i64 %35
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp sge i32 %38, 65
br i1 %39, label %40, label %80
40: ; preds = %33
%41 = load i8*, i8** %4
%42 = load i64, i64* %7
%43 = getelementptr inbounds i8, i8* %41, i64 %42
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = load i8*, i8** %5
%47 = load i64, i64* %7
%48 = getelementptr inbounds i8, i8* %46, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %45, %50
br i1 %51, label %92, label %52
52: ; preds = %40
%53 = load i8*, i8** %4
%54 = load i64, i64* %7
%55 = getelementptr inbounds i8, i8* %53, i64 %54
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = load i8*, i8** %5
%59 = load i64, i64* %7
%60 = getelementptr inbounds i8, i8* %58, i64 %59
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = sub nsw i32 %57, %62
%64 = load i32, i32* @plm_casecmp.dv
%65 = icmp eq i32 %63, %64
br i1 %65, label %92, label %66
66: ; preds = %52
%67 = load i8*, i8** %5
%68 = load i64, i64* %7
%69 = getelementptr inbounds i8, i8* %67, i64 %68
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = load i8*, i8** %4
%73 = load i64, i64* %7
%74 = getelementptr inbounds i8, i8* %72, i64 %73
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = sub nsw i32 %71, %76
%78 = load i32, i32* @plm_casecmp.dv
%79 = icmp eq i32 %77, %78
br i1 %79, label %92, label %93
80: ; preds = %33, %26, %19, %12
%81 = load i8*, i8** %4
%82 = load i64, i64* %7
%83 = getelementptr inbounds i8, i8* %81, i64 %82
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = load i8*, i8** %5
%87 = load i64, i64* %7
%88 = getelementptr inbounds i8, i8* %86, i64 %87
%89 = load i8, i8* %88
%90 = sext i8 %89 to i32
%91 = icmp eq i32 %85, %90
br i1 %91, label %92, label %93
92: ; preds = %80, %66, %52, %40
br label %97
93: ; preds = %80, %66
br label %94
94: ; preds = %93
%95 = load i64, i64* %7
%96 = add i64 %95, 1
store i64 %96, i64* %7
br label %8
97: ; preds = %92, %8
%98 = load i64, i64* %7
%99 = load i64, i64* %6
%100 = icmp eq i64 %98, %99
br i1 %100, label %101, label %102
101: ; preds = %97
br label %114
102: ; preds = %97
%103 = load i8*, i8** %4
%104 = load i64, i64* %7
%105 = getelementptr inbounds i8, i8* %103, i64 %104
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = load i8*, i8** %5
%109 = load i64, i64* %7
%110 = getelementptr inbounds i8, i8* %108, i64 %109
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = sub nsw i32 %107, %112
br label %114
114: ; preds = %102, %101
%115 = phi i32 [ 0, %101 ], [ %113, %102 ]
ret i32 %115
}

LLVM IR (-O2):
define i32 @plm_casecmp(i8* nocapture %0, i8* nocapture %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %31, label %5
5: ; preds = %3, %28
%6 = phi i64 [ %29, %28 ], [ 0, %3 ]
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = load i8, i8* %7
%9 = sext i8 %8 to i32
%10 = add i8 %8, -65
%11 = icmp ult i8 %10, 58
%12 = getelementptr inbounds i8, i8* %1, i64 %6
%13 = load i8, i8* %12
br i1 %11, label %14, label %26
14: ; preds = %5
%15 = sext i8 %13 to i32
%16 = add i8 %13, -65
%17 = icmp ult i8 %16, 58
br i1 %17, label %18, label %26
18: ; preds = %14
%19 = icmp eq i8 %8, %13
%20 = sub nsw i32 %9, %15
%21 = icmp eq i32 %20, 32
%22 = select i1 %19, i1 true, i1 %21
%23 = sub nsw i32 %15, %9
%24 = icmp eq i32 %23, 32
%25 = select i1 %22, i1 true, i1 %24
br i1 %25, label %31, label %28
26: ; preds = %5, %14
%27 = icmp eq i8 %8, %13
br i1 %27, label %31, label %28
28: ; preds = %18, %26
%29 = add nuw i64 %6, 1
%30 = icmp eq i64 %29, %2
br i1 %30, label %42, label %5
31: ; preds = %26, %18, %3
%32 = phi i64 [ 0, %3 ], [ %6, %18 ], [ %6, %26 ]
%33 = icmp eq i64 %32, %2
br i1 %33, label %42, label %34
34: ; preds = %31
%35 = getelementptr inbounds i8, i8* %0, i64 %32
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = getelementptr inbounds i8, i8* %1, i64 %32
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = sub nsw i32 %37, %40
br label %42
42: ; preds = %28, %31, %34
%43 = phi i32 [ %41, %34 ], [ 0, %31 ], [ 0, %28 ]
ret i32 %43
}