Lines Matching defs:Some
27 static ConstantRange Some;
265 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
299 EXPECT_FALSE(Some.isFullSet());
300 EXPECT_FALSE(Some.isEmptySet());
301 EXPECT_FALSE(Some.isWrappedSet());
302 EXPECT_FALSE(Some.contains(APInt(16, 0x0)));
303 EXPECT_FALSE(Some.contains(APInt(16, 0x9)));
304 EXPECT_TRUE(Some.contains(APInt(16, 0xa)));
305 EXPECT_TRUE(Some.contains(APInt(16, 0xaa9)));
306 EXPECT_FALSE(Some.contains(APInt(16, 0xaaa)));
322 EXPECT_EQ(Some, Some);
326 EXPECT_NE(Full, Some);
329 EXPECT_NE(Empty, Some);
331 EXPECT_NE(One, Some);
333 EXPECT_NE(Some, Wrap);
343 EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(nullptr));
347 EXPECT_EQ(Some.getSingleMissingElement(), static_cast<APInt *>(nullptr));
355 EXPECT_FALSE(Some.isSingleElement());
362 EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9));
367 EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa));
372 EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9));
377 EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa));
389 EXPECT_FALSE(Some.isSignWrappedSet());
406 EXPECT_FALSE(Some.isUpperWrapped());
411 EXPECT_FALSE(Some.isUpperSignWrapped());
428 ConstantRange TSome = Some.truncate(10);
458 ConstantRange ZSome = Some.zeroExtend(20);
464 EXPECT_EQ(ZSome, ConstantRange(Some.getLower().zext(20),
465 Some.getUpper().zext(20)));
477 ConstantRange SSome = Some.signExtend(20);
484 EXPECT_EQ(SSome, ConstantRange(Some.getLower().sext(20),
485 Some.getUpper().sext(20)));
500 EXPECT_EQ(Empty.intersectWith(Some), Empty);
503 EXPECT_EQ(Some.intersectWith(Some), Some);
504 EXPECT_EQ(Some.intersectWith(One), One);
506 EXPECT_EQ(Full.intersectWith(Some), Some);
507 EXPECT_EQ(Some.intersectWith(Wrap), Empty);
617 EXPECT_EQ(Some.unionWith(Wrap), Full);
702 EXPECT_EQ(Some.subtract(APInt(16, 4)),
715 EXPECT_EQ(Full.add(Some), Full);
719 EXPECT_EQ(Empty.add(Some), Empty);
722 EXPECT_EQ(Some.add(APInt(16, 4)),
740 EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoSignedWrap), Empty);
741 EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoSignedWrap), Empty);
743 EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoSignedWrap), Full);
744 EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoSignedWrap), Full);
806 EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoUnsignedWrap), Empty);
807 EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoUnsignedWrap), Empty);
809 EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoUnsignedWrap), Full);
810 EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoUnsignedWrap), Full);
906 EXPECT_EQ(Full.sub(Some), Full);
910 EXPECT_EQ(Empty.sub(Some), Empty);
913 EXPECT_EQ(Some.sub(APInt(16, 4)),
915 EXPECT_EQ(Some.sub(Some),
977 EXPECT_EQ(Full.multiply(Some), Full);
981 EXPECT_EQ(Empty.multiply(Some), Empty);
985 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
988 EXPECT_EQ(Some.multiply(Some), Full);
989 EXPECT_EQ(Some.multiply(Wrap), Full);
994 EXPECT_EQ(Zero.multiply(Some), Zero);
997 EXPECT_EQ(Some.multiply(Zero), Zero);
1041 EXPECT_EQ(Empty.multiplyWithNoWrap(Some, OBO::NoUnsignedWrap), Empty);
1042 EXPECT_EQ(Some.multiplyWithNoWrap(Empty, OBO::NoUnsignedWrap), Empty);
1044 EXPECT_EQ(Full.multiplyWithNoWrap(Some, OBO::NoUnsignedWrap), Full);
1045 EXPECT_EQ(Some.multiplyWithNoWrap(Full, OBO::NoUnsignedWrap), Full);
1063 EXPECT_EQ(Empty.multiplyWithNoWrap(Some, OBO::NoSignedWrap), Empty);
1064 EXPECT_EQ(Some.multiplyWithNoWrap(Empty, OBO::NoSignedWrap), Empty);
1066 EXPECT_EQ(Full.multiplyWithNoWrap(Some, OBO::NoSignedWrap), Full);
1067 EXPECT_EQ(Some.multiplyWithNoWrap(Full, OBO::NoSignedWrap), Full);
1157 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
1159 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
1161 EXPECT_EQ(Empty.umax(Some), Empty);
1164 EXPECT_EQ(Some.umax(Some), Some);
1165 EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
1166 EXPECT_EQ(Some.umax(One), Some);
1184 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
1190 EXPECT_EQ(Empty.smax(Some), Empty);
1193 EXPECT_EQ(Some.smax(Some), Some);
1194 EXPECT_EQ(Some.smax(Wrap),
1196 EXPECT_EQ(Some.smax(One), Some);
1214 EXPECT_EQ(Full.umin(Some), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
1217 EXPECT_EQ(Empty.umin(Some), Empty);
1220 EXPECT_EQ(Some.umin(Some), Some);
1221 EXPECT_EQ(Some.umin(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
1222 EXPECT_EQ(Some.umin(One), One);
1240 EXPECT_EQ(Full.smin(Some),
1244 EXPECT_EQ(Empty.smin(Some), Empty);
1247 EXPECT_EQ(Some.smin(Some), Some);
1248 EXPECT_EQ(Some.smin(Wrap),
1250 EXPECT_EQ(Some.smin(One), One);
1271 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
1276 EXPECT_EQ(Empty.udiv(Some), Empty);
1279 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
1281 EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111)));
1282 EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
1476 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1)
1480 EXPECT_EQ(Empty.shl(Some), Empty);
1484 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0)
1486 EXPECT_EQ(Some.shl(Some), Full); // TODO: [0xa << 0xa, 0xfc01)
1487 EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1)
1591 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
1596 EXPECT_EQ(Empty.lshr(Some), Empty);
1599 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0)));
1601 EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0),
1603 EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
1615 EXPECT_EQ(Full.ashr(Some), ConstantRange(APInt(16, 0xffe0),
1620 EXPECT_EQ(Empty.ashr(Some), Empty);
1623 EXPECT_EQ(One.ashr(Some), ConstantRange(APInt(16, 0)));
1625 EXPECT_EQ(Some.ashr(Some), ConstantRange(APInt(16, 0),
1627 EXPECT_EQ(Some.ashr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
2140 EXPECT_MAY_OVERFLOW(Some.unsignedAddMayOverflow(Empty));
2141 EXPECT_MAY_OVERFLOW(Empty.unsignedAddMayOverflow(Some));
2174 EXPECT_MAY_OVERFLOW(Some.unsignedSubMayOverflow(Empty));
2175 EXPECT_MAY_OVERFLOW(Empty.unsignedSubMayOverflow(Some));
2209 EXPECT_MAY_OVERFLOW(Some.signedAddMayOverflow(Empty));
2210 EXPECT_MAY_OVERFLOW(Empty.signedAddMayOverflow(Some));
2261 EXPECT_MAY_OVERFLOW(Some.signedSubMayOverflow(Empty));
2262 EXPECT_MAY_OVERFLOW(Empty.signedSubMayOverflow(Some));