编译原理概述.pptVIP

A::=V:=EE::=T|E+TT::=F|T*FF::=V|(E)|CV::=标识符C::=常数递归定义描述程序结构的规则赋值语句语法分析的依据——语法规则第31页，共63页，星期日，2025年，2月5日赋值语句标识符表达式表达式+表达式表达式标识符整数标识符:=表达式*Id1Id2Id360position:=initial+rate*60id1:=id2+id3*60第32页，共63页，星期日，2025年，2月5日id1:=id2+id3*60:=+N60*id1Positionid2initialid3rate第33页，共63页，星期日，2025年，2月5日推导（derive)、归约(reduce)推导：从文法的开始符号开始，按照语法规则，每次选择某规则右部的一个候选式取代左部，直至识别了语句或者找到错误为止。其过程可用语法树描述归约：按照语法规则，每次选择某规则左部取代右部的一个候选式注：语法＝词法规则＋语法规则语法分析的方法第34页，共63页，星期日，2025年，2月5日三、语义分析及中间代码生成任务：依据语义规则对识别出的各种语法成分析其含义，并进行初步翻译，生成中间代码。静态：分析语法成份的含义，进行语义上的正确性检查动态：根据相应语义，生成中间代码（介于源语言和目标语言之间的中间语言形式）第35页，共63页，星期日，2025年，2月5日生成中间代码的目的：利于代码优化利于目标代码的移植中间代码的形式： 四元式、三元式、逆波兰表示第36页，共63页，星期日，2025年，2月5日四元式其中t1、t2、t3为编译程序引入的临时工作单元例：y=x+r*6运算符左运算对象右运算对象结果(1)inttoreal6--t1(2)*rt1t2(3)+t2xt3(4)=t3y第37页，共63页，星期日，2025年，2月5日任务：对中间代码进行加工变换，以得到高质量（省时间、省空间）的目标代码四、代码优化依据原则：程序的等价变换规则主要优化内容公共子表达式提取、合并已知量、删除无用赋值语句、循环优化等第38页，共63页，星期日，2025年，2月5日t1=b*ct2=t1+0t3=b*ct4=t2+t3a=t4t1=b*ct2=t1+t1a=t2优化举例第39页，共63页，星期日，2025年，2月5日(1)(inttoreal60-t1)(2)(* id3t1t2)(3)(+ id2t2t3)(4)(:= t3- id1)id1:=id2+id3*60（1）(* id3 60.0 t2)(2）（+id2t2 id1 )(* id3 60.0 t2)(+ id2 t2 id1)优化举例第40页，共63页，星期日，2025年，2月5日目标代码的形式：绝对指令代码：可立即执行的代码(如.exe)汇编指令代码：汇编语言程序，需通过汇编程序汇编后才能运行可重定位的指令代码：先将各目标模块连接起来，确定变量、常数在主存中的位置，装入主存后才能成为可运行的绝对指令代码（如.obj）五、目标代码生成任务：把中间代码变换成特定机器上的低级语言代码第41页，共63页，星期日，2025年，2月5日(* , id3 60.0 t1 )(+ , id2 t1 id1 )mov id3,R2mul #60.0,R2mov id2,R1add R2,R1mov R1,id1目标代码生成举例第42页，共63页，星期日，2025年，2月5日目标代码生成程序代码优化程序语义分析生成中间代码语法分析程序词法分析程序编译过程小结S.PO.P第43页，共63页，星期日，2025年，2月5日编译程序结构(components)典型的编译程序具有7个逻辑部分S.PO.P语义分析及生成中间代码程序代码生成程序代码优