图5.40 引用变量与定义变量的图例 　　(1) 引用变量的问题 　　在理想的结合律与分配律变换形式中，引用变量总是可用变量。在实际的变换中，引用变量是否是可用变量必须加以检验。一般来讲，要进行结合律与分配律的变换，至少应该有1个引用变量在相应操作的前1个控制步是可用的（若该操作为多周期操作，则需增加相应的控制步数目）。 　　为了以实例说明问题，将图5.36复制到图5.41，并且在其中标明相应的控制步。假定图中所有操作均为单周期操作，所在的控制步分别是控制步i和控制步（i + 1），则 （I）中的引用变量a、（II ）中的引用变量b和（III）中的引用变量c必须在控制步i中是可用的，才可以进行结合律3种变换形式的变换。 图5.41 结合律变换3类表达式对应的控制数据流图结构