[Mlir-commits] [mlir] [mlir][dataflow] Cleanup liveness analysis (NFC) (PR #172874)

[Oleksandr Alex Zinenko]

https://github.com/ftynse commented:

`visitOperation` also calls `addDependency` so as to re-visit the program point if another lattice changes, which `visitBranchOperand` does not do. For example, if a result of the operation gets marked live at some later point in the analysis (I believe everything is considered dead by default), it looks like this will no longer be propagated to block arguments after this change.

I'd love to have a way to test this, but can't come up with one...

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