语法制导翻译与中间代码生成.ppt

抽象语法树在语法树中去掉那些对翻译不必要的信息，从而获得更有效的源程序中间表示。这种经变换后的语法树称之为抽象语法树。在抽象语法树中，操作符和关键字都不作为叶结点出现，而是把它们作为内部结点如产生式S→ifBthenS1elseS2抽象语法树表示if-then-elseBS1S2第30页，共48页，星期日，2025年，2月5日8.4简单表达式及赋值语句的语法制导翻译一、只含整型变量的简单赋值句的文法： A?i:=E E?E+E|E*E|-E|(E)|i语义变量和语义过程：NEWTEMP：每次调用时，回送一个代表新临时变量名的整数码，临时变量名产生顺序可想象为T1,T2,…。E.PLACE：表示存放E值的变量名在符号表的入口或整数码。GEN(OP,ARG1,ARG2,RESULT)：将四元式填进表中。ENTRY(i)：查找并取得与i相对应的标识符在符号表中的入口第31页，共48页，星期日，2025年，2月5日 产生式 语义动作(1)A?i:=E {GEN(:=,E.PLACE,—,ENTRY(i))}(2)E?E(1)+E(2) {E.PLACE:=NEWTEMP; GEN(+,E(1).PLACE,E(2).PLACE,E.PLACE)}(3)E?E(1)*E(2) {E.PLACE:=NEWTEMP; GEN(*,E(1).PLACE,E(2).PLACE,E.PLACE)}(4)E?-E(1) {E.PLACE:=NEWTEMP; GEN(@,E(1).PLACE,—,E.PLACE)}(5)E?(E(1)) {E.PLACE:=E(1).PLACE}(6)E?i {E.PLACE:=ENTRY(i)}第32页，共48页，星期日，2025年，2月5日在进行不同类型量混合运算时，须为非终结符增加类型属性E.MODE。如在产生式E?E(1)opE(2)中，E.MODE的语义规则定义为： {if(E(1).MODE==IntE(2).MODE==Int) E.MODE=Int elseE.MODE=r; }需增加四元式：(itr,A,—,T)，并在运算符上指出相应的类型。如X=Y+I*J(X、Y为实型，I、J为整型)的四元式序列为：(*i,I,J,T1)(itr,T1,—,T2)(+r,Y,T2,T3)(=,T3,—,X)第33页，共48页，星期日，2025年，2月5日二、控制语句中的布尔表达式的翻译布尔表达式在程序设计语言中有两个基本功用，一是作为控制语句的条件式；二是作为逻辑运算，获得逻辑值。后者的翻译较为简单，下面只考虑作为控制语句中的条件式在高级程序设计语言中，布尔表达式一般的处理方式是采用某种优化措施简化计算过程。考虑下述文法的布尔表达式：E?E∧E|E∨E|┒E|(E)|i|iropi 我们可以用条件句来解释布尔计算：A∨B解释为ifAthentrueelseBA∧B解释为ifAthenBelsefalse┒A解释为ifAthenfalseelsetrue1a=2,b=31||a=2b=31a=0,b=0a=b=0第34页，共48页，星期日，2025年，2月5日关于语法制导翻译与中间代码生成第1页，共48页，星期日，2025年，2月5日8.1属性和属性文法8.1.1属性文法属性(attribute)是编程语言结构的任意特性，是一个语法概念的特征描述。属性是想表示的任何东西，典型的属性有：变量的数据类型、表达式的值、存储器中变量的位置、程序的目标代码、数的有效位数等。属性文法(attributegrammar)：将属性关系等式附加在相应文法规则上的文法属性的表示：若a是文法符号X的一个属性，则记作X.a。a称为属性变量。属性关系等式与采用何种语法分析方式无关，但是属性的计算次序