Lines Matching defs:SMax
119 APInt SMax(CR.getSignedMax());
120 if (SMax.isMinSignedValue())
122 return ConstantRange(APInt::getSignedMinValue(W), std::move(SMax));
337 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax();
340 SMax.isStrictlyPositive() ? SignedMinVal - SMax : SignedMinVal);
348 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax();
350 SMax.isStrictlyPositive() ? SignedMinVal + SMax : SignedMinVal,
811 APInt SMax = APInt::getSignedMaxValue(BW);
814 SMax = SMax.sext(ResultBitWidth);
816 return getNonEmpty(std::move(SMin), std::move(SMax) + 1);
1781 APInt SMin = getSignedMin(), SMax = getSignedMax();
1786 if (SMax.isMinSignedValue())
1793 return ConstantRange(SMin, SMax + 1);
1796 if (SMax.isNegative())
1797 return ConstantRange(-SMax, -SMin + 1);
1801 APIntOps::umax(-SMin, SMax) + 1);