[Mlir-commits] [mlir] [mlir][dataflow] Fix DataFlowFramework crash by add isBlockEnd logic in the ProgramPoint::print (PR #173471)

lonely eagle llvmlistbot at llvm.org
Thu Dec 25 18:26:40 PST 2025


================
@@ -67,8 +67,10 @@ void ProgramPoint::print(raw_ostream &os) const {
        << OpWithFlags(getPrevOp(), OpPrintingFlags().skipRegions());
     return;
   }
-  os << "<before operation>:"
-     << OpWithFlags(getNextOp(), OpPrintingFlags().skipRegions());
+  if (!isBlockEnd()) {
----------------
linuxlonelyeagle wrote:

https://mlir.llvm.org/docs/Dialects/SCFDialect/#scfforallin_parallel-scfinparallelop Sorry, I forgot: The scf.forall.in_parallel is a designated terminator for the scf.forall operation.You can see https://mlir.llvm.org/docs/Dialects/SCFDialect/#scfforallin_parallel-scfinparallelop.

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


More information about the Mlir-commits mailing list