Searched refs:SExtStepSRange (Results 1 – 1 of 1) sorted by relevance
4010 ConstantRange SExtStepSRange = StepSRange.sextOrTrunc(BitWidth * 2 + 1); in getRange() local4020 if (ZExtStartURange.add(ZExtMaxBECountRange.multiply(SExtStepSRange)) == in getRange()4042 if (SExtStartSRange.add(ZExtMaxBECountRange.multiply(SExtStepSRange)) == in getRange()