Lines Matching refs:ConservativeResult
3893 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRange() local
3900 ConservativeResult = in getRange()
3904 ConservativeResult = ConstantRange( in getRange()
3913 return setRange(Add, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3920 return setRange(Mul, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3927 return setRange(SMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3934 return setRange(UMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3941 ConservativeResult.intersectWith(X.udiv(Y))); in getRange()
3947 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getRange()
3953 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getRange()
3959 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getRange()
3968 ConservativeResult = in getRange()
3969 ConservativeResult.intersectWith( in getRange()
3982 ConservativeResult = ConservativeResult.intersectWith( in getRange()
3986 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4028 ConservativeResult = in getRange()
4029 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4050 ConservativeResult = in getRange()
4051 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4056 return setRange(AddRec, SignHint, ConservativeResult); in getRange()
4063 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRange()
4074 ConservativeResult = in getRange()
4075 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4081 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4086 return setRange(U, SignHint, ConservativeResult); in getRange()
4089 return setRange(S, SignHint, ConservativeResult); in getRange()