第五章_2 语法制导翻译和中间代码生成.pptVIP

5.5 自下而上语法制导翻译 1 特点 ♣ 当栈顶形成句柄执行归约时，调用相应的语义动作; ♣语法分析栈与语义分析栈同步操作。 5.5 自下而上语法制导翻译 2 三种基本句型的翻译 ♦ 简单算术表达式和赋值语句 ♦ 布尔表达式 例：A ∧C∨┓ B ♦ 控制语句 if-then, if-then-else, while-do 5.5.1 简单算术表达式和赋值语句的翻译 1 赋值语句的文法 A→i=E E→E+E E→E*E E→－E E→(E) E→i 仅含简单常变量的表达式的赋值语句。 5.5.1 简单算术表达式和赋值语句的翻译 2 需要的语义过程 newtemp()函数： 每次调用申请一块空间，产生一个新的临时变量名字。 emit(T=arg1 op agr2): 产生一个四元式，并填入四元式表中。 lookup(i.name): 查变量i.name是否出现在符号表中，在则返回其指针，否则返回NULL. 5.5.1 简单算术表达式和赋值语句的翻译 3 需要的语义变量 E.place： 存放E值的变量名在符号表中的入口地址。 5.5.1 简单算术表达式和赋值语句的翻译 4 语义子程序 (1)A→i=E (2)E→－E(1) (3)E→E(1) +E(2) {p=lookup(i.name); if(p==NULL) error(); else emit(p ‘=‘ E.place);} {E.place=newtemp(); emit(E.place ‘=’ ‘－’ E(1).place);} {E.place=newtemp(); emit(E.place ‘=’ E(1).place ‘+’ E(2).place);} 5.5.1 简单算术表达式和赋值语句的翻译 4 语义子程序 (4)E→ E(1) *E(2) (5)E→(E(1)) (6)E→i {E.place=newtemp(); emit(E.place ‘=’ E(1).place ‘*’ E(2).place);} {E.place=E(1).place;} {p=lookup(i.name); if(p!=NULL) E.place=p; else error();} 例 对A=－B*(C+D)$ 进行语法制导翻译，写出四元式。 E B － E (1) T1=－B C D E E ＋ E (2) T2=C+D * E (3) T3=T1*T2 = A S (4) A=T3 E ( ) 注： 简单算术表达式的计值顺序 和四元式出现的顺序相同 5.5.2 布尔表达式的翻译 1 布尔表达式的组成 由布尔算符作用于布尔常、变量 或 关系表达式 形成。 布尔算符 关系表达式 ∧，∨，┓ E(1) rop E(2) E：算术表达式 rop: , =, ==, , =, 5.5.2 布尔表达式的翻译 2 布尔表达式的文法 E→E∧E E→E∨E E→┓E E→(E) E→i rop i E→i i是布尔变量或常量， 或是算术表达式 限制： (1)布尔运算符的运算顺序为： ┓，∧，∨。 且∧，∨服从左结合。 (2)关系运算优先级别高于布尔运算。 5.5.2 布尔表达式的翻译 3 布尔表达式的作用 ♦ 用于逻辑赋值语句中布尔表达式的演算 ♦ 用作控制语句中的条件表达式 if E(条件) while E(条件) 5.5.2 布尔表达式的翻译 4 用于逻辑演算的翻译方法 (1) E→E(1)∧E(2) (2) E→E(1)∨E(2) (3) E→┓E {E.place=newtemp(); emit(E.place’=’ E(1).place ‘∧’ E(2).place);} {E.place=newtemp(); emit(E.place’=’ E(1).place ‘∨’ E(2).place);} {E.place=newtemp(); emit(E.place’=’ ‘┓’E(1).place);} 5.5.2 布尔表达式的翻译 4 用于逻辑演算的翻译方法 (4) E→(E(1)) (5) E→i(1) rop i(2) (6) E→i {E.place= E(1).place;} {E.place=newtemp(); emit(if i(1).place rop i(2).place