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