short foo(short image[][16], short block[][8]) {
  int sad, diff = 0;
  int i, j;
  int tmp;
  for (i = 0; i < 8; i++) {
    sad = 0;
    for (j = 0; j < 8; j++) {
      tmp = image[i][j] - block[i][j];
      sad += (tmp < 0) ? -tmp : tmp;
    }
    diff += sad;
  }
  return diff;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    11ba <foo+0xba>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x8,-0x20(%rbp)
jge    11a3 <foo+0xa3>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
movswl (%rcx,%rdx,2),%ecx
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    1186 <foo+0x86>
xor    %eax,%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    118c <foo+0x8c>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1132 <foo+0x32>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111a <foo+0x1a>
mov    -0x18(%rbp),%eax
cwtl
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
movdqu (%rdi),%xmm1
movdqu 0x20(%rdi),%xmm4
movdqu 0x40(%rdi),%xmm2
movdqu 0x60(%rdi),%xmm8
punpckhwd %xmm1,%xmm7
psrad  $0x10,%xmm7
punpcklwd %xmm1,%xmm6
psrad  $0x10,%xmm6
movdqu (%rsi),%xmm0
movdqu 0x10(%rsi),%xmm5
movdqu 0x20(%rsi),%xmm3
movdqu 0x30(%rsi),%xmm9
punpckhwd %xmm0,%xmm1
psrad  $0x10,%xmm1
psubd  %xmm1,%xmm7
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
psubd  %xmm0,%xmm6
movdqa %xmm7,%xmm0
psrad  $0x1f,%xmm0
paddd  %xmm0,%xmm7
pxor   %xmm0,%xmm7
movdqa %xmm6,%xmm0
psrad  $0x1f,%xmm0
paddd  %xmm0,%xmm6
pxor   %xmm0,%xmm6
paddd  %xmm7,%xmm6
pshufd $0xee,%xmm6,%xmm0
paddd  %xmm6,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
punpckhwd %xmm4,%xmm0
psrad  $0x10,%xmm0
punpcklwd %xmm4,%xmm1
psrad  $0x10,%xmm1
punpckhwd %xmm5,%xmm4
psrad  $0x10,%xmm4
psubd  %xmm4,%xmm0
punpcklwd %xmm5,%xmm4
psrad  $0x10,%xmm4
psubd  %xmm4,%xmm1
movdqa %xmm0,%xmm4
psrad  $0x1f,%xmm4
paddd  %xmm4,%xmm0
pxor   %xmm4,%xmm0
movdqa %xmm1,%xmm4
psrad  $0x1f,%xmm4
paddd  %xmm4,%xmm1
pxor   %xmm4,%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
add    %ecx,%eax
punpckhwd %xmm2,%xmm0
psrad  $0x10,%xmm0
punpcklwd %xmm2,%xmm1
psrad  $0x10,%xmm1
punpckhwd %xmm3,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
punpcklwd %xmm3,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    %eax,%ecx
punpckhwd %xmm8,%xmm0
psrad  $0x10,%xmm0
punpcklwd %xmm8,%xmm1
psrad  $0x10,%xmm1
punpckhwd %xmm9,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
punpcklwd %xmm9,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
add    %ecx,%eax
movdqu 0x80(%rdi),%xmm0
punpckhwd %xmm0,%xmm1
psrad  $0x10,%xmm1
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
movdqu 0x40(%rsi),%xmm2
punpckhwd %xmm2,%xmm3
psrad  $0x10,%xmm3
psubd  %xmm3,%xmm1
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ecx
add    %eax,%ecx
movdqu 0xa0(%rdi),%xmm0
punpckhwd %xmm0,%xmm1
psrad  $0x10,%xmm1
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
movdqu 0x50(%rsi),%xmm2
punpckhwd %xmm2,%xmm3
psrad  $0x10,%xmm3
psubd  %xmm3,%xmm1
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
add    %ecx,%eax
movdqu 0xc0(%rdi),%xmm0
punpckhwd %xmm0,%xmm1
psrad  $0x10,%xmm1
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
movdqu 0x60(%rsi),%xmm2
punpckhwd %xmm2,%xmm3
psrad  $0x10,%xmm3
psubd  %xmm3,%xmm1
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ecx
add    %eax,%ecx
movdqu 0xe0(%rdi),%xmm0
punpckhwd %xmm0,%xmm1
psrad  $0x10,%xmm1
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
movdqu 0x70(%rsi),%xmm2
punpckhwd %xmm2,%xmm3
psrad  $0x10,%xmm3
psubd  %xmm3,%xmm1
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
add    %ecx,%eax
ret

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

LLVM IR (-O2):
define signext i16 @foo([16 x i16]* nocapture %0, [8 x i16]* nocapture %1) {
%3 = bitcast [16 x i16]* %0 to <8 x i16>*
%4 = load <8 x i16>, <8 x i16>* %3
%5 = sext <8 x i16> %4 to <8 x i32>
%6 = bitcast [8 x i16]* %1 to <8 x i16>*
%7 = load <8 x i16>, <8 x i16>* %6
%8 = sext <8 x i16> %7 to <8 x i32>
%9 = sub nsw <8 x i32> %5, %8
%10 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %9, i1 true)
%11 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %10)
%12 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 1, i64 0
%13 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 1, i64 0
%14 = bitcast i16* %12 to <8 x i16>*
%15 = load <8 x i16>, <8 x i16>* %14
%16 = sext <8 x i16> %15 to <8 x i32>
%17 = bitcast i16* %13 to <8 x i16>*
%18 = load <8 x i16>, <8 x i16>* %17
%19 = sext <8 x i16> %18 to <8 x i32>
%20 = sub nsw <8 x i32> %16, %19
%21 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %20, i1 true)
%22 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %21)
%23 = add nuw nsw i32 %22, %11
%24 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 2, i64 0
%25 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 2, i64 0
%26 = bitcast i16* %24 to <8 x i16>*
%27 = load <8 x i16>, <8 x i16>* %26
%28 = sext <8 x i16> %27 to <8 x i32>
%29 = bitcast i16* %25 to <8 x i16>*
%30 = load <8 x i16>, <8 x i16>* %29
%31 = sext <8 x i16> %30 to <8 x i32>
%32 = sub nsw <8 x i32> %28, %31
%33 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %32, i1 true)
%34 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %33)
%35 = add nuw nsw i32 %34, %23
%36 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 3, i64 0
%37 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 3, i64 0
%38 = bitcast i16* %36 to <8 x i16>*
%39 = load <8 x i16>, <8 x i16>* %38
%40 = sext <8 x i16> %39 to <8 x i32>
%41 = bitcast i16* %37 to <8 x i16>*
%42 = load <8 x i16>, <8 x i16>* %41
%43 = sext <8 x i16> %42 to <8 x i32>
%44 = sub nsw <8 x i32> %40, %43
%45 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %44, i1 true)
%46 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %45)
%47 = add nuw nsw i32 %46, %35
%48 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 4, i64 0
%49 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 4, i64 0
%50 = bitcast i16* %48 to <8 x i16>*
%51 = load <8 x i16>, <8 x i16>* %50
%52 = sext <8 x i16> %51 to <8 x i32>
%53 = bitcast i16* %49 to <8 x i16>*
%54 = load <8 x i16>, <8 x i16>* %53
%55 = sext <8 x i16> %54 to <8 x i32>
%56 = sub nsw <8 x i32> %52, %55
%57 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %56, i1 true)
%58 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %57)
%59 = add nuw nsw i32 %58, %47
%60 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 5, i64 0
%61 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 5, i64 0
%62 = bitcast i16* %60 to <8 x i16>*
%63 = load <8 x i16>, <8 x i16>* %62
%64 = sext <8 x i16> %63 to <8 x i32>
%65 = bitcast i16* %61 to <8 x i16>*
%66 = load <8 x i16>, <8 x i16>* %65
%67 = sext <8 x i16> %66 to <8 x i32>
%68 = sub nsw <8 x i32> %64, %67
%69 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %68, i1 true)
%70 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %69)
%71 = add nuw nsw i32 %70, %59
%72 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 6, i64 0
%73 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 6, i64 0
%74 = bitcast i16* %72 to <8 x i16>*
%75 = load <8 x i16>, <8 x i16>* %74
%76 = sext <8 x i16> %75 to <8 x i32>
%77 = bitcast i16* %73 to <8 x i16>*
%78 = load <8 x i16>, <8 x i16>* %77
%79 = sext <8 x i16> %78 to <8 x i32>
%80 = sub nsw <8 x i32> %76, %79
%81 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %80, i1 true)
%82 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %81)
%83 = add nuw nsw i32 %82, %71
%84 = getelementptr inbounds [16 x i16], [16 x i16]* %0, i64 7, i64 0
%85 = getelementptr inbounds [8 x i16], [8 x i16]* %1, i64 7, i64 0
%86 = bitcast i16* %84 to <8 x i16>*
%87 = load <8 x i16>, <8 x i16>* %86
%88 = sext <8 x i16> %87 to <8 x i32>
%89 = bitcast i16* %85 to <8 x i16>*
%90 = load <8 x i16>, <8 x i16>* %89
%91 = sext <8 x i16> %90 to <8 x i32>
%92 = sub nsw <8 x i32> %88, %91
%93 = call <8 x i32> @llvm.abs.v8i32(<8 x i32> %92, i1 true)
%94 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %93)
%95 = add nuw nsw i32 %94, %83
%96 = trunc i32 %95 to i16
ret i16 %96
}