5.5 高层次综合中的优化技术


5.5.2 控制数据流图的结构变换

 
2.实际变换中的问题
 以上所述只是结合律与分配律的理想变换形式。在实际进行控制数据流图结构变换过程中,运用结合律和分配律的情况要复杂得多。
 定义 5.8 操作的输入数据(操作数)称为该操作的引用变量。
 定义 5.9 操作的输出数据(输出变量)称为该操作的定义变量。
 如图5.40所示,在控制步i,变量a与变量b称为引用变量,变量c称为定义变量。同时,也称变量c在该控制步中被定义。
 定义 5.10 当一个变量在某一个控制步中被定义,则该变量在其后的控制步中称为可用变量。例如,图5.40中的变量c在控制步( i +1 )中为可用变量。
 (1) 引用变量的问题
 (2)操作的输出变量被其他操作引用