Skip to content
This repository was archived by the owner on Apr 28, 2023. It is now read-only.

Commit 49488e6

Browse files
author
Sven Verdoolaege
committed
prefixScheduleMupa: explicitly set domain of the result
If the result in zero-dimensional, then make sure it has an explicit domain such that it can be converted to an isl::union_map. Arguably, isl::multi_union_pw_aff should take care of setting this domain. Do it explicitly for now.
1 parent 78399a0 commit 49488e6

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

tc/core/polyhedral/schedule_transforms.cc

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -458,6 +458,8 @@ isl::multi_union_pw_aff prefixScheduleMupa(
458458
auto domain = domainElem->domain_.universe();
459459
auto zero = isl::multi_val::zero(domain.get_space().set_from_params());
460460
auto prefix = isl::multi_union_pw_aff(domain, zero);
461+
// Work around bug in isl.
462+
prefix = prefix.intersect_domain(domain);
461463
prefix = foldl(
462464
filterType<ScheduleTreeElemBand>(tree->ancestors(root)),
463465
[](const ScheduleTree* st, isl::multi_union_pw_aff prefix) {

0 commit comments

Comments
 (0)