Functional tests on dot product idiom SIMD vectorization.