编译器笔记52-代码优化-支配结点和回边

支配结点 (Dominators)

如果从流图的入口结点到结点n的每条路径都经过结点d，则称结点d支配(dominate)结点n，记为d dom n（每个结点都支配它自己）

例.png 例.png

寻找支配结点

寻找支配结点.png

计算支配结点的迭代算法

计算支配结点的迭代算法.png 例.png

回边 (Back Edges)

回边.png