Function creusot_contracts::std::arch::x86_64::_mm256_hadd_ps

pub unsafe fn _mm256_hadd_ps(a: __m256, b: __m256) -> __m256

Available on x86-64 only.

Horizontal addition of adjacent pairs in the two packed vectors of 8 32-bit floating points a and b. In the result, sums of elements from a are returned in locations of indices 0, 1, 4, 5; while sums of elements from b are locations 2, 3, 6, 7.

Intel’s documentation