Home | History | Annotate | Download | only in Analysis

Lines Matching defs:ShiftAmt

478       uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
480 KnownZero <<= ShiftAmt;
481 KnownOne <<= ShiftAmt;
482 KnownZero |= APInt::getLowBitsSet(BitWidth, ShiftAmt); // low bits known 0
490 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
494 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
495 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
497 KnownZero |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
505 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.