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) */
