• Home
  • Raw
  • Download

Lines Matching refs:getUnsignedMax

94     APInt UMax(CR.getUnsignedMax());  in makeAllowedICmpRegion()
106 return getNonEmpty(APInt::getMinValue(W), CR.getUnsignedMax() + 1); in makeAllowedICmpRegion()
247 -Other.getUnsignedMax()); in makeGuaranteedNoWrapRegion()
258 return getNonEmpty(Other.getUnsignedMax(), APInt::getMinValue(BitWidth)); in makeGuaranteedNoWrapRegion()
269 return makeExactMulNUWRegion(Other.getUnsignedMax()); in makeGuaranteedNoWrapRegion()
287 APInt ShAmtUMax = ShAmt.getUnsignedMax(); in makeGuaranteedNoWrapRegion()
365 APInt ConstantRange::getUnsignedMax() const { in getUnsignedMax() function in ConstantRange
420 return getUnsignedMax().getActiveBits(); in getActiveBits()
991 if (getUnsignedMax().ult(Other.getUnsignedMin())) in subWithNoWrap()
1017 APInt this_max = getUnsignedMax().zext(getBitWidth() * 2); in multiply()
1019 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply()
1071 APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1; in umax()
1093 APInt NewU = APIntOps::umin(getUnsignedMax(), Other.getUnsignedMax()) + 1; in umin()
1099 if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue()) in udiv()
1102 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax()); in udiv()
1114 APInt Upper = getUnsignedMax().udiv(RHS_umin) + 1; in udiv()
1204 if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue()) in urem()
1208 if (getUnsignedMax().ult(RHS.getUnsignedMin())) in urem()
1212 APInt Upper = APIntOps::umin(getUnsignedMax(), RHS.getUnsignedMax() - 1) + 1; in urem()
1222 APInt MaxAbsRHS = AbsRHS.getUnsignedMax(); in srem()
1279 APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax()); in binaryAnd()
1321 APInt max = getUnsignedMax(); in shl()
1322 APInt Other_umax = Other.getUnsignedMax(); in shl()
1346 APInt max = getUnsignedMax().lshr(Other.getUnsignedMin()) + 1; in lshr()
1347 APInt min = getUnsignedMin().lshr(Other.getUnsignedMax()); in lshr()
1369 APInt PosMin = getSignedMin().ashr(Other.getUnsignedMax()); in ashr()
1376 APInt NegMax = getSignedMax().ashr(Other.getUnsignedMax()) + 1; in ashr()
1407 APInt NewU = getUnsignedMax().uadd_sat(Other.getUnsignedMax()) + 1; in uadd_sat()
1424 APInt NewL = getUnsignedMin().usub_sat(Other.getUnsignedMax()); in usub_sat()
1425 APInt NewU = getUnsignedMax().usub_sat(Other.getUnsignedMin()) + 1; in usub_sat()
1443 APInt NewU = getUnsignedMax().umul_sat(Other.getUnsignedMax()) + 1; in umul_sat()
1478 APInt NewU = getUnsignedMax().ushl_sat(Other.getUnsignedMax()) + 1; in ushl_sat()
1487 APInt ShAmtMin = Other.getUnsignedMin(), ShAmtMax = Other.getUnsignedMax(); in sshl_sat()
1548 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedAddMayOverflow()
1549 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedAddMayOverflow()
1594 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedSubMayOverflow()
1595 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedSubMayOverflow()
1640 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedMulMayOverflow()
1641 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedMulMayOverflow()