Function creusot_contracts::std::arch::x86_64::_mm512_mask_reduce_min_epu64

pub unsafe fn _mm512_mask_reduce_min_epu64(k: u8, a: __m512i) -> u64

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

Available on x86-64 only.

Reduce the packed signed 64-bit integers in a by maximum using mask k. Returns the minimum of all active elements in a.

Intel’s documentation