Lines Matching refs:intersectWith
4233 return setRange(Add, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4240 return setRange(Mul, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4247 return setRange(SMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4254 return setRange(UMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4261 ConservativeResult.intersectWith(X.udiv(Y))); in getRange()
4267 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getRange()
4273 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getRange()
4279 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getRange()
4288 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4301 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4305 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4348 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4370 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4382 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRange()
4394 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4400 ConservativeResult = ConservativeResult.intersectWith( in getRange()
7315 if (getUnsignedRange(LHS).intersectWith(getUnsignedRange(RHS)).isEmptySet()) in isKnownPredicateWithRanges()
7317 if (getSignedRange(LHS).intersectWith(getSignedRange(RHS)).isEmptySet()) in isKnownPredicateWithRanges()