unsafe extern "unadjusted" fn vcmpsh( a: __m128h, b: __m128h, imm5: i32, mask: __mmask8, sae: i32, ) -> __mmask8