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

Oleksandr Alex Zinenko llvmlistbot at llvm.org
Wed Jun 11 13:18:44 PDT 2025


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


More information about the Mlir-commits mailing list