Lines Matching refs:intersectWith
277 .intersectWith(makeExactMulNSWRegion(Other.getSignedMax())); in makeGuaranteedNoWrapRegion()
282 ConstantRange ShAmt = Other.intersectWith( in makeGuaranteedNoWrapRegion()
445 return intersectWith(CR.inverse()); in difference()
468 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR, in intersectWith() function in ConstantRange
478 return CR.intersectWith(*this, Type); in intersectWith()
946 Result = Result.intersectWith(sadd_sat(Other), RangeType); in addWithNoWrap()
949 Result = Result.intersectWith(uadd_sat(Other), RangeType); in addWithNoWrap()
993 Result = Result.intersectWith(ssub_sat(Other), RangeType); in subWithNoWrap()
998 Result = Result.intersectWith(usub_sat(Other), RangeType); in subWithNoWrap()
1068 return Res.intersectWith(unionWith(Other, Signed), Signed); in smax()
1082 return Res.intersectWith(unionWith(Other, Unsigned), Unsigned); in umax()
1096 return Res.intersectWith(unionWith(Other, Signed), Signed); in smin()
1110 return Res.intersectWith(unionWith(Other, Unsigned), Unsigned); in umin()
1143 ConstantRange PosL = intersectWith(PosFilter); in sdiv()
1144 ConstantRange NegL = intersectWith(NegFilter); in sdiv()
1145 ConstantRange PosR = RHS.intersectWith(PosFilter); in sdiv()
1146 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv()