reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
753 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 < i }"), 754 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 755 UMAP("{ Dom[] -> Elt[] }"), false, false, 757 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 < i }"), 758 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 759 UMAP("{ Dom[] -> Elt[] }"), false, false, 761 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 <= i }"), 762 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 763 UMAP("{ Dom[] -> Elt[] }"), false, true, 765 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 <= i }"), 766 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 767 UMAP("{ Dom[] -> Elt[] }"), false, true, 770 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i < 0 }"), 771 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 772 UMAP("{ Dom[] -> Elt[] }"), true, false, 774 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i <= 0 }"), 775 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 776 UMAP("{ Dom[] -> Elt[] }"), true, false, 778 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i < 0 }"), 779 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 780 UMAP("{ Dom[] -> Elt[] }"), true, true, 782 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i <= 0 }"), 783 computeReachingWrite(UMAP("{ Dom[] -> [0] }"), 784 UMAP("{ Dom[] -> Elt[] }"), true, true, true)); 787 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 < i < 10; [Elt[] -> [i]] -> " 789 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 790 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 792 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 <= i < 10; [Elt[] -> [i]] -> " 794 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 795 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 797 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 < i <= 10; [Elt[] -> [i]] -> " 799 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 800 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 802 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 <= i <= 10; [Elt[] -> [i]] -> " 804 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 805 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 808 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 < i < 10; [Elt[] -> [i]] -> " 810 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 811 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 813 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 <= i < 10; [Elt[] -> [i]] -> " 815 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 816 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 818 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 < i <= 10; [Elt[] -> [i]] -> " 820 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 821 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 823 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 <= i <= 10; [Elt[] -> [i]] -> " 825 computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"), 826 UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"), 830 EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[1] : 0 < i <= 10; [Elt[] -> [i]] -> " 832 computeReachingWrite(UMAP("{ Dom[i] -> [10i - 10] }"), 833 UMAP("{ Dom[1] -> Elt[]; Dom[2] -> Elt[] }"), 837 EXPECT_EQ(UMAP("[p] -> { [Elt[] -> [i]] -> Dom[] : p < i }"), 838 computeReachingWrite(UMAP("[p] -> { Dom[] -> [p] }"), 839 UMAP("{ Dom[] -> Elt[] }"), false, false, 844 UMAP("{ [Elt[] -> [i]] -> Dom[0] : 0 < i <= 3; [Elt[] -> [i]] -> Dom[1] " 847 computeReachingWrite(UMAP("{ Dom[i] -> [3i] : 0 <= i <= 4 }"), 848 UMAP("{ Dom[i] -> Elt[] : 0 <= i <= 4 }"), false,