Lines Matching refs:isl
19 static isl::space parseSpace(isl_ctx *Ctx, const char *Str) { in parseSpace()
23 isl::space Result; in parseSpace()
25 Result = isl::manage(isl_set_get_space(static_cast<isl_set *>(Obj.v))); in parseSpace()
27 Result = isl::manage(isl_map_get_space(static_cast<isl_map *>(Obj.v))); in parseSpace()
37 #define SET(Str) isl::set(Ctx.get(), Str)
38 #define MAP(Str) isl::map(Ctx.get(), Str)
40 #define USET(Str) isl::union_set(Ctx.get(), Str)
41 #define UMAP(Str) isl::union_map(Ctx.get(), Str)
43 namespace isl { namespace
46 static bool operator==(const isl::space &LHS, const isl::space &RHS) { in operator ==()
50 static bool operator==(const isl::set &LHS, const isl::set &RHS) { in operator ==()
54 static bool operator==(const isl::map &LHS, const isl::map &RHS) { in operator ==()
58 static bool operator==(const isl::union_set &LHS, const isl::union_set &RHS) { in operator ==()
62 static bool operator==(const isl::union_map &LHS, const isl::union_map &RHS) { in operator ==()
66 static bool operator==(const isl::val &LHS, const isl::val &RHS) { in operator ==()
70 static bool operator==(const isl::pw_aff &LHS, const isl::pw_aff &RHS) { in operator ==()
108 auto IslNTwoCmp = isl::val(IslCtx, -2); in TEST()
139 auto IslRef = isl::val(IslCtx, 32).pow2().sub(1); in TEST()
147 auto IslRef = isl::val(IslCtx, 71); in TEST()
159 auto IslNOne = isl::val(IslCtx, -1); in TEST()
167 auto IslNTwo = isl::val(IslCtx, -2); in TEST()
175 auto IslNThree = isl::val(IslCtx, -3); in TEST()
183 auto IslNFour = isl::val(IslCtx, -4); in TEST()
191 auto IslZero = isl::val(IslCtx, 0); in TEST()
198 auto IslOne = isl::val(IslCtx, 1); in TEST()
205 auto IslTwo = isl::val(IslCtx, 2); in TEST()
212 auto IslThree = isl::val(IslCtx, 3); in TEST()
219 auto IslFour = isl::val(IslCtx, 4); in TEST()
226 auto IslNOne = isl::val(IslCtx, 32).pow2().sub(1); in TEST()
233 auto IslLargeNum = isl::val(IslCtx, 60); in TEST()
242 auto IslExp = isl::val(IslCtx, 500); in TEST()
251 auto IslExp = isl::val(IslCtx, 500); in TEST()
260 auto IslExp = isl::val(IslCtx, 512); in TEST()
269 auto IslExp = isl::val(IslCtx, 512); in TEST()
284 isl::val ValOne = isl::val(IslCtx.get(), 1); in TEST()
285 isl::val ValTwo = isl::val(IslCtx.get(), 2); in TEST()
286 isl::val ValThree = isl::val(IslCtx.get(), 3); in TEST()
287 isl::val ValFour = isl::val(IslCtx.get(), 4); in TEST()
288 isl::val ValNegOne = isl::val(IslCtx.get(), -1); in TEST()
289 isl::val ValNegTwo = isl::val(IslCtx.get(), -2); in TEST()
290 isl::val ValNegThree = isl::val(IslCtx.get(), -3); in TEST()
291 isl::val ValNegFour = isl::val(IslCtx.get(), -4); in TEST()
293 isl::space Space = isl::space(IslCtx.get(), 0, 0); in TEST()
294 isl::local_space LS = isl::local_space(Space); in TEST()
296 isl::pw_aff AffOne = isl::aff(LS, ValOne); in TEST()
297 isl::pw_aff AffTwo = isl::aff(LS, ValTwo); in TEST()
298 isl::pw_aff AffThree = isl::aff(LS, ValThree); in TEST()
299 isl::pw_aff AffFour = isl::aff(LS, ValFour); in TEST()
300 isl::pw_aff AffNegOne = isl::aff(LS, ValNegOne); in TEST()
301 isl::pw_aff AffNegTwo = isl::aff(LS, ValNegTwo); in TEST()
302 isl::pw_aff AffNegThree = isl::aff(LS, ValNegThree); in TEST()
303 isl::pw_aff AffNegFour = isl::aff(LS, ValNegFour); in TEST()
383 isl::map TestMap{Ctx.get(), "{ [2] -> [7]; [5] -> [7] }"}; in TEST()
384 isl::union_map TestUMap{Ctx.get(), "{ A[i] -> [7]; B[i] -> [7] }"}; in TEST()
386 isl::set TestSet{Ctx.get(), "{ [0,7]; [i,7]: i >= 2 }"}; in TEST()
387 isl::union_set TestUSet{Ctx.get(), "{ A[0,7]; B[i,7] }"}; in TEST()
389 isl::set Seven{Ctx.get(), "{ [7] }"}; in TEST()
393 isl::stat Stat = in TEST()
394 TestMap.foreach_basic_map([&](isl::basic_map BMap) -> isl::stat { in TEST()
397 return isl::stat::ok(); in TEST()
406 isl::stat Stat = in TEST()
407 TestSet.foreach_basic_set([&](isl::basic_set BSet) -> isl::stat { in TEST()
408 EXPECT_EQ(BSet.project_out(isl::dim::set, 0, 1), Seven); in TEST()
410 return isl::stat::ok(); in TEST()
418 isl::stat Stat = TestUMap.foreach_map([&](isl::map Map) -> isl::stat { in TEST()
421 return isl::stat::ok(); in TEST()
429 isl::stat Stat = TestUSet.foreach_set([&](isl::set Set) -> isl::stat { in TEST()
430 EXPECT_EQ(Set.project_out(isl::dim::set, 0, 1), Seven); in TEST()
432 return isl::stat::ok(); in TEST()
439 auto UPwAff = isl::union_pw_aff(TestUSet, isl::val::zero(Ctx.get())); in TEST()
441 isl::stat Stat = UPwAff.foreach_pw_aff([&](isl::pw_aff PwAff) -> isl::stat { in TEST()
444 return isl::stat::ok(); in TEST()
453 .foreach_basic_map([&](isl::basic_map BMap) -> isl::stat { in TEST()
456 return isl::stat::error(); in TEST()
465 .foreach_map([&](isl::map Map) -> isl::stat { in TEST()
468 return isl::stat::error(); in TEST()
475 auto TestPwAff = isl::pw_aff(TestSet, isl::val::zero(Ctx.get())); in TEST()
477 isl::stat Stat = TestPwAff.foreach_piece( in TEST()
478 [&](isl::set Domain, isl::aff Aff) -> isl::stat { in TEST()
482 return isl::stat::error(); in TEST()
727 shiftDim(MAP("{ [0] -> [] }"), isl::dim::in, 0, 1)); in TEST()
729 shiftDim(UMAP("{ [0] -> [] }"), isl::dim::in, 0, 1)); in TEST()
731 shiftDim(MAP("{ [] -> [0] }"), isl::dim::out, 0, 1)); in TEST()
733 shiftDim(UMAP("{ [] -> [0] }"), isl::dim::out, 0, 1)); in TEST()
1017 isl::dim::in, false, false)); in TEST()
1019 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true, in TEST()
1022 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, false, in TEST()
1026 convertZoneToTimepoints(UMAP("{ [1] -> [] }"), isl::dim::in, true, true)); in TEST()
1030 isl::dim::out, false, false)); in TEST()
1032 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true, in TEST()
1035 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, false, in TEST()
1038 convertZoneToTimepoints(UMAP("{ [] -> [1] }"), isl::dim::out, true, in TEST()
1113 isl::set TestSet1{Ctx.get(), "{ [0] }"}; in TEST()
1114 isl::set TestSet2{Ctx.get(), "{ [i] : i > 0 }"}; in TEST()
1124 isl::id::alloc(Ctx.get(), "A", nullptr); in TEST()
1125 isl::id::alloc(Ctx.get(), "B", nullptr); in TEST()
1129 isl::set Union = TestSet1.unite(TestSet2); in TEST()
1133 isl::boolean BoolResult = TestSet1.is_empty(); in TEST()
1153 isl::stat StatResult = in TEST()
1154 TestSet1.foreach_point([](isl::point) { return isl::stat::ok(); }); in TEST()
1164 isl::set Union = TestSet1.unite(TestSet2); in TEST()
1167 isl::boolean BoolResult = TestSet1.is_empty(); in TEST()
1174 isl::stat StatResult = in TEST()
1175 TestSet1.foreach_point([](isl::point) { return isl::stat::ok(); }); in TEST()