Lines Matching refs:SMax
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()
308 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax(); in makeGuaranteedNoWrapRegion() local
311 SMax.isStrictlyPositive() ? SignedMinVal - SMax : SignedMinVal); in makeGuaranteedNoWrapRegion()
319 APInt SMin = Other.getSignedMin(), SMax = Other.getSignedMax(); in makeGuaranteedNoWrapRegion() local
321 SMax.isStrictlyPositive() ? SignedMinVal + SMax : SignedMinVal, in makeGuaranteedNoWrapRegion()
755 APInt SMax = APInt::getSignedMaxValue(BW); in castOp() local
758 SMax = SMax.sext(ResultBitWidth); in castOp()
760 return getNonEmpty(std::move(SMin), std::move(SMax) + 1); in castOp()
1688 APInt SMin = getSignedMin(), SMax = getSignedMax(); in abs() local
1693 if (SMax.isMinSignedValue()) in abs()
1700 return ConstantRange(SMin, SMax + 1); in abs()
1703 if (SMax.isNegative()) in abs()
1704 return ConstantRange(-SMax, -SMin + 1); in abs()
1708 APIntOps::umax(-SMin, SMax) + 1); in abs()