add a matcher for thread-specific marker nodes

Author: ftynse

tc/core/polyhedral/schedule_tree_matcher-inl.h

@@ -61,6 +61,12 @@ inline ScheduleTreeMatcher context(Args... children) {
   return ScheduleTreeMatcher(detail::ScheduleTreeType::Context, children...);
 }
 
+template <typename... Args>
+inline ScheduleTreeMatcher threadSpecific(Args... children) {
+  return ScheduleTreeMatcher(
+      detail::ScheduleTreeType::ThreadSpecificMarker, children...);
+}
+
 template <typename... Args>
 inline ScheduleTreeMatcher filter(
     std::function<bool(isl::union_set)> propertyMatcher,