Lines Matching refs:intersectWith
5584 return setRange(Add, SignHint, ConservativeResult.intersectWith(X)); in getRangeRef()
5591 return setRange(Mul, SignHint, ConservativeResult.intersectWith(X)); in getRangeRef()
5598 return setRange(SMax, SignHint, ConservativeResult.intersectWith(X)); in getRangeRef()
5605 return setRange(UMax, SignHint, ConservativeResult.intersectWith(X)); in getRangeRef()
5612 ConservativeResult.intersectWith(X.udiv(Y))); in getRangeRef()
5618 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getRangeRef()
5624 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getRangeRef()
5630 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getRangeRef()
5639 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
5652 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
5656 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
5671 ConservativeResult.intersectWith(RangeFromAffine); in getRangeRef()
5678 ConservativeResult.intersectWith(RangeFromFactoring); in getRangeRef()
5689 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRangeRef()
5700 ConservativeResult.intersectWith(ConstantRange(Known.One, in getRangeRef()
5707 ConservativeResult = ConservativeResult.intersectWith( in getRangeRef()
5724 ConservativeResult = ConservativeResult.intersectWith(RangeFromOps); in getRangeRef()
5835 return SR.intersectWith(UR); in getRangeForAffineAR()