rcomch61课件.ppt

第六章 中间代码; 中间代码生成 6.1 中间语言 6.2 常用语句的翻译 6.2.1 说明语句 6.2.2 赋值语句 6.2.3 布尔表达式 6.2.4 过程语句; 序 “中间代码生成”程 序的任务是： ;6.1 中间语言 语法树 后缀式 三地址代码表示;=;赋值语句： 中 缀式： a:=b*-c+b*-c 后缀式： a b c - * b c - * + =;=;6.1.2 三地址代码 一般形式 x：＝y op z ;（3）无条件转移语句goto L;;（5）复制语句 x：＝y;;(1)E.place表示存放E值的名字。 ;S.code:=E.code ║gen(id.place:=E.place); E→E1*E2 ;产生式;三地址语句序列是语法树的线性表示，用临时变量代替语法树中的结点。;6.1.5 三地址代码的具体实现;1、 x=y op z ; 对于语句a:=b*-c+b*-c 的三种表示方法;(0) (1) (2) (3) (4) (5);(14) (15) (16) (17) (18) (19);相对地址：相对静态数据区基址 ;一、 过程中的说明语句 ;P→D ;Name type kind …… addr X Y …………; 1 .问题的提出;于是提出下面的问题： ;2. 嵌套的程序结构;嵌套说明的文法：;　　嵌套说明的程序结构首先要解决的问题是：非局部数据的访问;　　具体翻译时，每当碰到过程说明　D→proc id;D1;S时,便创建一张符号表,并且把D1中的所有说明都填入此符号表中;Nil header x a readarray exchange quicksort ;翻译时常用操作：;Tblptr是一个栈，用于存放指向嵌套外层过程的符号表指针;处理嵌套过程中的说明语句翻译方案 ;D→ id: T {enter(top(tblptr),id.name,T.type, top(offset)); ④ top(offset）：= top(offset) ＋T.width} ;P;上述语法树对应的语句： Proc Q;proc R;j:int;S;S; ;使用两个栈，分别保存刚编译过的符号表箭头table和offset的值。; 一组嵌套过程，每个过程说明为局部名字建立一个符号表，所有正在翻译过程的符号表组成整个源程序的符号表。;三、 记录中的域名 T→ record LD end { T.type:=record（top（tblptr))； T.width:＝top(offset)； pop（tblptr);pop(offset)} L→ε {t:=mktable(nil); push(t,tblptr);push(0,offset))} 为－个记录中的域名建立一张符号表 该翻译模式强调了作为一个语言结构的记录的设计与活动记录之间的相似处.;一、 符号表中的名字 　　　　　　　　　　　　　　　　　　　　　　　　　　;用最近嵌套作用域规则查找非局部名字; lookup(id.name)= id.entry nil;S→id:=E 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　;E→(E1) ;语义动作应包括类型分析，文法符号应有类型属性，在类型分析的基础上，进行相容和赋值相容检查，生成类型转换的三地址代码。;1、数组元素地址的计算公式 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ; ②对于一个二维数组，可以按行或按列存放。; base＋（（i1 一low1）* n2＋i2 一low2）*w） ;整理后：常量部分： c=((...((low1*n2+low