07语义解析和中间代码地产生.pptVIP

语义分析和中间代码的产生;在词法分析和语法分析之后，编译程序要进行静态语义检查和翻译 静态语义检查通常包括： 类型检查 控制流检查 一致性检查 相关名字检查 翻译为中间语言的好处： 便于进行与机器无关的代码优化 使编译程序改变目标机更容易 使编译程序的结构在逻辑上更为简单明确，以中间语言为界面，编译前端和后端的接口更清晰;1 中间语言;1.1 后缀式;;1.2 图表示法;;产生赋值语句抽象语法树的属性文法;赋值语句：a:=b*-c+b*-c 后缀式：a b c uminus * b c uminus * + assign;1.3 三地址代码;;;三地址语句的种类;;产生赋值语句三地址代码的属性文法;;三地址代码的具体实现;语句a:=b*-c+b*-c 的四元式表示：;(0) (1) (2) (3) (4) (5);语句 X:=(A+B)*C; Y:=D↑(A+B);2 说明语句;2.1 过程中的说明语句;计算说明语句中名字的类型和相对地址;;2.2 保留作用域信息;程序结构;sort a,x ;nil;;P→MD {addwidth(top(tblptr),top(offset)); pop(tblptr); pop(offset)} M→ε {t:=mktable（nil）； push(t,tblptr); push(0,offset)｝ D→D1；D2 D→proc id; N D1；S {t:＝top（tblptr); addwidth(t,top(offset)); pop（tblptr）；pop（offset); enterproc(top（tblptr），id.name，t)} ;D→ id: T {enter(top(tblptr),id.name,T.type, top(offset)); top(offset）：= top(offset) ＋T.width} N→ε {t ：＝mktable(top（tblptr))； push(t，tblptr）；push（0，offset)} 如下操作： 1. mktable( previous）创建一张新符号表 2. enter（table，name，type，offset）插入表项 3. addwidth（table，width）记录总域宽 4. enterproc（table,name, newtable） 建立过程新表项;;;;2.3 纪录中的域名;3 赋值语句的翻译;3.1 简单算术表达式及赋值语句;S→id:=E {p:=lookup(id.name); if pnil then emit(p:= E.place) else error } E→E1+E2 {E.place=newtemp; emit(E.place:=E1.place+E2.place)} E→E1*E2 {E.place=newtemp; emit(E.place:=E1.place*E2.place)} E →-E { E.place:=newtemp; emit(E.place ′ := ′ ′uminus′E1.place};E→(E1) {E.place:=E1.place} E→id {p:=lookup(id.name); if pnil then E.place:=p else error} lookup(id.name)= id.entry nil emit 将生成的三地址代码送到输出文件上。 语义动作应包括类型分析，文法符号应有类型属性，在类型分析的基础上，进行相容和赋值相容检查，生成类型转换的三地址代码; 3.2 数组元素的引用;对于二维数组情况尤其应注意： 若二维数组A按行存放，则可用如下公式计算A[i1,i2]的相对地址：