Lines Matching refs:Ity_V256
576 vassert(retTy == Ity_V128 || retTy == Ity_V256);
577 vassert(retTy != Ity_V256); // we don't handle that yet (if ever)
583 vassert(retTy != Ity_V128 && retTy != Ity_V256);
626 if (retTy == Ity_V128 || retTy == Ity_V256)
737 vassert(nVECRETs == (retTy == Ity_V128 || retTy == Ity_V256) ? 1 : 0);
752 case Ity_V256:
3422 vassert(ty == Ity_V256);
3687 Ity_V256) {
4091 case Ity_V256:
