double m_prod(double *A, int nrow) {
  double *p, a;
  int i, j;
  p = A;
  a = 1;
  j = nrow + 1;
  for (i = nrow; i > 0; i--, p += j)
    a *= *p;
  return a;
}


x86 assembly (clang, -O0):
<m_prod>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
movsd  0xee5(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    116e <m_prod+0x6e>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
jmp    112f <m_prod+0x2f>
movsd  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<m_prod>:
test   %esi,%esi
jle    1148 <m_prod+0x48>
lea    0x1(%rsi),%eax
lea    -0x1(%rsi),%r8d
mov    %esi,%edx
and    $0x7,%edx
je     1151 <m_prod+0x51>
lea    0x0(,%rax,8),%r9
xor    %ecx,%ecx
movsd  0xedc(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mulsd  (%rdi),%xmm0
add    $0x1,%ecx
add    %r9,%rdi
cmp    %ecx,%edx
jne    1130 <m_prod+0x30>
sub    %ecx,%esi
cmp    $0x7,%r8d
jae    115f <m_prod+0x5f>
jmp    11b7 <m_prod+0xb7>
movsd  0xeb0(%rip),%xmm0
ret
movsd  0xea7(%rip),%xmm0
cmp    $0x7,%r8d
jb     11b7 <m_prod+0xb7>
add    $0xffffffff,%esi
shl    $0x3,%rax
cs nopw 0x0(%rax,%rax,1)
mulsd  (%rdi),%xmm0
mulsd  (%rdi,%rax,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
mulsd  (%rax,%rdi,1),%xmm0
add    %rax,%rdi
add    $0xfffffff8,%esi
add    %rax,%rdi
cmp    $0xfffffffe,%esi
jb     1170 <m_prod+0x70>
ret

LLVM IR (-O0):
define double @m_prod(double* %0, i32 %1) {
%3 = alloca double*
%4 = alloca i32
%5 = alloca double*
%6 = alloca double
%7 = alloca i32
%8 = alloca i32
store double* %0, double** %3
store i32 %1, i32* %4
%9 = load double*, double** %3
store double* %9, double** %5
store double 1.000000e+00, double* %6
%10 = load i32, i32* %4
%11 = add nsw i32 %10, 1
store i32 %11, i32* %8
%12 = load i32, i32* %4
store i32 %12, i32* %7
br label %13
13: ; preds = %21, %2
%14 = load i32, i32* %7
%15 = icmp sgt i32 %14, 0
br i1 %15, label %16, label %28
16: ; preds = %13
%17 = load double*, double** %5
%18 = load double, double* %17
%19 = load double, double* %6
%20 = fmul double %19, %18
store double %20, double* %6
br label %21
21: ; preds = %16
%22 = load i32, i32* %7
%23 = add nsw i32 %22, -1
store i32 %23, i32* %7
%24 = load i32, i32* %8
%25 = load double*, double** %5
%26 = sext i32 %24 to i64
%27 = getelementptr inbounds double, double* %25, i64 %26
store double* %27, double** %5
br label %13
28: ; preds = %13
%29 = load double, double* %6
ret double %29
}

LLVM IR (-O2):
define double @m_prod(double* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %58
4: ; preds = %2
%5 = add nuw nsw i32 %1, 1
%6 = zext i32 %5 to i64
%7 = add i32 %1, -1
%8 = and i32 %1, 7
%9 = icmp eq i32 %8, 0
br i1 %9, label %21, label %10
10: ; preds = %4, %10
%11 = phi double* [ %18, %10 ], [ %0, %4 ]
%12 = phi i32 [ %17, %10 ], [ %1, %4 ]
%13 = phi double [ %16, %10 ], [ 1.000000e+00, %4 ]
%14 = phi i32 [ %19, %10 ], [ 0, %4 ]
%15 = load double, double* %11
%16 = fmul double %13, %15
%17 = add nsw i32 %12, -1
%18 = getelementptr inbounds double, double* %11, i64 %6
%19 = add i32 %14, 1
%20 = icmp eq i32 %19, %8
br i1 %20, label %21, label %10
21: ; preds = %10, %4
%22 = phi double* [ %0, %4 ], [ %18, %10 ]
%23 = phi i32 [ %1, %4 ], [ %17, %10 ]
%24 = phi double [ 1.000000e+00, %4 ], [ %16, %10 ]
%25 = phi double [ undef, %4 ], [ %16, %10 ]
%26 = icmp ult i32 %7, 7
br i1 %26, label %58, label %27
27: ; preds = %21, %27
%28 = phi double* [ %55, %27 ], [ %22, %21 ]
%29 = phi i32 [ %54, %27 ], [ %23, %21 ]
%30 = phi double [ %53, %27 ], [ %24, %21 ]
%31 = load double, double* %28
%32 = fmul double %30, %31
%33 = getelementptr inbounds double, double* %28, i64 %6
%34 = load double, double* %33
%35 = fmul double %32, %34
%36 = getelementptr inbounds double, double* %33, i64 %6
%37 = load double, double* %36
%38 = fmul double %35, %37
%39 = getelementptr inbounds double, double* %36, i64 %6
%40 = load double, double* %39
%41 = fmul double %38, %40
%42 = getelementptr inbounds double, double* %39, i64 %6
%43 = load double, double* %42
%44 = fmul double %41, %43
%45 = getelementptr inbounds double, double* %42, i64 %6
%46 = load double, double* %45
%47 = fmul double %44, %46
%48 = getelementptr inbounds double, double* %45, i64 %6
%49 = load double, double* %48
%50 = fmul double %47, %49
%51 = getelementptr inbounds double, double* %48, i64 %6
%52 = load double, double* %51
%53 = fmul double %50, %52
%54 = add nsw i32 %29, -8
%55 = getelementptr inbounds double, double* %51, i64 %6
%56 = add i32 %29, -9
%57 = icmp ult i32 %56, -2
br i1 %57, label %27, label %58
58: ; preds = %21, %27, %2
%59 = phi double [ 1.000000e+00, %2 ], [ %25, %21 ], [ %53, %27 ]
ret double %59
}