Lines Matching refs:One
26 static ConstantRange One; member in __anon9f542f3d0111::ConstantRangeTest
247 ConstantRange ConstantRangeTest::One(APInt(16, 0xa)); member in __anon9f542f3d0111::ConstantRangeTest
272 EXPECT_FALSE(One.isFullSet()); in TEST_F()
273 EXPECT_FALSE(One.isEmptySet()); in TEST_F()
274 EXPECT_FALSE(One.isWrappedSet()); in TEST_F()
275 EXPECT_FALSE(One.contains(APInt(16, 0x0))); in TEST_F()
276 EXPECT_FALSE(One.contains(APInt(16, 0x9))); in TEST_F()
277 EXPECT_TRUE(One.contains(APInt(16, 0xa))); in TEST_F()
278 EXPECT_FALSE(One.contains(APInt(16, 0xaa9))); in TEST_F()
279 EXPECT_FALSE(One.contains(APInt(16, 0xaaa))); in TEST_F()
280 EXPECT_FALSE(One.inverse().contains(APInt(16, 0xa))); in TEST_F()
304 EXPECT_EQ(One, One); in TEST_F()
308 EXPECT_NE(Full, One); in TEST_F()
311 EXPECT_NE(Empty, One); in TEST_F()
314 EXPECT_NE(One, Some); in TEST_F()
315 EXPECT_NE(One, Wrap); in TEST_F()
325 EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa)); in TEST_F()
329 EXPECT_EQ(One.getSingleMissingElement(), static_cast<APInt *>(nullptr)); in TEST_F()
332 ConstantRange OneInverse = One.inverse(); in TEST_F()
333 EXPECT_EQ(*OneInverse.getSingleMissingElement(), *One.getSingleElement()); in TEST_F()
337 EXPECT_TRUE(One.isSingleElement()); in TEST_F()
344 EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa)); in TEST_F()
349 EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa)); in TEST_F()
354 EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa)); in TEST_F()
359 EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa)); in TEST_F()
371 EXPECT_FALSE(One.isSignWrappedSet()); in TEST_F()
388 EXPECT_FALSE(One.isUpperWrapped()); in TEST_F()
393 EXPECT_FALSE(One.isUpperSignWrapped()); in TEST_F()
410 ConstantRange TOne = One.truncate(10); in TEST_F()
415 EXPECT_EQ(TOne, ConstantRange(One.getLower().trunc(10), in TEST_F()
416 One.getUpper().trunc(10))); in TEST_F()
440 ConstantRange ZOne = One.zeroExtend(20); in TEST_F()
445 EXPECT_EQ(ZOne, ConstantRange(One.getLower().zext(20), in TEST_F()
446 One.getUpper().zext(20))); in TEST_F()
459 ConstantRange SOne = One.signExtend(20); in TEST_F()
465 EXPECT_EQ(SOne, ConstantRange(One.getLower().sext(20), in TEST_F()
466 One.getUpper().sext(20))); in TEST_F()
482 EXPECT_EQ(Empty.intersectWith(One), Empty); in TEST_F()
487 EXPECT_EQ(Some.intersectWith(One), One); in TEST_F()
488 EXPECT_EQ(Full.intersectWith(One), One); in TEST_F()
491 EXPECT_EQ(One.intersectWith(Wrap), Empty); in TEST_F()
492 EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One)); in TEST_F()
595 EXPECT_EQ(Wrap.unionWith(One), in TEST_F()
597 EXPECT_EQ(One.unionWith(Wrap), Wrap.unionWith(One)); in TEST_F()
691 EXPECT_EQ(One.subtract(APInt(16, 4)), in TEST_F()
699 EXPECT_EQ(Full.add(One), Full); in TEST_F()
703 EXPECT_EQ(Empty.add(One), Empty); in TEST_F()
711 EXPECT_EQ(One.add(APInt(16, 4)), in TEST_F()
887 EXPECT_EQ(Full.sub(One), Full); in TEST_F()
891 EXPECT_EQ(Empty.sub(One), Empty); in TEST_F()
901 EXPECT_EQ(One.sub(APInt(16, 4)), in TEST_F()
961 EXPECT_EQ(Full.multiply(One), Full); in TEST_F()
965 EXPECT_EQ(Empty.multiply(One), Empty); in TEST_F()
968 EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa), in TEST_F()
970 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa), in TEST_F()
972 EXPECT_EQ(One.multiply(Wrap), Full); in TEST_F()
1026 EXPECT_EQ(Empty.umax(One), Empty); in TEST_F()
1029 EXPECT_EQ(Some.umax(One), Some); in TEST_F()
1031 EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1032 EXPECT_EQ(One.umax(One), One); in TEST_F()
1050 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
1055 EXPECT_EQ(Empty.smax(One), Empty); in TEST_F()
1059 EXPECT_EQ(Some.smax(One), Some); in TEST_F()
1060 EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
1062 EXPECT_EQ(One.smax(One), One); in TEST_F()
1082 EXPECT_EQ(Empty.umin(One), Empty); in TEST_F()
1085 EXPECT_EQ(Some.umin(One), One); in TEST_F()
1087 EXPECT_EQ(Wrap.umin(One), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
1088 EXPECT_EQ(One.umin(One), One); in TEST_F()
1109 EXPECT_EQ(Empty.smin(One), Empty); in TEST_F()
1113 EXPECT_EQ(Some.smin(One), One); in TEST_F()
1115 EXPECT_EQ(Wrap.smin(One), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
1117 EXPECT_EQ(One.smin(One), One); in TEST_F()
1132 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0), in TEST_F()
1138 EXPECT_EQ(Empty.udiv(One), Empty); in TEST_F()
1141 EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1))); in TEST_F()
1142 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2))); in TEST_F()
1143 EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
1150 EXPECT_EQ(Zero.udiv(One), Zero); in TEST_F()
1339 EXPECT_EQ(Full.shl(One), ConstantRange(APInt(16, 0), in TEST_F()
1344 EXPECT_EQ(Empty.shl(One), Empty); in TEST_F()
1347 EXPECT_EQ(One.shl(One), ConstantRange(APInt(16, 0xa << 0xa), in TEST_F()
1349 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0) in TEST_F()
1350 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1) in TEST_F()
1357 EXPECT_EQ(One.shl(WrapNullMax), Full); in TEST_F()
1378 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0), in TEST_F()
1384 EXPECT_EQ(Empty.lshr(One), Empty); in TEST_F()
1387 EXPECT_EQ(One.lshr(One), ConstantRange(APInt(16, 0))); in TEST_F()
1388 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0))); in TEST_F()
1389 EXPECT_EQ(One.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
1399 EXPECT_EQ(Full.ashr(One), ConstantRange(APInt(16, 0xffe0), in TEST_F()
1408 EXPECT_EQ(Empty.ashr(One), Empty); in TEST_F()
1411 EXPECT_EQ(One.ashr(One), ConstantRange(APInt(16, 0))); in TEST_F()
1412 EXPECT_EQ(One.ashr(Some), ConstantRange(APInt(16, 0))); in TEST_F()
1413 EXPECT_EQ(One.ashr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
1645 ConstantRange One(APInt(32, 1), APInt(32, 2)); in TEST() local
1647 Instruction::Add, One, OBO::NoSignedWrap), in TEST()
1651 Instruction::Add, One, OBO::NoUnsignedWrap), in TEST()
1654 Instruction::Sub, One, OBO::NoSignedWrap), in TEST()
1658 Instruction::Sub, One, OBO::NoUnsignedWrap), in TEST()
1938 EXPECT_MAY_OVERFLOW(Full.unsignedAddMayOverflow(One)); in TEST_F()
1939 EXPECT_MAY_OVERFLOW(Wrap.unsignedAddMayOverflow(One)); in TEST_F()
1940 EXPECT_MAY_OVERFLOW(One.unsignedAddMayOverflow(Full)); in TEST_F()
1941 EXPECT_MAY_OVERFLOW(One.unsignedAddMayOverflow(Wrap)); in TEST_F()
1973 EXPECT_MAY_OVERFLOW(Full.unsignedSubMayOverflow(One)); in TEST_F()
1974 EXPECT_MAY_OVERFLOW(Wrap.unsignedSubMayOverflow(One)); in TEST_F()
1975 EXPECT_MAY_OVERFLOW(One.unsignedSubMayOverflow(Full)); in TEST_F()
1976 EXPECT_MAY_OVERFLOW(One.unsignedSubMayOverflow(Wrap)); in TEST_F()
2007 EXPECT_MAY_OVERFLOW(Full.signedAddMayOverflow(One)); in TEST_F()
2008 EXPECT_MAY_OVERFLOW(Wrap.signedAddMayOverflow(One)); in TEST_F()
2009 EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Full)); in TEST_F()
2010 EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Wrap)); in TEST_F()
2057 EXPECT_MAY_OVERFLOW(Full.signedSubMayOverflow(One)); in TEST_F()
2058 EXPECT_MAY_OVERFLOW(Wrap.signedSubMayOverflow(One)); in TEST_F()
2059 EXPECT_MAY_OVERFLOW(One.signedSubMayOverflow(Full)); in TEST_F()
2060 EXPECT_MAY_OVERFLOW(One.signedSubMayOverflow(Wrap)); in TEST_F()
2219 Known.One = 66; in TEST_F()
2227 Known.One = 164; in TEST_F()
2234 Known.One = 68; in TEST_F()
2245 for (unsigned One = 0; One < Max; ++One) { in TEST_F() local
2247 Known.One = One; in TEST_F()
2254 if ((Num & Known.Zero) != 0 || (~Num & Known.One) != 0) in TEST_F()
2273 ExpectedKnown.One.setAllBits(); in TEST_F()
2275 ExpectedKnown.One &= N; in TEST_F()
2621 EXPECT_TRUE(One.isSizeLargerThan(0)); in TEST_F()
2622 EXPECT_FALSE(One.isSizeLargerThan(1)); in TEST_F()