reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
862 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i < 10 }"), 863 computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"), 864 UMAP("{ Write[] -> Elt[] }"), 865 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 867 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"), 868 computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"), 869 UMAP("{ Write[] -> Elt[] }"), 870 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 872 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 <= i < 10 }"), 873 computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"), 874 UMAP("{ Write[] -> Elt[] }"), 875 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 877 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 <= i <= 10 }"), 878 computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"), 879 UMAP("{ Write[] -> Elt[] }"), 880 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 884 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"), 886 UMAP("{ Read[0] -> [-10]; Read[1] -> [0]; Write[] -> [10] }"), 887 UMAP("{ Write[] -> Elt[] }"), UMAP("{ Read[i] -> Elt[] }"), 887 UMAP("{ Write[] -> Elt[] }"), UMAP("{ Read[i] -> Elt[] }"), 891 EXPECT_EQ(UMAP("{}"), 892 computeArrayUnused(UMAP("{ Read[] -> [0] }"), UMAP("{}"), 892 computeArrayUnused(UMAP("{ Read[] -> [0] }"), UMAP("{}"), 893 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 897 EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"), 898 computeArrayUnused(UMAP("{ Write[] -> [0] }"), 899 UMAP("{ Write[] -> Elt[] }"), UMAP("{}"), 899 UMAP("{ Write[] -> Elt[] }"), UMAP("{}"), 904 UMAP("{ Elt[] -> [i] : i <= 10 }"), 905 computeArrayUnused(UMAP("{ WriteA[] -> [0]; WriteB[] -> [10] }"), 906 UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"), 907 UMAP("{}"), ReadEltInSameInst, false, true)); 912 UMAP("{ Elt[] -> [i] : 0 < i <= 10; Elt[] -> [i] : 20 < i <= 30 }"), 913 computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10]; ReadB[] " 915 UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"), 916 UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"), 921 UMAP("{ Elt[] -> [i] : i <= 10 }"), 923 UMAP("{ WriteA[] -> [0]; WriteB[] -> [10]; Read[] -> [20] }"), 924 UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"), 925 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true)); 928 EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"), 929 computeArrayUnused(UMAP("{ Write[] -> [0]; Read[] -> [10] }"), 930 UMAP("{ Write[] -> Elt[] }"), 931 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, 935 EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"), 937 UMAP("{ ReadA[] -> [0]; Write[] -> [10]; ReadB[] -> [20] }"), 938 UMAP("{ Write[] -> Elt[] }"), 939 UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"), 944 UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"), 946 UMAP("{ Read[] -> [0]; WriteA[] -> [10]; WriteB[] -> [20] }"), 947 UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"), 948 UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true)); 952 UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"), 953 computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10]; WriteB[] " 955 UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"), 956 UMAP("{ ReadA[] -> Elt[]; ReadB[] -> Elt[] }"), 961 EXPECT_EQ(UMAP("{ Elt[] -> [i] : i < 0 }"), 962 computeArrayUnused(UMAP("{ RW[] -> [0] }"), 963 UMAP("{ RW[] -> Elt[] }"), 964 UMAP("{ RW[] -> Elt[] }"), true, false, false)); 965 EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"), 966 computeArrayUnused(UMAP("{ RW[] -> [0] }"), 967 UMAP("{ RW[] -> Elt[] }"), 968 UMAP("{ RW[] -> Elt[] }"), true, false, true)); 969 EXPECT_EQ(UMAP("{ Elt[] -> [0] }"), 970 computeArrayUnused(UMAP("{ RW[] -> [0] }"), 971 UMAP("{ RW[] -> Elt[] }"), 972 UMAP("{ RW[] -> Elt[] }"), false, true, true));