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

[Oleksandr Alex Zinenko]

================
@@ -335,6 +339,13 @@ class SparseForwardDataFlowAnalysis
         firstIndex + successor.getSuccessorInputs().size()));
   }
 
+  // visitBranchPropertyArgument is used to visit the property argument of a
+  // branch op, such as the loop's IV.
----------------
ftynse wrote:

Nit: please spell out "induction variable", it's not the long and avoids an unnecessary abbreviation that is not common in this context.

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