Lines Matching refs:Ity_V256
547 vassert(retTy == Ity_V128 || retTy == Ity_V256);548 vassert(retTy != Ity_V256); // we don't handle that yet (if ever)555 vassert(retTy != Ity_V128 && retTy != Ity_V256);622 case Ity_V256:3837 } else {/* if (retty == Ity_V256) */