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

[lonely eagle]

linuxlonelyeagle wrote:

> 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.

If my understanding is correct, we will first resolve the lifetime issues, which means completing the backward analysis. Then, we will submit a separate PR for the forward analysis.


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