#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 utf8_charcasecmp_range(char const *, char const *, int);
char *utf8_next_char(char const *);
int string_strncasecmp_range(const char *string1, const char *string2, int max,
                             int range) {
  int count, diff;
  if (!string1 || !string2)
    return (string1) ? 1 : ((string2) ? -1 : 0);
  count = 0;
  while ((count < max) && string1[0] && string2[0]) {
    diff = utf8_charcasecmp_range(string1, string2, range);
    if (diff != 0)
      return (diff < 0) ? -1 : 1;
    string1 = utf8_next_char(string1);
    string2 = utf8_next_char(string2);
    count++;
  }
  if (count >= max)
    return 0;
  else
    return (string1[0]) ? 1 : ((string2[0]) ? -1 : 0);
}


x86 assembly (clang, -O0):
<string_strncasecmp_range>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     114c <string_strncasecmp_range+0x2c>
cmpq   $0x0,-0x18(%rbp)
jne    1184 <string_strncasecmp_range+0x64>
cmpq   $0x0,-0x10(%rbp)
je     1164 <string_strncasecmp_range+0x44>
mov    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1179 <string_strncasecmp_range+0x59>
mov    -0x18(%rbp),%rdx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%rdx
cmovne %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1283 <string_strncasecmp_range+0x163>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2d(%rbp)
jge    11c1 <string_strncasecmp_range+0xa1>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2d(%rbp)
je     11c1 <string_strncasecmp_range+0xa1>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    11d1 <string_strncasecmp_range+0xb1>
jmp    1231 <string_strncasecmp_range+0x111>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%edx
call   1040 <utf8_charcasecmp_range@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     1209 <string_strncasecmp_range+0xe9>
mov    -0x28(%rbp),%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovl  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1283 <string_strncasecmp_range+0x163>
mov    -0x10(%rbp),%rdi
call   1030 <utf8_next_char@plt>
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <utf8_next_char@plt>
mov    %rax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    118b <string_strncasecmp_range+0x6b>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1249 <string_strncasecmp_range+0x129>
movl   $0x0,-0x4(%rbp)
jmp    1283 <string_strncasecmp_range+0x163>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1266 <string_strncasecmp_range+0x146>
mov    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    127d <string_strncasecmp_range+0x15d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<string_strncasecmp_range>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rsi,%rbx
mov    %rdi,%rbp
test   %rdi,%rdi
je     118d <string_strncasecmp_range+0x6d>
test   %rbx,%rbx
je     118d <string_strncasecmp_range+0x6d>
mov    %edx,%r12d
xor    %r14d,%r14d
test   %edx,%edx
jle    119f <string_strncasecmp_range+0x7f>
mov    %ecx,%r15d
cs nopw 0x0(%rax,%rax,1)
nop
cmpb   $0x0,0x0(%rbp)
movzbl (%rbx),%eax
je     11ab <string_strncasecmp_range+0x8b>
test   %al,%al
je     11b2 <string_strncasecmp_range+0x92>
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    %r15d,%edx
call   1040 <utf8_charcasecmp_range@plt>
test   %eax,%eax
jne    11ba <string_strncasecmp_range+0x9a>
mov    %rbp,%rdi
call   1030 <utf8_next_char@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <utf8_next_char@plt>
mov    %rax,%rbx
add    $0xffffffff,%r12d
jne    1150 <string_strncasecmp_range+0x30>
jmp    119f <string_strncasecmp_range+0x7f>
neg    %rbx
sbb    %eax,%eax
test   %rbp,%rbp
mov    $0x1,%r14d
cmove  %eax,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
neg    %al
sbb    %r14d,%r14d
jmp    119f <string_strncasecmp_range+0x7f>
mov    $0x1,%r14d
jmp    119f <string_strncasecmp_range+0x7f>
sar    $0x1f,%eax
or     $0x1,%eax
mov    %eax,%r14d
jmp    119f <string_strncasecmp_range+0x7f>

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

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