编译原理教案8.9.pptVIP

则把需回填E．true的四元式（10），（20）和（30） 链成　　（10）　…　goto　（0）　　 …　　（20）　…　goto　（10）　　 …　　（30）　…　goto　（20）把地址（30）称作链首，0为链尾标志，即地址（10）为链尾。如何描述回填，我们不再介绍，有兴趣的同学可阅读参考书。 8.6 控制语句的翻译8.6.1条件转移　　考虑if then，if then else和while do语句，在图8.12中已给出了它们的代码结构。这里我们使用下面文法G[S]定义这些语句： G[S]　　（1）　S→if E then S　　（2）　|　if E then S else S　　（3）　|　while E do S　　（4）　|　begin L end　　（5）　|　A　　（6）　L→L；　S　　（7）　|S　　其中各非终结符号的意义是：　　S--语句　　L--语句串　　A--赋值句　　E--布尔表达式 回想在上一节，按照上述文法产生式相应的语义动作，加上前述关于赋值句和布尔表达式的翻译法，语句　　while （A＜B） do if （C＜D） then X∶=Y+Z　　将被翻译成如下的一串四元式：　　100　if A＜B goto 102　　101　goto　107　　102　if　C＜D goto 104　　103　goto 100　　104　T∶=Y+Z　　105　X∶=T　　106　goto 100　　107 8.6.2 开关语句　　开关语句（case语句或switch语句）是很多程序设计语言中都有的，方式不尽相同，甚至FORTRAN中的计算GOTO和赋值GOTO也可看做是一种开关语句。 我们假定要讨论的开关语句的形式为：　　switch E of　　case V1：S1　　case V2：S2　　…　　case Vn-1：Sn-1　　default：Sn　　end　　这里的E是一个表达式，也称为选择子。开关语句是分情形选择机制，在E被计算之后，测试它的值符合哪种case中的值，而执行和该值相关的语句，并做相应的转移。如果E的值不能与任何Vi（1≤i≤n-1）匹配，便执行default时的语句。 直观上看，case语句翻译成如下的一连串条件转移语句。　　t∶=E；　　L1：if t≠V1 goto L2； 　　S1；　　goto next；　　L2：if t≠V2 goto L3；　　S2　　goto next；　　…　　Ln-1：if t≠Vn-1 goto Ln；　　Sn-1；　　goto next；　　Ln：Sn；　　next： 9.1 符号表的作用和地位　　在编译程序中符号表用来存放语言程序中出现的有关标识符的属性信息，这些信息集中反映了标识符的语义特征属性。在词法分析及语法在分析过程中不断积累和更新表中的信息，并在词法分析到代码生成的各阶段，按各自的需要从表中获取不同的属性信息。不论编译策略是否分趟，符号表的作用和地位是完全一致的。　　① 收集符号属性 　　② 上下文语义的合法性检查的依据　　③ 作为目标代码生成阶段地址分配的依据 ① 收集符号属性 编译程序扫描说明部分收集有关标识符的属性，并在符号表中建立符号的相应属性信息。例如，编译程序分析到下述两个说明语句　　int A;　　float B[5];　　则在符号表中收集到关于符号A的属性是一个整型变量，关于符号B的属性是具有5个浮点型元素的一维数组。② 上下文语义的合法性检查的依据 同一个标识符可能在程序的不同地方出现，而有关该符号的属性是在这些不同情况下收集的。特别是在多趟编译及程序分段编译（在PASCAL及C中以文件为单位）的情况下，更需检查标识符属性在上下文中的一致性和合法性。通过符号表中属性记录可进行相应上下文的语义检查。 例如，在一个C语言程序中出现　　…　　int i [3,5]; //定义整型数组i　　…　　float i[4,2]; //定义实型数组i,重定义冲突　　…　　int i [3,5]; //定义整型数组i,重定义冲突 　　…　　编译过程首先在符号表中记录了标识符i的属性是3×5个整型元素的数组，而后在分析第二、第三这两个定义说明时编译系统可通过符号表检查出标识符i的二次重定义冲突错误。本例还可以看到不论在后二句中i的其它属性与前一句是否完全相同，只要标识符名重定义，就将产生重定义冲突的语义错误。 程序设计语言中的表示 逆波兰表示 a+ba+b*c(a+b)*ca;=b*c+b*d ab+abc*+ ab+c*abc*bd*+: