chap6编译原理.pptVIP

编译器前端的逻辑结构;本章内容;6.1 语法树的变体（有向无环图）;产生语法树或DAG的语法制导定义;DAG的构造过程举例;6.2 三地址代码（1）;三地址代码（2）;三地址代码（3）;例子;三地址码的几种数据结构表示：1、四元式表示;四元式的例子;三地址码的几种数据结构表示： 2、三元式表示;三元式的例子;三地址码的几种数据结构表示：3、间接三元式;静态单赋值（SSA）;静态单赋值（SSA）;6.3 类型和声明;类型表达式;什么时候类型是等价的？;声明;局部变量的存储布局;计算T的类型和宽度的SDT;SDT运行的例子;作用域和符号表;声明序列的SDT（1）;声明序列的SDT（2）;记录中的域的处理;表达式的SDD;增量式翻译方案;数组元素的寻址;数组引用的产生式文法;数组元素作为因子;数组元素作为赋值左部;处理数组引用的语义动作;数组引用的例子;类型检查和转换;类型检查的两种方式;类型检查的两种方式;类型转换;类型的widening和narrowing;处理类型转换的SDT;函数/运算符的重载;函数/运算符的重载;6.6 控制流的翻译;短路(跳转)代码的例子;控制流语句的翻译;控制流语句的语法制导的定义（1）;控制流语法制导定义（2）;布尔表达式的控制流翻译;布尔表达式的SDD（1）;布尔表达式的SDD（2）;布尔表达式代码的例子;布尔值和跳转代码;回填（1）;回填（2）;布尔表达式的回填翻译（1）;布尔表达式的回填翻译（2）;布尔表达式的回填例子;控制转移语句的回填;控制转移语句的回填(2);控制转移语句的回填(3);Break、Continue的处理;6.8 switch语句;switch语句的翻译;实现条件跳转的方式;条件跳转的方式;翻译法(一): 计算E并放入T中的代码 T:=E goto test L1: 关于S1的中间码 goto next … Ln-1: 关于Sn-1的中间码 goto next Ln: 关于Sn的中间码 goto next test: if T=Ｖ1 goto L1 if T=Ｖ2 goto L2 … if T=Ｖn-1 goto Ln-1 goto Ln next:;用来翻译switch语句的case三地址代码指令;过程的中间代码;;过程调用的处理 ;翻译方法：把实参的地址逐一放在转子指令的前面. 例如， CALL S(A，X+Y) 翻译为: 计算X+Y置于T中的代码 param A /*第一个参数的地址*/ param T /*第二个参数的地址*/ call S,2 /*过程调用，第二个为参数的个数*/;过程调用的翻译;翻译模式 3. Elist→E { 初始化queue仅包含E.place;n=0 } 2. Elist→Elist, E { 将E.place加入到queue的队尾;n=n+1 } 1. S→call id (Elist) { for 队列queue中的每一项p do gen(‘param’ p); gen(‘call’ id.addr ‘,’ n) }