编译原理支配树部分名词介绍

支配性、严格支配性、直接支配性、支配边界

支配性

如果每一条从流图到入口节点到节点n都需要经过节点d，则称d支配n，又记d （支配）dominance n。

如上图入口节点1到节点4都需要经过节点3，3节点则支配节点4.

严格支配性

当d！=n时且d dom n ，则d sdom n

直接支配性

在支配树（dominator tree）中，对于结点 n 来说，从根节点到结点 n 所在路径上的结点（不包括）都严格支配结点 n，例如上图中从根节点 1 -> 2 -> 3，其中结点 1 和 结点 2 都严格支配结点 3。该路径上离结点 n 最近的结点叫做结点 n 的 直接支配结点（immediate node），用 IDom(n) 表示，例如上图中 IDom(6) = 2。换句话说，就是在严格支配性的基础上还得是节点n前的最后一个严格支配节点。

支配边界

Y 是 X 的支配边界，当且仅当 X 支配 Y 的一个前驱结点（CFG）同时 X 并不严格支配 Y