Constant creusot_contracts::std::arch::x86_64::_MM_MANT_SIGN_NAN

source · 
pub const _MM_MANT_SIGN_NAN: i32 = 0x02; // 2i32
🔬This is a nightly-only experimental API. (stdarch_x86_avx512)
Available on x86-64 only.
Expand description

DEST = NaN if sign(SRC) = 1