20XX年目标程序运行时的存储组织.pptVIP

;10.1 临时变量的存储分配; 四元式QT[i]定义变量Y,则称i为Y的定义点；如果四元式QT[j]使用变量Z的值,则称j为Z的使用点。 临时变量的存储分配可在中间代码一级进行,也可在目标代码一级进行。; 定义点和使用点全部落在一个基本块内的临时变量称之为良型临时变量。; 设i为临时变量T的定义点，j为最后一个使用点，则称区间[i,j]为T的活动区。 设[i,j]和[k,l]是两个活动区,如果j=k或l=i,则称两个活动区不相交。 ;例子：设有语句Y:=(A*B+C)*B-D，则四元式为： 1.(*, A, B, T1) A*B 2.(+, T1,C, T2) A*B+C 3.(*, T2,B, T3) (A*B+C)*B 4.(-, T3,D, T4) (A*B+C)*B-D 5.(=:,T4,—,X );各临时变量的定义点分别为： T1—1，T2—2，T3—3，T4—4 各临时变量的最后使用点分别为： T1—2，T2—3，T3—4，T4—5 各临时变量的活动区分别为： T1—[1,2]，T2—[2,3]， T3—[3,4]，T4—[4,5] ;结论: 每个临时变量的活动区均不相交。T1，T2，T3和T4将占用同一存储单元,从而实现节省存储的目标。 尽管在四元式中出现了很多临时变量,但实际占用存储单元的还是极少数。;10