Lines Matching defs:KnownVal

1378     auto KF = [NUW, NSW](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1380       return KnownBits::shl(KnownVal, KnownAmt, NUW, NSW, ShAmtNonZero);
1392     auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1394       return KnownBits::lshr(KnownVal, KnownAmt, ShAmtNonZero, Exact);
1406     auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1408       return KnownBits::ashr(KnownVal, KnownAmt, ShAmtNonZero, Exact);
2889                            const KnownBits &KnownVal) {
2915   if (KnownVal.isUnknown())
2921   unsigned NumBits = KnownVal.getBitWidth();
2925   if (!ShiftOp(KnownVal.One, MaxShift).isZero())
2930   if (InvShiftOp(KnownVal.Zero, NumBits - MaxShift)