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

[Oleksandr Alex Zinenko]

https://github.com/ftynse commented:

Thanks for the iteration! High-level question: why do we actually need this function in forward analysis next to `visitNonControlFlowArguments`? Conceptually, they seem to be doing the same thing.

I see the need in liveness analysis, which is a _backward_ analysis. Generally, given the complexity of the infra being modified, I'd rather split the change into one specific for liveness and one for the infra.

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