[Mlir-commits] [mlir] [mlir][dataflow] Add new visitNonControlFlowArgumentst API to SparseDataFlowAnalysis and apply it in LivenessAnalysis/RemoveDeadValues/IntegerRangeAnalysis (PR #169816)

[lonely eagle]

================
@@ -217,6 +217,10 @@ class AbstractSparseForwardDataFlowAnalysis : public DataFlowAnalysis {
       Operation *op, const RegionSuccessor &successor,
       ArrayRef<AbstractSparseLattice *> argLattices, unsigned firstIndex) = 0;
 
+  virtual void visitBranchPropertyArgumentImpl(
----------------
linuxlonelyeagle wrote:

Thank you for explaining all this to me. My English is not very good.
If my understanding is correct, the 'visitNonControlFlow' part in visitNonControlFlowArguments refers to forward analysis, which is not an analysis of direct operand-to-result forwarding. This is why it received this name.

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