Functional tests on halving-add SIMD vectorization.