llvm-share-dominatortree
llvm-share-dominatortree
Dominator Tree
https://blog.csdn.net/dashuniuniu/article/details/52224882
Def 支配了所有的user
如果每一条从流图的入口结点到结点 n 的路径都经过结点 d, 我们就说 d 支配(dominate)n,记为 d dom n。请注意,在这个定义下每个结点都支配它自己。-《编译原理》
d dom i if all paths from entry to node i include d.