void imv6(double v1[6], int m[36], double v2[6]) {
  int i, j;
  double sum;
  for (i = 0; i < 6; i++) {
    sum = 0.0;
    for (j = 0; j < 6; j++) {
      sum = sum + ((double)m[6 * i + j]) * v1[j];
    }
    v2[i] = sum;
  }
}


x86 assembly (clang, -O0):
<imv6>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    119a <imv6+0x9a>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x6,-0x20(%rbp)
jge    117a <imv6+0x7a>
movsd  -0x28(%rbp),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x6,-0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1130 <imv6+0x30>
movsd  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <imv6+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<imv6>:
add    $0x14,%rsi
xor    %eax,%eax
xorpd  %xmm0,%xmm0
nopw   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cvtsi2sdl -0x14(%rsi),%xmm1
mulsd  (%rdi),%xmm1
xorps  %xmm2,%xmm2
cvtsi2sdl -0x10(%rsi),%xmm2
addsd  %xmm0,%xmm1
mulsd  0x8(%rdi),%xmm2
addsd  %xmm1,%xmm2
xorps  %xmm1,%xmm1
cvtsi2sdl -0xc(%rsi),%xmm1
mulsd  0x10(%rdi),%xmm1
xorps  %xmm3,%xmm3
cvtsi2sdl -0x8(%rsi),%xmm3
mulsd  0x18(%rdi),%xmm3
addsd  %xmm2,%xmm1
addsd  %xmm1,%xmm3
xorps  %xmm1,%xmm1
cvtsi2sdl -0x4(%rsi),%xmm1
mulsd  0x20(%rdi),%xmm1
xorps  %xmm2,%xmm2
cvtsi2sdl (%rsi),%xmm2
addsd  %xmm3,%xmm1
mulsd  0x28(%rdi),%xmm2
addsd  %xmm1,%xmm2
movsd  %xmm2,(%rdx,%rax,8)
add    $0x1,%rax
add    $0x18,%rsi
cmp    $0x6,%rax
jne    1110 <imv6+0x10>
ret

LLVM IR (-O0):
define void @imv6(double* %0, i32* %1, double* %2) {
%4 = alloca double*
%5 = alloca i32*
%6 = alloca double*
%7 = alloca i32
%8 = alloca i32
%9 = alloca double
store double* %0, double** %4
store i32* %1, i32** %5
store double* %2, double** %6
store i32 0, i32* %7
br label %10
10: ; preds = %43, %3
%11 = load i32, i32* %7
%12 = icmp slt i32 %11, 6
br i1 %12, label %13, label %46
13: ; preds = %10
store double 0.000000e+00, double* %9
store i32 0, i32* %8
br label %14
14: ; preds = %34, %13
%15 = load i32, i32* %8
%16 = icmp slt i32 %15, 6
br i1 %16, label %17, label %37
17: ; preds = %14
%18 = load double, double* %9
%19 = load i32*, i32** %5
%20 = load i32, i32* %7
%21 = mul nsw i32 6, %20
%22 = load i32, i32* %8
%23 = add nsw i32 %21, %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %19, i64 %24
%26 = load i32, i32* %25
%27 = sitofp i32 %26 to double
%28 = load double*, double** %4
%29 = load i32, i32* %8
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds double, double* %28, i64 %30
%32 = load double, double* %31
%33 = call double @llvm.fmuladd.f64(double %27, double %32, double %18)
store double %33, double* %9
br label %34
34: ; preds = %17
%35 = load i32, i32* %8
%36 = add nsw i32 %35, 1
store i32 %36, i32* %8
br label %14
37: ; preds = %14
%38 = load double, double* %9
%39 = load double*, double** %6
%40 = load i32, i32* %7
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
store double %38, double* %42
br label %43
43: ; preds = %37
%44 = load i32, i32* %7
%45 = add nsw i32 %44, 1
store i32 %45, i32* %7
br label %10
46: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @imv6(double* nocapture %0, i32* nocapture %1, double* nocapture writeonly %2) {
%4 = getelementptr inbounds double, double* %0, i64 1
%5 = getelementptr inbounds double, double* %0, i64 2
%6 = getelementptr inbounds double, double* %0, i64 3
%7 = getelementptr inbounds double, double* %0, i64 4
%8 = getelementptr inbounds double, double* %0, i64 5
br label %9
9: ; preds = %3, %9
%10 = phi i64 [ 0, %3 ], [ %48, %9 ]
%11 = mul nuw nsw i64 %10, 6
%12 = getelementptr inbounds i32, i32* %1, i64 %11
%13 = load i32, i32* %12
%14 = sitofp i32 %13 to double
%15 = load double, double* %0
%16 = tail call double @llvm.fmuladd.f64(double %14, double %15, double 0.000000e+00)
%17 = or i64 %11, 1
%18 = getelementptr inbounds i32, i32* %1, i64 %17
%19 = load i32, i32* %18
%20 = sitofp i32 %19 to double
%21 = load double, double* %4
%22 = tail call double @llvm.fmuladd.f64(double %20, double %21, double %16)
%23 = add nuw nsw i64 %11, 2
%24 = getelementptr inbounds i32, i32* %1, i64 %23
%25 = load i32, i32* %24
%26 = sitofp i32 %25 to double
%27 = load double, double* %5
%28 = tail call double @llvm.fmuladd.f64(double %26, double %27, double %22)
%29 = add nuw nsw i64 %11, 3
%30 = getelementptr inbounds i32, i32* %1, i64 %29
%31 = load i32, i32* %30
%32 = sitofp i32 %31 to double
%33 = load double, double* %6
%34 = tail call double @llvm.fmuladd.f64(double %32, double %33, double %28)
%35 = add nuw nsw i64 %11, 4
%36 = getelementptr inbounds i32, i32* %1, i64 %35
%37 = load i32, i32* %36
%38 = sitofp i32 %37 to double
%39 = load double, double* %7
%40 = tail call double @llvm.fmuladd.f64(double %38, double %39, double %34)
%41 = add nuw nsw i64 %11, 5
%42 = getelementptr inbounds i32, i32* %1, i64 %41
%43 = load i32, i32* %42
%44 = sitofp i32 %43 to double
%45 = load double, double* %8
%46 = tail call double @llvm.fmuladd.f64(double %44, double %45, double %40)
%47 = getelementptr inbounds double, double* %2, i64 %10
store double %46, double* %47
%48 = add nuw nsw i64 %10, 1
%49 = icmp eq i64 %48, 6
br i1 %49, label %50, label %9
50: ; preds = %9
ret void
}