2013lecture6SyntaxDirectedTranslationandIntermediateCodeGeneration.ppt

E∷=true { E.place:=newtemp; gencode(?MOV?,?#1?,E.place) } E∷=false { E.place:=newtemp; gencode(?MOV?,?#0?,E.place) } Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. MOV a, t2 CMP t2, b CJ＜ *+8 GOTO *+12 MOV #1, t1 GOTO *+8 MOV #0, t1 MOV c, t4 CMP t4, d CJ＞ *+8 GOTO *+12 MOV #1, t3 GOTO *+8 MOV #0, t3 MOV t1, t5 OR t3, t5 MOV a, t1 CMP t1, b CJ＜ E.true GOTO L1 L1: MOV c, t2 CMP t2, d CJ＞ E.true GOTO E.false 例 逻辑表达式 a＜b || c＞d 的目标代码 显式计算值 由控制转移体现值 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. b. 回填 引进转移指令表记录应回填的指令地址。 E.truelist 记录应填入E.true 位置的指令地址 E.falselist 记录应填入E.false位置的指令地址 S.nextlist 记录应填入S.next位置的指令地址 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关于条件语句与逻辑表达式实现回填的翻译方案如下。 S∷=if( E ) M1 S1 N else M2 S2 { backpatch(E.truelist, M1.pos); backpatch(E.falselist,M2.pos); S.nextlist:=merge(S1.nextlist,S2.nextlist); S.nextlist:=merge(S.nextlist,N.nextlist) } N∷=ε{ N.nextlist:=makelist(nextpos); emit(GOTO, _) } M∷=ε{ M.pos:=nextpos } S∷=if( E ) M S1 { backpatch(E.truelist,M.pos); S.nextlist:=merge(E.falselist,S1.nextlist) } E∷=E1 || M E2 { backpatch(E1.falselist,M.pos); E.truelist:=merge(E1.truelist,E2.truelist); E.falselist:=E2.falselist } Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. E∷=E1 M E2{ backpatch(E1.truelist,M.pos); E.truelist:=E2.truelis