Function creusot_contracts::std::arch::x86_64::_mm_hadds_epi16

pub unsafe fn _mm_hadds_epi16(a: __m128i, b: __m128i) -> __m128i

Available on x86-64 only.

Horizontally adds the adjacent pairs of values contained in 2 packed 128-bit vectors of [8 x i16]. Positive sums greater than 7FFFh are saturated to 7FFFh. Negative sums less than 8000h are saturated to 8000h.

Intel’s documentation