Searched refs:ConservativeResult (Results 1 – 1 of 1) sorted by relevance
3319 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true); in getUnsignedRange() local3325 ConservativeResult = in getUnsignedRange()3333 return setUnsignedRange(Add, ConservativeResult.intersectWith(X)); in getUnsignedRange()3340 return setUnsignedRange(Mul, ConservativeResult.intersectWith(X)); in getUnsignedRange()3347 return setUnsignedRange(SMax, ConservativeResult.intersectWith(X)); in getUnsignedRange()3354 return setUnsignedRange(UMax, ConservativeResult.intersectWith(X)); in getUnsignedRange()3360 return setUnsignedRange(UDiv, ConservativeResult.intersectWith(X.udiv(Y))); in getUnsignedRange()3366 ConservativeResult.intersectWith(X.zeroExtend(BitWidth))); in getUnsignedRange()3372 ConservativeResult.intersectWith(X.signExtend(BitWidth))); in getUnsignedRange()3378 ConservativeResult.intersectWith(X.truncate(BitWidth))); in getUnsignedRange()[all …]