Lines Matching refs:ConservativeResult
3864 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getRange() local
3871 ConservativeResult = in getRange()
3875 ConservativeResult = ConstantRange( in getRange()
3884 return setRange(Add, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3891 return setRange(Mul, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3898 return setRange(SMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3905 return setRange(UMax, SignHint, ConservativeResult.intersectWith(X)); in getRange()
3912 ConservativeResult.intersectWith(X.udiv(Y))); in getRange()
3918 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getRange()
3924 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getRange()
3930 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getRange()
3939 ConservativeResult = in getRange()
3940 ConservativeResult.intersectWith( in getRange()
3953 ConservativeResult = ConservativeResult.intersectWith( in getRange()
3957 ConservativeResult = ConservativeResult.intersectWith( in getRange()
3999 ConservativeResult = in getRange()
4000 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4021 ConservativeResult = in getRange()
4022 ConservativeResult.intersectWith(ConstantRange(Min, Max + 1)); in getRange()
4027 return setRange(AddRec, SignHint, ConservativeResult); in getRange()
4034 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue()); in getRange()
4045 ConservativeResult = in getRange()
4046 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)); in getRange()
4052 ConservativeResult = ConservativeResult.intersectWith( in getRange()
4057 return setRange(U, SignHint, ConservativeResult); in getRange()
4060 return setRange(S, SignHint, ConservativeResult); in getRange()