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