Lines Matching refs:ConservativeResult
4213 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRange() local
4220 ConservativeResult = in getRange()
4224 ConservativeResult = ConstantRange( in getRange()
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()
4347 ConservativeResult = in getRange()
4348 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4369 ConservativeResult = in getRange()
4370 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4375 return setRange(AddRec, SignHint, ConservativeResult); in getRange()
4382 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRange()
4393 ConservativeResult = in getRange()
4394 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4400 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4405 return setRange(U, SignHint, ConservativeResult); in getRange()
4408 return setRange(S, SignHint, ConservativeResult); in getRange()