Home | History | Annotate | Download | only in Analysis

Lines Matching defs:ShiftAmt

329       uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
330 APInt Mask2(Mask.lshr(ShiftAmt));
334 KnownZero <<= ShiftAmt;
335 KnownOne <<= ShiftAmt;
336 KnownZero |= APInt::getLowBitsSet(BitWidth, ShiftAmt); // low bits known 0
344 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth);
347 APInt Mask2(Mask.shl(ShiftAmt));
351 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
352 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
354 KnownZero |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
362 uint64_t ShiftAmt = SA->getLimitedValue(BitWidth-1);
365 APInt Mask2(Mask.shl(ShiftAmt));
369 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt);
370 KnownOne = APIntOps::lshr(KnownOne, ShiftAmt);
372 APInt HighBits(APInt::getHighBitsSet(BitWidth, ShiftAmt));
373 if (KnownZero[BitWidth-ShiftAmt-1]) // New bits are known zero.
375 else if (KnownOne[BitWidth-ShiftAmt-1]) // New bits are known one.