编译原理ch7 语义分析和中间代码产生.ppt

第七章 语义分析和 中间代码产生;概述;中间语言（复杂性界于源语言和目标语言之间）的好处： 便于进行与机器无关的代码优化工作 易于移植 使编译程序的结构在逻辑上更为简单明确 ;内容线索;中间语言;(1) 后缀式;逆波兰表示法不用括号。只要知道每个算符的数目，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。 后缀式的计算 用一个栈实现。 一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到k目运算符就把它作用于栈顶的k个项，并用运算结果代替这k个项。;把表达式翻译成后缀式的语义规则描述;数组POST存放后缀式：k为下标，初值为1 上述语义动作可实现为： 产生式 程序段 E→E(1)op E(2) {POST[k]:=op;k:=k+1} E→ (E(1)) {} E→i {POST[k]:=i;k:=k+1} 例：输入串a+b+c的分析和翻译 POST： 1 2 3 4 5;(2) 图表示法;DAG;a+a*(b-c)+(b-c)*d的图表示法;抽象语法树;建立表达式的抽象语法树;建立抽象语法树的语义规则; a－4＋c的抽象语法树; a:=b*(-c)+b*(-c)的图表示法 ;产生赋值语句抽象语法树的属性文法 ;(3) 三地址代码;DAG对应的代码： T1:=-c T2:=b*T1 T5:=T2+T2 a:=T5 ;三地址语句的种类 ;语句的三地址代码;赋值语句的文法;S-属性文法定义 ;三地址语句;三地址语句;三地址语句;三地址语句;例如，语句 X:=(A+B)*C; Y:=D↑(A+B) 的间接三元式表示如下表所示。;四元式、三元式和间接三元式比较;内容线索;概述;常量定义的翻译;变量说明的翻译;变量说明部分的翻译 P ? D; {offset:=0} D ? D; D D ? id: T {enter(id.name, T.type, offset); offset:=offset+T.width} T ? integer {T.type:=integer; T.width:=4} T ? real {T.type:=real; T.width:=8} T ? array[num] of T1 {T.type:=array(num.val, T1.type); T.width:=num.val*T1.width} T ? ↑T1 {T.type=pointer(T1.type); T.width:=4};保留作用域信息;过程示例 (1) Program sort(input, output) (2) var a: array[0..10] of integer; (3) x: integer; (4) procedure readarray; (5) var i: integer; (6) begin …a … end {readarray} (7) procedure exchange(i, j:integer) (8) begin (9) x:=a[i]; a[i]:=a[j]; a[j]:=x (10) end {exchange} (11) procedure quicksort (m, n:integer); (12) var k, v: integer; (13) function partition (y,z: integer): integer; (14) var i,j: integer; (15) begin …a … (16) …v … (17) …exchange(i, j); … (18) end {partition} (19) begin … end {quicksort}; (20) begin … end {sort}.;语义规则中的