#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 */
typedef scalar_t__ wint_t;

/* Variables and functions */
scalar_t__ utf8_wide_char(char const *);
int utf8_charcasecmp_range(const char *string1, const char *string2,
                           int range) {
  wint_t wchar1, wchar2;
  if (!string1 || !string2)
    return (string1) ? 1 : ((string2) ? -1 : 0);
  wchar1 = utf8_wide_char(string1);
  if ((wchar1 >= (wint_t)'A') && (wchar1 < (wint_t)('A' + range)))
    wchar1 += ('a' - 'A');
  wchar2 = utf8_wide_char(string2);
  if ((wchar2 >= (wint_t)'A') && (wchar2 < (wint_t)('A' + range)))
    wchar2 += ('a' - 'A');
  return (wchar1 < wchar2) ? -1 : ((wchar1 == wchar2) ? 0 : 1);
}


x86 assembly (clang, -O0):
<utf8_charcasecmp_range>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1139 <utf8_charcasecmp_range+0x29>
cmpq   $0x0,-0x18(%rbp)
jne    1171 <utf8_charcasecmp_range+0x61>
cmpq   $0x0,-0x10(%rbp)
je     1151 <utf8_charcasecmp_range+0x41>
mov    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1166 <utf8_charcasecmp_range+0x56>
mov    -0x18(%rbp),%rdx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    121e <utf8_charcasecmp_range+0x10e>
mov    -0x10(%rbp),%rdi
call   1030 <utf8_wide_char@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x41,-0x28(%rbp)
jl     11ab <utf8_charcasecmp_range+0x9b>
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x41,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jge    11ab <utf8_charcasecmp_range+0x9b>
mov    -0x28(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <utf8_wide_char@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x41,-0x30(%rbp)
jl     11e5 <utf8_charcasecmp_range+0xd5>
mov    -0x30(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x41,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jge    11e5 <utf8_charcasecmp_range+0xd5>
mov    -0x30(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jge    1200 <utf8_charcasecmp_range+0xf0>
mov    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
jmp    1218 <utf8_charcasecmp_range+0x108>
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rsi
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    %rsi,%rdx
cmove  %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_charcasecmp_range>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%rbx
test   %rdi,%rdi
je     1176 <utf8_charcasecmp_range+0x66>
test   %rbx,%rbx
je     1176 <utf8_charcasecmp_range+0x66>
mov    %edx,%r14d
call   1030 <utf8_wide_char@plt>
mov    %rax,%r15
cmp    $0x41,%rax
jl     1144 <utf8_charcasecmp_range+0x34>
lea    0x41(%r14),%eax
cltq
lea    0x20(%r15),%rcx
cmp    %rax,%r15
cmovl  %rcx,%r15
mov    %rbx,%rdi
call   1030 <utf8_wide_char@plt>
cmp    $0x41,%rax
jl     1164 <utf8_charcasecmp_range+0x54>
add    $0x41,%r14d
movslq %r14d,%rcx
lea    0x20(%rax),%rdx
cmp    %rcx,%rax
cmovl  %rdx,%rax
xor    %ecx,%ecx
cmp    %rax,%r15
setne  %cl
mov    $0xffffffff,%eax
cmovge %ecx,%eax
jmp    1186 <utf8_charcasecmp_range+0x76>
neg    %rbx
sbb    %ecx,%ecx
test   %rdi,%rdi
mov    $0x1,%eax
cmove  %ecx,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @utf8_charcasecmp_range(i8* %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i64
%9 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
%10 = load i8*, i8** %5
%11 = icmp ne i8* %10, null
br i1 %11, label %12, label %15
12: ; preds = %3
%13 = load i8*, i8** %6
%14 = icmp ne i8* %13, null
br i1 %14, label %26, label %15
15: ; preds = %12, %3
%16 = load i8*, i8** %5
%17 = icmp ne i8* %16, null
br i1 %17, label %18, label %19
18: ; preds = %15
br label %24
19: ; preds = %15
%20 = load i8*, i8** %6
%21 = icmp ne i8* %20, null
%22 = zext i1 %21 to i64
%23 = select i1 %21, i32 -1, i32 0
br label %24
24: ; preds = %19, %18
%25 = phi i32 [ 1, %18 ], [ %23, %19 ]
store i32 %25, i32* %4
br label %67
26: ; preds = %12
%27 = load i8*, i8** %5
%28 = call i64 @utf8_wide_char(i8* %27)
store i64 %28, i64* %8
%29 = load i64, i64* %8
%30 = icmp sge i64 %29, 65
br i1 %30, label %31, label %40
31: ; preds = %26
%32 = load i64, i64* %8
%33 = load i32, i32* %7
%34 = add nsw i32 65, %33
%35 = sext i32 %34 to i64
%36 = icmp slt i64 %32, %35
br i1 %36, label %37, label %40
37: ; preds = %31
%38 = load i64, i64* %8
%39 = add nsw i64 %38, 32
store i64 %39, i64* %8
br label %40
40: ; preds = %37, %31, %26
%41 = load i8*, i8** %6
%42 = call i64 @utf8_wide_char(i8* %41)
store i64 %42, i64* %9
%43 = load i64, i64* %9
%44 = icmp sge i64 %43, 65
br i1 %44, label %45, label %54
45: ; preds = %40
%46 = load i64, i64* %9
%47 = load i32, i32* %7
%48 = add nsw i32 65, %47
%49 = sext i32 %48 to i64
%50 = icmp slt i64 %46, %49
br i1 %50, label %51, label %54
51: ; preds = %45
%52 = load i64, i64* %9
%53 = add nsw i64 %52, 32
store i64 %53, i64* %9
br label %54
54: ; preds = %51, %45, %40
%55 = load i64, i64* %8
%56 = load i64, i64* %9
%57 = icmp slt i64 %55, %56
br i1 %57, label %58, label %59
58: ; preds = %54
br label %65
59: ; preds = %54
%60 = load i64, i64* %8
%61 = load i64, i64* %9
%62 = icmp eq i64 %60, %61
%63 = zext i1 %62 to i64
%64 = select i1 %62, i32 0, i32 1
br label %65
65: ; preds = %59, %58
%66 = phi i32 [ -1, %58 ], [ %64, %59 ]
store i32 %66, i32* %4
br label %67
67: ; preds = %65, %24
%68 = load i32, i32* %4
ret i32 %68
}

LLVM IR (-O2):
define i32 @utf8_charcasecmp_range(i8* %0, i8* %1, i32 %2) {
%4 = icmp ne i8* %0, null
%5 = icmp ne i8* %1, null
%6 = and i1 %4, %5
br i1 %6, label %10, label %7
7: ; preds = %3
%8 = sext i1 %5 to i32
%9 = select i1 %4, i32 1, i32 %8
br label %35
10: ; preds = %3
%11 = tail call i64 @utf8_wide_char(i8* %0)
%12 = icmp sgt i64 %11, 64
br i1 %12, label %13, label %19
13: ; preds = %10
%14 = add nsw i32 %2, 65
%15 = sext i32 %14 to i64
%16 = icmp slt i64 %11, %15
%17 = add nuw nsw i64 %11, 32
%18 = select i1 %16, i64 %17, i64 %11
br label %19
19: ; preds = %13, %10
%20 = phi i64 [ %11, %10 ], [ %18, %13 ]
%21 = tail call i64 @utf8_wide_char(i8* %1)
%22 = icmp sgt i64 %21, 64
br i1 %22, label %23, label %29
23: ; preds = %19
%24 = add nsw i32 %2, 65
%25 = sext i32 %24 to i64
%26 = icmp slt i64 %21, %25
%27 = add nuw nsw i64 %21, 32
%28 = select i1 %26, i64 %27, i64 %21
br label %29
29: ; preds = %23, %19
%30 = phi i64 [ %21, %19 ], [ %28, %23 ]
%31 = icmp slt i64 %20, %30
%32 = icmp ne i64 %20, %30
%33 = zext i1 %32 to i32
%34 = select i1 %31, i32 -1, i32 %33
br label %35
35: ; preds = %29, %7
%36 = phi i32 [ %34, %29 ], [ %9, %7 ]
ret i32 %36
}