[Mlir-commits] [mlir] [mlir] NFC: void visitRegionSuccessors (PR #125268)

[Maksim Levental]

https://github.com/makslevental created https://github.com/llvm/llvm-project/pull/125268

I would like to hook/override `visitRegionSuccessors` in sparse analyses that inherit from  `AbstractSparseForwardDataFlowAnalysis`. This would allow me to control specifically how regions are analyzed (e.g., number of visits).

>From 1ca6b56274cd2a9b8101e0107aab4c911e537381 Mon Sep 17 00:00:00 2001
From: Maksim Levental <maksim.levental at gmail.com>
Date: Fri, 31 Jan 2025 13:54:17 -0500
Subject: [PATCH] [mlir] NFC: void visitRegionSuccessors

---
 mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h b/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
index 387b9ee707179bf..8c67c9dd75de598 100644
--- a/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
+++ b/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
@@ -255,7 +255,7 @@ class AbstractSparseForwardDataFlowAnalysis : public DataFlowAnalysis {
   /// operation `branch`, which can either be the entry block of one of the
   /// regions or the parent operation itself, and set either the argument or
   /// parent result lattices.
-  void visitRegionSuccessors(ProgramPoint *point,
+  virtual void visitRegionSuccessors(ProgramPoint *point,
                              RegionBranchOpInterface branch,
                              RegionBranchPoint successor,
                              ArrayRef<AbstractSparseLattice *> lattices);