joker-eph wrote: > There is a remaining issue where the dominator trees in PostDominanceInfo are not updated because CSE does not depend on PostDominanceInfo. If CSE does not mark it preserved, then there is no issue. https://github.com/llvm/llvm-project/pull/192279