Lines Matching refs:IntersectWith
224 TEST_F(ConstantRangeTest, IntersectWith) {
225 EXPECT_EQ(Empty.intersectWith(Full), Empty);
226 EXPECT_EQ(Empty.intersectWith(Empty), Empty);
227 EXPECT_EQ(Empty.intersectWith(One), Empty);
228 EXPECT_EQ(Empty.intersectWith(Some), Empty);
229 EXPECT_EQ(Empty.intersectWith(Wrap), Empty);
230 EXPECT_EQ(Full.intersectWith(Full), Full);
231 EXPECT_EQ(Some.intersectWith(Some), Some);
232 EXPECT_EQ(Some.intersectWith(One), One);
233 EXPECT_EQ(Full.intersectWith(One), One);
234 EXPECT_EQ(Full.intersectWith(Some), Some);
235 EXPECT_EQ(Some.intersectWith(Wrap), Empty);
236 EXPECT_EQ(One.intersectWith(Wrap), Empty);
237 EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One));
244 EXPECT_TRUE(LHS.intersectWith(RHS) == LHS);
249 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 2)));
254 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 2), APInt(32, 0)));
259 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 4), APInt(32, 0)));
264 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 5), APInt(32, 1)));
269 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 7), APInt(32, 4)));
274 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 4), APInt(32, 2)));
279 EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 15), APInt(32, 0)));
