unsafe extern "unadjusted" fn vcvtph2psx_512( a: __m256h, src: __m512, k: __mmask16, sae: i32, ) -> __m512