Function creusot_contracts::std::arch::x86_64::_mm_mullo_epi32

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

Available on x86-64 only.

Multiplies the packed 32-bit integers in a and b, producing intermediate 64-bit integers, and returns the lowest 32-bit, whatever they might be, reinterpreted as a signed integer. While pmulld __m128i::splat(2), __m128i::splat(2) returns the obvious __m128i::splat(4), due to wrapping arithmetic pmulld __m128i::splat(i32::MAX), __m128i::splat(2) would return a negative number.

Intel’s documentation