Lines Matching refs:intersectWith
6444 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6452 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6480 ConservativeResult.intersectWith(X, RangeType)); in getRangeRef()
6487 ConservativeResult.intersectWith(X.udiv(Y), RangeType)); in getRangeRef()
6493 ConservativeResult.intersectWith(X.zeroExtend(BitWidth), in getRangeRef()
6500 ConservativeResult.intersectWith(X.signExtend(BitWidth), in getRangeRef()
6512 ConservativeResult.intersectWith(X.truncate(BitWidth), in getRangeRef()
6522 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6541 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6546 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6562 ConservativeResult.intersectWith(RangeFromAffine, RangeType); in getRangeRef()
6568 ConservativeResult.intersectWith(RangeFromFactoring, RangeType); in getRangeRef()
6581 ConservativeResult.intersectWith(RangeFromAffineNew, RangeType); in getRangeRef()
6595 ConservativeResult.intersectWith(MDRange.value(), RangeType); in getRangeRef()
6601 ConservativeResult = ConservativeResult.intersectWith(CR); in getRangeRef()
6630 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6634 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
6652 ConservativeResult.intersectWith(RangeFromOps, RangeType); in getRangeRef()
6766 return SR.intersectWith(UR, ConstantRange::Smallest); in getRangeForAffineAR()