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

[Thomas Raoux]

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

I don't think there is such a rule but having  it closer to the other functions doing pre-condition checks makes sense. I moved it there.

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