[Mlir-commits] [mlir] [MLIR][SCF] Add checks to verify that the pipeliner schedule is correct. (PR #77083)

[Rik Huijzer]

================
@@ -156,6 +160,11 @@ bool LoopPipelinerInternal::initializeLoopInfo(
     }
   }
 
+  if (!verifySchedule()) {
+    LDBG("--invalid schedule: " << op << " -> BAIL");
+    return false;
+  }
----------------
rikhuijzer wrote:

nit: should the implementation of `verifySchedule` not be defined above the function that contains this check (above `LoopPipelinerInternal`?) Most of the MLIR codebase and this file `LoopPipelining.cpp` do this.

https://github.com/llvm/llvm-project/pull/77083