五.循环优化 1.循环的定义 循环是程序流图中有唯一入口结点 的强连通子图。 (1)入口结点子图中满足下列条件的结点n 或者n是流图的首结点,或者在子图外有一 结点m,它有一有向边m→n引向结点n (2)强连通子图
五. 循环优化 1. 循环的定义 循环是程序流图中有唯一入口结点 的强连通子图。 (1)入口结点 子图中满足下列条件的结点n: 或者n是流图的首结点, 或者在子图外有一 结点m, 它有一有向边m→n引向结点n; (2)强连通子图
{56789}是二循环 {4,5},(2,4}均不是循环 2 6 8) 图6-3
1 2 3 4 5 6 7 8 9 10 {5,6,7,8,9}是一循环 {4,5},{2,4}均不是循环 例: 图6-3
2.循环的查找 (1)必经结点:从流图的首结点出发到达结点 n的任一通路都必须经过的结点d,称为n的 必经结点,记为 d dom n 根据定义可知 每个结点是它本身的必经结点,即nDOM 流图的首结点是流图中任一结点的必经结点, 即 no dom n
2. 循环的查找 (1)必经结点: 从流图的首结点出发到达结点 n的任一通路都必须经过的结点d, 称为n的 必经结点,记为d DOM n 根据定义可知: 每个结点是它本身的必经结点,即n DOM n 流图的首结点是流图中任一结点的必经结点, 即n0 DOM n