reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
506 EXPECT_EQ(MAP("{ [] -> [i] : i <= 0 }"), 507 beforeScatter(MAP("{ [] -> [0] }"), false)); 508 EXPECT_EQ(MAP("{ [] -> [i] : i < 0 }"), 509 beforeScatter(MAP("{ [] -> [0] }"), true)); 553 EXPECT_EQ(MAP("{ [] -> [i] : i >= 0 }"), 554 afterScatter(MAP("{ [] -> [0] }"), false)); 555 EXPECT_EQ(MAP("{ [] -> [i] : i > 0 }"), 556 afterScatter(MAP("{ [] -> [0] }"), true)); 598 EXPECT_EQ(MAP("{ [] -> [i] : 0 < i < 10 }"), 599 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, 599 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, 602 MAP("{ [] -> [i] : 0 <= i < 10 }"), 603 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false)); 603 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, false)); 605 MAP("{ [] -> [i] : 0 < i <= 10 }"), 606 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true)); 606 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), false, true)); 608 MAP("{ [] -> [i] : 0 <= i <= 10 }"), 609 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true)); 609 betweenScatter(MAP("{ [] -> [0] }"), MAP("{ [] -> [10] }"), true, true)); 632 EXPECT_EQ(MAP("{ [] -> [] : 1 = 0 }"), 637 EXPECT_EQ(MAP("{ [] -> [] }"), 644 MAP("{ [i] -> [i] : 0 <= i < 10 }"), 650 EXPECT_EQ(MAP("[i] -> { [i] -> [i] }"), 715 EXPECT_EQ(MAP("{ [B[] -> A[]] -> [] }"), 716 reverseDomain(MAP("{ [A[] -> B[]] -> [] }"))); 738 EXPECT_EQ(MAP("{ [1] -> [] }"), 739 shiftDim(MAP("{ [0] -> [] }"), isl::dim::in, 0, 1)); 742 EXPECT_EQ(MAP("{ [] -> [1] }"), 743 shiftDim(MAP("{ [] -> [0] }"), isl::dim::out, 0, 1)); 1059 EXPECT_EQ(MAP("{ [Domain[] -> Range1[]] -> [Domain[] -> Range2[]] }"), 1060 distributeDomain(MAP("{ Domain[] -> [Range1[] -> Range2[]] }"))); 1062 MAP("{ [Domain[i,j] -> Range1[i,k]] -> [Domain[i,j] -> Range2[j,k]] }"), 1063 distributeDomain(MAP("{ Domain[i,j] -> [Range1[i,k] -> Range2[j,k]] }")));