unsafe extern "unadjusted" fn vfmaddcph_mask3_128( a: __m128, b: __m128, c: __m128, k: __mmask8, ) -> __m128