Lines Matching refs:intersectWith

6031                     ConservativeResult.intersectWith(X, RangeType));  in getRangeRef()
6039 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6047 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6055 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6063 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6071 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6078 ConservativeResult.intersectWith(X.udiv(Y), RangeType)); in getRangeRef()
6084 ConservativeResult.intersectWith(X.zeroExtend(BitWidth), in getRangeRef()
6091 ConservativeResult.intersectWith(X.signExtend(BitWidth), in getRangeRef()
6103 ConservativeResult.intersectWith(X.truncate(BitWidth), in getRangeRef()
6113 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6132 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6137 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6153 ConservativeResult.intersectWith(RangeFromAffine, RangeType); in getRangeRef()
6159 ConservativeResult.intersectWith(RangeFromFactoring, RangeType); in getRangeRef()
6172 ConservativeResult.intersectWith(RangeFromAffineNew, RangeType); in getRangeRef()
6185 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue(), in getRangeRef()
6192 ConservativeResult = ConservativeResult.intersectWith(CR); in getRangeRef()
6221 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6225 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6243 ConservativeResult.intersectWith(RangeFromOps, RangeType); in getRangeRef()
6350 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()