[Mlir-commits] [mlir] [mlir] Add support for staged dataflow analyses (PR #192998)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff origin/main HEAD --extensions cpp,h -- mlir/include/mlir/Analysis/DataFlowFramework.h mlir/lib/Analysis/DataFlowFramework.cpp mlir/test/lib/Analysis/TestDataFlowFramework.cpp mlir/tools/mlir-opt/mlir-opt.cpp --diff_from_common_commit
``````````

:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/mlir/lib/Analysis/DataFlowFramework.cpp b/mlir/lib/Analysis/DataFlowFramework.cpp
index 3763b2f9d..ae9340799 100644
--- a/mlir/lib/Analysis/DataFlowFramework.cpp
+++ b/mlir/lib/Analysis/DataFlowFramework.cpp
@@ -11,8 +11,8 @@
 #include "mlir/IR/Operation.h"
 #include "mlir/IR/SymbolTable.h"
 #include "mlir/IR/Value.h"
-#include "llvm/ADT/ScopeExit.h"
 #include "llvm/ADT/STLExtras.h"
+#include "llvm/ADT/ScopeExit.h"
 #include "llvm/ADT/iterator.h"
 #include "llvm/Config/abi-breaking.h"
 #include "llvm/Support/Casting.h"
@@ -144,16 +144,14 @@ LogicalResult DataFlowSolver::initializeAndRunImpl(Operation *top,
     config.setInterprocedural(false);
 
   // Initialize equivalent lattice anchors.
-  for (DataFlowAnalysis &analysis :
-       llvm::make_pointee_range(llvm::drop_begin(childAnalyses,
-                                                 firstAnalysis))) {
+  for (DataFlowAnalysis &analysis : llvm::make_pointee_range(
+           llvm::drop_begin(childAnalyses, firstAnalysis))) {
     analysis.initializeEquivalentLatticeAnchor(top);
   }
 
   // Initialize the analyses.
-  for (DataFlowAnalysis &analysis :
-       llvm::make_pointee_range(llvm::drop_begin(childAnalyses,
-                                                 firstAnalysis))) {
+  for (DataFlowAnalysis &analysis : llvm::make_pointee_range(
+           llvm::drop_begin(childAnalyses, firstAnalysis))) {
     DATAFLOW_DEBUG(LDBG() << "Priming analysis: " << analysis.debugName);
     if (failed(analysis.initialize(top)))
       return failure();

``````````

</details>


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