Function creusot_contracts::std::arch::x86_64::_mm256_hsub_pd

pub unsafe fn _mm256_hsub_pd(a: __m256d, b: __m256d) -> __m256d

Available on x86-64 only.

Horizontal subtraction of adjacent pairs in the two packed vectors of 4 64-bit floating points a and b. In the result, sums of elements from a are returned in even locations, while sums of elements from b are returned in odd locations.

Intel’s documentation