Scop: extract insertSyncsAroundSeqChildren

This function inserts synchronizations before the first and after the
last child of a sequence node.  It will be used in an upcoming commit.

Author: ftynse

tc/core/polyhedral/scop.cc

@@ -243,6 +243,13 @@ void Scop::insertSyncsAroundCopies(ScheduleTree* tree) {
       ++i;
     }
   }
+  insertSyncsAroundSeqChildren(seqNode);
+}
+
+void Scop::insertSyncsAroundSeqChildren(detail::ScheduleTree* seqNode) {
+  TC_CHECK(seqNode->elemAs<detail::ScheduleTreeElemSequence>())
+      << "expected sequence node, got\n"
+      << *seqNode;
   insertSync(seqNode, 0);
   insertSync(seqNode, seqNode->numChildren());
 }

tc/core/polyhedral/scop.h

@@ -461,6 +461,10 @@ struct Scop {
   //
   void insertSyncsAroundCopies(detail::ScheduleTree* tree);
 
+  // Given a sequence node, insert synchronizations before its first child node
+  // and after its last child node.
+  void insertSyncsAroundSeqChildren(detail::ScheduleTree* tree);
+
  private:
   // Compute a schedule satisfying the given schedule constraints and
   // taking into account the scheduler options.