第5章 节 语义分析与中间代码生成.pptVIP

S.P;第5章　语义分析与中间代码生成;5.1 语义分析的任务 5.2 语法制导翻译 5.3 中间代码 5.9 PL/0编译程序的语义分析 ;词法分析，语法分析：解决单词和语言成分的识别及词法和语法结构的检查。语法结构可形式化地用一组产生式来描述。给定一组产生式，我们能够很容易地将其分析器构造出来。 本章要介绍的是语义分析和中间代码生成技术。 程序语言　　　　中间代码　　　　目标代码;根据语义规则对识别出的各种语法成分析其含义，进行初步翻译，生成相应的中间代码或直接生成目标代码。 ;实际应用中比较流行的语义分析方法： 基于属性文法的语法制导翻译方法 ;附加了一组属性和运算（语义）规则的文法 ; ;5.2.2 语法制导翻译的过程;自底向上语法制导翻译;语法制导翻译分为两种处理方法： （1）语法制导定义（自底向上）： 对每个产生式编制一个语义子程序，在进行语法分析的过程中，当一个产生式获得匹配时，就调用相应的语义子程序实现语义检查与翻译。这种实现方案隐藏了其中语义规则的计算次序等实现细节，不必规定翻译顺序。 （2）翻译方案（自顶向下）： 在产生式右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作。这是一种动作与分析交错的实现方案。;输入符号串 ? 分析树 ?执行语义规则 　　　　　　　　　　　　　　　　　? 翻译结果 ;5.2.3 语法制导定义; ;一个结点的综合属性值是其子结点的某些属性来决定的;5.2.5 S属性定义与自底向上翻译 ; ;产生式;1、文法非终结符既有综合属性，也可有继承属性； 2、开始符号没有继承属性； 3、终结符只有综合属性，由词法分析器提供。;生成中间代码的目的 (1)便于优化 (2)便于移植;.java java源程序文件;.NET框架 ;GCC ;中缀表示　　　　　　　　后缀表示 　a+b ab+ 　a+b*c abc*+ 　(a+b)*c ab+c* a:=b*c+b*d abc*bd*+:=;分别给出下列表达式的后缀表示;5.3.2 三地址代码;（6）过程调用语句param x 和call p , n。源程序中的过程调用语句p(x1，x2???…，xn)可以产生如下的三地址代码： param x1 param x2 … param xn call p, n 其中n为实参个数。过程返回语句形如return y，其中y为过程返回的一个值。 ;（7）变址赋值： x= y[i]，把从y开始的第i个存储单元的值赋给x。 x[i]= y，把y的值赋给x开始的第i个存储单元。 其中，x，y和i都代表数据对象。 （8）地址和指针赋值： x=y，把y的地址赋给x。 x= ?y，把y指示的地址单元中的内容赋给x。 ?x = y，把x指向的存储单元的值置为y。;2．具体实现;操作符 左操作符数 右操作数 ;例： A=B+C*D/E F=C*D;例：x =?y +y?z + y?z ;5.9　PL/0编译程序的语义分析;说明部分;;5.9.1 说明部分的分析;enum object{constant,variable,procedure}; //枚举定义常量、变量和过程 enum object kind; struct table1　//符号表为结构体型数据 {char name [AL]; //标识符名字，最长为AL，已定义为10 enum object kind; //标识符名字的属性，为常量、变量或过程 int val,level,adr, size; }; ;;变量定义语句的处理;if(strcmp(sym,varsym)==0){ /* 遇到变量说明符号，处理变量说明 */ getsym(); do{ vardeclaration(); /* 处理一个变量 */ while (strcmp(sym,comma)==0){ getsym(); vardeclaration();