1 / 26

原子语句的中间代码

S Write(E) E.tuple ( WRITE, E.Arg);. 原子语句的中间代码. 输入输出语句：. S  Read(V) V.tuple （ READ, V.Arg）. 语法制导： S  Read(V) #READ S  Write(E) #WRITE. 赋值语句： 赋值语句形式： V:=E V ptr :=V 1 ptr f:=E V str :=V 1 str 赋值语句的中间代码形式： ( ASSIGN,Arg1,Arg2,n)

avedis
Télécharger la présentation

原子语句的中间代码

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. S Write(E) E.tuple (WRITE, E.Arg); 原子语句的中间代码 输入输出语句： S  Read(V) V.tuple （READ, V.Arg） 语法制导： S  Read(V) #READ S  Write(E) #WRITE

  2. 赋值语句： 赋值语句形式： V:=E Vptr:=V1ptr f:=E Vstr:=V1str 赋值语句的中间代码形式：(ASSIGN,Arg1,Arg2,n) 或 (FLOAT,Arg1,Arg2) S  L:= RL.tuple R.tuple (ASSIGN, R,Arg, L.Arg, size) 或 (FLOAT, R.Arg, L.Arg) 语法制导：S L:=R #ASSIGN

  3. 过函调用语句 S id(E1，E2，…，En) E1.tuple … En.tuple (ACT,E1.Arg) … (ACT,En.Arg) (CALL,<f>,result) 或(CALL,<f>) 传给形参

  4. 形参实参结合中间代码: (VALACT, Ei.Arg, offseti, sizei)……值参 (VARACT, Ei.Arg, offseti, sizei)……变参 (FUNCACT, Ei.Arg, offseti, sizei)……函数参数 (PROACT, Ei.Arg, offseti, sizei)……过程参数 过/函调用代码： (call ,<f>, true, result) 静态转向地址 (call ,<f>, false, result) 动态转向地址

  5. GOTO语句和标号语句的中间代码 LABEL L1,L2,...,Ln 空 SGOTO Li（JUMP, ARG(Li) ) SLi:S ( LABEL,ARG(Li) ) S.tuple

  6. 结构语句的中间代码 • 条件语句的中间代码 • While语句的中间代码 • Repeat语句的中间代码 • For语句的中间代码 • Case语句的中间代码

  7. 条件语句的中间代码 IFETHENS1ELSES2 IFETHEN S E.Tuple E.Tuple (JUMP0,E.Arg,S.ElseL) (JUMP0,E.Arg,S.OutL) S1.Tuple S1.Tuple (JUMP,S.OutL) (LABEL,S.ElseL) (LABEL,S.OutL) S2.Tuple (LABEL,S.OutL)

  8. 条件语句代码生成原理 • 在if处: 产生标号 S.ElseL和S.OutL; • 在then处: 产生中间代码(JUMP0, E.Arg, S.ElseL) ； • 在else处: 产生中间代码 (JUMP, S.OutL) ( LABEL, S.ElseL) • 在S出口处: (LABEL, S.OutL ).

  9. 条件语句代码生成的LL文法 S → if#StartIF E then#TestIF S1 ElsePart ElsePart → else#GenJump#GenElseL S2#GenOutL ElsePart → #GenElseL #StartIF :生成两个标号S.ElseL，S.OutL #TestIF : Generate(JUMP0, E.Arg , S.ElseL ) #GenJump : Generate(JUMP, ElsePart.OutL ) #GenElseL : Generate(LABEL, ElsePart.ElseL) #GenOutL : Generate(LABEL, ElsePart.OutL )

  10. While语句的中间代码 S  WHILEEDOS1 (LABEL,S.StartL) E.Tuple (JUMP0,E.Arg,S.OutL) S1.Tuple (JUMP,S.StartL) (LABEL,S.OutL)

  11. While语句代码生成原理 • 当遇While时： 产生新标号S.StartL和S.OutL， 产生代码(LABEL, S.StartL) • 当遇Do时： 产生代码(JUMP0, E.Arg, S.OutL ) • 当遇结束符时： 产生代码 (JUMP, S.StartL) (LABEL, S.OutL )

  12. While语句代码生成的LL文法 S → while#StartWhile E do#WhileTest S1 #FinishWhile #StartWhile :产生新标号S.StartL，S.OutL # WhileTest: Generate(JUMP0, E.Arg，S.OutL) # FinishWhile: Generate(JUMP, S.StartL) Generate(LABEL, S.OutL)

  13. Repeat语句的中间代码 S  repeatSLuntilE (LABEL, S.StartL) SL.Tuple E.Tuple (JUMP0, E.Arg,S.StartL)

  14. 代码生成原理和LL动作文法 • 循环入口处：(LABEL,S.StartL) • 循环出口处：(JUMP0,E.Arg,S.StartL) S →repeat#StartRepeat SLdo E #FinishRepeat #StartRepeat :生成S.StartL Generate(LABEL, S.StartL ) #FinishRepeat: Generate(JUMP0, E.Arg, S.StartL)

  15. For语句的中间代码 forV:=E1toE2doS forV:=E1downtoE2doS E1.Tuple E2.Tuple E1.Tuple E2.Tuple (GT,E1.Arg, E2.Arg,t1) (JUMP1, t1, S.OutL) (ASSIG, E1.Arg, V.Arg) (LT,E1.Arg, E2.Arg,t1) (JUMP1, t1, S.OutL) (ASSIG, E1.Arg, V.Arg) (LABEL, S.LoopL) (LABEL, S.LoopL) S1.Tuple S1.Tuple (NE,V.Arg, E2.Arg, t3) (ADDI, V.Arg, 1, t2) (ASSIG, t2, V.Arg) (JUMP1, t3, S.LoopL) (NE,V.Arg, E2.Arg, t3) (SUBI, V.Arg, 1, t2) (ASSIG, t2, V.Arg) (JUMP1, t3, S.LoopL) (LABEL, S.OutL) (LABEL, S.OutL)

  16. For语句代码生成原理 • 当遇到For时： 产生新标号S.LoopL和S.OutL • 当遇到To或downto时：记住循环种类； • 当遇到do时： 产生是否进入循环体的条件转移代码； • 当循环体结束时： 根据循环种类产生循环变量加/减1的代码； 产生判断循环是否结束的代码。

  17. 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:

  18. Case语句的中间代码 case E of C1:S1;…;Cn:Sn;Other:S* end E.tuple (JUMP, Search) C1:S1的中间代码 (JUMP,OutL） . ...... Cn:Sn 的中间代码 (JUMP,OutL) Search: OutL:

  19. ■ E.tuple ■ ( JUMP, Search ) ■ L1 :S1的中间代码；(JUMP, OutL) ................................................... ■ Ln :Sn的中间代码；(JUMP, OutL) ■ OtherL :S*的中间代码；(JUMP, OutL) ■ Table :( C1, L1 )(C2, L2)....(Cn,Ln)(_ , OtherL) ■ Search : { 用E.Arg查Table表并转向相应Sj } ■ OutL: 搜索表模式下CASE语句的中间代码结构

  20. 使用转向表实现CASE语句的中间代码生成 思想：构造一个转向表，表的大小为MaxC-MinC+1,每个表项记录对应case常量的转向地址。 计算case表达式的值，与MinC,MaxC比较，如在[MinC,MaxC]范围之外，则转向OtherL分支；否则用特殊的转向指令(JUMPX, E.Arg, Table, MinC),这条指令的含义是沿着转向表移动“E.Arg-MinC”长的距离，实际上就是找到对应的转向地址。 关键：MinC,MaxC的值的确定。 Table

  21. ■ E的中间代码; ( JUMP, OptionL ) ■ L1 : S1的的中间代码；(JUMP, OutL) .................................................. ■ Ln : Sn的的中间代码；(JUMP, OutL) ■ OtherL :S* 的的中间代码 ；(JUMP, OutL) ■ Table :( JUMP, LL1 ) .......... ( JUMP,LLn ) ■ OptionL: ( LT, E.Arg, MinC, t1 ) ( JUMP1, t1, OtherL ) ( GT, E.Arg, MaxC, t2) ( JUMP1, t2, OtherL ) ( JUMPX, E.Arg, Table , MinC ) ■ OutL : 转向表模式下的CASE语句的中间代码结构

  22. 结构语句代码生成的例子 While x>0 do while y>0 do begin y:=y-x;x:=x-1 end (SUBI，y，x，t3) (ASSIGN，t3,y) (SUBI，x，1，t4) (ASSIGN，t4,x) (JUMP,S.StartL1) (LABEL，S.OutL1) (JUMP,S.StartL0) (LABEL，S.OutL0) (LABEL，S.StartL0) (GT,x,0,t1) (JUMP0,t1,S.OutL0) (LABEL，S.LoopL0) (LABEL，S.StartL1) (GT，y，0，t2) (JUMP0，t2，S.OutL1) (LABEL，S.LoopL1)

  23. 声明的中间代码 • 变量声明的中间代码 • 过/函声明的中间代码

  24. 过/函声明的中间代码 中间代码结构： ( Entry ,Label,Size,Level) ProDec1.Tuple …… ProDecn.Tuple Body.Tuple ( EndProc/EndFunc,-,-,-) 形式： Procedure P(FormDecList) LabelDec ConstDec TypeDec VarDec ProDec1 …… ProDecn Body

  25. 过程声明的例子 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是实型非局部变量 )

  26. 生成的中间代码 ( ENTRY, Labelf , Sizef, Levelf ) ( ADDF, k , k, t0) ( ASSIG, t0, f ) ( ENDFUNC, .............. ) ( ENTRY, LabelQ , SizeQ, LevelQ) ( VALACT, 50, 0, 1) ( CALL, Labelf, t1) ( ASSIG, t1 , u ) ( MULTF, u , x, t2 ) ( ASSIG, t2 , y ) ( ENDPROC, ... )

More Related