[Mlir-commits] [mlir] Define a DataFlowSolver helper that loads sensible default analyses (PR #143415)

[Oleksandr Alex Zinenko]

ftynse wrote:

They are already coupled. Specifically, if you look at the implementation of visit\* functions in Abstract\*DataFlowAnalysis, they query the `Executable` lattice (which depends on the sccp lattice IIRC, on phone right now) to decide whether to dispatch further or not. The proper fix is to stop doing that and assume everything is live when the lattice is not available, whereas now the analysis seems to assume the opposite.

Additional fun that these two analyses predate the current helper classes and use the raw DataFlowAnalysis base.

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