joker-eph wrote: > If we successfully model dominance in regions, 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) https://github.com/llvm/llvm-project/pull/89107