Function creusot_contracts::std::arch::x86_64::_mm256_maskstore_epi32

pub unsafe fn _mm256_maskstore_epi32(
    mem_addr: *mut i32,
    mask: __m256i,
    a: __m256i,
)

Available on x86-64 only.

Stores packed 32-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