Function _mm_mask3_fmadd_round_sd
#[target_feature(enable = "avx512f")]
pub fn _mm_mask3_fmadd_round_sd(a: __m128d, b: __m128d, c: __m128d, k: __mmask8, ROUNDING: i32) -> __m128dMultiply the lower double-precision (64-bit) floating-point elements in a and b, and add the intermediate result to the lower element in c. Store the result in the lower element of dst using writemask k (the element is copied from c when mask bit 0 is not set), and copy the upper element from c to the upper element of dst.\
Rounding is done according to the rounding[3:0] parameter, which can be one of:\
_MM_FROUND_TO_NEAREST_INT|_MM_FROUND_NO_EXC: round to nearest and suppress exceptions_MM_FROUND_TO_NEG_INF|_MM_FROUND_NO_EXC: round down and suppress exceptions_MM_FROUND_TO_POS_INF|_MM_FROUND_NO_EXC: round up and suppress exceptions_MM_FROUND_TO_ZERO|_MM_FROUND_NO_EXC: truncate and suppress exceptions_MM_FROUND_CUR_DIRECTION: useMXCSR.RC- see_MM_SET_ROUNDING_MODE