unsafe extern "C" fn vreduceps_512( a: f32x16, imm8: i32, src: f32x16, k: __mmask16, sae: i32, ) -> f32x16