Function creusot_contracts::std::arch::x86_64::_mm_maskstore_epi64

pub unsafe fn _mm_maskstore_epi64(mem_addr: *mut i64, mask: __m128i, a: __m128i)

Available on x86-64 only.

Stores packed 64-bit integers from a into memory pointed by mem_addr using mask (elements are not stored when the highest bit is not set in the corresponding element).

Intel’s documentation