Lines Matching refs:ConservativeResult
4445 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRange() local
4452 ConservativeResult = in getRange()
4456 ConservativeResult = ConstantRange( in getRange()
4465 return setRange(Add, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4472 return setRange(Mul, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4479 return setRange(SMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4486 return setRange(UMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
4493 ConservativeResult.intersectWith(X.udiv(Y))); in getRange()
4499 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getRange()
4505 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getRange()
4511 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getRange()
4520 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4533 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4537 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4551 ConservativeResult = in getRange()
4552 ConservativeResult.intersectWith(RangeFromAffine); in getRange()
4558 ConservativeResult = in getRange()
4559 ConservativeResult.intersectWith(RangeFromFactoring); in getRange()
4563 return setRange(AddRec, SignHint, ConservativeResult); in getRange()
4570 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRange()
4581 ConservativeResult = in getRange()
4582 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4588 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4593 return setRange(U, SignHint, ConservativeResult); in getRange()
4596 return setRange(S, SignHint, ConservativeResult); in getRange()