Lines Matching refs:Lower

43     : Lower(Full ? APInt::getMaxValue(BitWidth) : APInt::getMinValue(BitWidth)),  in ConstantRange()
44 Upper(Lower) {} in ConstantRange()
47 : Lower(std::move(V)), Upper(Lower + 1) {} in ConstantRange()
50 : Lower(std::move(L)), Upper(std::move(U)) { in ConstantRange()
51 assert(Lower.getBitWidth() == Upper.getBitWidth() && in ConstantRange()
53 assert((Lower != Upper || (Lower.isMaxValue() || Lower.isMinValue())) && in ConstantRange()
286 APInt Lower, Upper; in makeGuaranteedNoWrapRegion() local
288 Lower = APIntOps::RoundingSDiv(MaxValue, V, APInt::Rounding::UP); in makeGuaranteedNoWrapRegion()
291 Lower = APIntOps::RoundingUDiv(MinValue, V, APInt::Rounding::UP); in makeGuaranteedNoWrapRegion()
294 Lower = APIntOps::RoundingSDiv(MinValue, V, APInt::Rounding::UP); in makeGuaranteedNoWrapRegion()
298 Lower = Lower.zextOrSelf(BitWidth); in makeGuaranteedNoWrapRegion()
301 Lower = Lower.sextOrSelf(BitWidth); in makeGuaranteedNoWrapRegion()
307 return ConstantRange(Lower, Upper + 1); in makeGuaranteedNoWrapRegion()
320 return Lower == Upper && Lower.isMaxValue(); in isFullSet()
324 return Lower == Upper && Lower.isMinValue(); in isEmptySet()
328 return Lower.ugt(Upper); in isWrappedSet()
341 return (Upper - Lower).zext(getBitWidth()+1); in getSetSize()
351 return (Upper - Lower).ult(Other.Upper - Other.Lower); in isSizeStrictlySmallerThan()
362 return (Upper - Lower).ugt(MaxSize); in isSizeLargerThan()
378 if (isFullSet() || Lower.sgt(Upper)) in getSignedMax()
384 if (isFullSet() || (Lower.sgt(Upper) && !getUpper().isMinSignedValue())) in getSignedMin()
390 if (Lower == Upper) in contains()
394 return Lower.ule(V) && V.ult(Upper); in contains()
395 return Lower.ule(V) || V.ult(Upper); in contains()
406 return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper); in contains()
411 Lower.ule(Other.getLower()); in contains()
413 return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower()); in contains()
419 if (Lower == Upper) in subtract()
421 return ConstantRange(Lower - Val, Upper - Val); in subtract()
440 if (Lower.ult(CR.Lower)) { in intersectWith()
441 if (Upper.ule(CR.Lower)) in intersectWith()
445 return ConstantRange(CR.Lower, Upper); in intersectWith()
452 if (Lower.ult(CR.Upper)) in intersectWith()
453 return ConstantRange(Lower, CR.Upper); in intersectWith()
459 if (CR.Lower.ult(Upper)) { in intersectWith()
463 if (CR.Upper.ule(Lower)) in intersectWith()
464 return ConstantRange(CR.Lower, Upper); in intersectWith()
470 if (CR.Lower.ult(Lower)) { in intersectWith()
471 if (CR.Upper.ule(Lower)) in intersectWith()
474 return ConstantRange(Lower, CR.Upper); in intersectWith()
480 if (CR.Lower.ult(Upper)) { in intersectWith()
486 if (CR.Lower.ult(Lower)) in intersectWith()
487 return ConstantRange(Lower, CR.Upper); in intersectWith()
491 if (CR.Upper.ule(Lower)) { in intersectWith()
492 if (CR.Lower.ult(Lower)) in intersectWith()
495 return ConstantRange(CR.Lower, Upper); in intersectWith()
512 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) { in unionWith()
514 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper; in unionWith()
516 return ConstantRange(Lower, CR.Upper); in unionWith()
517 return ConstantRange(CR.Lower, Upper); in unionWith()
520 APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower; in unionWith()
532 if (CR.Upper.ule(Upper) || CR.Lower.uge(Lower)) in unionWith()
537 if (CR.Lower.ule(Upper) && Lower.ule(CR.Upper)) in unionWith()
543 if (Upper.ule(CR.Lower) && CR.Upper.ule(Lower)) { in unionWith()
544 APInt d1 = CR.Lower - Upper, d2 = Lower - CR.Upper; in unionWith()
546 return ConstantRange(Lower, CR.Upper); in unionWith()
547 return ConstantRange(CR.Lower, Upper); in unionWith()
552 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper)) in unionWith()
553 return ConstantRange(CR.Lower, Upper); in unionWith()
557 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) && in unionWith()
559 return ConstantRange(Lower, CR.Upper); in unionWith()
564 if (CR.Lower.ule(Upper) || Lower.ule(CR.Upper)) in unionWith()
567 APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower; in unionWith()
625 LowerExt = Lower.zext(DstTySize); in zeroExtend()
630 return ConstantRange(Lower.zext(DstTySize), Upper.zext(DstTySize)); in zeroExtend()
641 return ConstantRange(Lower.sext(DstTySize), Upper.zext(DstTySize)); in signExtend()
648 return ConstantRange(Lower.sext(DstTySize), Upper.sext(DstTySize)); in signExtend()
658 APInt LowerDiv(Lower), UpperDiv(Upper); in truncate()
926 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax()); in udiv() local
942 if (Lower == Upper) in udiv()
945 return ConstantRange(std::move(Lower), std::move(Upper)); in udiv()
1067 return ConstantRange(Upper, Lower); in inverse()
1076 OS << "[" << Lower << "," << Upper << ")"; in print()