ch8-1语法制导概述-中间代码8.1-8.3(张素琴).pptVIP

* 中间语言有四种形式： 逆波兰表示(后缀式) 三元式(三地址码)和树型表示 四元式 8.3.1 逆波兰表示 运算对象写在前，运算符在后，ab+,也称为后缀式。后缀式表示源程序的自然层次结构(表达式的计算次序)，例如： a+b*c 后缀表示为abc*+ (a+b)*c后缀表示为ab+c* a:=b * c+b * -d后缀表示为abc*bd-*+:= 适合翻译表达式，不适合翻译控制语句。 * 表达式a*(b+c/d)# 运算对象入左边栈 运算符入 下边栈 出栈 逆波兰表示 abcd/+* 如果运算符栈顶元素的优先级大于或等于表达式中当前运算符的优先级，则栈顶元素退栈往左去，否则表达式中的当前运算符进运算符栈。最后左边是波兰表示。 运算符栈# 表达式的逆波兰表示的翻译过程 * 每遇左括号进运算符栈，起间隔作用，使括号内的运算符不与左括号之前的运算符比较优先级； 括号内的子表达式处理如上所述； 每遇到相匹配的右括号，结束括号内的子表达式的波兰表示形成过程，并且左右匹配的括号出栈，但是不进入波兰表示。 * 8.3.2 三地址代码表示 一般形式 x：＝y op z 相应于a:=b*c+b*d三地址码表示： 三元式： (1) (*, b, c) (2) (*, b, d) (3) (+, (1), (2)) (4) (:=, (3), a) 四元式： t1 := b* c t2 := b*d t3 := t1+ t2 a := t3 四元式 (1) (*, b, c, t1) (2) (*, b, d, t2) (3) (+, t1, t2,t3) (4) (:=, t3, -, a) * (3)无条件转移语句goto L; (4)条件转移语句 if x relop y goto L，关系运算符号relop( ，=，＞= 等等）; (2)赋值语句 x：＝op y ，op为一目算符，如一目减uminus、逻辑非not、移位算符及转换算符; (1)赋值语句 x：＝y op z，op二目算术算符或逻辑算符; 三地址语句的种类: (5)复制语句 x：＝y; (6)过程调用语句 param x 和 call p, n ; 过程返回语句 return y; (8)地址和指针赋值 x＝＆y，x＝* y 和 * x＝y。 (7)索引赋值 x:=y[i] 及 x[i] :=y ; * 三地址代码的具体实现: 1．四元式 op, arg1, arg2, result 2．三元式 op, arg1, arg2 四元式需要利用较多的临时单元,四元式之 间 的联系通过临时变量实现。 中间代码优化处理时，四元式比三元式方便的多 。 * 1、 x=y op z 常用三地址码的四元式表示： 2、 x=op y 3、goto L 4、if x rop y goto L 5、x=y 6、parm x call p,n （op , y , z , x) （op , y , , x) （jump , , , L) (jrop ,x ,y , L) (= , y , ,x) (param, , ,x) (=[] , y[i] , ,x) (= , y , ,x) 8、x=y x=*y 7、x=y[i] * := a + * b d a:=b*c+b*d树形表示 * c b * 对于语句a:=b*-c+b*-c 的2种表示方法 四元式表示 (- , c , , t1) (* , b , t1 , t2) (- , c , , t3) (* , b , t1 , t4) (+ ,t2 , t4 , t5) (= , t5 , ,a) * 课堂作业：p202 ex1,ex2,ex3 * * * * 每遇左括号进运算符栈，起间隔作用，使括号内的运算符不与左括号之前的运算符比较优先级；括号内的子表达式处理如上所述；每遇到相匹配的右括号，结束括号内的子表达式的波兰表示形成过程，并且左右匹配的括号出栈，但是不进入波兰表示。 * * 第8章 语法制导翻译和中间代码生成 语义处理 本章要求 主要内容：语义分析和中间代码生成，中间代码的形式，属性文法，各种语句的语法制导的翻译 重点掌握：