第二章

Size: px

Start display at page:

Download "第二章"

再绝堵
5 years ago
Views:

1 第二章 P-36-6 ()L(G) 是 ~9 组成的数字串 ; (2) 最左推导 : N ND NDD NDDD DDDD DDD DD 2D 27 N ND DD 3D 34 N ND NDD DDD 5DD 56D 568 最右推导 : N ND N7 ND7 N27 ND27 N27 D27 27 N ND N4 D4 34 N ND N8 ND8 N68 D P-36-7 G():( 没有考虑正负符号问题 ) P P P D N N P D N 或者 :() BC C B B B ε C P-36-8 G(E):E T E+T E-T T F T*F T/F F (E) 最左推导 : E E+T T+T F+T +T +T*F +F*F +*F +* E T T*F F*F *F *(E) *(E+T) *(T+T) *(F+T) *(+T) *(+F) *(+) 最右推导 : E E+T E+T*F E+T* E+F* E+* T+* F+* +* E T T*F T*(E) T*(E+T) T*(E+F) T*(E+) T*(T+) T*(F+) T*(+) F*(+) *(+)

2 语法树 : E E E E + T E + T E - T E + T F T T * F E - T F T F F F T F F F ++ +* -- P-36-9 句子 :e 有两个语法树 : e e e e e e e e 因此 e 是二义性句子, 因此 e 该文法是二义性的 P-36- T T T () () P-36- L: G(): C C cc ε L2: G(): B ε B Bc c L3: G(): B ε B ε L4: G(): ε 或者 : B ε B B 2

3 () 第三章 X ( )* Y ε ε X Y 确定化 : {X} Φ {,2,3} Φ Φ Φ {,2,3} {2,3} {2,3,4} {2,3} {2,3} {2,3,4} {2,3,4} {2,3,5} {2,3,4} {2,3,5} {2,3} {2,3,4,Y} {2,3,4,Y} {2,3,5} {2,3,4} 最小化 :{,,2,3,4,5},{6} {,,2,3,4,5} ={,3,5} {,,2,3,4,5} ={,2,4,6} {,,2,3,4},{5},{6} {,,2,3,4} ={,3,5} {,,2,3},{4},{5},{6} {,,2,3} ={,3} {,,2,3} ={,2,4} {,},{2,3},{4},{5},{6} {,} ={} {,} ={,2} {2,3} ={3} {2,3} ={4} {},{},{2,3},{4},{5},{6} 3

4 P64-8 () ( ) * (2) ( )( ) * ( 5) ( 5) (3) * ( * ) * * ( * ) * P84-2 (), 确定化 : {} {,} {} {,} {,} {} {} {} Φ 给状态编号 : Φ Φ Φ B

5 2 3 最小化 : {,} {2,3} {,}={},{,}={2} {2,3}={,3},{2,3}={3} {,},{2},{3} 2 () 已经确定化, 只需最小化 : {,},{2,3,4,5} {,} = {} {,} = {2,4} {2,3,4,5} = {,3,,5} {2,3,4,5} = {2,3,4,5} 又 :{2,4} = {,} {2,4} = {3,5} {3,5} ={3,5} {3,5} = {2,4} 分划为 :{,},{2,4},{3,5} {,} = {} {,} = {2,4} {2,4} = {,} {2,4} = {3,5} {3,5} = {3,5} {3,5} = {2,4} 所以不能再分 2 5

6 P64-4 正规式 :( ) * 还可以 : X ε ε Y 2 然后再确定化, 最小化, 结果应该一样 P65-5 首先构造 NF: B C f 则有 :G(f) f B C C C C C B B 或者是确定化, 然后最小化 : B C, G(C) C C C B B B 6

