Lines Matching refs:intersectWith
272 .intersectWith(makeExactMulNSWRegion(Other.getSignedMax())); in makeGuaranteedNoWrapRegion()
277 ConstantRange ShAmt = Other.intersectWith( in makeGuaranteedNoWrapRegion()
440 return intersectWith(CR.inverse()); in difference()
463 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR, in intersectWith() function in ConstantRange
473 return CR.intersectWith(*this, Type); in intersectWith()
941 Result = Result.intersectWith(sadd_sat(Other), RangeType); in addWithNoWrap()
944 Result = Result.intersectWith(uadd_sat(Other), RangeType); in addWithNoWrap()
988 Result = Result.intersectWith(ssub_sat(Other), RangeType); in subWithNoWrap()
993 Result = Result.intersectWith(usub_sat(Other), RangeType); in subWithNoWrap()
1126 ConstantRange PosL = intersectWith(PosFilter); in sdiv()
1127 ConstantRange NegL = intersectWith(NegFilter); in sdiv()
1128 ConstantRange PosR = RHS.intersectWith(PosFilter); in sdiv()
1129 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv()