Lines Matching refs:intersectWith
363 .intersectWith(makeExactMulNSWRegion(Other.getSignedMax())); in makeGuaranteedNoWrapRegion()
368 ConstantRange ShAmt = Other.intersectWith( in makeGuaranteedNoWrapRegion()
557 return intersectWith(CR.inverse()); in difference()
580 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR, in intersectWith() function in ConstantRange
590 return CR.intersectWith(*this, Type); in intersectWith()
762 ConstantRange Result = intersectWith(CR); in exactIntersectWith()
772 if (Result == inverse().intersectWith(CR.inverse()).inverse()) in exactUnionWith()
1102 Result = Result.intersectWith(sadd_sat(Other), RangeType); in addWithNoWrap()
1105 Result = Result.intersectWith(uadd_sat(Other), RangeType); in addWithNoWrap()
1149 Result = Result.intersectWith(ssub_sat(Other), RangeType); in subWithNoWrap()
1154 Result = Result.intersectWith(usub_sat(Other), RangeType); in subWithNoWrap()
1240 Result = Result.intersectWith(smul_sat(Other), RangeType); in multiplyWithNoWrap()
1243 Result = Result.intersectWith(umul_sat(Other), RangeType); in multiplyWithNoWrap()
1277 return Res.intersectWith(unionWith(Other, Signed), Signed); in smax()
1291 return Res.intersectWith(unionWith(Other, Unsigned), Unsigned); in umax()
1305 return Res.intersectWith(unionWith(Other, Signed), Signed); in smin()
1319 return Res.intersectWith(unionWith(Other, Unsigned), Unsigned); in umin()
1355 ConstantRange PosL = intersectWith(PosFilter); in sdiv()
1356 ConstantRange NegL = intersectWith(NegFilter); in sdiv()
1357 ConstantRange PosR = RHS.intersectWith(PosFilter); in sdiv()
1358 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv()
1518 return KnownBitsRange.intersectWith(UMinUMaxRange); in binaryAnd()
1531 return KnownBitsRange.intersectWith(UMaxUMinRange); in binaryOr()
1560 CR = CR.intersectWith(Other.sub(*this), PreferredRangeType::Unsigned); in binaryXor()
1562 CR = CR.intersectWith(this->sub(Other), PreferredRangeType::Unsigned); in binaryXor()