Lines Matching refs:Ity_V256
537 if (retTy == Ity_V128 || retTy == Ity_V256)
605 else if (retTy == Ity_V256) {
659 if (retTy == Ity_V128 || retTy == Ity_V256) {
681 case Ity_V256:
3740 vassert(ty == Ity_V256);
4332 if (tyd == Ity_V256) {
4391 if (ty == Ity_V256) {
4499 if (ty == Ity_V256) {
4524 case Ity_V128: case Ity_V256:
4571 case Ity_V256: {
4920 case Ity_V256: