程序的设计语言编译原理第三版第7章.pptVIP

第七章　语义分析和中间代码产生;语义处理分两步： 1.静态语义分析，即验证语法结构合法的程序是否真正有意义。 2.若静态语义正确，语义处理则要执行真正的翻译。 即要么生成程序的一种中间表示形式（中间代码）， 要么生成实际的目标代码。;中间代码：即中间语言，独立于机器的，复杂性介于源 语言和机器语言之间的一种表示形式。; ;§7.１ 中间语言;一、后缀式—逆波兰式：;§7.１ 中间语言;二、图表示法;例子：如图所示，为a+a*(b-c)+(b-c)*d的DAG;2.抽象语法树;(2) a:=b*-c+b*-c 的抽象语法树的两种表示法;三、三地址代码;2.四元式：带有四个域的记录结构 ;§7.１ 中间语言;3.三元式： 为了避免把临时变量填入符号表,可通过计算该临时变量值的语句的位置来引用该临时变量。;;4.间接三元式：便于代码优化处理 方法：间接码表+三元式表;§7.2 说明语句;一、过程中的说明语句;2.处理方式： 处理第一条说明语句之前，先置offset为0，以后每次遇到一个新的名字，则: (1)将该名字填入符号表中, (2)置相对地址为当前offset之值， (3)使offset加上该名字所表示的数据对象的域宽。;3. 相应的翻译模式：;说明: (1) offset: 全程变量,代表变量在过程数据区中的相对地址, 用来跟踪下一个可用的相对地址的位置.;二、保留作用域信息;§7.2 说明语句;(1)语义规则中的操作:;§7.2 说明语句;(2)栈: tblptr:存放指向符号表的指针,栈顶为指向当前正在处理过 程的符号表指针. offset:存放变量在数据区中的相对地址,栈顶为当前正在处 理过程的下一个变量的相对地址。;§7.3 赋值语句的翻译;2. 说明: id.name－id所代表的名字本身 lookup(id.name)－检查符号表中是否存在相应 此名字的入口?≠nil:返回一个该表项的指针 =nil:未找到 emit(－－)－将生成的三地址语句发送到输出文件中 E.place－存放E值的名字 newtemp－产生“临时变量”;3.例题：写出下列代码段中表达式的翻译制导过 程及其所产生的四元式 begin Integer：B、C、D、X; X:=-B*(C+D); end; 已归约串 PLACE 输入串 语义动作 # X:= -B*(C+D)# #X X := -B*(C+D)# # X:= X_ -B*(C+D)# # X:= - X__ B*(C+D)# # X:= -B X__B *(C+D)# # X:= -E X__B *(C+D)# { E.place:=p=B} # X:= E1 X_T1 *(C+D)# {E1.place:=newtemp=T1; 生成四元式(1) } … … ?? … # X:=E*(C X_T1__C +D)# # X:=E*(E1 X_T1__C +D)# { E1.place:=p=C } … … … … ; 已归约串 PLACE 输入串 语义动作 … … … … # X:=E*(E1+D X_T1__C_D )# # X:=E*(E1+E2 X_T1__C_D )# { E2.place:=p=D } # X:=E*(E3 X_T1__T2 )# {E3.place:=newtemp=T2; 生成四元式(2)} # X:=E*(E3) X_T1__T2_ # # X:=E*E4 X_T1_T2 # { E4.place=E3.place=T2} # X:=E5 X_T3 # { E5.place=T3; 生成四元式(3)} # S # { p:=lookup(X.name); 生成四元式(4)};二、数组元素的引用;§7.3 赋值语句的翻译;改写产生式的原因： 使我们在整个下标表达式串Elist的翻译过程中随时都能知道符号表中相应于数组名字id的