int diff_y(unsigned char *a, unsigned char *b, int s) {
  int i, j, diff = 0;
  for (i = 4; i; i--) {
    for (j = 0; j < 8; j++)
      diff += (((a[j] - b[j]) ^ ((a[j] - b[j]) >> 31)) - ((a[j] - b[j]) >> 31));
    a += s;
    b += s;
  }
  return diff;
}


x86 assembly (clang, -O0):
<diff_y>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x4,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     11d4 <diff_y+0xd4>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    11a4 <diff_y+0xa4>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x1c(%rbp),%rsi
movzbl (%rdx,%rsi,1),%edx
sub    %edx,%ecx
sar    $0x1f,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x1c(%rbp),%rsi
movzbl (%rdx,%rsi,1),%edx
sub    %edx,%ecx
sar    $0x1f,%ecx
sub    %ecx,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112e <diff_y+0x2e>
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    111d <diff_y+0x1d>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<diff_y>:
movslq %edx,%rax
movq   (%rdi),%xmm0
movq   (%rsi),%xmm1
psadbw %xmm0,%xmm1
movd   %xmm1,%ecx
movq   (%rdi,%rax,1),%xmm0
add    %rax,%rdi
movq   (%rsi,%rax,1),%xmm1
add    %rax,%rsi
psadbw %xmm0,%xmm1
movd   %xmm1,%edx
add    %ecx,%edx
movq   (%rax,%rdi,1),%xmm0
add    %rax,%rdi
movq   (%rax,%rsi,1),%xmm1
add    %rax,%rsi
psadbw %xmm0,%xmm1
movd   %xmm1,%ecx
add    %edx,%ecx
movq   (%rax,%rdi,1),%xmm0
movq   (%rax,%rsi,1),%xmm1
psadbw %xmm0,%xmm1
movd   %xmm1,%eax
add    %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @diff_y(i8* nocapture %0, i8* nocapture %1, i32 %2) {
%4 = sext i32 %2 to i64
%5 = bitcast i8* %0 to <8 x i8>*
%6 = load <8 x i8>, <8 x i8>* %5
%7 = zext <8 x i8> %6 to <8 x i32>
%8 = bitcast i8* %1 to <8 x i8>*
%9 = load <8 x i8>, <8 x i8>* %8
%10 = zext <8 x i8> %9 to <8 x i32>
%11 = sub nsw <8 x i32> %7, %10
%12 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %11, i1 true)
%13 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %12)
%14 = getelementptr inbounds i8, i8* %0, i64 %4
%15 = getelementptr inbounds i8, i8* %1, i64 %4
%16 = bitcast i8* %14 to <8 x i8>*
%17 = load <8 x i8>, <8 x i8>* %16
%18 = zext <8 x i8> %17 to <8 x i32>
%19 = bitcast i8* %15 to <8 x i8>*
%20 = load <8 x i8>, <8 x i8>* %19
%21 = zext <8 x i8> %20 to <8 x i32>
%22 = sub nsw <8 x i32> %18, %21
%23 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %22, i1 true)
%24 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %23)
%25 = add nsw i32 %24, %13
%26 = getelementptr inbounds i8, i8* %14, i64 %4
%27 = getelementptr inbounds i8, i8* %15, i64 %4
%28 = bitcast i8* %26 to <8 x i8>*
%29 = load <8 x i8>, <8 x i8>* %28
%30 = zext <8 x i8> %29 to <8 x i32>
%31 = bitcast i8* %27 to <8 x i8>*
%32 = load <8 x i8>, <8 x i8>* %31
%33 = zext <8 x i8> %32 to <8 x i32>
%34 = sub nsw <8 x i32> %30, %33
%35 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %34, i1 true)
%36 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %35)
%37 = add nsw i32 %36, %25
%38 = getelementptr inbounds i8, i8* %26, i64 %4
%39 = getelementptr inbounds i8, i8* %27, i64 %4
%40 = bitcast i8* %38 to <8 x i8>*
%41 = load <8 x i8>, <8 x i8>* %40
%42 = zext <8 x i8> %41 to <8 x i32>
%43 = bitcast i8* %39 to <8 x i8>*
%44 = load <8 x i8>, <8 x i8>* %43
%45 = zext <8 x i8> %44 to <8 x i32>
%46 = sub nsw <8 x i32> %42, %45
%47 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %46, i1 true)
%48 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %47)
%49 = add nsw i32 %48, %37
ret i32 %49
}