[工学]哈工大编译原理

《[工学]哈工大编译原理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章中间代码1中间代码生成6.1中间语言6.2常用语句的翻译6.2.1说明语句6.2.2赋值语句6.2.3布尔表达式6.2.4过程语句2辛明影序“中间代码生成”程序的任务是：方法：语法制导翻译。采用独立于机器的中间代码的好处：把经过语法分析和语义分析而获得的源程序中间表示翻译为中间代码表示。1.便于编译系统建立和编译系统的移植；2.便于进行独立于机器的代码优化工作。3辛明影6.1中间语言语法树后缀式三地址代码表示6.1.1图表示法语法树，有向非循环图和后缀式表示源程序的自然层次结构，例如：a:=b*-c+b*-c4

2、辛明影=a+*bc-(a)语法树*-cb5辛明影赋值语句：中缀式：a:=b*-c+b*-c后缀式：abc-*bc-*+=6辛明影=a+*bc-(b)dag(DirectedAcyclicGraph)7辛明影6.1.2三地址代码一般形式x：＝yopz相应于图6.1的树和dag的三地址代码t1：＝-ct2：＝b*t1t5：＝t2+t2a：=t5对于dag的代码t1：＝-ct2：＝b*t1t3：＝-ct4：＝b*t3t5：＝t2+t4a：＝t5对于语法树的代码8辛明影（3）无条件转移语句gotoL;（4）条件转移语句ifx

3、relopygotoL，关系运算符号relop(<，=，＞=等等）;（2）赋值语句x：＝opy，op为一目算符，如一目减uminus、逻辑非not、移位算符及转换算符;（1）赋值语句x：＝yopz，op为二目算术算符或逻辑算符;6.1.3三地址语句的种类9辛明影（5）复制语句x：＝y;（8）地址和指针赋值x＝＆y，x＝*y和*x＝y。（7）索引赋值x:=y[i]及x[i]:=y;（6）过程调用语句paramx和callp,n;过程返回语句returny;10辛明影6.1.4三地址代码的具体实现1．四元式op,arg1

4、,arg2,result2．三元式op,arg1,arg23．间接三元式间接码表+三元式表四元式需要利用较多的临时单元,四元式之间的联系通过临时变量实现。中间代码优化处理时，四元式比三元式方便的多,间接三元式与四元式同样方便，两种实现方式需要的存储空间大体相同。11辛明影1、x=yopz常用三地址码的四元式表示：2、x=opy3、gotoL4、ifxropygotoL5、x=y6、parmxcallp,n（op,y,z,x)（op,y,,x)（j,,,L)(jrop,x,y,L)(=,y,,x)(param,,,x)

5、(=[],y[i],,x)(=&,y,,x)8、x=&yx=*y7、x=y[i]x[i]=y12辛明影对于语句a:=b*-c+b*-c的三种表示方法三地址语句的四元式表示(-,c,,t1)(*,b,t1,t2)(-,c,,t3)(*,b,t1,t4)(+,t2,t4,t5)(=,t5,,a)13辛明影(0)(1)(2)(3)(4)(5)uminus*uminus*+assigncbcb（1）aarg1(0)(2)(3)(4)arg2op三地址语句的三元式表示三元式中使用指向三元式语句的指针。14辛明影arg1arg2

6、opstatement(14)(15)(14)(15)(16)(17)(0)(1)(2)(3)(4)(5)三地址语句的间接三元式表示语句的移动仅改变左边的语句表--c*b14+1415=15a15辛明影相对地址：相对静态数据区基址6.2.1说明语句6.2常用语句的翻译说明语句的翻译：对每个局部名字，在符号表中建立相应的表项，填写有关的信息.如类型、嵌套深度、相对地址,内情向量等。或活动记录中局部数据区基址的一个偏移值16辛明影一、过程中的说明语句下面是类型说明和数组说明的文法和翻译方案P→DD→D;DD→id：TT→

7、integerT→realx:integer;y:real一个过程中的所有说明语句作为一个类集来处理。用一个全程变量Offset来记录下一个数据在符号表中的相对地址。T→array[num]ofT1T→↑T117辛明影P→DD→D;DD→id：TT→integerT→realT→array[num]ofT1T→↑T1｛offset：＝0}D｛enter（id.name，T.type，offset）;offset:=offset＋T.width｝｛T.type：=integer;T.width：=4｝｛T.type：＝

8、real;T.width：＝8}{T.type:＝array（num.val,T1.type);T.width：＝num.val*T1.width}｛T.type:＝pointer（T1．type）；T.width：=4}18辛明影Nametypekind……addrXY…………real简单变量4int简单变量0x:integer;y:real