Lines Matching full:apint
34 Lower = Upper = APInt::getMaxValue(BitWidth);
36 Lower = Upper = APInt::getMinValue(BitWidth);
68 APInt UMax(CR.getUnsignedMax());
71 return ConstantRange(APInt::getMinValue(W), UMax);
74 APInt SMax(CR.getSignedMax());
77 return ConstantRange(APInt::getSignedMinValue(W), SMax);
80 APInt UMax(CR.getUnsignedMax());
83 return ConstantRange(APInt::getMinValue(W), UMax + 1);
86 APInt SMax(CR.getSignedMax());
89 return ConstantRange(APInt::getSignedMinValue(W), SMax + 1);
92 APInt UMin(CR.getUnsignedMin());
95 return ConstantRange(UMin + 1, APInt::getNullValue(W));
98 APInt SMin(CR.getSignedMin());
101 return ConstantRange(SMin + 1, APInt::getSignedMinValue(W));
104 APInt UMin(CR.getUnsignedMin());
107 return ConstantRange(UMin, APInt::getNullValue(W));
110 APInt SMin(CR.getSignedMin());
113 return ConstantRange(SMin, APInt::getSignedMinValue(W));
151 return contains(APInt::getSignedMaxValue(getBitWidth())) &&
152 contains(APInt::getSignedMinValue(getBitWidth()));
157 APInt ConstantRange::getSetSize() const {
159 APInt Size(getBitWidth()+1, 0);
171 APInt ConstantRange::getUnsignedMax() const {
173 return APInt::getMaxValue(getBitWidth());
180 APInt ConstantRange::getUnsignedMin() const {
182 return APInt::getMinValue(getBitWidth());
189 APInt ConstantRange::getSignedMax() const {
190 APInt SignedMax(APInt::getSignedMaxValue(getBitWidth()));
204 APInt ConstantRange::getSignedMin() const {
205 APInt SignedMin(APInt::getSignedMinValue(getBitWidth()));
220 bool ConstantRange::contains(const APInt &V) const {
253 ConstantRange ConstantRange::subtract(const APInt &Val) const {
365 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper;
371 APInt L = Lower, U = Upper;
398 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper;
421 APInt L = Lower, U = Upper;
441 APInt LowerExt(DstTySize, 0);
444 return ConstantRange(LowerExt, APInt::getOneBitSet(DstTySize, SrcTySize));
465 return ConstantRange(APInt::getHighBitsSet(DstTySize,DstTySize-SrcTySize+1),
466 APInt::getLowBitsSet(DstTySize, SrcTySize-1) + 1);
483 APInt MaxValue = APInt::getMaxValue(DstTySize).zext(getBitWidth());
484 APInt MaxBitValue(getBitWidth(), 0);
487 APInt LowerDiv(Lower), UpperDiv(Upper);
498 Union = ConstantRange(APInt::getMaxValue(DstTySize),Upper.trunc(DstTySize));
499 UpperDiv = APInt::getMaxValue(getBitWidth());
509 APInt Div(getBitWidth(), 0);
510 APInt::udivrem(LowerDiv, MaxBitValue, Div, LowerDiv);
519 APInt UpperModulo = UpperDiv - MaxBitValue;
556 APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();
557 APInt NewLower = getLower() + Other.getLower();
558 APInt NewUpper = getUpper() + Other.getUpper() - 1;
577 APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();
578 APInt NewLower = getLower() - Other.getUpper() + 1;
579 APInt NewUpper = getUpper() - Other.getLower();
608 APInt this_min = getUnsignedMin().zext(getBitWidth() * 2);
609 APInt this_max = getUnsignedMax().zext(getBitWidth() * 2);
610 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2);
611 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2);
630 auto Compare = [](const APInt &A, const APInt &B) { return A.slt(B); };
643 APInt NewL = APIntOps::smax(getSignedMin(), Other.getSignedMin());
644 APInt NewU = APIntOps::smax(getSignedMax(), Other.getSignedMax()) + 1;
656 APInt NewL = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());
657 APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1;
670 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax());
672 APInt RHS_umin = RHS.getUnsignedMin();
679 RHS_umin = APInt(getBitWidth(), 1);
682 APInt Upper = getUnsignedMax().udiv(RHS_umin) + 1;
699 APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax());
702 return ConstantRange(APInt::getNullValue(getBitWidth()), umin + 1);
712 APInt umax = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());
715 return ConstantRange(umax, APInt::getNullValue(getBitWidth()));
723 APInt min = getUnsignedMin().shl(Other.getUnsignedMin());
724 APInt max = getUnsignedMax().shl(Other.getUnsignedMax());
727 APInt Zeros(getBitWidth(), getUnsignedMax().countLeadingZeros());
740 APInt max = getUnsignedMax().lshr(Other.getUnsignedMin());
741 APInt min = getUnsignedMin().lshr(Other.getUnsignedMax());
