Searched refs:ExtStepRange (Results 1 – 1 of 1) sorted by relevance
3361 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1); in getUnsignedRange() local3365 if (ExtStartRange.add(ExtMaxBECountRange.multiply(ExtStepRange)) != in getUnsignedRange()3513 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1); in getSignedRange() local3517 if (ExtStartRange.add(ExtMaxBECountRange.multiply(ExtStepRange)) != in getSignedRange()