333         .intersectWith(makeExactMulNSWRegion(Other.getSignedMax()));  in makeGuaranteedNoWrapRegion()
338     ConstantRange ShAmt = Other.intersectWith(  in makeGuaranteedNoWrapRegion()
500   return intersectWith(CR.inverse());  in difference()
523 ConstantRange ConstantRange::intersectWith(const ConstantRange &CR,  in intersectWith()  function in ConstantRange
533     return CR.intersectWith(*this, Type);  in intersectWith()
705   ConstantRange Result = intersectWith(CR);  in exactIntersectWith()
715   if (Result == inverse().intersectWith(CR.inverse()).inverse())  in exactUnionWith()
1027     Result = Result.intersectWith(sadd_sat(Other), RangeType);  in addWithNoWrap()
1030     Result = Result.intersectWith(uadd_sat(Other), RangeType);  in addWithNoWrap()
1074     Result = Result.intersectWith(ssub_sat(Other), RangeType);  in subWithNoWrap()
1079     Result = Result.intersectWith(usub_sat(Other), RangeType);  in subWithNoWrap()
1168     return Res.intersectWith(unionWith(Other, Signed), Signed);  in smax()
1182     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);  in umax()
1196     return Res.intersectWith(unionWith(Other, Signed), Signed);  in smin()
1210     return Res.intersectWith(unionWith(Other, Unsigned), Unsigned);  in umin()
1246   ConstantRange PosL = intersectWith(PosFilter);  in sdiv()
1247   ConstantRange NegL = intersectWith(NegFilter);  in sdiv()
1248   ConstantRange PosR = RHS.intersectWith(PosFilter);  in sdiv()
1249   ConstantRange NegR = RHS.intersectWith(NegFilter);  in sdiv()
1409   return KnownBitsRange.intersectWith(UMinUMaxRange);  in binaryAnd()
1422   return KnownBitsRange.intersectWith(UMaxUMinRange);  in binaryOr()