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