has_xtheadvector_no_alternatives
if (!mitigated && has_xtheadvector_no_alternatives() && has_thead_homogeneous_vlenb() < 0) {
has_xtheadvector_no_alternatives()) {