int var_prod_ele(int n, int A[n][n], int B[n][n], int i, int k) {
  int j;
  int result = 0;
  void *Arow = (void *)&A[i][0];
  void *Bcol = (void *)&B[0][k];
  int N = 4 * n;
  for (j = 0; j < N; j += 4)
    result += *(int *)(Arow + j) * *(int *)(Bcol + N);
  return result;
}


x86 assembly (clang, -O0):
<var_prod_ele>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,%esi
mov    -0x4(%rbp),%eax
mov    %eax,%ecx
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
imul   $0x0,%rcx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x4(%rbp),%eax
shl    $0x2,%eax
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    11a3 <var_prod_ele+0xa3>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%eax
mov    -0x38(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
imul   (%rcx,%rdx,1),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x24(%rbp)
jmp    116c <var_prod_ele+0x6c>
mov    -0x28(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<var_prod_ele>:
push   %rbx
test   %edi,%edi
jle    1144 <var_prod_ele+0x44>
mov    %edi,%eax
movslq %ecx,%rbx
imul   %rax,%rbx
lea    (%rsi,%rbx,4),%r9
shl    $0x2,%edi
movslq %r8d,%rcx
lea    (%rdx,%rcx,4),%rcx
mov    (%rcx,%rax,4),%r11d
movslq %edi,%rdi
cmp    $0x5,%rdi
mov    $0x4,%r8d
cmovge %rdi,%r8
add    $0xffffffffffffffff,%r8
cmp    $0x1c,%r8
jae    1148 <var_prod_ele+0x48>
xor    %ecx,%ecx
xor    %eax,%eax
jmp    12d0 <var_prod_ele+0x1d0>
xor    %eax,%eax
pop    %rbx
ret
shr    $0x2,%r8
add    $0x1,%r8
mov    %r8,%rcx
and    $0xfffffffffffffff8,%rcx
movd   %r11d,%xmm0
pshufd $0x0,%xmm0,%xmm1
lea    -0x8(%rcx),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
pshufd $0xf5,%xmm1,%xmm8
test   %rax,%rax
je     12e5 <var_prod_ele+0x1e5>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rsi,%rbx,4),%rdx
add    $0x30,%rdx
pxor   %xmm2,%xmm2
xor    %esi,%esi
pxor   %xmm3,%xmm3
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rdx,%rsi,4),%xmm5
movdqu -0x20(%rdx,%rsi,4),%xmm6
movdqu -0x10(%rdx,%rsi,4),%xmm7
movdqu (%rdx,%rsi,4),%xmm4
movdqa %xmm1,%xmm0
pmuludq %xmm5,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm5,%xmm5
pmuludq %xmm8,%xmm5
pshufd $0xe8,%xmm5,%xmm5
punpckldq %xmm5,%xmm0
paddd  %xmm2,%xmm0
movdqa %xmm1,%xmm2
pmuludq %xmm6,%xmm2
pshufd $0xe8,%xmm2,%xmm5
pshufd $0xf5,%xmm6,%xmm2
pmuludq %xmm8,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm5
paddd  %xmm3,%xmm5
movdqa %xmm1,%xmm2
pmuludq %xmm7,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm7,%xmm3
pmuludq %xmm8,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqa %xmm1,%xmm0
pmuludq %xmm4,%xmm0
pshufd $0xe8,%xmm0,%xmm3
pshufd $0xf5,%xmm4,%xmm0
pmuludq %xmm8,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm3
paddd  %xmm5,%xmm3
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rax
jne    11a0 <var_prod_ele+0xa0>
test   $0x1,%r10b
je     12ac <var_prod_ele+0x1ac>
movdqu (%r9,%rsi,4),%xmm0
movdqu 0x10(%r9,%rsi,4),%xmm4
movdqa %xmm1,%xmm5
pmuludq %xmm0,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm8,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm5
paddd  %xmm5,%xmm2
pmuludq %xmm4,%xmm1
pshufd $0xe8,%xmm1,%xmm0
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm8,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm0
paddd  %xmm0,%xmm3
paddd  %xmm3,%xmm2
pshufd $0xee,%xmm2,%xmm0
paddd  %xmm2,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %rcx,%r8
je     12e3 <var_prod_ele+0x1e3>
shl    $0x2,%rcx
nop
mov    (%r9,%rcx,1),%edx
imul   %r11d,%edx
add    %edx,%eax
add    $0x4,%rcx
cmp    %rdi,%rcx
jl     12d0 <var_prod_ele+0x1d0>
pop    %rbx
ret
pxor   %xmm2,%xmm2
xor    %esi,%esi
pxor   %xmm3,%xmm3
test   $0x1,%r10b
jne    125b <var_prod_ele+0x15b>
jmp    12ac <var_prod_ele+0x1ac>

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

