[Mlir-commits] [mlir] [mlir][dataflow] Improve DataFlowFramework debug output (PR #176632)

[lonely eagle]

================
@@ -36,9 +36,24 @@ void AbstractSparseLattice::onUpdate(DataFlowSolver *solver) const {
   AnalysisState::onUpdate(solver);
 
   // Push all users of the value to the queue.
-  for (Operation *user : cast<Value>(anchor).getUsers())
-    for (DataFlowAnalysis *analysis : useDefSubscribers)
+  for (Operation *user : cast<Value>(anchor).getUsers()) {
+    for (DataFlowAnalysis *analysis : useDefSubscribers) {
+      LDBG() << debugName << " of " << anchor << "\n"
+             << "Value: " << *this << "\nenqueuing user dependent work item: "
+             << *solver->getProgramPointAfter(user) << "\nwith "
+             << AnalysisState::getAnalysisDebugName(analysis);
----------------
linuxlonelyeagle wrote:

```
[dataflow SparseAnalysis.cpp:41 1] mlir::dataflow::Lattice<mlir::dataflow::ConstantValue> of <block argument> of type 'i1' at index: 0
[dataflow SparseAnalysis.cpp:41 1] Value: <UNKNOWN>
[dataflow SparseAnalysis.cpp:41 1] enqueuing user dependent work item: <after operation>:[ControlFlowInterfaces.cpp:78 1] Verifying branch successor operands for successor #0 in operation cf.br
```

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