第九章 目标代码生成(3).ppt

9.4 多寄存器下的代码生成算法 9.4.2 基本块内活跃信息求解算法 ※ 活跃信息生成过程示例： 9.4.3 寄存器分配函数1 9.4.3 寄存器分配函数2 9.4.4 多寄存器下目标生成算法设计 ※ 多寄存器下目标代码生成过程示例 习题： 【习题9.7】简要叙述在单寄存器下： ⑴ 表达式的目标代码生成算法； ⑵ 赋值语句目标代码生成算法； 【习题9.8】简要叙述目标代码生成中的寄存器分配算法； 【习题9.9】已知下列语句： x=(a+b)/(c-d)+(a+b); ⑴ 写出优化的四元式序列； ⑵ 写出变量活跃信息(活跃)生成过程； ⑶ 描述两个寄存器（R0,R1)下的目标代码生成过程。 * * 1. 描述表的扩展： RDL[R1,R2,…,Rn;M] 2. 活跃信息属性扩展：x(L) RDL.M -- 为变量是否在内存描述字段(多值)： 9.4.1 扩展环境设置： ⑴ LOCR(x)– 取操作数x地址，寄存器优先被确认！ 寄存器、变量B、和变量C的现行值地址参与运算！ ※ 若 LOCR(x)= Ri --- x 值在寄存器 Ri 中！ ⑵ 应用时：R`、B`和 C` 分别代表: q 为四元式序号 其中： ※ 若 x∈RDL.M 则 x 现行值在内存中！ ※ 相应的操作算符：+=（添加）；-=（删除）。 3. 寻址函数 LOCR(x)设置,用以确认X现行值地址! ※ x(n)不活跃；x(y)活跃；x(q) q是最近应用点(活跃)； 注 支持: ⑴ 在符号表上增设一个信息项（ L ） L … name 活跃信息 ⑵ 四元式中变量 X 的附加信息项：X( L ) ※ 取值： L=n/y/q(不活跃/活跃/q活跃) ； ⑴ 初值：基本块内各变量 SYMBL[X( L )]分别填写： 若 X为非临时变量 则置 X( y ); 否则置 X( n ) ⑵ 逆序扫描基本块内各四元式(设为 q:(? B C A) ): 执行： ① QT[q:A( L )]:= SYMBL[A( L )]; ② SYMBL[A( L )]:=( n ); ③ QT[q:B,C( L )]:= SYMBL[B,C( L )]; ④ SYMBL[B,C( L )]:=( q ); 算法 【例9.11】基本块内下述四元式序列及活跃信息生成如下： QT[q]： q:(? B( L ) C( L ) A( L )) ⑴(+ a( ) b( ) t1( )) ⑵(- c( ) d( ) t2( )) ⑶(* t1( )t2( )t3( )) ⑷(- a( ) t3( )t4( )) ⑸(/ t1( ) 2 t5( )) ⑹(+ t4( )t5( ) x( )) y n n 6 n 6 y n 4 5 n 3 y y 3 4 y L … a b c d t1 t2 x t5 t4 t3 SYMBL[X( L )] y y y y n n y n n n n 6 6 n 5 n 4 4 n 3 3 n 2 2 n 1 1 支持: ⑴ 设置描述表 RDL[R1,R2,…,Rn;M]， ⑵ 设置寻址函数 LOCR(X),确认X现行值地址! 算法 登录寄存器Ri,变量X的现行值状态！ ※ 设 当前扫描的四元式为 q:( ? B C A ) Ⅰ.?【主动释放】 ① 若 B(y)且(B?RDL.M 或 B≠A) 则 若有 RDL.Rj=0,则 否则 { CODE( ST Ri,B ); RDL.M+=B; } ③ RDL.Ri-=B; RETURN(R`,B`,C`); ⒈ 若有Ri，使 RDL.Ri=B ;则 { CODE( ST Ri,Rj ); RDL.Rj:=B; } ② R`:=LOCR(Ri); B`:=LOCR(B); C`:=LOCR(C); 加入B 删除B ---- GETR(q,R`,B`,C`) 寄存器优先被确认！ ⒉ 若有Ri，使 RDL.Ri=C 且 ?可交换;则 { 交换B,C(改变四元式)；转 Ⅰ.;} Ⅱ.【选空闲者】…… 非情况Ⅰ.时！ ① 若有RDL.Ri=0,则 R`:=LOCR(Ri) ; Ⅲ.【强迫释放】…… 除Ⅰ,Ⅱ情况外！ ※剥夺一 Ri( 剥夺条件: 不活跃/应用点远！ ) ① 若 D(y)且 D?RDL.M 则 { CODE( ST Ri,D ); RDL.M+=D;} ③ RDL.Ri:=0; RETURN(R`,B`,C`); ② R`:=LOCR(Ri); B`:=L