#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;
    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    1273 <string_strncasecmp_range+0x153>
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    1221 <string_strncasecmp_range+0x101>
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     11f9 <string_strncasecmp_range+0xd9>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1273 <string_strncasecmp_range+0x153>
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     1239 <string_strncasecmp_range+0x119>
movl   $0x0,-0x4(%rbp)
jmp    1273 <string_strncasecmp_range+0x153>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1256 <string_strncasecmp_range+0x136>
mov    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    126d <string_strncasecmp_range+0x14d>
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>
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 %85
28: ; preds = %14
store i32 0, i32* %10
br label %29
29: ; preds = %56, %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 %63
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 %56
54: ; preds = %47
%55 = load i32, i32* %11
store i32 %55, i32* %5
br label %85
56: ; preds = %47
%57 = load i8*, i8** %6
%58 = call i8* @utf8_next_char(i8* %57)
store i8* %58, i8** %6
%59 = load i8*, i8** %7
%60 = call i8* @utf8_next_char(i8* %59)
store i8* %60, i8** %7
%61 = load i32, i32* %10
%62 = add nsw i32 %61, 1
store i32 %62, i32* %10
br label %29
63: ; preds = %45
%64 = load i32, i32* %10
%65 = load i32, i32* %8
%66 = icmp sge i32 %64, %65
br i1 %66, label %67, label %68
67: ; preds = %63
store i32 0, i32* %5
br label %85
68: ; preds = %63
%69 = load i8*, i8** %6
%70 = getelementptr inbounds i8, i8* %69, i64 0
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp ne i32 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %68
br label %83
75: ; preds = %68
%76 = load i8*, i8** %7
%77 = getelementptr inbounds i8, i8* %76, i64 0
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp ne i32 %79, 0
%81 = zext i1 %80 to i64
%82 = select i1 %80, i32 -1, i32 0
br label %83
83: ; preds = %75, %74
%84 = phi i32 [ 1, %74 ], [ %82, %75 ]
store i32 %84, i32* %5
br label %85
85: ; preds = %83, %67, %54, %26
%86 = load i32, i32* %5
ret i32 %86
}

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 %33
10: ; preds = %4
%11 = sext i1 %6 to i32
%12 = select i1 %5, i32 1, i32 %11
br label %33
13: ; preds = %8, %25
%14 = phi i32 [ %28, %25 ], [ 0, %8 ]
%15 = phi i8* [ %26, %25 ], [ %0, %8 ]
%16 = phi i8* [ %27, %25 ], [ %1, %8 ]
%17 = load i8, i8* %15
%18 = icmp eq i8 %17, 0
%19 = load i8, i8* %16
br i1 %18, label %30, label %20
20: ; preds = %13
%21 = icmp eq i8 %19, 0
br i1 %21, label %33, 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 %25, label %33
25: ; preds = %22
%26 = tail call i8* @utf8_next_char(i8* %15)
%27 = tail call i8* @utf8_next_char(i8* %16)
%28 = add nuw nsw i32 %14, 1
%29 = icmp eq i32 %28, %2
br i1 %29, label %33, label %13
30: ; preds = %13
%31 = icmp ne i8 %19, 0
%32 = sext i1 %31 to i32
br label %33
33: ; preds = %22, %25, %20, %8, %30, %10
%34 = phi i32 [ %12, %10 ], [ %32, %30 ], [ 0, %8 ], [ %23, %22 ], [ 0, %25 ], [ 1, %20 ]
ret i32 %34
}