double cblas_ddot(const int N, const double *X, const int incX, const double *Y,
                  const int incY) {
  double r = 0.0;
  int i;
  int ix = ((incX) > 0 ? 0 : ((N)-1) * (-(incX)));
  int iy = ((incY) > 0 ? 0 : ((N)-1) * (-(incY)));
  for (i = 0; i < N; i++) {
    r += X[ix] * Y[iy];
    ix += incX;
    iy += incY;
  }
  return r;
}


x86 assembly (clang, -O0):
<cblas_ddot>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    1132 <cblas_ddot+0x32>
xor    %eax,%eax
mov    %eax,-0x40(%rbp)
jmp    1143 <cblas_ddot+0x43>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
xor    %ecx,%ecx
sub    -0x14(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    115d <cblas_ddot+0x5d>
xor    %eax,%eax
mov    %eax,-0x44(%rbp)
jmp    116e <cblas_ddot+0x6e>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
xor    %ecx,%ecx
sub    -0x24(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11d3 <cblas_ddot+0xd3>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x30(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x24(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    117b <cblas_ddot+0x7b>
movsd  -0x30(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<cblas_ddot>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edi,%edi
jle    113d <cblas_ddot+0x3d>
mov    $0x1,%eax
sub    %edi,%eax
mov    %eax,%ebx
imul   %r8d,%ebx
xor    %r9d,%r9d
test   %r8d,%r8d
cmovg  %r9d,%ebx
imul   %edx,%eax
test   %edx,%edx
cmovg  %r9d,%eax
movslq %ebx,%r9
cltq
cmp    $0x1,%edi
jne    1146 <cblas_ddot+0x46>
xorpd  %xmm0,%xmm0
jmp    11b5 <cblas_ddot+0xb5>
xorpd  %xmm0,%xmm0
jmp    11ce <cblas_ddot+0xce>
movslq %r8d,%r8
movslq %edx,%r10
mov    %edi,%r11d
and    $0xfffffffe,%r11d
lea    (%rsi,%rax,8),%rdx
mov    %r10,%r15
shl    $0x4,%r15
lea    (%rsi,%r10,8),%r14
lea    (%rcx,%r9,8),%rbx
mov    %r8,%r12
shl    $0x4,%r12
lea    (%rcx,%r8,8),%r13
xorpd  %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rdx),%xmm1
mulsd  (%rbx),%xmm1
addsd  %xmm0,%xmm1
movsd  (%r14,%rax,8),%xmm0
mulsd  0x0(%r13,%r9,8),%xmm0
add    %r10,%rax
add    %r8,%r9
addsd  %xmm1,%xmm0
add    %r10,%rax
add    %r8,%r9
add    %r15,%rdx
add    %r12,%rbx
add    $0xfffffffe,%r11d
jne    1180 <cblas_ddot+0x80>
test   $0x1,%dil
je     11ce <cblas_ddot+0xce>
movsd  (%rsi,%rax,8),%xmm1
mulsd  (%rcx,%r9,8),%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

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