unsafe extern "unadjusted" fn vcmpph_512( a: __m512h, b: __m512h, imm5: i32, mask: __mmask32, sae: i32, ) -> __mmask32