Lines Matching refs:intersectWith
6672 ConservativeResult.intersectWith(X.truncate(BitWidth), RangeType)); in getRangeRef()
6679 ConservativeResult.intersectWith(X.zeroExtend(BitWidth), RangeType)); in getRangeRef()
6686 ConservativeResult.intersectWith(X.signExtend(BitWidth), RangeType)); in getRangeRef()
6705 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6713 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6720 ConservativeResult.intersectWith(X.udiv(Y), RangeType)); in getRangeRef()
6729 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6748 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6753 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6779 ConservativeResult.intersectWith(RangeFromAffine, RangeType); in getRangeRef()
6784 ConservativeResult.intersectWith(RangeFromFactoring, RangeType); in getRangeRef()
6798 ConservativeResult.intersectWith(RangeFromAffineNew, RangeType); in getRangeRef()
6835 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6845 ConservativeResult.intersectWith(*MDRange, RangeType); in getRangeRef()
6851 ConservativeResult = ConservativeResult.intersectWith(CR); in getRangeRef()
6880 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6884 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6912 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6931 ConservativeResult.intersectWith(RangeFromOps, RangeType); in getRangeRef()
7047 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()