[工学]第07章语义分析与中间代码产生.ppt

逆波兰表示法不用括号。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。 后缀式的计算 用一个栈实现。 一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到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 a:=b*(-c)+b*(-c)的图表示法 抽象语法树对应的代码： T1:=-c T2:=b*T1 T3:=-c T4:=b*T3 T5:=T2+T4 a:=T5 DAG对应的代码： T1:=-c T2:=b*T1 T5:=T2+T2 a:=T5 产生赋值语句抽象语法树的属性文法 产 生 式 语义规则 S→id:=E S.nptr:=mknode(‘assign’, mkleaf(id,id.place),E.nptr) E→E1+E2 E.nptr:=mknode(‘+’,E1.nptr,E2.nptr) E→E1*E2 E.nptr:=mknode(‘*’,E1.nptr,E2.nptr) E→-E1 E.nptr:=mknode(‘uminus’,E1.nptr) E→ (E1) E.nptr:=E1.nptr E→id E.nptr:=mkleaf(id,id.place) 为赋值语句生成三地址代码的S-属性文法定义 产生式 语义规则 S→id:=E S.code:=E.code || gen(id.place ‘:=’ E.place) E→E1+E2 E.place:=newtemp; E.code:=E1.code || E2.code || gen(E.place ‘:=’ E1.place ‘+’ E2.place) E→E1*E2 E.place:=newtemp; E.code:=E1.code || E2.code || gen(E.place ‘:=’ E1.place ‘*’ E2.place) E→-E1 E.place:=newtemp; E.code:=E1.code || gen(E.place ‘:=’ ‘uminus’ E1.place) E→ (E1) E.place:=E1.place; E.code:=E1.code E→id E.place:=id.place; E.code=‘ ’ 三地址语句与四元式的对应关系 例如，语句 X:=(A+B)*C; Y:=D↑(A+B) 的间接三元式表示如下表所示。 7 . 2 说明语句 当考查一个过程或分程序的一系列说明语句时，便可为局部于该过程的名字分配存储空间。对每个局部名字，我们都将在符号表中建立相应的表项，并填入有关的信息如类型、在存储器中的相对地址等。 7 . 2 . 1 过程中的说明语句 P ?D D ? D ; D D ? id : T T ? integer T? real T? array [ num ] of T1 T? ?T1 在图7 . 6 关于说明语句的翻译模式中，非终结符号P 产生一系列形如id : T 的说明语句。在处理第一条说明语句之前，先置Offset 为0 ，以后每次遇到一个新的名字，便将该名字填入符号表中并置相对地址为当前Offset之值，然后使Offset加上该名字所表示的数据对象的域宽。 过程enter(name,type,offset)用来把名字name填入到符号表中，并给出此名字的类型type 及在过程数据区中的相对地址offset。非终结符号T 有两个综合属性T .type和T .width，分别表示名字的类型和名字的域宽（即该类型名字所占用的存储单元个数）。在图7 .6 中，假定整数类型域宽为4 ；实数域宽为8 ；一个数组的域宽可以通过把数组元素数目与一个元素的域宽相乘获得；每个指针类型的域宽假定为4。 7 . 2 . 2 保留作用域信息 所讨论语言的文法 P ? D D ? D ; D | id : T | proc id ; D ; S 每一个过程都有一张独立的符号表。这种符号表可用链表实现。当碰到过程说明D