Lines Matching refs:APInt
34 Lower = Upper = APInt::getMaxValue(BitWidth);
36 Lower = Upper = APInt::getMinValue(BitWidth);
67 APInt UMax(CR.getUnsignedMax());
70 return ConstantRange(APInt::getMinValue(W), UMax);
73 APInt SMax(CR.getSignedMax());
76 return ConstantRange(APInt::getSignedMinValue(W), SMax);
79 APInt UMax(CR.getUnsignedMax());
82 return ConstantRange(APInt::getMinValue(W), UMax + 1);
85 APInt SMax(CR.getSignedMax());
88 return ConstantRange(APInt::getSignedMinValue(W), SMax + 1);
91 APInt UMin(CR.getUnsignedMin());
94 return ConstantRange(UMin + 1, APInt::getNullValue(W));
97 APInt SMin(CR.getSignedMin());
100 return ConstantRange(SMin + 1, APInt::getSignedMinValue(W));
103 APInt UMin(CR.getUnsignedMin());
106 return ConstantRange(UMin, APInt::getNullValue(W));
109 APInt SMin(CR.getSignedMin());
112 return ConstantRange(SMin, APInt::getSignedMinValue(W));
140 return contains(APInt::getSignedMaxValue(getBitWidth())) &&
141 contains(APInt::getSignedMinValue(getBitWidth()));
146 APInt ConstantRange::getSetSize() const {
148 APInt Size(getBitWidth()+1, 0);
160 APInt ConstantRange::getUnsignedMax() const {
162 return APInt::getMaxValue(getBitWidth());
169 APInt ConstantRange::getUnsignedMin() const {
171 return APInt::getMinValue(getBitWidth());
178 APInt ConstantRange::getSignedMax() const {
179 APInt SignedMax(APInt::getSignedMaxValue(getBitWidth()));
193 APInt ConstantRange::getSignedMin() const {
194 APInt SignedMin(APInt::getSignedMinValue(getBitWidth()));
209 bool ConstantRange::contains(const APInt &V) const {
242 ConstantRange ConstantRange::subtract(const APInt &Val) const {
354 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper;
360 APInt L = Lower, U = Upper;
387 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper;
410 APInt L = Lower, U = Upper;
430 APInt LowerExt(DstTySize, 0);
433 return ConstantRange(LowerExt, APInt::getOneBitSet(DstTySize, SrcTySize));
454 return ConstantRange(APInt::getHighBitsSet(DstTySize,DstTySize-SrcTySize+1),
455 APInt::getLowBitsSet(DstTySize, SrcTySize-1) + 1);
472 APInt MaxValue = APInt::getMaxValue(DstTySize).zext(getBitWidth());
473 APInt MaxBitValue(getBitWidth(), 0);
476 APInt LowerDiv(Lower), UpperDiv(Upper);
487 Union = ConstantRange(APInt::getMaxValue(DstTySize),Upper.trunc(DstTySize));
488 UpperDiv = APInt::getMaxValue(getBitWidth());
498 APInt Div(getBitWidth(), 0);
499 APInt::udivrem(LowerDiv, MaxBitValue, Div, LowerDiv);
508 APInt UpperModulo = UpperDiv - MaxBitValue;
545 APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();
546 APInt NewLower = getLower() + Other.getLower();
547 APInt NewUpper = getUpper() + Other.getUpper() - 1;
566 APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();
567 APInt NewLower = getLower() - Other.getUpper() + 1;
568 APInt NewUpper = getUpper() - Other.getLower();
590 APInt this_min = getUnsignedMin().zext(getBitWidth() * 2);
591 APInt this_max = getUnsignedMax().zext(getBitWidth() * 2);
592 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2);
593 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2);
606 APInt NewL = APIntOps::smax(getSignedMin(), Other.getSignedMin());
607 APInt NewU = APIntOps::smax(getSignedMax(), Other.getSignedMax()) + 1;
619 APInt NewL = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());
620 APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1;
633 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax());
635 APInt RHS_umin = RHS.getUnsignedMin();
642 RHS_umin = APInt(getBitWidth(), 1);
645 APInt Upper = getUnsignedMax().udiv(RHS_umin) + 1;
662 APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax());
665 return ConstantRange(APInt::getNullValue(getBitWidth()), umin + 1);
675 APInt umax = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());
678 return ConstantRange(umax, APInt::getNullValue(getBitWidth()));
686 APInt min = getUnsignedMin().shl(Other.getUnsignedMin());
687 APInt max = getUnsignedMax().shl(Other.getUnsignedMax());
690 APInt Zeros(getBitWidth(), getUnsignedMax().countLeadingZeros());
703 APInt max = getUnsignedMax().lshr(Other.getUnsignedMin());
704 APInt min = getUnsignedMin().lshr(Other.getUnsignedMax());
