[Mlir-commits] [mlir] [mlir][CSE] Fix dominanceInfo analysis preservation (PR #192279)

[lonely eagle]

linuxlonelyeagle wrote:

There is a remaining issue where the dominator trees in PostDominanceInfo are not updated because CSE does not depend on PostDominanceInfo. My proposed solution is as follows:
1. Include PostDominanceInfo as a member variable of the `CSE driver class`.
2. Add a member function `invalidate(Operation* op)` in `DominanceInfoBase`, which specifically retains only the dominator trees for the regions within the variable`op`.

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