07语义分析与中间代码产生.pptVIP

语义分析和中间代码的产生编译技;在词法分析和语法分析之后，编译;1 中间语言掌握几种中间语言的;1.1 后缀式后缀式表示法又称;例如：a+b可以写成 ;1.2 图表示法图表示法包括D;例如：赋值语句a:=b*-c+;产生赋值语句抽象语法树的属性文;赋值语句：a:=b*-c+b*;1.3 三地址代码 三地址代码;例如：赋值语句a:=b*-c+;例如：赋值语句a:=b*-c+;三地址语句的种类（1）赋值语句;（6）过程调用语句 param;产生赋值语句三地址代码的属性文;E.place表示存放E值的名;三地址代码的具体实现四元式 ;语句a:=b*-c+b*-c ;(0)(1)(2)(3)(4);语句 X:=(A+B)*C;;2 说明语句当考察一个过程或分;2.1 过程中的说明语句在C、;计算说明语句中名字的类型和相对;第一条产生式及其语义动作可写为;2.2 保留作用域信息当遇到一;程序结构一组嵌套过程，每个过程;sort a,xrea;nilheaderaxread;进入过程partition，q;P→MD {addwi;D→ id: T ;上述翻译模式给出了如何在一遍扫;M的语义动作把栈tblptr初;每遇到一个变量说明id:T，就;2.3 纪录中的域名除了基本类;3 赋值语句的翻译赋值语句中的;3.1 简单算术表达式及赋值语;S→id:=E {p:=l;E→(E1) {E.plac;3.2 数组元素的引用现在讨论;对于二维数组情况尤其应注意：若;a[i1,i2,…in]的地址;要生成数组的引用代码，其主要问;Elist.ndim：记录El;一个Elist可以产生一个k-;访问数组元素的翻译模式给定文法;相应语义动作 若L是一个简单的;3．E→（E1） ;5． L→Elist] ;应用递归公式扫描下一个下标表达;数组的类型信息：VAR a:A;例7.1 设A为一个10*;带注释的语法树：其中每个变量，;该赋值语句在由底向上的分析中被;在前面关于算术表达式和赋值语句;3.3 纪录中域的引用编译器将;4 布尔表达式的翻译布尔表达式;考虑由下列文法产生的布尔表达式;翻译布尔表达式的方法表示一个布;4.1 数值表示法用1表示真，;布尔表达式的数值表示法的翻译模;例7.2：生成布尔表达式ab;4.2 作为条件控制的布尔式翻;对于作为转移条件的布尔式，可以;用符号标号标识一条三地址语句，;产生式语义规则E→E1 or ;E→E1 and E2E1.t;E→id1 relop id2;例7.3：表达式 ;使用回填翻译布尔表达式两遍扫描;布尔表达式文法： （1;翻译模式用到如下三个函数：ma;E?E1 OR ME2 ;E?not E1 { E;例7.4 重新考虑表达式a;依次分析，得到如下四元式： ;7.5 控制语句的翻译7.5.;文法： S→if ;E.codeS1.codeE.;产生式语义规则S→if E t;S→if E then S1e;S→while E do S1;例7.5 考虑如下语句：;文法： （1）S→if ;(1) S?if E then;{backpatch( E.t;(5) S?while M1 ;先记录要回填的转移指令地址，在;全部四元式代码如下： 1;117: ;………. goto ;7.5.3 CASE语句的翻译;switch语句翻译成的三地址;switch语句的目标代码结构;test ： if t＝v;例 题例1 写出下列各式的;例2 写出表达式 ;例3 写出条件语句