38 #define MAP(Str) isl::map(Ctx.get(), Str)  macro
506   EXPECT_EQ(MAP("{ [] -> [i] : i <= 0 }"),  in TEST()
507             beforeScatter(MAP("{ [] -> [0] }"), false));  in TEST()
508   EXPECT_EQ(MAP("{ [] -> [i] : i < 0 }"),  in TEST()
509             beforeScatter(MAP("{ [] -> [0] }"), true));  in TEST()
553   EXPECT_EQ(MAP("{ [] -> [i] : i >= 0 }"),  in TEST()
554             afterScatter(MAP("{ [] -> [0] }"), false));  in TEST()
555   EXPECT_EQ(MAP("{ [] -> [i] : i > 0 }"),  in TEST()
556             afterScatter(MAP("{ [] -> [0] }"), true));  in TEST()
598   EXPECT_EQ(MAP("{ [] -> [i] : 0 < i < 10 }"),  in TEST()
599             betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false,  in TEST()
602       MAP("{ [] -> [i] : 0 <= i < 10 }"),  in TEST()
603       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false));  in TEST()
605       MAP("{ [] -> [i] : 0 < i <= 10 }"),  in TEST()
606       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true));  in TEST()
608       MAP("{ [] -> [i] : 0 <= i <= 10 }"),  in TEST()
609       betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true));  in TEST()
632   EXPECT_EQ(MAP("{ [] -> [] : 1 = 0  }"),  in TEST()
637   EXPECT_EQ(MAP("{ [] -> [] }"),  in TEST()
644       MAP("{ [i] -> [i] : 0 <= i < 10 }"),  in TEST()
650   EXPECT_EQ(MAP("[i] -> { [i] -> [i] }"),  in TEST()
715   EXPECT_EQ(MAP("{ [B[] -> A[]] -> [] }"),  in TEST()
716             reverseDomain(MAP("{ [A[] -> B[]] -> [] }")));  in TEST()
738   EXPECT_EQ(MAP("{ [1] -> [] }"),  in TEST()
739             shiftDim(MAP("{ [0] -> [] }"), isl::dim::in, 0, 1));  in TEST()
742   EXPECT_EQ(MAP("{ [] -> [1] }"),  in TEST()
743             shiftDim(MAP("{ [] -> [0] }"), isl::dim::out, 0, 1));  in TEST()
1059   EXPECT_EQ(MAP("{ [Domain[] -> Range1[]] -> [Domain[] -> Range2[]] }"),  in TEST()
1060             distributeDomain(MAP("{ Domain[] -> [Range1[] -> Range2[]] }")));  in TEST()
1062       MAP("{ [Domain[i,j] -> Range1[i,k]] -> [Domain[i,j] -> Range2[j,k]] }"),  in TEST()
1063       distributeDomain(MAP("{ Domain[i,j] -> [Range1[i,k] -> Range2[j,k]] }")));  in TEST()