int COMPARE2(unsigned int nA, unsigned int nB, const char *const a,
             const char *const b, unsigned int i, unsigned int j) {
  unsigned int k, s = ((nA) > (nB) ? (nB) : (nA));
  if (s == 0) {
    return (nB < nA) ? -1 : 1;
  }
  for (k = 0;; k++) {
    int A = (int)a[(i + k) % nA];
    int B = (int)b[(j + k) % nB];
    if (A == B) {
      if (k + 2 > s)
        return 0;
    } else if (A < B) {
      return (int)(k + 1u);
    } else {
      return -(int)(k + 1u);
    }
  }
}


x86 assembly (clang, -O0):
<COMPARE2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jbe    1131 <COMPARE2+0x31>
mov    -0xc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    1137 <COMPARE2+0x37>
mov    -0x8(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    1164 <COMPARE2+0x64>
mov    -0xc(%rbp),%edx
mov    -0x8(%rbp),%esi
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovb  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1216 <COMPARE2+0x116>
movl   $0x0,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x24(%rbp),%eax
add    -0x2c(%rbp),%eax
xor    %edx,%edx
divl   -0x8(%rbp)
mov    -0x50(%rbp),%rax
mov    %edx,%ecx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
xor    %edx,%edx
divl   -0xc(%rbp)
mov    -0x48(%rbp),%rax
mov    %edx,%ecx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jne    11d7 <COMPARE2+0xd7>
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
cmp    -0x30(%rbp),%eax
jbe    11d2 <COMPARE2+0xd2>
movl   $0x0,-0x4(%rbp)
jmp    1216 <COMPARE2+0x116>
jmp    1203 <COMPARE2+0x103>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    11f1 <COMPARE2+0xf1>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1216 <COMPARE2+0x116>
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1216 <COMPARE2+0x116>
jmp    1208 <COMPARE2+0x108>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    116b <COMPARE2+0x6b>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<COMPARE2>:
push   %rbp
push   %r15
push   %r14
push   %rbx
cmp    %esi,%edi
mov    %edi,%r14d
cmova  %esi,%r14d
test   %r14d,%r14d
je     1176 <COMPARE2+0x76>
mov    %rdx,%r10
xor    %ebp,%ebp
mov    %r8d,%eax
xor    %edx,%edx
div    %edi
mov    (%r10,%rdx,1),%r15b
mov    %r9d,%eax
xor    %edx,%edx
div    %esi
mov    (%rcx,%rdx,1),%al
cmp    %al,%r15b
jne    116c <COMPARE2+0x6c>
add    $0x1,%r8d
add    $0x1,%r9d
xor    %r11d,%r11d
xor    %ebx,%ebx
lea    0x2(%rbx),%eax
cmp    %r14d,%eax
ja     118c <COMPARE2+0x8c>
lea    0x1(%rbx),%ebp
lea    (%r8,%rbx,1),%eax
xor    %edx,%edx
div    %edi
movzbl (%r10,%rdx,1),%r15d
add    %r9d,%ebx
mov    %ebx,%eax
xor    %edx,%edx
div    %esi
movzbl (%rcx,%rdx,1),%eax
mov    %ebp,%ebx
cmp    %al,%r15b
je     1140 <COMPARE2+0x40>
cmp    %al,%r15b
jge    1187 <COMPARE2+0x87>
add    $0x1,%ebp
jmp    1189 <COMPARE2+0x89>
xor    %eax,%eax
cmp    %esi,%edi
setbe  %al
lea    (%rax,%rax,1),%r11d
add    $0xffffffff,%r11d
jmp    118c <COMPARE2+0x8c>
not    %ebp
mov    %ebp,%r11d
mov    %r11d,%eax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @COMPARE2(i32 %0, i32 %1, i8* nocapture %2, i8* nocapture %3, i32 %4, i32 %5) {
%7 = icmp ugt i32 %0, %1
%8 = select i1 %7, i32 %1, i32 %0
%9 = icmp eq i32 %8, 0
br i1 %9, label %20, label %10
10: ; preds = %6
%11 = urem i32 %4, %0
%12 = zext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %2, i64 %12
%14 = load i8, i8* %13
%15 = urem i32 %5, %1
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %3, i64 %16
%18 = load i8, i8* %17
%19 = icmp eq i8 %14, %18
br i1 %19, label %31, label %22
20: ; preds = %6
%21 = select i1 %7, i32 -1, i32 1
br label %48
22: ; preds = %35, %10
%23 = phi i32 [ 0, %10 ], [ %36, %35 ]
%24 = phi i8 [ %14, %10 ], [ %41, %35 ]
%25 = phi i8 [ %18, %10 ], [ %46, %35 ]
%26 = icmp slt i8 %24, %25
br i1 %26, label %27, label %29
27: ; preds = %22
%28 = add i32 %23, 1
br label %48
29: ; preds = %22
%30 = xor i32 %23, -1
br label %48
31: ; preds = %10, %35
%32 = phi i32 [ %36, %35 ], [ 0, %10 ]
%33 = add i32 %32, 2
%34 = icmp ugt i32 %33, %8
br i1 %34, label %48, label %35
35: ; preds = %31
%36 = add i32 %32, 1
%37 = add i32 %36, %4
%38 = urem i32 %37, %0
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %2, i64 %39
%41 = load i8, i8* %40
%42 = add i32 %36, %5
%43 = urem i32 %42, %1
%44 = zext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %3, i64 %44
%46 = load i8, i8* %45
%47 = icmp eq i8 %41, %46
br i1 %47, label %31, label %22
48: ; preds = %31, %27, %29, %20
%49 = phi i32 [ %21, %20 ], [ %28, %27 ], [ %30, %29 ], [ 0, %31 ]
ret i32 %49
}