Home | History | Annotate | Download | only in Analysis

Lines Matching refs:ShiftAmt

475       uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
478 KnownZero <<= ShiftAmt;
479 KnownOne <<= ShiftAmt;
480 KnownZero |= APInt::getLowBitsSet(BitWidth, ShiftAmt); // low bits known 0
488 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
493 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
494 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
496 KnownZero |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
504 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth-1);
509 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
510 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
512 APInt HighBits(APInt::getHighBitsSet(BitWidth, ShiftAmt));
513 if (KnownZero[BitWidth-ShiftAmt-1]) // New bits are known zero.
515 else if (KnownOne[BitWidth-ShiftAmt-1]) // New bits are known one.