Lines Matching refs:intersectWith
6656 ConservativeResult.intersectWith(X.truncate(BitWidth), RangeType)); in getRangeRef()
6663 ConservativeResult.intersectWith(X.zeroExtend(BitWidth), RangeType)); in getRangeRef()
6670 ConservativeResult.intersectWith(X.signExtend(BitWidth), RangeType)); in getRangeRef()
6689 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6697 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6704 ConservativeResult.intersectWith(X.udiv(Y), RangeType)); in getRangeRef()
6713 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6732 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6737 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6763 ConservativeResult.intersectWith(RangeFromAffine, RangeType); in getRangeRef()
6768 ConservativeResult.intersectWith(RangeFromFactoring, RangeType); in getRangeRef()
6782 ConservativeResult.intersectWith(RangeFromAffineNew, RangeType); in getRangeRef()
6819 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6829 ConservativeResult.intersectWith(*MDRange, RangeType); in getRangeRef()
6835 ConservativeResult = ConservativeResult.intersectWith(CR); in getRangeRef()
6864 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6868 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6896 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6915 ConservativeResult.intersectWith(RangeFromOps, RangeType); in getRangeRef()
7031 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()