第七章_语法制导翻译与中间代码生成4.0.ppt

mktable(tab) 创建一个符号表，父表指针为tab； Enter(tab,name,type,offset)在tab所指符号表中为名字name建立一个登记项，类型type和相对地址offset填入该项中； addwidth(tab,width) 在tab所指符号表表头中记录下该表中所有名字占用的总宽度； enterproc(tab, name, newtab) 在tab所指符号表中为名字name的过程建立一个登记项，参数newtab指向name的符号表。 属性及过程的定义 P→MD addwidth(pop(s_tab), pop(s_offset)) M→? t:=mktab(nil); push(t, s_tab); push(0,s_offset) D→D;D D→ proc id;ND1;S t:= pop(s_tab); addwidth(t,pop(s_offset)) enterproc(top(s_tab), id.name, t) D→id:T Enter(top(s_tab), id.name, T.type, top(s_offset)) push(pop(s_offset)+T.width, s_offset) N→? t:=mktab(top(s_tab)) push(t, s_tab); push(0,s_offset) pop(s_)弹出s_栈顶元素；top(s_)返回s_栈顶元素；push(e,s_)压入e到栈s_. 处理嵌套过程中的说明语句(方法1) program sort(input,output) var a: array[0..10] of int; x:int; proc readarray; var i:int; begin…a….end; proc exchange(i,j:int); begin x:=a[i];a[i]:=a[j];a[j]=x end; proc quicksort(m,n:int); var k,v:int; func partition (y,z:int):int; var i,j:int; begin …a…v…exchange(i,j);…end; begin…end; begin…end. D N D D D N D D D D N D D D D D D P (方法1) P→MD addwidth(pop(s_tab), pop(s_offset)) M→? t:=mktab(nil); push(t, s_tab); push(0,s_offset) D→D;D D→proc id;ND1;S t:= pop(s_tab); addwidth(t,pop(s_offset)) enterproc(top(s_tab), id.name, t) D→id:T enter(top(s_tab), id.name, T.type, top(s_offset)) push(pop(s_offset)+T.width, s_offset) N→? t:=mktab(top(s_tab)); push(t, s_tab); push(0,s_offset) M program sort(input,output) var a: array[0..10] of int; x:int; proc readarray; var i:int; begin…a….end; proc exchange(i,j:int); begin x:=a[i];a[i]:=a[j];a[j]=x end; proc quicksort(m,n:int); var k,v:int; func partition (y,z:int):int; var i,j:int; begin …a…v…exchange(i,j);…end; begin…end; begin…end. D L D D L L D D L D L D L D D L L L P P→L L.intab=mktab(nil); L.ioffs=0 P.symtab=L.outtab D→ id:T D.outtab=D.intab Enter(D.outtab, id.name, T.type, D.ioffs) D.ooffs=D.ioffs+T.width addwidth(D.outtab,D.ooffs)) L→D D.intab=L.intab; L.outtab=D.outtab D.ioffs=L.ioffs;L.ooffs=D.ooffs L1→ L2;D L2.intab=L1.intab; D.intab=L2.outtab L1.outtab=