LLVM IR (-O2):
define i32 @var_prod_ele(i32 %0, i32* nocapture %1, i32* nocapture %2, i32 %3, i32 %4) {
%6 = zext i32 %0 to i64
%7 = sext i32 %3 to i64
%8 = mul nsw i64 %7, %6
%9 = getelementptr inbounds i32, i32* %1, i64 %8
%10 = bitcast i32* %9 to i8*
%11 = icmp sgt i32 %0, 0
br i1 %11, label %12, label %105
12: ; preds = %5
%13 = shl nsw i32 %0, 2
%14 = sext i32 %4 to i64
%15 = getelementptr inbounds i32, i32* %2, i64 %14
%16 = zext i32 %0 to i64
%17 = getelementptr i32, i32* %15, i64 %16
%18 = load i32, i32* %17
%19 = sext i32 %13 to i64
%20 = call i64 @llvm.smax.i64(i64 %19, i64 4)
%21 = add nsw i64 %20, -1
%22 = lshr i64 %21, 2
%23 = add nuw nsw i64 %22, 1
%24 = icmp ult i64 %21, 28
br i1 %24, label %92, label %25
25: ; preds = %12
%26 = and i64 %23, 9223372036854775800
%27 = shl i64 %26, 2
%28 = insertelement <4 x i32> poison, i32 %18, i64 0
%29 = shufflevector <4 x i32> %28, <4 x i32> poison, <4 x i32> zeroinitializer
%30 = insertelement <4 x i32> poison, i32 %18, i64 0
%31 = shufflevector <4 x i32> %30, <4 x i32> poison, <4 x i32> zeroinitializer
%32 = add nsw i64 %26, -8
%33 = lshr exact i64 %32, 3
%34 = add nuw nsw i64 %33, 1
%35 = and i64 %34, 1
%36 = icmp eq i64 %32, 0
br i1 %36, label %68, label %37
37: ; preds = %25
%38 = and i64 %34, 4611686018427387902
br label %39
39: ; preds = %39, %37
%40 = phi i64 [ 0, %37 ], [ %65, %39 ]
%41 = phi <4 x i32> [ zeroinitializer, %37 ], [ %63, %39 ]
%42 = phi <4 x i32> [ zeroinitializer, %37 ], [ %64, %39 ]
%43 = phi i64 [ 0, %37 ], [ %66, %39 ]
%44 = getelementptr i32, i32* %9, i64 %40
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = getelementptr i32, i32* %44, i64 4
%48 = bitcast i32* %47 to <4 x i32>*
%49 = load <4 x i32>, <4 x i32>* %48
%50 = mul nsw <4 x i32> %29, %46
%51 = mul nsw <4 x i32> %31, %49
%52 = add <4 x i32> %50, %41
%53 = add <4 x i32> %51, %42
%54 = or i64 %40, 8
%55 = getelementptr i32, i32* %9, i64 %54
%56 = bitcast i32* %55 to <4 x i32>*
%57 = load <4 x i32>, <4 x i32>* %56
%58 = getelementptr i32, i32* %55, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = mul nsw <4 x i32> %29, %57
%62 = mul nsw <4 x i32> %31, %60
%63 = add <4 x i32> %61, %52
%64 = add <4 x i32> %62, %53
%65 = add nuw i64 %40, 16
%66 = add i64 %43, 2
%67 = icmp eq i64 %66, %38
br i1 %67, label %68, label %39
68: ; preds = %39, %25
%69 = phi <4 x i32> [ undef, %25 ], [ %63, %39 ]
%70 = phi <4 x i32> [ undef, %25 ], [ %64, %39 ]
%71 = phi i64 [ 0, %25 ], [ %65, %39 ]
%72 = phi <4 x i32> [ zeroinitializer, %25 ], [ %63, %39 ]
%73 = phi <4 x i32> [ zeroinitializer, %25 ], [ %64, %39 ]
%74 = icmp eq i64 %35, 0
br i1 %74, label %86, label %75
75: ; preds = %68
%76 = getelementptr i32, i32* %9, i64 %71
%77 = bitcast i32* %76 to <4 x i32>*
%78 = load <4 x i32>, <4 x i32>* %77
%79 = getelementptr i32, i32* %76, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = mul nsw <4 x i32> %29, %78
%83 = mul nsw <4 x i32> %31, %81
%84 = add <4 x i32> %82, %72
%85 = add <4 x i32> %83, %73
br label %86
86: ; preds = %68, %75
%87 = phi <4 x i32> [ %69, %68 ], [ %84, %75 ]
%88 = phi <4 x i32> [ %70, %68 ], [ %85, %75 ]
%89 = add <4 x i32> %88, %87
%90 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %89)
%91 = icmp eq i64 %23, %26
br i1 %91, label %105, label %92
92: ; preds = %12, %86
%93 = phi i64 [ 0, %12 ], [ %27, %86 ]
%94 = phi i32 [ 0, %12 ], [ %90, %86 ]
br label %95
95: ; preds = %92, %95
%96 = phi i64 [ %103, %95 ], [ %93, %92 ]
%97 = phi i32 [ %102, %95 ], [ %94, %92 ]
%98 = getelementptr i8, i8* %10, i64 %96
%99 = bitcast i8* %98 to i32*
%100 = load i32, i32* %99
%101 = mul nsw i32 %18, %100
%102 = add nsw i32 %101, %97
%103 = add nuw nsw i64 %96, 4
%104 = icmp slt i64 %103, %19
br i1 %104, label %95, label %105
105: ; preds = %95, %86, %5
%106 = phi i32 [ 0, %5 ], [ %90, %86 ], [ %102, %95 ]
ret i32 %106
}