Home | History | Annotate | Download | only in Analysis

Lines Matching defs:ShiftAmt

992     unsigned ShiftAmt = SA->getLimitedValue(BitWidth-1);
995 KnownZero = KZF(KnownZero, ShiftAmt);
996 KnownOne = KOF(KnownOne, ShiftAmt);
1028 for (unsigned ShiftAmt = 0; ShiftAmt < BitWidth; ++ShiftAmt) {
1031 if ((ShiftAmt & ~ShiftAmtKZ) != ShiftAmt)
1033 if ((ShiftAmt | ShiftAmtKO) != ShiftAmt)
1038 if (ShiftAmt == 0) {
1046 KnownZero &= KZF(KnownZero2, ShiftAmt);
1047 KnownOne &= KOF(KnownOne2, ShiftAmt);
1214 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1215 return (KnownZero << ShiftAmt) |
1216 APInt::getLowBitsSet(BitWidth, ShiftAmt); // Low bits known 0.
1219 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1220 return KnownOne << ShiftAmt;
1230 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1231 return APIntOps::lshr(KnownZero, ShiftAmt) |
1233 APInt::getHighBitsSet(BitWidth, ShiftAmt);
1236 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1237 return APIntOps::lshr(KnownOne, ShiftAmt);
1247 auto KZF = [BitWidth](const APInt &KnownZero, unsigned ShiftAmt) {
1248 return APIntOps::ashr(KnownZero, ShiftAmt);
1251 auto KOF = [BitWidth](const APInt &KnownOne, unsigned ShiftAmt) {
1252 return APIntOps::ashr(KnownOne, ShiftAmt);