Lines Matching defs:Known

58     ForeachKnownBits(Bits, [&](const KnownBits &Known) {
59 KnownBits Computed = BitsFn(Known);
64 ForeachNumInKnownBits(Known, [&](const APInt &N) {
72 EXPECT_TRUE(checkResult(Name, Exact, Computed, Known, CheckOptimality));
263 KnownBits Known(2);
264 EXPECT_TRUE(Known.isSignUnknown());
265 Known.Zero.setBit(0);
266 EXPECT_TRUE(Known.isSignUnknown());
267 Known.Zero.setBit(1);
268 EXPECT_FALSE(Known.isSignUnknown());
269 Known.Zero.clearBit(0);
270 EXPECT_FALSE(Known.isSignUnknown());
271 Known.Zero.clearBit(1);
272 EXPECT_TRUE(Known.isSignUnknown());
274 Known.One.setBit(0);
275 EXPECT_TRUE(Known.isSignUnknown());
276 Known.One.setBit(1);
277 EXPECT_FALSE(Known.isSignUnknown());
278 Known.One.clearBit(0);
279 EXPECT_FALSE(Known.isSignUnknown());
280 Known.One.clearBit(1);
281 EXPECT_TRUE(Known.isSignUnknown());
533 "abs", [](const KnownBits &Known) { return Known.abs(); },
537 "abs(true)", [](const KnownBits &Known) { return Known.abs(true); },
545 "blsi", [](const KnownBits &Known) { return Known.blsi(); },
548 "blsmsk", [](const KnownBits &Known) { return Known.blsmsk(); },
553 [](const KnownBits &Known) {
554 return KnownBits::mul(Known, Known, /*SelfMultiply=*/true);
665 ForeachKnownBits(Bits, [&](const KnownBits &Known) {
668 ForeachNumInKnownBits(Known, [&](const APInt &N) {
672 if (!Known.hasConflict()) {
673 EXPECT_EQ(Min, Known.getMinValue());
674 EXPECT_EQ(Max, Known.getMaxValue());
681 ForeachKnownBits(Bits, [&](const KnownBits &Known) {
684 ForeachNumInKnownBits(Known, [&](const APInt &N) {
688 if (!Known.hasConflict()) {
689 EXPECT_EQ(Min, Known.getSignedMinValue());
690 EXPECT_EQ(Max, Known.getSignedMaxValue());
697 ForeachKnownBits(Bits, [&](const KnownBits &Known) {
699 ForeachNumInKnownBits(Known, [&](const APInt &N) {
702 if (!Known.hasConflict()) {
703 EXPECT_EQ(Expected, Known.countMaxActiveBits());
710 ForeachKnownBits(Bits, [&](const KnownBits &Known) {
712 ForeachNumInKnownBits(Known, [&](const APInt &N) {
715 if (!Known.hasConflict()) {
716 EXPECT_EQ(Expected, Known.countMaxSignificantBits());
752 ForeachKnownBits(Bits, [&](const KnownBits &Known) {
756 ForeachNumInKnownBits(Known, [&](const APInt &N) {
762 KnownBits KnownSExtInReg = Known.sextInReg(FromBits);
763 if (!Known.hasConflict()) {