int b_diff(const void *s, int n, const void *t) {
  const char *x = s;
  const char *y = t;
  for (;;) {
    if (!n)
      return 0;
    if (*x != *y)
      break;
    ++x;
    ++y;
    --n;
    if (!n)
      return 0;
    if (*x != *y)
      break;
    ++x;
    ++y;
    --n;
    if (!n)
      return 0;
    if (*x != *y)
      break;
    ++x;
    ++y;
    --n;
    if (!n)
      return 0;
    if (*x != *y)
      break;
    ++x;
    ++y;
    --n;
  }
  return ((int)(unsigned char)*x) - ((int)(unsigned char)*y);
}


x86 assembly (clang, -O0):
<b_diff>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1135 <b_diff+0x35>
movl   $0x0,-0x4(%rbp)
jmp    127f <b_diff+0x17f>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1150 <b_diff+0x50>
jmp    126c <b_diff+0x16c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1187 <b_diff+0x87>
movl   $0x0,-0x4(%rbp)
jmp    127f <b_diff+0x17f>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     11a2 <b_diff+0xa2>
jmp    126c <b_diff+0x16c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11d9 <b_diff+0xd9>
movl   $0x0,-0x4(%rbp)
jmp    127f <b_diff+0x17f>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     11f4 <b_diff+0xf4>
jmp    126c <b_diff+0x16c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    122b <b_diff+0x12b>
movl   $0x0,-0x4(%rbp)
jmp    127f <b_diff+0x17f>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1246 <b_diff+0x146>
jmp    126c <b_diff+0x16c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    111f <b_diff+0x1f>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<b_diff>:
push   %rbx
test   %esi,%esi
je     1168 <b_diff+0x68>
mov    %esi,%r11d
lea    -0x1(%r11),%r10
lea    -0x2(%r11),%r8
lea    -0x3(%r11),%r9
xor    %esi,%esi
xor    %eax,%eax
movzbl (%rdi,%rsi,1),%ecx
movzbl (%rdx,%rsi,1),%ebx
cmp    %bl,%cl
jne    116c <b_diff+0x6c>
cmp    %esi,%r10d
je     1166 <b_diff+0x66>
movzbl 0x1(%rdi,%rsi,1),%ecx
movzbl 0x1(%rdx,%rsi,1),%ebx
cmp    %bl,%cl
jne    116c <b_diff+0x6c>
cmp    %esi,%r8d
je     1166 <b_diff+0x66>
movzbl 0x2(%rdi,%rsi,1),%ecx
movzbl 0x2(%rdx,%rsi,1),%ebx
cmp    %bl,%cl
jne    116c <b_diff+0x6c>
cmp    %esi,%r9d
je     1166 <b_diff+0x66>
movzbl 0x3(%rdi,%rsi,1),%ecx
movzbl 0x3(%rdx,%rsi,1),%ebx
cmp    %bl,%cl
jne    116c <b_diff+0x6c>
add    $0x4,%rsi
cmp    %esi,%r11d
jne    1118 <b_diff+0x18>
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret
movzbl %cl,%eax
movzbl %bl,%ecx
sub    %ecx,%eax
pop    %rbx
ret

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

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