Lines Matching refs:shiftDim
709 TEST(ISLTools, shiftDim) { in TEST() argument
714 EXPECT_EQ(SET("{ [1] }"), shiftDim(SET("{ [0] }"), 0, 1)); in TEST()
715 EXPECT_EQ(USET("{ [1] }"), shiftDim(USET("{ [0] }"), 0, 1)); in TEST()
718 EXPECT_EQ(USET("{ [0,0,1] }"), shiftDim(USET("{ [0,0,0] }"), -1, 1)); in TEST()
719 EXPECT_EQ(USET("{ [0,1,0] }"), shiftDim(USET("{ [0,0,0] }"), -2, 1)); in TEST()
720 EXPECT_EQ(USET("{ [1,0,0] }"), shiftDim(USET("{ [0,0,0] }"), -3, 1)); in TEST()
723 EXPECT_EQ(USET("[n] -> { [n+1] }"), shiftDim(USET("[n] -> { [n] }"), 0, 1)); in TEST()
727 shiftDim(MAP("{ [0] -> [] }"), isl::dim::in, 0, 1)); in TEST()
729 shiftDim(UMAP("{ [0] -> [] }"), isl::dim::in, 0, 1)); in TEST()
731 shiftDim(MAP("{ [] -> [0] }"), isl::dim::out, 0, 1)); in TEST()
733 shiftDim(UMAP("{ [] -> [0] }"), isl::dim::out, 0, 1)); in TEST()