yeshahayes的博客

原创 支配关系以及流图中的循环（一）

  支配树这个结构在后端优化中有很重要的作用，尤其是SSA格式的程序中，高效的支配树生成尤其重要。   我们说对于一个图G=(V,E,entry)， 节点m支配节点n当且仅当从流图入口entry到n的所有路径都经过m，记做：m dom n。 所有支配n的节点组成一个集合叫做支配集，记做dom(n)。 所有节点均支配自己，即∀\forall∀n∈\in∈V，n dom n。 如果存在节点x,y,z...