Home | History | Annotate | Download | only in Analysis

Lines Matching defs:ShiftAmt

799     unsigned ShiftAmt = SA->getLimitedValue(BitWidth-1);
802 KnownZero = KZF(KnownZero, ShiftAmt);
803 KnownOne = KOF(KnownOne, ShiftAmt);
836 for (unsigned ShiftAmt = 0; ShiftAmt < BitWidth; ++ShiftAmt) {
839 if ((ShiftAmt & ~ShiftAmtKZ) != ShiftAmt)
841 if ((ShiftAmt | ShiftAmtKO) != ShiftAmt)
846 if (ShiftAmt == 0) {
854 KnownZero &= KZF(KnownZero2, ShiftAmt);
855 KnownOne &= KOF(KnownOne2, ShiftAmt);
1023 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1024 return (KnownZero << ShiftAmt) |
1025 APInt::getLowBitsSet(BitWidth, ShiftAmt); // Low bits known 0.
1028 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1029 return KnownOne << ShiftAmt;
1039 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1040 return APIntOps::lshr(KnownZero, ShiftAmt) |
1042 APInt::getHighBitsSet(BitWidth, ShiftAmt);
1045 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1046 return APIntOps::lshr(KnownOne, ShiftAmt);
1056 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1057 return APIntOps::ashr(KnownZero, ShiftAmt);
1060 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1061 return APIntOps::ashr(KnownOne, ShiftAmt);