[Mlir-commits] [mlir] [MLIR] Add single definition multiple regions for mem2reg (PR #89107)

[Théo Degioanni]

Moxinilian wrote:

Right. I think for mem2reg liveness and dominance are somewhat similar, at least in the scope of what this mem2reg infrastructure was designed for. If we successfully model dominance in regions, this should provide enough information to compute a useful amount of variable tracking for mem2reg.

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