资源描述：
《编译原理第七章 中间代码生成课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、中间代码生成在编译器中的作用词法分析语法分析语义分析中间代码优化中间代码生成目标代码生成分析合成中间代码生成中间代码生成是将源程序翻译成中间表示的过程目的：增强语言的可移植性、进行优化；中间代码生成方法：语法制导的翻译方法：属性文法和动作文法基于Token序列基于抽象语法树中间代码生成源程序Token序列词法分析器语法分析器语法分析树语义分析器中间代码生成器中间代码M1Mn…7.1常见的中间表示后缀式，逆波兰式抽象语法树无环有向图三元式四元式三地址中间代码7.1常见的中间表示后缀式(逆波兰式)通常用于表达式的中间表示中
2、缀(运算符在操作数的中间)a*b前缀式(运算符在操作数的前面)*ab后缀式(运算符在操作数的后面)ab*由抽象语法树生成后缀式中缀式:a*d+b*c+e+*+ad*ebc抽象语法树后根遍历生成后缀式:ad*bc*+e+先根遍历生成前缀式:++*ad*bce由Token序列生成后缀式（1）(1)初始化:S1和S2为空;(2)读token:tk=ReadOne();(3)Switchtkof(i)#:if(S1为空)exit;elsewhile(S1不为空)/*产生剩余操作符的后缀表示*/{op=pop(S1);(str1
3、,str2)=pop(2);push(S2,str2+str1+“op”);}(ii)运算分量:push(tk,S2);goto(2);(iii)运算符:if(S1为空
4、
5、tk优先级大于Top(S1)){push(tk,S1);goto(2);}else{while(tk小于等于Top(S1)&&S1不为空)){op=pop(S1);(str1,str2)=pop(2);push(S2,str2+str1+“op”);}push(tk,S1);goto(2);}生成后缀式的例子中缀式:a*d+b*c+e#运算符栈S1运
6、算分量栈S2由Token序列生成后缀式（2）注意:任何运算符的优先级都大于‘(’;(1)初始化:S1和S2为空;(2)读token:tk=ReadOne();(3)Switchtkof(i)#:if(S1为空)exit;elsewhile(S1不为空)/*产生剩余操作符的后缀表示*/{op=pop(S1);(str1,str2)=pop(2);push(S2,str2+str1+“op”);}(ii)operand:push(tk,S2);goto(2);‘(’:push(‘(‘,S1);goto(2);(iii)op
7、erator:if(S1为空
8、
9、tk优先级大于Top(S1)){push(tk,S1);goto(2);}else{while(tk小于等于Top(S1)&&Top(S1)≠‘(’&&S1不为空))){op=pop(S1);(str1,str2)=pop(2);push(S2,str2+str1+“op”);}push(tk,S1);goto(2);}}(iv)‘)’:while(Top(S1)≠‘(’){op=pop(S1);(str1,str2)=pop(2);push(S2,str2+str1+“op”);}po
10、p(S1);goto(2);带括号表达式的后缀式例子中缀式:(a+(d+b)*c)+e#Operatorstack运算符栈S1Operandstack运算分量栈S2后缀式:adb+c*+e+7.1常见的中间表示抽象语法树-AST无环有向图-DAG(共享的AST)a*c+a*c+eASTDAG+*+ac*eac+*+ac*eac7.1常见的中间表示三地址中间代码三地址:两个操作分量和一个结果的抽象地址;为方便起见,通常用变量名代替抽象地址;三元式No.(op,operand1,operand2)编号(操作符,操作分量1,
11、操作分量2)其中操作分量可以是变量名(抽象地址)或者编号四元式(op,operand1,operand2,result)(操作符,操作分量1,操作分量2,结果)其中操作分量可以是变量名(抽象地址)或者临时变量(抽象地址)三地址代码的例子a*d+b*c+e(1)(*,a,d)三元式(2)(*,b,c)(3)(+,(1),(2))(4)(+,(3),e)(*,a,d,t1)四元式(*,b,c,t2)(+,t1,t2,t3)(+,t3,e,t4)操作分量的抽象地址操作分量常量:整数或者实数标号:标号名变量:需要更多信息用于形
12、成其目标地址函数/过程:需要更多信息用于得到其代码的目标地址操作分量的ARG结构---抽象地址结构常量:(valKind,C)标号:(labelKind,label)变量:(varKind,level,offset,mode)函数/过程:实在函数/过程:(funKind,actual,label)形参函数/过程:(funKind,
