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