原子语句的中间代码.pptVIP

原子语句的中间代码 输入输出语句： GOTO语句和标号语句的中间代码 LABEL L1,L2,...,Ln 空 S?GOTO Li （JUMP, ARG(Li) ) S?Li:S ( LABEL,ARG(Li) ) S.tuple 结构语句的中间代码 条件语句的中间代码 While语句的中间代码 Repeat语句的中间代码 For语句的中间代码 Case语句的中间代码 条件语句的中间代码 条件语句代码生成原理 在if处: 产生标号 S.ElseL和S.OutL; 在then处: 产生中间代码(JUMP0, E.Arg, S.ElseL) ； 在else处: 产生中间代码 (JUMP, S.OutL) ( LABEL, S.ElseL) 在S出口处: (LABEL, S.OutL ). 条件语句代码生成的LL文法 While语句的中间代码 While语句代码生成原理 当遇While时： 产生新标号S.StartL和S.OutL， 产生代码(LABEL, S.StartL) 当遇Do时： 产生代码(JUMP0, E.Arg, S.OutL ) 当遇结束符时： 产生代码 (JUMP, S.StartL) (LABEL, S.OutL )? While语句代码生成的LL文法 Repeat语句的中间代码 代码生成原理和LL动作文法 循环入口处：(LABEL,S.StartL) 循环出口处：(JUMP0,E.Arg,S.StartL) For语句的中间代码 For语句代码生成原理 当遇到For时： 产生新标号S.LoopL和S.OutL 当遇到To或downto时：记住循环种类； 当遇到do时： 产生是否进入循环体的条件转移代码； 当循环体结束时： 根据循环种类产生循环变量加/减1的代码； 产生判断循环是否结束的代码。 For语句的LL动作文法 S → for #StartFOR V:=E FORKIND E do #ForDO S #FinishFOR FORKIND → to #ToKind FORKIND → downto #DownKind StarFOR: 产生新标号S.LoopL和S.OutL; ToKind/DownKind :标记循环种类； ForDO：Generate(GT/LT, E1.Arg, E2.Arg, t1) Generate(JUMP1, t1, S.OutL) Generate(ASSIG, E1.Arg, V.Arg) FinishFOR: Case语句的中间代码 结构语句代码生成的例子 While x0 do while y0 do begin y:=y-x;x:=x-1 end 声明的中间代码 变量声明的中间代码 过/函声明的中间代码 过/函声明的中间代码 形式： Procedure P(FormDecList) LabelDec ConstDec TypeDec VarDec ProDec1 …… ProDecn Body 过程声明的例子 procedure Q( x: real ); var u : real ; function f( k: real ); begin f := k +k end; begin u := f(50); y:= u * x end； ( y是实型非局部变量 ) 生成的中间代码 ( ENTRY, Labelf , Sizef, Levelf ) ( ADDF, k , k, t0) ( ASSIG, t0, f ) ( ENDFUNC, .............. ) ? ( ENTRY, LabelQ , SizeQ, LevelQ) ( VALACT, 50, 0, 1) ( CALL