unsafe extern "C" fn vreducepd_512( a: f64x8, imm8: i32, src: f64x8, k: __mmask8, sae: i32, ) -> f64x8