Lines Matching refs:Lower

44     : Lower(Full ? APInt::getMaxValue(BitWidth) : APInt::getMinValue(BitWidth)),  in ConstantRange()
45 Upper(Lower) {} in ConstantRange()
48 : Lower(std::move(V)), Upper(Lower + 1) {} in ConstantRange()
51 : Lower(std::move(L)), Upper(std::move(U)) { in ConstantRange()
52 assert(Lower.getBitWidth() == Upper.getBitWidth() && in ConstantRange()
54 assert((Lower != Upper || (Lower.isMaxValue() || Lower.isMinValue())) && in ConstantRange()
72 APInt Lower = Known.getMinValue(), Upper = Known.getMaxValue(); in fromKnownBits() local
73 Lower.setSignBit(); in fromKnownBits()
75 return ConstantRange(Lower, Upper + 1); in fromKnownBits()
216 APInt Lower, Upper; in makeExactMulNSWRegion() local
218 Lower = APIntOps::RoundingSDiv(MaxValue, V, APInt::Rounding::UP); in makeExactMulNSWRegion()
221 Lower = APIntOps::RoundingSDiv(MinValue, V, APInt::Rounding::UP); in makeExactMulNSWRegion()
227 return ConstantRange(Lower, Upper + 1); in makeExactMulNSWRegion()
311 return Lower == Upper && Lower.isMaxValue(); in isFullSet()
315 return Lower == Upper && Lower.isMinValue(); in isEmptySet()
319 return Lower.ugt(Upper) && !Upper.isNullValue(); in isWrappedSet()
323 return Lower.ugt(Upper); in isUpperWrapped()
327 return Lower.sgt(Upper) && !Upper.isMinSignedValue(); in isSignWrappedSet()
331 return Lower.sgt(Upper); in isUpperSignWrapped()
341 return (Upper - Lower).ult(Other.Upper - Other.Lower); in isSizeStrictlySmallerThan()
352 return (Upper - Lower).ugt(MaxSize); in isSizeLargerThan()
367 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
395 if (Lower == Upper) in contains()
399 return Lower.ule(V) && V.ult(Upper); in contains()
400 return Lower.ule(V) || V.ult(Upper); in contains()
411 return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper); in contains()
416 Lower.ule(Other.getLower()); in contains()
418 return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower()); in contains()
439 if (Lower == Upper) in subtract()
441 return ConstantRange(Lower - Val, Upper - Val); in subtract()
481 if (Lower.ult(CR.Lower)) { in intersectWith()
484 if (Upper.ule(CR.Lower)) in intersectWith()
490 return ConstantRange(CR.Lower, Upper); in intersectWith()
503 if (Lower.ult(CR.Upper)) in intersectWith()
504 return ConstantRange(Lower, CR.Upper); in intersectWith()
512 if (CR.Lower.ult(Upper)) { in intersectWith()
520 if (CR.Upper.ule(Lower)) in intersectWith()
521 return ConstantRange(CR.Lower, Upper); in intersectWith()
527 if (CR.Lower.ult(Lower)) { in intersectWith()
530 if (CR.Upper.ule(Lower)) in intersectWith()
535 return ConstantRange(Lower, CR.Upper); in intersectWith()
546 if (CR.Lower.ult(Upper)) in intersectWith()
551 if (CR.Lower.ult(Lower)) in intersectWith()
552 return ConstantRange(Lower, CR.Upper); in intersectWith()
558 if (CR.Upper.ule(Lower)) { in intersectWith()
561 if (CR.Lower.ult(Lower)) in intersectWith()
566 return ConstantRange(CR.Lower, Upper); in intersectWith()
591 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) in unionWith()
593 ConstantRange(Lower, CR.Upper), ConstantRange(CR.Lower, Upper), Type); in unionWith()
595 APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower; in unionWith()
607 if (CR.Upper.ule(Upper) || CR.Lower.uge(Lower)) in unionWith()
612 if (CR.Lower.ule(Upper) && Lower.ule(CR.Upper)) in unionWith()
620 if (Upper.ult(CR.Lower) && CR.Upper.ult(Lower)) in unionWith()
622 ConstantRange(Lower, CR.Upper), ConstantRange(CR.Lower, Upper), Type); in unionWith()
626 if (Upper.ult(CR.Lower) && Lower.ule(CR.Upper)) in unionWith()
627 return ConstantRange(CR.Lower, Upper); in unionWith()
631 assert(CR.Lower.ule(Upper) && CR.Upper.ult(Lower) && in unionWith()
633 return ConstantRange(Lower, CR.Upper); in unionWith()
638 if (CR.Lower.ule(Upper) || Lower.ule(CR.Upper)) in unionWith()
641 APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower; in unionWith()
699 LowerExt = Lower.zext(DstTySize); in zeroExtend()
704 return ConstantRange(Lower.zext(DstTySize), Upper.zext(DstTySize)); in zeroExtend()
715 return ConstantRange(Lower.sext(DstTySize), Upper.zext(DstTySize)); in signExtend()
722 return ConstantRange(Lower.sext(DstTySize), Upper.sext(DstTySize)); in signExtend()
732 APInt LowerDiv(Lower), UpperDiv(Upper); in truncate()
1119 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax()); in udiv() local
1132 return getNonEmpty(std::move(Lower), std::move(Upper)); in udiv()
1151 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()
1152 (PosL.Upper - 1).sdiv(PosR.Lower) + 1); in sdiv()
1161 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower); in sdiv()
1162 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) { in sdiv()
1165 if (!NegR.Lower.isAllOnesValue()) { in sdiv()
1167 if (RHS.Lower.isAllOnesValue()) in sdiv()
1175 ConstantRange(Lo, NegL.Lower.sdiv(AdjNegRUpper - 1) + 1)); in sdiv()
1184 AdjNegLLower = Lower; in sdiv()
1187 AdjNegLLower = NegL.Lower + 1; in sdiv()
1195 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1)); in sdiv()
1203 PosL.Lower.sdiv(NegR.Lower) + 1); in sdiv()
1208 ConstantRange(NegL.Lower.sdiv(PosR.Lower), in sdiv()
1283 APInt Lower = APIntOps::umax(MinLHS, -MaxAbsRHS + 1); in srem() local
1284 return ConstantRange(std::move(Lower), APInt(getBitWidth(), 1)); in srem()
1288 APInt Lower = APIntOps::umax(MinLHS, -MaxAbsRHS + 1); in srem() local
1290 return ConstantRange(std::move(Lower), std::move(Upper)); in srem()
1527 return ConstantRange(Upper, Lower); in inverse()
1537 if (Upper.isStrictlyPositive() || !Lower.isStrictlyPositive()) in abs()
1540 Lo = APIntOps::umin(Lower, -Upper + 1); in abs()
1690 OS << "[" << Lower << "," << Upper << ")"; in print()