编译原理_第七章.ppt

（3）L → Elist] {L.place:=newtemp; emit(L.place ‘:=’ Elist.array ‘ -’ C ); L.offset:=neswtemp; emit(L.offset ‘:=’ w ‘﹡’ Elist.place)} （1）Elist → id [E {Elist.place:=E.place; Elist.ndim:=1; Elist.array:=id.place} （2）Elist → Elist1，E {t:=newtemp; m:=Elist1.ndim+1; emit(t ‘:=’ Elist1.place ‘﹡’ limit(Elist1.array，m)); emit(t ‘:=’ t ‘+’ E.place); Elist.array:=Elist1.array; Elist.place:=t; Elist.ndim:=m} （4）L → id {L.place:=id.place; L.offset:=null} 其相应的语义动作如下： 计算： Em=Em-1*nm+im 赋初值：(E1=i1) 例： a：=b*-c+b*-c assign assign a + a + * * * b - b - b - c c c 抽象语法树 DAG 方法1 assign ? ? id a + ? ? * ? ? id b uminus ? id c * ? ? id b Uminus ? id c 方法2 把所有的结点安排在一个记录的数组中，结点的位置或索引作为指向地点的指针。 id b id c uminus 1 * 0 2 id B id C uminus 5 * 4 6 + 3 7 id a assign 9 8 … … … 0 1 2 3 4 5 6 7 8 9 10 … 三地址代码 三地址代码最基本的用法形式: x:=y op z 其中x、y、z为名字、常数或编译时产生的临时变量；op代表运算符号。每个语句的右边只能有一个运算符。 例如：x+y*z可以翻译为： T1：=y*z T2：=x+T1 T1、T2位编译时产生的临时变量 三地址代码可以看成是抽象语法树一种线性表示 assign a + * * b - b - c c 抽象语法树 T1:=-c T2:=b*T1 T3:=-c T4:=b*T3 T5:=T2+T4 a:=T5 三地址代码 三地址代码可以看成是DAG的一种线性表示 assign a +