markUnroll: explicitly take into account mapping

Sven Verdoolaege · Sven Verdoolaege · commit 03d1786d2d02 · 2018-06-15T14:46:28.000+02:00
prefixSchedule currently includes the effects any outer mapping,
but this will be changed in the next commit.
markUnroll needs this mapping in order to be able to determine
whether the schedule dimension from which a block mapping is derived
can be unrolled.
Introduce the outer mapping explicitly.
diff --git a/tc/core/polyhedral/unroll.cc b/tc/core/polyhedral/unroll.cc
@@ -181,6 +181,7 @@ void markUnroll(
 
   auto unrollVal = isl::val(st->ctx_, unroll);
   auto prefix = prefixSchedule(root, st);
+  prefix = prefix.intersect_domain(prefixMappingFilter(root, st));
   boundInstancesAndMarkUnroll(st, prefix, unrollVal);
 }
 } // namespace polyhedral

Original file line number	Diff line number	Diff line change
`@@ -181,6 +181,7 @@ void markUnroll(`
`181`	`181`
`182`	`182`	`auto unrollVal = isl::val(st->ctx_, unroll);`
`183`	`183`	`auto prefix = prefixSchedule(root, st);`
	`184`	`+ prefix = prefix.intersect_domain(prefixMappingFilter(root, st));`
`184`	`185`	`boundInstancesAndMarkUnroll(st, prefix, unrollVal);`
`185`	`186`	`}`
`186`	`187`	`} // namespace polyhedral`