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

[Théo Degioanni]

Moxinilian wrote:

> What does this mean exactly? We're not talking about SSA dominance here, are we? (the MLIR verifier enforces dominance rules already, which AFAIK are well defined with regions)

This is about dominance in the sense "op A dominates op B" if and only if "for all control-flow paths reaching op B, this path goes through op A". The MLIR verifier enforces dominance rule at a sort of syntactic level, but does not take into account actual control-flow.

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