Home | History | Annotate | Download | only in Analysis

Lines Matching refs:ShiftAmt

487       uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
490 KnownZero <<= ShiftAmt;
491 KnownOne <<= ShiftAmt;
492 KnownZero |= APInt::getLowBitsSet(BitWidth, ShiftAmt); // low bits known 0
500 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
505 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
506 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
508 KnownZero |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
516 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth-1);
521 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
522 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
524 APInt HighBits(APInt::getHighBitsSet(BitWidth, ShiftAmt));
525 if (KnownZero[BitWidth-ShiftAmt-1]) // New bits are known zero.
527 else if (KnownOne[BitWidth-ShiftAmt-1]) // New bits are known one.