38 #define MAP(Str) isl::map(Ctx.get(), Str)  macro
494   EXPECT_EQ(MAP("{ [] -> [i] : i <= 0 }"),  in TEST()
495             beforeScatter(MAP("{ [] -> [0] }"), false));  in TEST()
496   EXPECT_EQ(MAP("{ [] -> [i] : i < 0 }"),  in TEST()
497             beforeScatter(MAP("{ [] -> [0] }"), true));  in TEST()
541   EXPECT_EQ(MAP("{ [] -> [i] : i >= 0 }"),  in TEST()
542             afterScatter(MAP("{ [] -> [0] }"), false));  in TEST()
543   EXPECT_EQ(MAP("{ [] -> [i] : i > 0 }"),  in TEST()
544             afterScatter(MAP("{ [] -> [0] }"), true));  in TEST()
586   EXPECT_EQ(MAP("{ [] -> [i] : 0 < i < 10 }"),  in TEST()
587             betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false,  in TEST()
590       MAP("{ [] -> [i] : 0 <= i < 10 }"),  in TEST()
591       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false));  in TEST()
593       MAP("{ [] -> [i] : 0 < i <= 10 }"),  in TEST()
594       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true));  in TEST()
596       MAP("{ [] -> [i] : 0 <= i <= 10 }"),  in TEST()
597       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true));  in TEST()
620   EXPECT_EQ(MAP("{ [] -> [] : 1 = 0  }"),  in TEST()
625   EXPECT_EQ(MAP("{ [] -> [] }"),  in TEST()
632       MAP("{ [i] -> [i] : 0 <= i < 10 }"),  in TEST()
638   EXPECT_EQ(MAP("[i] -> { [i] -> [i] }"),  in TEST()
703   EXPECT_EQ(MAP("{ [B[] -> A[]] -> [] }"),  in TEST()
704             reverseDomain(MAP("{ [A[] -> B[]] -> [] }")));  in TEST()
726   EXPECT_EQ(MAP("{ [1] -> [] }"),  in TEST()
727             shiftDim(MAP("{ [0] -> [] }"), isl::dim::in, 0, 1));  in TEST()
730   EXPECT_EQ(MAP("{ [] -> [1] }"),  in TEST()
731             shiftDim(MAP("{ [] -> [0] }"), isl::dim::out, 0, 1));  in TEST()
1047   EXPECT_EQ(MAP("{ [Domain[] -> Range1[]] -> [Domain[] -> Range2[]] }"),  in TEST()
1048             distributeDomain(MAP("{ Domain[] -> [Range1[] -> Range2[]] }")));  in TEST()
1050       MAP("{ [Domain[i,j] -> Range1[i,k]] -> [Domain[i,j] -> Range2[j,k]] }"),  in TEST()
1051       distributeDomain(MAP("{ Domain[i,j] -> [Range1[i,k] -> Range2[j,k]] }")));  in TEST()