Lines Matching defs:intersectWith

364         .intersectWith(makeExactMulNSWRegion(Other.getSignedMax()));
369     ConstantRange ShAmt = Other.intersectWith(
558   return intersectWith(CR.inverse());
581 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR,
591     return CR.intersectWith(*this, Type);
763   ConstantRange Result = intersectWith(CR);
773   if (Result == inverse().intersectWith(CR.inverse()).inverse())
1105     Result = Result.intersectWith(sadd_sat(Other), RangeType);
1108     Result = Result.intersectWith(uadd_sat(Other), RangeType);
1152     Result = Result.intersectWith(ssub_sat(Other), RangeType);
1157     Result = Result.intersectWith(usub_sat(Other), RangeType);
1243     Result = Result.intersectWith(smul_sat(Other), RangeType);
1246     Result = Result.intersectWith(umul_sat(Other), RangeType);
1253       Result = Result.intersectWith(
1291     return Res.intersectWith(unionWith(Other, Signed), Signed);
1305     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);
1319     return Res.intersectWith(unionWith(Other, Signed), Signed);
1333     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);
1369   ConstantRange PosL = intersectWith(PosFilter);
1370   ConstantRange NegL = intersectWith(NegFilter);
1371   ConstantRange PosR = RHS.intersectWith(PosFilter);
1372   ConstantRange NegR = RHS.intersectWith(NegFilter);
1589   return KnownBitsRange.intersectWith(UMinUMaxRange);
1609   return KnownBitsRange.intersectWith(UMaxUMinRange);
1638     CR = CR.intersectWith(Other.sub(*this), PreferredRangeType::Unsigned);
1640     CR = CR.intersectWith(this->sub(Other), PreferredRangeType::Unsigned);
1782         .intersectWith(computeShlNUW(*this, Other), RangeType);