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