Function creusot_contracts::std::arch::x86_64::_mm512_mask_bitshuffle_epi64_mask

pub unsafe fn _mm512_mask_bitshuffle_epi64_mask(
    k: u64,
    b: __m512i,
    c: __m512i,
) -> u64

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on x86-64 only.

Considers the input b as packed 64-bit integers and c as packed 8-bit integers. Then groups 8 8-bit values from cas indices into the bits of the corresponding 64-bit integer. It then selects these bits and packs them into the output.

Uses the writemask in k - elements are zeroed in the result if the corresponding mask bit is not set. Otherwise the computation result is written into the result.

Intel’s documentation