41 #define UMAP(Str) isl::union_map(Ctx.get(), Str)  macro
500   EXPECT_EQ(UMAP("{ A[] -> [i] : i <= 0; B[] -> [i] : i <= 0 }"),  in TEST()
501             beforeScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), false));  in TEST()
502   EXPECT_EQ(UMAP("{ A[] -> [i] : i < 0; B[] -> [i] : i < 0 }"),  in TEST()
503             beforeScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), true));  in TEST()
506   EXPECT_EQ(UMAP("{ [] -> [i, j] : i < 0;  [] -> [i, j] : i = 0 and j <= 0 }"),  in TEST()
507             beforeScatter(UMAP("{ [] -> [0, 0] }"), false));  in TEST()
508   EXPECT_EQ(UMAP("{ [] -> [i, j] : i < 0;  [] -> [i, j] : i = 0 and j < 0 }"),  in TEST()
509             beforeScatter(UMAP("{ [] -> [0, 0] }"), true));  in TEST()
512   EXPECT_EQ(UMAP("{ [i] -> [j] : j <= i }"),  in TEST()
513             beforeScatter(UMAP("{ [i] -> [i] }"), false));  in TEST()
514   EXPECT_EQ(UMAP("{ [i] -> [j] : j < i }"),  in TEST()
515             beforeScatter(UMAP("{ [i] -> [i] }"), true));  in TEST()
518   EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j <= i }"),  in TEST()
519             beforeScatter(UMAP("[i] -> { [] -> [i] }"), false));  in TEST()
520   EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j < i }"),  in TEST()
521             beforeScatter(UMAP("[i] -> { [] -> [i] }"), true));  in TEST()
524   EXPECT_EQ(UMAP("{ [] -> [i] : i <= 10 }"),  in TEST()
525             beforeScatter(UMAP("{ [] -> [0]; [] -> [10] }"), false));  in TEST()
526   EXPECT_EQ(UMAP("{ [] -> [i] : i < 10 }"),  in TEST()
527             beforeScatter(UMAP("{ [] -> [0]; [] -> [10] }"), true));  in TEST()
530   EXPECT_EQ(UMAP("{ [] -> [i] : 1 = 0 }"),  in TEST()
531             beforeScatter(UMAP("{ [] -> [i] : 1 = 0 }"), false));  in TEST()
532   EXPECT_EQ(UMAP("{ [] -> [i] : 1 = 0 }"),  in TEST()
533             beforeScatter(UMAP("{ [] -> [i] : 1 = 0 }"), true));  in TEST()
547   EXPECT_EQ(UMAP("{ A[] -> [i] : i >= 0; B[] -> [i] : i >= 0 }"),  in TEST()
548             afterScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), false));  in TEST()
549   EXPECT_EQ(UMAP("{ A[] -> [i] : i > 0; B[] -> [i] : i > 0 }"),  in TEST()
550             afterScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"), true));  in TEST()
553   EXPECT_EQ(UMAP("{ [] -> [i, j] : i > 0;  [] -> [i, j] : i = 0 and j >= 0 }"),  in TEST()
554             afterScatter(UMAP("{ [] -> [0, 0] }"), false));  in TEST()
555   EXPECT_EQ(UMAP("{ [] -> [i, j] : i > 0;  [] -> [i, j] : i = 0 and j > 0 }"),  in TEST()
556             afterScatter(UMAP("{ [] -> [0, 0] }"), true));  in TEST()
559   EXPECT_EQ(UMAP("{ [i] -> [j] : j >= i }"),  in TEST()
560             afterScatter(UMAP("{ [i] -> [i] }"), false));  in TEST()
561   EXPECT_EQ(UMAP("{ [i] -> [j] : j > i }"),  in TEST()
562             afterScatter(UMAP("{ [i] -> [i] }"), true));  in TEST()
565   EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j >= i }"),  in TEST()
566             afterScatter(UMAP("[i] -> { [] -> [i] }"), false));  in TEST()
567   EXPECT_EQ(UMAP("[i] -> { [] -> [j] : j > i }"),  in TEST()
568             afterScatter(UMAP("[i] -> { [] -> [i] }"), true));  in TEST()
571   EXPECT_EQ(UMAP("{ [] -> [i] : i >= 0 }"),  in TEST()
572             afterScatter(UMAP("{ [] -> [0]; [] -> [10] }"), false));  in TEST()
573   EXPECT_EQ(UMAP("{ [] -> [i] : i > 0 }"),  in TEST()
574             afterScatter(UMAP("{ [] -> [0]; [] -> [10] }"), true));  in TEST()
577   EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), false));  in TEST()
578   EXPECT_EQ(UMAP("{ }"), afterScatter(UMAP("{ }"), true));  in TEST()
600   EXPECT_EQ(UMAP("{ A[] -> [i] : 0 < i < 10; B[] -> [i] : 0 < i < 10 }"),  in TEST()
601             betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"),  in TEST()
602                            UMAP("{ A[] -> [10]; B[] -> [10] }"), false, false));  in TEST()
603   EXPECT_EQ(UMAP("{ A[] -> [i] : 0 <= i < 10; B[] -> [i] : 0 <= i < 10 }"),  in TEST()
604             betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"),  in TEST()
605                            UMAP("{ A[] -> [10]; B[] -> [10] }"), true, false));  in TEST()
606   EXPECT_EQ(UMAP("{ A[] -> [i] : 0 < i <= 10; B[] -> [i] : 0 < i <= 10 }"),  in TEST()
607             betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"),  in TEST()
608                            UMAP("{ A[] -> [10]; B[] -> [10] }"), false, true));  in TEST()
609   EXPECT_EQ(UMAP("{ A[] -> [i] : 0 <= i <= 10; B[] -> [i] : 0 <= i <= 10 }"),  in TEST()
610             betweenScatter(UMAP("{ A[] -> [0]; B[] -> [0] }"),  in TEST()
611                            UMAP("{ A[] -> [10]; B[] -> [10] }"), true, true));  in TEST()
621             singleton(UMAP("{  }"), SPACE("{ [] -> [] }")));  in TEST()
626             singleton(UMAP("{ [] -> [] }"), SPACE("{ [] -> [] }")));  in TEST()
633       singleton(UMAP("{ [i] -> [i] : 0 <= i < 10 }"), SPACE("{ [i] -> [j] }")));  in TEST()
639             singleton(UMAP("[i] -> { [i] -> [i] }"), SPACE("{ [i] -> [j] }")));  in TEST()
647   EXPECT_EQ(0u, getNumScatterDims(UMAP("{ [] -> [] }")));  in TEST()
648   EXPECT_EQ(1u, getNumScatterDims(UMAP("{ [] -> [i] }")));  in TEST()
649   EXPECT_EQ(2u, getNumScatterDims(UMAP("{ [] -> [i,j] }")));  in TEST()
650   EXPECT_EQ(3u, getNumScatterDims(UMAP("{ [] -> [i,j,k] }")));  in TEST()
653   EXPECT_EQ(0u, getNumScatterDims(UMAP("{ A[] -> []; [] -> []}")));  in TEST()
654   EXPECT_EQ(1u, getNumScatterDims(UMAP("{ A[] -> []; [] -> [i] }")));  in TEST()
655   EXPECT_EQ(2u, getNumScatterDims(UMAP("{ A[] -> [i]; [] -> [i,j] }")));  in TEST()
656   EXPECT_EQ(3u, getNumScatterDims(UMAP("{ A[] -> [i]; [] -> [i,j,k] }")));  in TEST()
664   EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ [] -> [] }")));  in TEST()
665   EXPECT_EQ(SPACE("{ [i] }"), getScatterSpace(UMAP("{ [] -> [i] }")));  in TEST()
666   EXPECT_EQ(SPACE("{ [i,j] }"), getScatterSpace(UMAP("{ [] -> [i,j] }")));  in TEST()
667   EXPECT_EQ(SPACE("{ [i,j,k] }"), getScatterSpace(UMAP("{ [] -> [i,j,k] }")));  in TEST()
670   EXPECT_EQ(SPACE("{ [] }"), getScatterSpace(UMAP("{ A[] -> []; [] -> [] }")));  in TEST()
672             getScatterSpace(UMAP("{ A[] -> []; [] -> [i] }")));  in TEST()
674             getScatterSpace(UMAP("{ A[] -> [i]; [] -> [i,j] }")));  in TEST()
676             getScatterSpace(UMAP("{ A[] -> [i]; [] -> [i,j,k] }")));  in TEST()
684   EXPECT_EQ(UMAP("{ [i] -> [i] }"), makeIdentityMap(USET("{ [0] }"), false));  in TEST()
685   EXPECT_EQ(UMAP("{ [0] -> [0] }"), makeIdentityMap(USET("{ [0] }"), true));  in TEST()
688   EXPECT_EQ(UMAP("{ [] -> []; [i] -> [i] }"),  in TEST()
690   EXPECT_EQ(UMAP("{ [] -> []; [0] -> [0] }"),  in TEST()
694   EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), false));  in TEST()
695   EXPECT_EQ(UMAP("{ }"), makeIdentityMap(USET("{ }"), true));  in TEST()
705   EXPECT_EQ(UMAP("{ [B[] -> A[]] -> [] }"),  in TEST()
706             reverseDomain(UMAP("{ [A[] -> B[]] -> [] }")));  in TEST()
728   EXPECT_EQ(UMAP("{ [1] -> [] }"),  in TEST()
729             shiftDim(UMAP("{ [0] -> [] }"), isl::dim::in, 0, 1));  in TEST()
732   EXPECT_EQ(UMAP("{ [] -> [1] }"),  in TEST()
733             shiftDim(UMAP("{ [] -> [0] }"), isl::dim::out, 0, 1));  in TEST()
741   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 < i }"),  in TEST()
742             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
743                                  UMAP("{ Dom[] -> Elt[] }"), false, false,  in TEST()
745   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 < i }"),  in TEST()
746             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
747                                  UMAP("{ Dom[] -> Elt[] }"), false, false,  in TEST()
749   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 <= i }"),  in TEST()
750             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
751                                  UMAP("{ Dom[] -> Elt[] }"), false, true,  in TEST()
753   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : 0 <= i }"),  in TEST()
754             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
755                                  UMAP("{ Dom[] -> Elt[] }"), false, true,  in TEST()
758   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i < 0 }"),  in TEST()
759             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
760                                  UMAP("{ Dom[] -> Elt[] }"), true, false,  in TEST()
762   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] :  i <= 0 }"),  in TEST()
763             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
764                                  UMAP("{ Dom[] -> Elt[] }"), true, false,  in TEST()
766   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i < 0 }"),  in TEST()
767             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
768                                  UMAP("{ Dom[] -> Elt[] }"), true, true,  in TEST()
770   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[] : i <= 0 }"),  in TEST()
771             computeReachingWrite(UMAP("{ Dom[] -> [0] }"),  in TEST()
772                                  UMAP("{ Dom[] -> Elt[] }"), true, true, true));  in TEST()
775   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 < i < 10; [Elt[] -> [i]] -> "  in TEST()
777             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
778                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
780   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 <= i < 10; [Elt[] -> [i]] -> "  in TEST()
782             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
783                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
785   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 < i <= 10; [Elt[] -> [i]] -> "  in TEST()
787             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
788                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
790   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom1[] : 0 <= i <= 10; [Elt[] -> [i]] -> "  in TEST()
792             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
793                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
796   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 < i < 10; [Elt[] -> [i]] -> "  in TEST()
798             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
799                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
801   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 <= i < 10; [Elt[] -> [i]] -> "  in TEST()
803             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
804                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
806   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 < i <= 10; [Elt[] -> [i]] -> "  in TEST()
808             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
809                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
811   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom2[] : 0 <= i <= 10; [Elt[] -> [i]] -> "  in TEST()
813             computeReachingWrite(UMAP("{ Dom1[] -> [0]; Dom2[] -> [10] }"),  in TEST()
814                                  UMAP("{ Dom1[] -> Elt[]; Dom2[] -> Elt[] }"),  in TEST()
818   EXPECT_EQ(UMAP("{ [Elt[] -> [i]] -> Dom[1] : 0 < i <= 10; [Elt[] -> [i]] -> "  in TEST()
820             computeReachingWrite(UMAP("{ Dom[i] -> [10i - 10] }"),  in TEST()
821                                  UMAP("{ Dom[1] -> Elt[]; Dom[2] -> Elt[] }"),  in TEST()
825   EXPECT_EQ(UMAP("[p] -> { [Elt[] -> [i]] -> Dom[] : p < i }"),  in TEST()
826             computeReachingWrite(UMAP("[p] -> { Dom[] -> [p] }"),  in TEST()
827                                  UMAP("{ Dom[] -> Elt[] }"), false, false,  in TEST()
832       UMAP("{ [Elt[] -> [i]] -> Dom[0] : 0 < i <= 3; [Elt[] -> [i]] -> Dom[1] "  in TEST()
835       computeReachingWrite(UMAP("{ Dom[i] -> [3i] : 0 <= i <= 4 }"),  in TEST()
836                            UMAP("{ Dom[i] -> Elt[] : 0 <= i <= 4 }"), false,  in TEST()
850     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i < 10 }"),  in TEST()
851               computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"),  in TEST()
852                                  UMAP("{ Write[] -> Elt[] }"),  in TEST()
853                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
855     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"),  in TEST()
856               computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"),  in TEST()
857                                  UMAP("{ Write[] -> Elt[] }"),  in TEST()
858                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
860     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 <= i < 10 }"),  in TEST()
861               computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"),  in TEST()
862                                  UMAP("{ Write[] -> Elt[] }"),  in TEST()
863                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
865     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 <= i <= 10 }"),  in TEST()
866               computeArrayUnused(UMAP("{ Read[] -> [0]; Write[] -> [10] }"),  in TEST()
867                                  UMAP("{ Write[] -> Elt[] }"),  in TEST()
868                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
872     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"),  in TEST()
874                   UMAP("{ Read[0] -> [-10]; Read[1] -> [0]; Write[] -> [10] }"),  in TEST()
875                   UMAP("{ Write[] -> Elt[] }"), UMAP("{ Read[i] -> Elt[] }"),  in TEST()
879     EXPECT_EQ(UMAP("{}"),  in TEST()
880               computeArrayUnused(UMAP("{ Read[] -> [0] }"), UMAP("{}"),  in TEST()
881                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
885     EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"),  in TEST()
886               computeArrayUnused(UMAP("{ Write[] -> [0] }"),  in TEST()
887                                  UMAP("{ Write[] -> Elt[] }"), UMAP("{}"),  in TEST()
892         UMAP("{ Elt[] -> [i] : i <= 10 }"),  in TEST()
893         computeArrayUnused(UMAP("{ WriteA[] -> [0];  WriteB[] -> [10] }"),  in TEST()
894                            UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),  in TEST()
895                            UMAP("{}"), ReadEltInSameInst, false, true));  in TEST()
900         UMAP("{ Elt[] -> [i] : 0 < i <= 10; Elt[] -> [i] : 20 < i <= 30 }"),  in TEST()
901         computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10]; ReadB[] "  in TEST()
903                            UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),  in TEST()
904                            UMAP("{ ReadA[] -> Elt[];  ReadB[] -> Elt[] }"),  in TEST()
909         UMAP("{ Elt[] -> [i] : i <= 10 }"),  in TEST()
911             UMAP("{ WriteA[] -> [0];  WriteB[] -> [10];  Read[] -> [20] }"),  in TEST()
912             UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),  in TEST()
913             UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));  in TEST()
916     EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"),  in TEST()
917               computeArrayUnused(UMAP("{ Write[] -> [0]; Read[] -> [10] }"),  in TEST()
918                                  UMAP("{ Write[] -> Elt[] }"),  in TEST()
919                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
923     EXPECT_EQ(UMAP("{ Elt[] -> [i] : 0 < i <= 10 }"),  in TEST()
925                   UMAP("{ ReadA[] -> [0]; Write[] -> [10]; ReadB[] -> [20] }"),  in TEST()
926                   UMAP("{ Write[] -> Elt[] }"),  in TEST()
927                   UMAP("{ ReadA[] -> Elt[];  ReadB[] -> Elt[] }"),  in TEST()
932         UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"),  in TEST()
934             UMAP("{ Read[] -> [0]; WriteA[] -> [10];  WriteB[] -> [20] }"),  in TEST()
935             UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),  in TEST()
936             UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));  in TEST()
940         UMAP("{ Elt[] -> [i] : 0 < i <= 20 }"),  in TEST()
941         computeArrayUnused(UMAP("{ ReadA[] -> [0]; WriteA[] -> [10];  WriteB[] "  in TEST()
943                            UMAP("{ WriteA[] -> Elt[]; WriteB[] -> Elt[] }"),  in TEST()
944                            UMAP("{ ReadA[] -> Elt[];  ReadB[] -> Elt[] }"),  in TEST()
949   EXPECT_EQ(UMAP("{ Elt[] -> [i] : i < 0 }"),  in TEST()
950             computeArrayUnused(UMAP("{ RW[] -> [0] }"),  in TEST()
951                                UMAP("{ RW[] -> Elt[] }"),  in TEST()
952                                UMAP("{ RW[] -> Elt[] }"), true, false, false));  in TEST()
953   EXPECT_EQ(UMAP("{ Elt[] -> [i] : i <= 0 }"),  in TEST()
954             computeArrayUnused(UMAP("{ RW[] -> [0] }"),  in TEST()
955                                UMAP("{ RW[] -> Elt[] }"),  in TEST()
956                                UMAP("{ RW[] -> Elt[] }"), true, false, true));  in TEST()
957   EXPECT_EQ(UMAP("{ Elt[] -> [0] }"),  in TEST()
958             computeArrayUnused(UMAP("{ RW[] -> [0] }"),  in TEST()
959                                UMAP("{ RW[] -> Elt[] }"),  in TEST()
960                                UMAP("{ RW[] -> Elt[] }"), false, true, true));  in TEST()
1016   EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [1] -> [] }"),  in TEST()
1018   EXPECT_EQ(UMAP("{ [0] -> [] }"),  in TEST()
1019             convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true,  in TEST()
1021   EXPECT_EQ(UMAP("{ [1] -> [] }"),  in TEST()
1022             convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, false,  in TEST()
1025       UMAP("{ [0] -> []; [1] -> [] }"),  in TEST()
1026       convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true, true));  in TEST()
1029   EXPECT_EQ(UMAP("{}"), convertZoneToTimepoints(UMAP("{ [] -> [1] }"),  in TEST()
1031   EXPECT_EQ(UMAP("{ [] -> [0] }"),  in TEST()
1032             convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true,  in TEST()
1034   EXPECT_EQ(UMAP("{ [] -> [1] }"),  in TEST()
1035             convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, false,  in TEST()
1037   EXPECT_EQ(UMAP("{ [] -> [0]; [] -> [1] }"),  in TEST()
1038             convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true,  in TEST()
1055       UMAP(  in TEST()
1059           UMAP("{ DomainA[i,j] -> [RangeA1[i,k] -> RangeA2[j,k]];"  in TEST()
1068   EXPECT_EQ(UMAP("{ [Factor[] -> Domain[]] -> [Factor[] -> Range[]] }"),  in TEST()
1069             liftDomains(UMAP("{ Domain[] -> Range[] }"), USET("{ Factor[] }")));  in TEST()
1070   EXPECT_EQ(UMAP("{ [Factor[l] -> Domain[i,k]] -> [Factor[l] -> Range[j,k]] }"),  in TEST()
1071             liftDomains(UMAP("{ Domain[i,k] -> Range[j,k] }"),  in TEST()
1076       UMAP("{ [FactorA[] -> DomainA[]] -> [FactorA[] -> RangeA[]];"  in TEST()
1080       liftDomains(UMAP("{ DomainA[] -> RangeA[]; DomainB[] -> RangeB[] }"),  in TEST()
1090       UMAP("{ [DomainDomain[] -> NewDomainRange[]] -> Range[] }"),  in TEST()
1091       applyDomainRange(UMAP("{ [DomainDomain[] -> DomainRange[]] -> Range[] }"),  in TEST()
1092                        UMAP("{ DomainRange[] -> NewDomainRange[] }")));  in TEST()
1094       UMAP("{ [DomainDomain[i,k] -> NewDomainRange[j,k,l]] -> Range[i,j] }"),  in TEST()
1096           UMAP("{ [DomainDomain[i,k] -> DomainRange[j,k]] -> Range[i,j] }"),  in TEST()
1097           UMAP("{ DomainRange[j,k] -> NewDomainRange[j,k,l] }")));  in TEST()
1100   EXPECT_EQ(UMAP("{ [DomainDomainA[] -> NewDomainRangeA[]] -> RangeA[];"  in TEST()
1103                 UMAP("{ [DomainDomainA[] -> DomainRangeA[]] -> RangeA[];"  in TEST()
1105                 UMAP("{ DomainRangeA[] -> NewDomainRangeA[];"  in TEST()