insertBranch: check for actual filters

Sven Verdoolaege · Sven Verdoolaege · commit 475f2c35379f · 2018-06-15T14:46:28.000+02:00
The children of a set or sequence node should be proper filters
(not mapping filters).
diff --git a/tc/core/polyhedral/schedule_isl_conversion.cc b/tc/core/polyhedral/schedule_isl_conversion.cc
@@ -66,7 +66,7 @@ isl::schedule_node insertBranch(
     const std::vector<size_t>& pos) {
   auto filters = isl::union_set_list(node.get_ctx(), st->numChildren());
   for (size_t i = 0; i < pos.size(); ++i) {
-    auto filter = st->child({pos[i]})->elemAsBase<ScheduleTreeElemFilter>();
+    auto filter = st->child({pos[i]})->elemAs<ScheduleTreeElemFilter>();
     TC_CHECK(filter);
     filters = filters.add(filter->filter_);
   }

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ isl::schedule_node insertBranch(`
`66`	`66`	`const std::vector<size_t>& pos) {`
`67`	`67`	`auto filters = isl::union_set_list(node.get_ctx(), st->numChildren());`
`68`	`68`	`for (size_t i = 0; i < pos.size(); ++i) {`
`69`		`- auto filter = st->child({pos[i]})->elemAsBase<ScheduleTreeElemFilter>();`
	`69`	`+ auto filter = st->child({pos[i]})->elemAs<ScheduleTreeElemFilter>();`
`70`	`70`	`TC_CHECK(filter);`
`71`	`71`	`filters = filters.add(filter->filter_);`
`72`	`72`	`}`