Lines Matching refs:Ity_V256
607 vassert(retTy == Ity_V128 || retTy == Ity_V256);
608 vassert(retTy != Ity_V256); // we don't handle that yet (if ever)
614 vassert(retTy != Ity_V128 && retTy != Ity_V256);
657 if (retTy == Ity_V128 || retTy == Ity_V256)
768 vassert(nVECRETs == (retTy == Ity_V128 || retTy == Ity_V256) ? 1 : 0);
783 case Ity_V256: