第5章——语法制导翻译技术.ppt

编译系统中，有时将四元式表示成另一种更直观，更易理解的形式——三地址代码或三地址语句。 result :＝ arg1 OP arg2 三地址语句:语句中是三个量的赋值语句, 每个量占一个地址。 三地址代码形式定义为： 第5章 语法制导翻译技术和中间代码生成 例如 X＝ a*b＋c/d 的 四元式序列： (1) ( *, a, b, T1 ) (2) ( /, c, d, T2 ) (3) ( +, T1, T2, T3 ) (4) ( =, T3, -, X ) 相应的三地址语句序列为： （1）T1＝a*b （2）T2＝c/d （3）T3＝T1＋T2 （4）X＝T3 第5章 语法制导翻译技术和中间代码生成 例1. –a + b * ( –c + d )的逆波兰式 a@ bc @ d + * + 第5章 语法制导翻译技术和中间代码生成 t1= @ a t2= @ c t3= t2 + d t5= t1+ t4 –a + b * ( –c + d )的四元式表示 t4= b* t3 第5章 语法制导翻译技术和中间代码生成 i↑( i /( i – i ) )的逆波兰式 i↑( i /( i – i ) )的四元式 t1= i – i t2= i / t1 t3= i ↑ t2 i i i i – /↑ 例2. 第5章 语法制导翻译技术和中间代码生成 语义函数 emit（T＝arg1 OP arg2） 功能是生成一个三地址语句，并送到输出文件中。 语义函数 newtemp( ) 功能是产生一个新的临时变量名字，并回送新的临时变量名的整数码。如T1，T2等。 5.5.1 简单算术表达式和赋值语句的翻译 (2) 不进符号表，临时变量单词值部 分用整数码表示。 (1) 送到符号表。 对临时变量有两种不同的处理方法: 第5章 语法制导翻译技术和中间代码生成 语义过程 Lookup（i.name） 功能是审查i.name是否出现在符号表中，在则返回其指针，否则返回NULL。 语义变量 E.place 表示存放非终结符E值的变量名在符号表中的入口地址或临时变量名的整数码。 第5章 语法制导翻译技术和中间代码生成 1. E → E(1) ＋ E(2) 2. E → E(1) * E(2) { E.place ＝ newtemp( ); emit(E.place’＝’E(1).place’＋’E(2).place ) } { E.place ＝ newtemp( ); emit(E.place’＝’E(1).place’*’E(2).place ) } 第5章 语法制导翻译技术和中间代码生成 3. E →（E(1)） { E.place ＝ E(1).place；} 4. E → i { p ＝ Lookup (i.name); if (p != NULL) E.place ＝ p; else error( ); } 第5章 语法制导翻译技术和中间代码生成 5. A→i=E { p ＝ Lookup (i.name); if (p != NULL) emit(p’＝’E.place; ) else error( ); } 5.5.2布尔表达式到四元式的翻译 一.布尔表达式的文法 ● 计算逻辑值 程序设计语言中布尔表达式有两个作用: ● 用作控制语句中的条件式 布尔表达式是由布尔算符(∧、∨和?)施于布尔变量或关系表达式而成。 布尔表达式到四元式的翻译 E→ E (1)∨ E (2) E→ E (1)∧ E (2) E→ ? E (1) E→ ( E (1) ) E→ i (1) rop i (2) E→ i 布尔表达式到四元式的翻译 二. 布尔表达式的计值方法 1. 如同计算算术表达式一样,步步计算出各部分真、假值,最后计算出整个表达式的值。 2. 根据布尔运算的特殊性,采取某种优化措施,可避免计算整个表达式的值。 布尔表达式到四元式的翻译 A∨B 解释成 A∧B 解释成 ? A