Function creusot_contracts::std::arch::x86_64::_mm_maskload_epi32

pub unsafe fn _mm_maskload_epi32(mem_addr: *const i32, mask: __m128i) -> __m128i

Available on x86-64 only.

Loads packed 32-bit integers from memory pointed by mem_addr using mask (elements are zeroed out when the highest bit is not set in the corresponding element).

Intel’s documentation