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

[Théo Degioanni]

Moxinilian wrote:

Yeah, I think this needs a general way to express dominance between values across regions. I think [this talk](https://www.youtube.com/watch?v=VJORFvHJKWE) summarizes pretty well why this is difficult in regions.

I am not aware of anyone working actively on this, but an RFC is always welcome if you have an idea on how to model this properly. I think it is a fun challenge, albeit fairly difficult. I think loops in particular require to be extra careful.

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