wasmtime_environ::__core::arch::x86_64

Function _kadd_mask32

source 
pub unsafe fn _kadd_mask32(a: u32, b: u32) -> u32
🔬This is a nightly-only experimental API. (stdarch_x86_avx512)
Available on x86-64 only.
Expand description

Add 32-bit masks in a and b, and store the result in k.

Intel’s documentation