Lines Matching defs:intersectWith

363         .intersectWith(makeExactMulNSWRegion(Other.getSignedMax()));
368     ConstantRange ShAmt = Other.intersectWith(
557   return intersectWith(CR.inverse());
580 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR,
590     return CR.intersectWith(*this, Type);
762   ConstantRange Result = intersectWith(CR);
772   if (Result == inverse().intersectWith(CR.inverse()).inverse())
1102     Result = Result.intersectWith(sadd_sat(Other), RangeType);
1105     Result = Result.intersectWith(uadd_sat(Other), RangeType);
1149     Result = Result.intersectWith(ssub_sat(Other), RangeType);
1154     Result = Result.intersectWith(usub_sat(Other), RangeType);
1240     Result = Result.intersectWith(smul_sat(Other), RangeType);
1243     Result = Result.intersectWith(umul_sat(Other), RangeType);
1277     return Res.intersectWith(unionWith(Other, Signed), Signed);
1291     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);
1305     return Res.intersectWith(unionWith(Other, Signed), Signed);
1319     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);
1355   ConstantRange PosL = intersectWith(PosFilter);
1356   ConstantRange NegL = intersectWith(NegFilter);
1357   ConstantRange PosR = RHS.intersectWith(PosFilter);
1358   ConstantRange NegR = RHS.intersectWith(NegFilter);
1518   return KnownBitsRange.intersectWith(UMinUMaxRange);
1531   return KnownBitsRange.intersectWith(UMaxUMinRange);
1560     CR = CR.intersectWith(Other.sub(*this), PreferredRangeType::Unsigned);
1562     CR = CR.intersectWith(this->sub(Other), PreferredRangeType::Unsigned);