Lines Matching defs:SMin
135 APInt SMin(CR.getSignedMin());
136 if (SMin.isMaxSignedValue())
138 return ConstantRange(std::move(SMin) + 1, APInt::getSignedMinValue(W));
337 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax();
339 SMin.isNegative() ? SignedMinVal - SMin : SignedMinVal,
348 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax();
351 SMin.isNegative() ? SignedMinVal + SMin : SignedMinVal);
810 APInt SMin = APInt::getSignedMinValue(BW);
813 SMin = SMin.sext(ResultBitWidth);
816 return getNonEmpty(std::move(SMin), std::move(SMax) + 1);
1781 APInt SMin = getSignedMin(), SMax = getSignedMax();
1784 if (IntMinIsPoison && SMin.isMinSignedValue()) {
1788 ++SMin;
1792 if (SMin.isNonNegative())
1793 return ConstantRange(SMin, SMax + 1);
1797 return ConstantRange(-SMax, -SMin + 1);
1801 APIntOps::umax(-SMin, SMax) + 1);