clr分析器hpt7-3.pptVIP

中间代码生成 中间代码的形式 中间代码生成 7.3.1中间代码de形式 中间代码： 是源程序的一种内部表示 复杂性介于源语言和目标机语言之间 中间代码的作用： 使编译程序的逻辑结构更加简单明确 利于进行与目标机无关的优化 利于在不同目标机上实现同一种语言 中间代码的形式： 逆波兰式、四元式、三元式、间接三元式、抽象语法树和DAG 中间代码的层次 中间代码按照其与高级语言和机器语言的接近程度，可以分成以下三个层次： 高级：最接近高级语言，保留了大部分源语言的结构。 中级：介于二者之间，与源语言和机器语言都有一定差异。 低级：最接近机器语言，能够反映目标机的系统结构，因而经常依赖于目标机。 不同层次的中间代码 抽象语法树和DAG图 语法树可以作为一种合适的中间语言形式。在语法树中去掉那些对翻译不必要的信息，从而获得更有效的源程序中间表示。这种经变换后的语法树称之为抽象语法树（Abstract Syntax Tree）。 在抽象语法树中，操作符和关键字都不作为叶结点出现，而是把它们作为内部结点，即这些叶结点的父结点 如产生式S→if B then S1 else S2抽象语法树表示 if-then-else B S1 S2 语法树和抽象语法树 directed acyclic graph (DAG). b*c+b*c + * b c 7.3.3简单说明句的翻译-翻译是指在符号表中登录名字和性质。 最简单的说明句的语法： Ｄ→integer〈namelist〉｜real〈namelist〉 〈namelist〉→〈namelist〉，id｜id 用自下而上翻译 文法改写： Ｄ→Ｄ1，id ｜integer id | real id (1)Ｄ→integer id｛enter(id,int）;D.att:=int} (2)Ｄ→real id｛enter(id,real）;D.att:=real} (3)Ｄ→Ｄ１ ,id｛enter(id，Ｄ１．att）； D.att:=Ｄ１．att｝ ? 过程中的说明语句—用全程变量offset表示变量在本过程的数据区的相对位置,增加的量为数据对象的宽度,用属性width表示. 拉链技术－记录需回填地址的四元式，把需回填Ｅ．ｔｒｕｅ的四元式拉成一链，把需回填Ｅ．ｆａｌｓｅ的四元式拉成一链，分别称做“真”链和“假”链 （１０）　…　ｇoｔｏ　Ｅ．ｔｒｕｅ  … （２０）　…　ｇｏｔｏ　Ｅ．ｔｒｕｅ  … （３０）　…　ｇｏｔｏ　Ｅ．ｔｒｕｅ 则链成 （１０）　…　ｇｏｔｏ　（０）  … （２０）　…　ｇｏｔｏ　（１０）  … （３０）　…　ｇｏｔｏ　（２０） 把地址（３０）称作“真”链链首，０为链尾标志，即地址（１０）为“真”链链尾。 符号表 name type def add … L label not r (p) goto 0 … (q) goto p … (r) goto q 建链的方法是：若ｇｏｔｏ Ｌ中的标号Ｌ尚未在符号表中出现，则把Ｌ填入表中，置Ｌ的“定义否”标志为“未”，把ｎｅｘｔｓｔａｔ填进Ｌ的地址栏中 作为新链首，然后，产生四元式（ｇｏｔｏ　０），其中０为链尾标志。若Ｌ已在符号表中出现（但“定义否”标志为“未”），则把它的地址栏中的编号（记为ｑ）取出，把nextstat填进该栏作新链首，然后，产生四元式（ｇｏｔｏ　ｑ）。 定义标号语句的产生式 Ｓ→label　Ｓ label→ｉ： 那么，当用label→ｉ：进行归约时，应做如下的语义动作： 1.若ｉ所指的标识符（假定为Ｌ）不在符号表中，则把它填入，置“类型”为“标号”，“定义否”为“已”，“地址”为nextstat。 2.若Ｌ已在符号表中但“类型”不为“标号”或“定义否”为“已”，则报告出错。 3.若Ｌ已在符号表中，则把标志“未”改为“已”，然后，把地址栏中的链首（设为ｑ）取出，同时把nextstat填在其中，最后，执行backpatch（ｑ，nextstat）。 翻译ｇｏｔｏ语句时，还有两点必须注意 第一：相同名字的标号可以在不同名字作用域中定义。如： （１）　ｂｅｇｉｎ （２）　 Ｌ：ｂｅｇｉｎ （３）　 ｇｏｔｏ　Ｌ；//延迟使用 （４）　 …… （５）