int str_diffn(const char *a, const char *b, unsigned int limit) {
  register const char *s = a;
  register const char *t = b;
  register const char *u = t + limit;
  register int j;
  j = 0;
  for (;;) {
    if (t >= u)
      break;
    if ((j = (*s - *t)))
      break;
    if (!*t)
      break;
    ++s;
    ++t;
    if (t >= u)
      break;
    if ((j = (*s - *t)))
      break;
    if (!*t)
      break;
    ++s;
    ++t;
    if (t >= u)
      break;
    if ((j = (*s - *t)))
      break;
    if (!*t)
      break;
    ++s;
    ++t;
    if (t >= u)
      break;
    if ((j = (*s - *t)))
      break;
    if (!*t)
      break;
    ++s;
    ++t;
  }
  return j;
}


x86 assembly (clang, -O0):
<str_diffn>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     1147 <str_diffn+0x47>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
je     1168 <str_diffn+0x68>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
jne    117a <str_diffn+0x7a>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     11a5 <str_diffn+0xa5>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
je     11c6 <str_diffn+0xc6>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11d8 <str_diffn+0xd8>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     1203 <str_diffn+0x103>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
je     1224 <str_diffn+0x124>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1236 <str_diffn+0x136>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jb     1261 <str_diffn+0x161>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
je     1282 <str_diffn+0x182>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1294 <str_diffn+0x194>
jmp    12b1 <str_diffn+0x1b1>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1134 <str_diffn+0x34>
mov    -0x34(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_diffn>:
test   %edx,%edx
je     1188 <str_diffn+0x88>
mov    %edx,%r8d
add    %rsi,%r8
xor    %r9d,%r9d
movsbl (%rdi,%r9,1),%eax
movsbl (%rsi,%r9,1),%ecx
sub    %ecx,%eax
jne    1187 <str_diffn+0x87>
test   %cl,%cl
je     1188 <str_diffn+0x88>
lea    (%rsi,%r9,1),%rcx
add    $0x1,%rcx
cmp    %r8,%rcx
jae    1188 <str_diffn+0x88>
movsbl 0x1(%rdi,%r9,1),%eax
movsbl (%rcx),%edx
sub    %edx,%eax
jne    1187 <str_diffn+0x87>
test   %dl,%dl
je     1188 <str_diffn+0x88>
add    $0x1,%rcx
cmp    %r8,%rcx
jae    1188 <str_diffn+0x88>
movsbl 0x2(%rdi,%r9,1),%eax
movsbl (%rcx),%edx
sub    %edx,%eax
jne    1187 <str_diffn+0x87>
test   %dl,%dl
je     1188 <str_diffn+0x88>
add    $0x1,%rcx
cmp    %r8,%rcx
jae    1188 <str_diffn+0x88>
movsbl 0x3(%rdi,%r9,1),%eax
movsbl (%rcx),%edx
sub    %edx,%eax
jne    1187 <str_diffn+0x87>
test   %dl,%dl
je     1188 <str_diffn+0x88>
add    $0x1,%rcx
add    $0x4,%r9
mov    $0x0,%eax
cmp    %r8,%rcx
jb     1111 <str_diffn+0x11>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @str_diffn(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%11 = load i8*, i8** %4
store i8* %11, i8** %7
%12 = load i8*, i8** %5
store i8* %12, i8** %8
%13 = load i8*, i8** %8
%14 = load i32, i32* %6
%15 = zext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
store i8* %16, i8** %9
store i32 0, i32* %10
br label %17
17: ; preds = %109, %3
%18 = load i8*, i8** %8
%19 = load i8*, i8** %9
%20 = icmp uge i8* %18, %19
br i1 %20, label %21, label %22
21: ; preds = %17
br label %114
22: ; preds = %17
%23 = load i8*, i8** %7
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = load i8*, i8** %8
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = sub nsw i32 %25, %28
store i32 %29, i32* %10
%30 = icmp ne i32 %29, 0
br i1 %30, label %31, label %32
31: ; preds = %22
br label %114
32: ; preds = %22
%33 = load i8*, i8** %8
%34 = load i8, i8* %33
%35 = icmp ne i8 %34, 0
br i1 %35, label %37, label %36
36: ; preds = %32
br label %114
37: ; preds = %32
%38 = load i8*, i8** %7
%39 = getelementptr inbounds i8, i8* %38, i32 1
store i8* %39, i8** %7
%40 = load i8*, i8** %8
%41 = getelementptr inbounds i8, i8* %40, i32 1
store i8* %41, i8** %8
%42 = load i8*, i8** %8
%43 = load i8*, i8** %9
%44 = icmp uge i8* %42, %43
br i1 %44, label %45, label %46
45: ; preds = %37
br label %114
46: ; preds = %37
%47 = load i8*, i8** %7
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = load i8*, i8** %8
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = sub nsw i32 %49, %52
store i32 %53, i32* %10
%54 = icmp ne i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %46
br label %114
56: ; preds = %46
%57 = load i8*, i8** %8
%58 = load i8, i8* %57
%59 = icmp ne i8 %58, 0
br i1 %59, label %61, label %60
60: ; preds = %56
br label %114
61: ; preds = %56
%62 = load i8*, i8** %7
%63 = getelementptr inbounds i8, i8* %62, i32 1
store i8* %63, i8** %7
%64 = load i8*, i8** %8
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %8
%66 = load i8*, i8** %8
%67 = load i8*, i8** %9
%68 = icmp uge i8* %66, %67
br i1 %68, label %69, label %70
69: ; preds = %61
br label %114
70: ; preds = %61
%71 = load i8*, i8** %7
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = load i8*, i8** %8
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = sub nsw i32 %73, %76
store i32 %77, i32* %10
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %80
79: ; preds = %70
br label %114
80: ; preds = %70
%81 = load i8*, i8** %8
%82 = load i8, i8* %81
%83 = icmp ne i8 %82, 0
br i1 %83, label %85, label %84
84: ; preds = %80
br label %114
85: ; preds = %80
%86 = load i8*, i8** %7
%87 = getelementptr inbounds i8, i8* %86, i32 1
store i8* %87, i8** %7
%88 = load i8*, i8** %8
%89 = getelementptr inbounds i8, i8* %88, i32 1
store i8* %89, i8** %8
%90 = load i8*, i8** %8
%91 = load i8*, i8** %9
%92 = icmp uge i8* %90, %91
br i1 %92, label %93, label %94
93: ; preds = %85
br label %114
94: ; preds = %85
%95 = load i8*, i8** %7
%96 = load i8, i8* %95
%97 = sext i8 %96 to i32
%98 = load i8*, i8** %8
%99 = load i8, i8* %98
%100 = sext i8 %99 to i32
%101 = sub nsw i32 %97, %100
store i32 %101, i32* %10
%102 = icmp ne i32 %101, 0
br i1 %102, label %103, label %104
103: ; preds = %94
br label %114
104: ; preds = %94
%105 = load i8*, i8** %8
%106 = load i8, i8* %105
%107 = icmp ne i8 %106, 0
br i1 %107, label %109, label %108
108: ; preds = %104
br label %114
109: ; preds = %104
%110 = load i8*, i8** %7
%111 = getelementptr inbounds i8, i8* %110, i32 1
store i8* %111, i8** %7
%112 = load i8*, i8** %8
%113 = getelementptr inbounds i8, i8* %112, i32 1
store i8* %113, i8** %8
br label %17
114: ; preds = %108, %103, %93, %84, %79, %69, %60, %55, %45, %36, %31, %21
%115 = load i32, i32* %10
ret i32 %115
}

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