7 人狼羊白菜 : {{M W G C},{}} 表示在左岸,{{},{M W G C}} 在右岸, 将可能存在的状态中去掉不安全状态, 剩下 : {{M W G C}, {}},{{},{M W G C}},{{M W G},{C}},{{M W C},{G}}, {{M G C},{W}},{{C},{M W G}},{{G},{M W C}},{{W},{M G C}}, {{M G},{W C}},{{W,C},{M G}} 箭弧上的标记符 :<M>: 表示人单独过河 <MG>: 表示人和羊过河 <MW>: 表示人和狼过河 <MC>: 表示人和白菜过河 { M C G },{{ W }} <MG> {C},{{M W G}} <MG> <MC> <MC> <MW> <MW> <MG> <M> {{M W G C},{}} {{W,C},{M G}} {{M W C},{G}} {{G},{M W C}} <MG> <MC> <MC> <M> <M> <MW> <MW> {W},{{M G C}} <MG> <MG> {{W M G},{ C}} { M G},{{ W C}} <MG> <MG> {{},{M W G C} 7

8 P8- () 按照 T, 的顺序消除左递归第四章 G'(): (T) T T' T',T' ε 递归下降子程序 : procedure : egn f sym = or sym= end then dvnce else f sym= ( then egn dvnce;t; f sym = ) then dvnce; else error; end else error procedure T; egn ;T' End Procedure T'; Begn If sym =, Then egn dvnce; ;T' End End 其中 :sysm 为输入串指针所指的符号 ;dvnce 是把输入指针调至下一输入符号 (2) 求 Frst 和 Follow 集合 : Frst()={ (} Frst(T)={ (} Frst(T')={, ε} Follow()={, ) #} Follow(T) = { ) } Follow(T')={ ) } ( ), # (T) T T T' T T' T T' T' T' ε T',T' 8

