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