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

[Mehdi Amini]

joker-eph 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.

As far as I know, the talk you refer only touches on asynchronously executed region and also I believe it misuses "dominance" for "liveness".

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