Function creusot_contracts::std::arch::x86_64::_kadd_mask64
source · pub unsafe fn _kadd_mask64(a: u64, b: u64) -> u64🔬This is a nightly-only experimental API. (
stdarch_x86_avx512)Available on x86-64 only.
Expand description
Add 64-bit masks in a and b, and store the result in k.