#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 buffer_caseless_compare(const char *a, size_t a_len, const char *b,
                            size_t b_len) {
  size_t const len = (a_len < b_len) ? a_len : b_len;
  size_t i;
  for (i = 0; i < len; ++i) {
    unsigned char ca = a[i], cb = b[i];
    if (ca == cb)
      continue;
    if (ca >= 'A' && ca <= 'Z')
      ca |= 32;
    if (cb >= 'A' && cb <= 'Z')
      cb |= 32;
    if (ca == cb)
      continue;
    return ca - cb;
  }
  if (a_len == b_len)
    return 0;
  return a_len - b_len;
}


x86 assembly (clang, -O0):
<buffer_caseless_compare>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    112f <buffer_caseless_compare+0x2f>
mov    -0x18(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1137 <buffer_caseless_compare+0x37>
mov    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1206 <buffer_caseless_compare+0x106>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x39(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x3a(%rbp)
movzbl -0x39(%rbp),%eax
movzbl -0x3a(%rbp),%ecx
cmp    %ecx,%eax
jne    1186 <buffer_caseless_compare+0x86>
jmp    11f5 <buffer_caseless_compare+0xf5>
movzbl -0x39(%rbp),%eax
cmp    $0x41,%eax
jl     11aa <buffer_caseless_compare+0xaa>
movzbl -0x39(%rbp),%eax
cmp    $0x5a,%eax
jg     11aa <buffer_caseless_compare+0xaa>
movzbl -0x39(%rbp),%eax
or     $0x20,%eax
mov    %al,-0x39(%rbp)
movzbl -0x3a(%rbp),%eax
cmp    $0x41,%eax
jl     11ce <buffer_caseless_compare+0xce>
movzbl -0x3a(%rbp),%eax
cmp    $0x5a,%eax
jg     11ce <buffer_caseless_compare+0xce>
movzbl -0x3a(%rbp),%eax
or     $0x20,%eax
mov    %al,-0x3a(%rbp)
movzbl -0x39(%rbp),%eax
movzbl -0x3a(%rbp),%ecx
cmp    %ecx,%eax
jne    11e3 <buffer_caseless_compare+0xe3>
jmp    11f5 <buffer_caseless_compare+0xf5>
movzbl -0x39(%rbp),%eax
movzbl -0x3a(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    122b <buffer_caseless_compare+0x12b>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1147 <buffer_caseless_compare+0x47>
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
jne    1220 <buffer_caseless_compare+0x120>
movl   $0x0,-0x4(%rbp)
jmp    122b <buffer_caseless_compare+0x12b>
mov    -0x18(%rbp),%rax
sub    -0x28(%rbp),%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<buffer_caseless_compare>:
push   %rbx
cmp    %rcx,%rsi
mov    %rcx,%r8
cmovb  %rsi,%r8
test   %r8,%r8
je     1173 <buffer_caseless_compare+0x73>
xor    %r11d,%r11d
jmp    1129 <buffer_caseless_compare+0x29>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r11
cmp    %r11,%r8
je     1173 <buffer_caseless_compare+0x73>
movzbl (%rdi,%r11,1),%r10d
movzbl (%rdx,%r11,1),%r9d
cmp    %r9b,%r10b
je     1120 <buffer_caseless_compare+0x20>
lea    -0x41(%r10),%eax
movzbl %r10b,%ebx
or     $0x20,%r10b
cmp    $0x1a,%al
movzbl %r10b,%r10d
cmovae %ebx,%r10d
lea    -0x41(%r9),%eax
movzbl %r9b,%ebx
or     $0x20,%r9b
cmp    $0x1a,%al
movzbl %r9b,%eax
cmovae %ebx,%eax
cmp    %al,%r10b
je     1120 <buffer_caseless_compare+0x20>
movzbl %al,%ecx
movzbl %r10b,%eax
sub    %ecx,%eax
pop    %rbx
ret
xor    %eax,%eax
cmp    %rcx,%rsi
je     117e <buffer_caseless_compare+0x7e>
sub    %ecx,%esi
mov    %esi,%eax
pop    %rbx
ret

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

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