Lines Matching refs:getUnsignedMax
94 APInt UMax(CR.getUnsignedMax()); in makeAllowedICmpRegion()
106 return getNonEmpty(APInt::getMinValue(W), CR.getUnsignedMax() + 1); in makeAllowedICmpRegion()
252 -Other.getUnsignedMax()); in makeGuaranteedNoWrapRegion()
263 return getNonEmpty(Other.getUnsignedMax(), APInt::getMinValue(BitWidth)); in makeGuaranteedNoWrapRegion()
274 return makeExactMulNUWRegion(Other.getUnsignedMax()); in makeGuaranteedNoWrapRegion()
292 APInt ShAmtUMax = ShAmt.getUnsignedMax(); in makeGuaranteedNoWrapRegion()
370 APInt ConstantRange::getUnsignedMax() const { in getUnsignedMax() function in ConstantRange
425 return getUnsignedMax().getActiveBits(); in getActiveBits()
996 if (getUnsignedMax().ult(Other.getUnsignedMin())) in subWithNoWrap()
1022 APInt this_max = getUnsignedMax().zext(getBitWidth() * 2); in multiply()
1024 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply()
1079 APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1; in umax()
1107 APInt NewU = APIntOps::umin(getUnsignedMax(), Other.getUnsignedMax()) + 1; in umin()
1116 if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue()) in udiv()
1119 APInt Lower = getUnsignedMin().udiv(RHS.getUnsignedMax()); in udiv()
1131 APInt Upper = getUnsignedMax().udiv(RHS_umin) + 1; in udiv()
1221 if (isEmptySet() || RHS.isEmptySet() || RHS.getUnsignedMax().isNullValue()) in urem()
1234 if (getUnsignedMax().ult(RHS.getUnsignedMin())) in urem()
1238 APInt Upper = APIntOps::umin(getUnsignedMax(), RHS.getUnsignedMax() - 1) + 1; in urem()
1257 APInt MaxAbsRHS = AbsRHS.getUnsignedMax(); in srem()
1308 APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax()); in binaryAnd()
1350 APInt max = getUnsignedMax(); in shl()
1351 APInt Other_umax = Other.getUnsignedMax(); in shl()
1375 APInt max = getUnsignedMax().lshr(Other.getUnsignedMin()) + 1; in lshr()
1376 APInt min = getUnsignedMin().lshr(Other.getUnsignedMax()); in lshr()
1398 APInt PosMin = getSignedMin().ashr(Other.getUnsignedMax()); in ashr()
1405 APInt NegMax = getSignedMax().ashr(Other.getUnsignedMax()) + 1; in ashr()
1436 APInt NewU = getUnsignedMax().uadd_sat(Other.getUnsignedMax()) + 1; in uadd_sat()
1453 APInt NewL = getUnsignedMin().usub_sat(Other.getUnsignedMax()); in usub_sat()
1454 APInt NewU = getUnsignedMax().usub_sat(Other.getUnsignedMin()) + 1; in usub_sat()
1472 APInt NewU = getUnsignedMax().umul_sat(Other.getUnsignedMax()) + 1; in umul_sat()
1507 APInt NewU = getUnsignedMax().ushl_sat(Other.getUnsignedMax()) + 1; in ushl_sat()
1516 APInt ShAmtMin = Other.getUnsignedMin(), ShAmtMax = Other.getUnsignedMax(); in sshl_sat()
1577 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedAddMayOverflow()
1578 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedAddMayOverflow()
1623 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedSubMayOverflow()
1624 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedSubMayOverflow()
1669 APInt Min = getUnsignedMin(), Max = getUnsignedMax(); in unsignedMulMayOverflow()
1670 APInt OtherMin = Other.getUnsignedMin(), OtherMax = Other.getUnsignedMax(); in unsignedMulMayOverflow()