[Mlir-commits] [mlir] [mlir][dataflow] Add visitBranchPropertyArgument 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:

I apologize for the function's naming. I was waiting for everyone's suggestions.  https://github.com/llvm/llvm-project/pull/169816#discussion_r2637698655

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