unsafe extern "unadjusted" fn vcvtph2pd_512( a: __m128h, src: __m512d, k: __mmask8, sae: i32, ) -> __m512d