https://github.com/nikic approved this pull request. LGTM It might make sense to have everything use a single lazy DTU and then use DTU->getDomTree() in updateSSA(), which seems like the only place that actually needs an up to date dominator tree. https://github.com/llvm/llvm-project/pull/162240