Lines Matching defs:KnownVal

1264     auto KF = [NUW, NSW](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1266       return KnownBits::shl(KnownVal, KnownAmt, NUW, NSW, ShAmtNonZero);
1278     auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1280       return KnownBits::lshr(KnownVal, KnownAmt, ShAmtNonZero, Exact);
1292     auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1294       return KnownBits::ashr(KnownVal, KnownAmt, ShAmtNonZero, Exact);
2696                            const KnownBits &KnownVal) {
2722   if (KnownVal.isUnknown())
2728   unsigned NumBits = KnownVal.getBitWidth();
2732   if (!ShiftOp(KnownVal.One, MaxShift).isZero())
2737   if (InvShiftOp(KnownVal.Zero, NumBits - MaxShift)