9 P8-2 文法 :E TE' E' +E ε T FT' T' T ε F PF' F' *F' ε P (E) () Frst(E) = {(,,, } Frst(E') = {+,ε} Frst(T) = {(,,, } Frst(T') = {(,,,, ε} Frst(F) = {(,,, } Frst(F') = {*,ε} Frst(P) = {(,,, } Follow(E)={#, )} Follow(E')={#,)} Follow(T)={+,),#} Follow(T')={+,),#} Follow(F)= {+,(,,,,),# } Follow(F')={+,(,,,,),# } Follow(P) ={*,+,(,,,,),# } (2) 文法无左递归, 考察 E' +E ε T' T ε F' *F' ε P (E) E' +E ε: Frst(E') = {+,ε} Follow(E')={#,)} = Φ T' T ε: Frst(T') = {(,,,, ε} Follow(T')={+,),#} = Φ F' *F' ε:frst(f') = {*,ε} Follow(F')={ (,,,,),# } = Φ P (E) : 候选式终结首符集两两不相交所以该文法为 LL() 文法 (3) LL() 分析表 + * ( ) # E E TE' E TE' E TE' E TE' E' E' +E E' ε E' ε T T FT' T FT' T FT' T FT' T' T' ε T' T T' ε T' T T' T T' T T' ε F F PF' F PF' F PF' F PF' F' F' ε F' *F' F' ε F' ε F' ε F' ε F' ε F' ε P P (E) P P P (4) 构造递归下降程序 Procedure E; Begn If sym = ( or sym = or sym = or sym = Then egn T;E' end Else error End Procedure E'; Begn If sym = + Then egn dvnce ; E end Else f sym <> ) nd sym <> # then error End Procedure T; Begn If sym = ( or sym = or sym = or sym = Then egn F; T' end Else error End 9

10 Procedure T'; Begn f sym = ( or sym = or sym = or sym = Then egn T; Else f sym = * then error End Procedure F; Begn f sym = ( or sym = or sym = or sym = Then egn P;F' end Else error End Procedure F' Begn If sym = * Then egn dvnce ; F' end End Procedure P; Begn If sym = or sym = or sym = Then dvnce Else f sym = ( then Begn dvnce; E ; If sym = ) then dvnce Else error End Else error end P8-3 解答 :() 该文法不含左递归, 计算 Frst 集合和 Follow 集合 Fsrt() = {,,c} Frst() = {,ε} Frst(B)= {,ε} Follow()={#} Follow()={,c} Follow(B) = {c} 满足 LL() 文法的 3 个条件, 所以是 LL() 文法 ; (2) 该文法不含左递归, 计算 Frst 集合和 Follow 集合 Fsrt() = {,} Frst() = {,,ε} Frst(B)= {,ε} Follow()={#} Follow()={} Follow(B) = {} 考虑 B ε,fsrt() 中含有 ε, 而 Fsrt() Follow()={}, 所以不是 LL() 文法 ; (3) 该文法不含左递归, 计算 Frst 集合和 Follow 集合 Fsrt() = {,,ε} Frst() = {,ε} Frst(B)= {,ε} Follow()={#} Follow()={,,#} Follow(B) = {,,#} 考虑 ε,fsrt() 中含有 ε, 而 Fsrt() Follow()={}, 所以不是 LL() 文法 ; (4) 是 LL() 文法

11 P82-4 文法 :Expr -Expr Expr (Expr) Vr ExprTl ExprTl -Expr ε Vr d VrTl VrTl (Expr) ε 解答 :Frst(Expr)={-,(,d} Frst(Vr)={d} Frst(ExprTl)={-,ε} Frst(VrTl) = {(,ε} Follow(Expr)={#,)} Follow(Vr) = {-,#,)} Follow(ExprTl)={#,)} Follow(VrTl)={ -,#,)} 所以 LL() 分析表 : - d ( ) # Expr Expr -Expr Expr Vr ExprTl Expr (Expr) ExprTl ExprTl -Expr ExprTl ε ExprTl ε Vr Vr d VrTl VrTl VrTl ε VrTl (Expr) VrTl ε VrTl ε 分析 d d((d)) 分析栈输入所用产生式 #Expr d--d((d)) # #ExprTl Vr d--d((d)) # Expr Vr ExprTl #ExprTl VrTl d d--d((d)) # Vr d VrTl #ExprTl VrTl --d((d)) # #ExprTl --d((d)) # VrTl ε #Expr- --d((d)) # ExprTl -Expr #Expr -d((d)) # #Expr- -d((d)) # Expr -Expr #Expr d((d)) # #ExprTl Vr d((d)) # Expr Vr ExprTl #ExprTl VrTl d d((d)) # Vr d VrTl #ExprTl VrTl ((d)) # #ExprTl )Expr( ((d)) # VrTl (Expr) #ExprTl )Expr (d)) # #ExprTl ))Expr( (d)) # Expr (Expr) #ExprTl ))Expr d)) # #ExprTl ))ExprTl Vr d)) # Expr Vr ExprTl #ExprTl ))ExprTl VrTl d d)) # Vr d VrTl #ExprTl )) ExprTl VrTl )) # #ExprTl )) ExprTl )) # VrTl ε #ExprTl )) )) # ExprTl ε #ExprTl ) ) # #ExprTl # # # ExprTl ε

12 P33- 第五章 E E+T E+T*F 短语 :E+T*F,T*F 直接短语 :T*F 句柄 :T*F P33-2 文法 : (T) T T, () 最左推导 : (T) (T,) (,) (,) (,(T)) (,(T,)) (,(,)) (,(,)) (,(,)) (T,) (,) ((T),) ((T,),) ((T,,),) ((,,),) (((T),,),) (((T,),,),) (((,),,),) (((,),,),) (((,),,),) (((,),,),) (((,),,(T)),) (((,),,()),) (((,),,()),) (((,),,(T)),) 最右推导 : (T) (T,) (T,(T)) (T,(T,)) (T,(T,)) (T,(,)) (T,(,)) (,(,)) (,(,)) (T,) (T,) (,) ((T),) ((T,),) ((T,(T)),) ((T,()),) ((T,()),) ((T,,()),) ((T,,()),) ((,,()),) (((T),,()),) (((T,),,()),) (((T,),,()),) (((,),,()),) (((,),,()),) (2) (((,),,()),) (((,),,()),) (((T,),,()),) (((T,),,()),) (((T),,()),) ((,,()),) ((T,,()),) ((T,,()),) ((T,()),) ((T,()),) ((T,(T)),) ((T,),) ((T),) 2

13 (,) (T,) (T,) (T) 移进归约过程 : 步骤栈输入串动作 # (((,),,()),)# 初始 #( ((,),,()),)# 移进 2 #(( (,),,()),)# 移进 3 #(((,),,()),)# 移进 4 #((,),,()),)# 移进 5 #(((,),,()),)# 归约 6 #(((T,),,()),)# 归约 7 #(((T, ),,()),)# 移进 8 #(((T, ),,()),)# 移进 9 #(((T, ),,()),)# 归约 #(((T ),,()),)# 归约 #(((T),,()),)# 移进 2 #((,,()),)# 归约 3 #((T,,()),)# 归约 4 #((T,,()),)# 移进 5 #((T,,()),)# 移进 6 #((T,,()),)# 归约 7 #((T,()),)# 归约 8 #((T, ()),)# 移进 9 #((T,( )),)# 移进 2 #((T,( )),)# 移进 2 #((T,( )),)# 归约 22 #((T,(T )),)# 归约 23 #((T,(T) ),)# 移进 24 #((T, ),)# 归约 25 #((T ),)# 归约 26 #((T),)# 移进 27 #(,)# 归约 28 #(T,)# 归约 29 #(T, )# 移进 3 #(T, )# 移进 3 #(T, )# 归约 32 #(T )# 归约 33 #(T) # 移进 34 # # 归约 3

14 P33-3: 文法 :G(): (T) T T, ()FIRTVT()={ (} FIRTVT(T)={, (} LTVT()={ )} LTVT(T)={, )} (2) 算符优先分析表 ( ), # ( = ), # = (3) 优先函数 : ( ), # f g f f f ( f ) f, f # g g g ( g ) g, g # 如果不考虑 #, 则 : 优先函数 : ( ), f g 分析过程 : 栈输入 # (,(,))# 初始 #(,(,))# 移进 #(,(,))# 移进 #(,(,))# 归约 #(, (,))# 移进 #(,(,))# 移进 #(,(,))# 移进 #(,(,))# 归约 #(,(, ))# 移进 4

15 #(,(, ))# 移进 #(,(, ))# 归约 #(,(T ))# 归约 #(,(T) )# 移进 #(, )# 归约 #(T )# 归约 #(T) # 移进 # # 归约 P34-5 () I:' I5: I6: I:' I2: I7: I3: I4: 考察 I I6 I7: I: 存在移进 - 归约冲突, 因为 Follow( )={#}, 不包含或, 因此冲突可以使用 LR 解决方法解决 I6: 存在移进 - 归约冲突, 因为 Follow()={,}, 因此无法使用 LR 方法解决移进 - 归约冲突 I7: 存在移进 - 归约冲突, 因为 Follow()={#,,}, 因此无法解决移进 - 归约冲突所以不是 LR() 文法构造 LR() 项目集规范族 : 5

16 I: ['.,#] [.,/] [.,/] [.,/] [.,/] [.,/] I5: [.,/] [.,/] [.,/] [.,/] [.,/] [.,/] I8: [.,/] [.,/] [.,/] [.,/] [.,/] I: ['.,#] [.,#//] [.,#//] [.,/] [.,/] I2: [.,#//] [.,#//] [.,#//] [.,/] [.,/] I3: [.,/] I4: [.,#//] I5 I7: [.,#//] [.,/] [.,/] [.,/] [.,/] [.,/] I6: [.,/] [.,/] [.,/] [.,/] [.,/] I9: [.,/] [.,/] [.,/] [.,/] [.,/] [.,/] I3 I: [.,/] I5 检查 I5,[.,/], 要求输入为或者使用归约, 而 [.,/] 及 [.,/] 要求移进, 因此存在移进 - 归约冲突, 所以不是 LR() 文法 P35-8 解答 : 不存在左递归 ; 因为 Fst()={},Frst(BB)={} 所以交集为空所以该文法是 LL() 文法 I={.,.BB,.,B.} I=GO(I,)={. } I2=GO(I,B)={ B.B } I3=GO(I,)={.,.} I4=GO(I2,)={ B.B,B.} I5=GO(I3,)={. } I6=GO(I4,B)={ BB. } I7=GO(I5,)={.} I8=GO(I6,)= { BB.} 考虑 :I: 存在两个归约项目,.,B.,Follow()={,},Follow(B)={,}, 所以冲突不能解决, 不是 LR() 文法 6

17 P64- 解答 : 表达式 (4*7+)*2 的附注语法树 : 第六章 L E.vl=58 n T.vl=58 T.vl=29 * F.vl=2 F.vl=29 dgt.vl=2 ( E.vl=29 ) E.vl=28 + T.vl= T.vl=4 T.vl=28 * F.vl=7 F.vl= dgt.vl= F.vl=4 dgt.vl=7 dgt.vl=4 P () (2) p65-5 () E E +T { f (E.type = nt) nd (T.type = nt) then E.type = nt Else E.type = rel } E T { E.type = T.type } T num. num { T.type = rel } T num { T.type = nt } (2) E E +T { f (E.type = nt) nd (T.type = nt) then E.type = nt E.code = E.code T.code + Else f (E.type = rel) nd (T.type = rel) E.type = rel E.code = E.code T.code + Else f E.type = nt then E.type = rel E.code = E.code nttorel T.code + 7

18 Else E.type = rel E.code = E.code T.code nttorel + End f E T { E.type = T.type E.code = T.code} T num. num { T.type = rel E.code = num.num } T num { T.type = nt E.code = num } P64-7 L.L 2 {.vl = L.vl + L 2.vl / 2 L 2.length } L {.vl = L.vl } L L B { L.vl = 2*L.vl + B.c L.length = L.length + } L B { L.vl = B.c L.length = } B { B.c = } B { B.c = } P65- 对 D,L,T 设置综合属性 type 过程 ddtype(d.entry,type) 用来将标识符 d 的类型 type 填入到符号表中 () 翻译模式 : D d L { ddtype(d.entry,l.type)} L,d L { L.type = L.type ;ddtype(d.entry,l.type)} L :T { L.type = T.type } T nteger { T.type = nteger } T rel { T.type = rel } (2) 假设 Ttype 为已定义的表示类型的数据结构, 预测翻译器如下 : procedure D; vr l_type:ttype egn f sym = d then egn dvnce ; l_type = L ; ddtype(d.entry, l_type) end else error end; 8

19 procedure L; vr l_type :Ttype; egn f sym =, then egn dvnce; f sym = d then egn dvnce ; l_type = L ; dddtype(d.entry,l_type) end else error ; end else f sym = : then egn dvnce ; l_type = T ; end else error ; return (l_type) ; end; procedure T ; vr t_type: Ttype ; egn f sym = nteger then egn dvnce ; t_type = nteger ; end else f sym = rel then egn dvnce ; t_type = rel ; end else error return(t_type); end; 9

20 第七章 P27- *(-+c) 后缀式 :-c+* +*(c+d/e) 后缀式 :cde/+*+ -+*(-c+d) 后缀式 :-c-d+*+ not or not(c or not D) 后缀式 : not C D not or not or ( nd B)or(not C or D) 后缀式 : B nd C not D or or ( or B)nd(C or not D nd E) 后缀式 : B or C D not E nd or nd f (x + y)*z = then (+) c else c 后缀式 :xy+z*= +c c f-then-else P27-3 -(+)*(c+d)-(++c) 三元式 : ()+,, (2)-,(),- (3)+,c,d (4)*,(2),(3) (5)+,, (6)+,(5),c (7)-,(4),(6) 间接三元式 : 三元式表 : ()+,, (2)-,(),- (3)+,c,d (4)*,(2),(3) (5)+,(),c (6)-,(4),(5) 间接码表 :(),(2),(3),(4),(),(5),(6) 四元式序列 : ()+,,,T (2)-,T,-,T2 (3)+,c,d,T3 (4)*,T2,T3,T4 (5)+,,,T5 (6)+,T5,c,T6 (7)-,T4,T6,T7 2

21 P28-8 自下而上分析过程中把赋值语句 := B * (-C + D) 翻译成四元式的步骤 : 步骤输入串栈 PLCE 四元式 () := B * (-C + D) (2) := B * (-C + D) (3) B * (-C + D) := - (4) * (-C + D) := -B (5) * (-C + D) := E -B (6) (-C + D) := E* -B- (7) -C + D) := E*( -B-- (8) C + D) := E*(- -B--- (9) + D) := E*(- -B---C () + D) := E*(-E -B---C (-,C,-,T) () + D) := E*(E -B--T (2) D) := E*(E+ -B--T- (3) ) := E*(E+ -B--T-D (4) ) := E*(E+E -B--T-D (+,T,D,T2) (5) ) := E*(E -B--T2 (6) := E*(E) -B--T2- (7) := E*E -B-T2 (*,B,T2,T3) (8) := E -T3 (:=,T3,-,) (9) P28-5 设 B 为 x 2 的数组,C D 大小为的数组, 数组每维下届为, 每个数据项宽度为 4, 则 : [,j] := B[,j] + C[[k,]] + D[+j] T := * 2 T := T + j T2 := 84 T3 := 4 * T T4 := * 2 T4 := T4 + j T5 := B 84 T6 := 4 * T4 T7 := T5[T6] T8 := k*2 T8 = T8 + T9 := 84 T := 4 * T8 T := T9[T] T2 := C 4 T3 := 4 * T T4 := T2[T3] 2

22 T5 := T7 + T4 T6 := + j T7 := D 4 T8 := 4*T6 T9 :=T7[T8] T2 :=T5 + T9 T2[T3] := T2 P28-6 or (B nd not(c or D)): t= E f= t=,7 E f=3,4,6 t=7 or M qud=2 E f=3,4,6 t=2 E f=3 B nd M E qud=4 not t=7 f=4,6 E t=4 E or M t=6 f=5 E qud=6 f=7 C D :(jnz,,-,) :(j,-,-,2) 2:(jnz,B,-,4) 3:(j,-,-,) 4:(jnz,C,-,) 5:(j,-,-,6) 6:(jnz,D,-,) 7:(j,-,-,) 22

23 P28-7 nextlst=,3 L L ; M 5 nextlst=,3 whle M E t=2 nextlst=8, do M2 f=,3 4 nd f t= t=2 E M E2 then f= f=3 E N 2 M M2 else t=4 nextlst=8 f=5 6 9 <C B<D M 9 = := whle L E t=9 E C E + f= E C D 2 nextlst= do M2 L := E E + E 2 :(j<,,c,2) :(j,-,-,5) 2:(j<,B,D,4) 3:(j,-,-,5) 4:(j=,,,6) 5:(j,-,-,9) 6:(+,C,,T) 7:(:=,T,-,C) 8:(j,-,-,) 9:(j,,D,) :(j,-,-,) :(+,, 2,T2) 2:(:=,T2,-,) 3:(j,-,-,9) 4:(j,-,-,) 5: 23

24 P29-2 () 如果该程序执行, 则先会打印出 : MXINT-5 MXINT-4 MXINT-3 MXINT-2 MXINT- MXINT 然后对于有些可能出现的整型数溢出而出现运行时的异常 (2) 根据其语义, 先确定 PCL 语言 for 语句的中间代码结构如下 : t := ntl t2 := fnl f t > t2 goto L2 v := t L: 的代码 f v = t2 goto L2 v := v + goto L L2: 为了便于语法制导的翻译, 将 PCL 语言的 for 语句 : for V := E to E2 do 改写成如下产生式 : F do F for v := E to E2 翻译模式如下 : F for v := E to E2 { F.nextlst := mkelst(nextqud); emt(j>,e.plce,e2.plce,); emt(:=,e.plce,-,v.plce); F.qud := nextqud; F.plce := E2.plce; F.plce2 := entry(v);} F do { ckptch(.nextlst,f.qud);.nextlst := merge(f.nextlst,mkelst(nextqud)); emt(j=,f.plce,f.plce2,); emt(+,f.plce2,,f.plce2); emt(j,-,-,f.qud)} 24

25 P36-: red C := B := L: := + B f B C GOTO L2 B := B + GOTO L L2: wrte hlt 第十章 red C B := B := L: :=+B f B C GOTO L2 B3 B := B + GOTO L B2 P36-2 red, B F := C := * D := B*B f C < D goto L E := * F := F+ E := E+F wrte E hlt L:E := B*B F := F + 2 E := E + F wrte E f E > goto L2 hlt L2:F := F+ goto L B2 E := * F := F+ E := E+F wrte E hlt B4 red, B F := C := * D := B*B f C < D goto L L2: wrte hlt L:E := B*B F := F + 2 E := E + F wrte E f E > goto L2 B hlt L2:F := F+ goto L B4 B3 B5 25

26 P36-3 基本块 : B: := B*C D := B/C E :=+D F :=2*E G:=B*C H :=G*G F:=H*G L := F M :=L B2: B := 3 D := +C E :=*C G:=B*F H:=+C I:=*C J:=H+I K:= B*5 L:=K+J M:=L H n8 * n7 n9 * F * F L M n5 + E 如果只有 G L M 在基本块后还要被引用, 则优化为 : G :=B*C :=G*G L := *G M := L ( 为临时变量 ) n3,g * n6 n n2 2 B C / n4 D 如果只有 L 在基本块后还要被引用, 则优化为 : :=B*C 2 :=* L := 2* ( 2 为临时变量 ) G n + L,M n8 + J 如果只有 G L M 在基本块后还要被引用, 则优化为 : G :=3*F :=+C 2:=*C 3:=+2 L := ( 2 3 为临时变量 ) B n 3 n7 * n6 K n9 n2 n4 + D H n3 5 F C * n5 E I 如果只有 L 在基本块后还要被引用, 则优化为 : :=+C 2:=*C 3:=+2 L := ( 2 3 为临时变量 ) 26

27 P37-4 对一下四元式程序, 对其中循环进行循环优化 : I := red J,K L: :=K* I B :=J*I C :=* B wrte C I :=I + f I < goto L hlt 解答 : 首先进行基本块划分, 画出程序流图 : 从图中可以看出需要优化的循环块为 B2 B I := red J,K B I := red J,K L := K * I B2' := K * I B := J*I B2 B := J*I C :=*B wrte C I := I + f I< goto L 强度削弱 B2 L C :=*B wrte C := +K B := B +J I := I + f I< goto L B3 hlt B3 hlt B I := red J,K := K * I B := J*I T:=*K 删除归纳变量 B 变化控制条件 I := red J,K := K * I B := J*I B2 B3 L C :=*B wrte C := +K B := B +J f <T goto L hlt B2 L C :=*B wrte C := +K B := B +J I := I + T:=*K f <T goto L B3 hlt 27

28 P37-5 以下是某程序的最内循环模式对其进行循环优化 := I := L: B:= J + C:= B + I :=C+ f I = goto L2 I := I + goto L L2: 解答 : 首先做出程序流图, 然后进行优化 : := I:= B B2 := I:= B:=J+ C:=B+ R:=B+ B B2 L: B:=J+ C:=B+I :=C+ f I= goto L2 代码外提删除归纳变量 L: :=C+ f C=R goto L2 I:=I+ goto L B3 C:=C+ goto L B3 L2 B4 L2 B4 28

Ctpu

Ctpu 二委任出席安全理事会的代表副代表候补代表和代理代表 2010 年 8 月 1 日至 2011 年 7 月 31 日期间委任出席安全理事会的代表副代表候补代表和代理代表如下 : * 奥地利海因茨菲舍尔先生 ( 奥地利联邦总统 ) 米夏埃尔施平德埃格