编译原理语义(控制语句的翻译).pptVIP

第 11 讲 西北农林科技大学本科教程 主讲教师：赵建邦 第四章 语义分析和中间代码生成 4.1 语义分析概述 4.2 属性文法 4.3 几种常见的中间语言 4.4 表达式及赋值语句的翻译 4.5 控制语句的翻译 4.6 数组元素的翻译 4.7 过程或函数调用语句的翻译 4.8 说明语句的翻译 4.9 递归下降语法制导翻译方法简介 第四章《语义分析和中间代码生成》 4.5 控制语句的翻译 条件语句if 条件循环语句while 多分支控制语句case(自学) 转移语句goto 重点掌握 通过代码结构图翻译if、while语句(重点) 本讲目标 4.5 控制语句的翻译 4.5 程序流程控制的三种基本结构 顺序结构：一般用复合语句实现； 选择结构：if-else if-else, switch-case; 循环结构：for，while, do-while 4.5 控制语句的翻译 图4-11 if(E)S的代码结构 图4-10 条件语句if(E)S1;else S2的代码结构 4.5 控制语句的翻译 为了在扫描条件语句过程中不失时机地处理和回填有关信息，可将G[S]改写为如下的G[S] ： G[S]:?? (1) ?S→CS(1)　　　　 (2) ?C→if(E)　　　　 (3) ?S→TPS(2)　　　　 (4) ?TP→CS(1);else 4.5 控制语句的翻译 (1)无论是哪种if语句，首先用产生式(2) C→if(E)进行归约，这时E的真出口即为S(1)的第一个四元式；E的假出口地址则作为待填信息放在C的语义变量C.chain中等待回填； 所以： 4.5 控制语句的翻译 C→if(E) { Backpatch(E.tc, nxq);　　 C.chain?=?E.fc; } (1) S→CS(1)　　　　 (2) ?C→if(E) 扫描到“)”，立即回填E的真出口 C.chain中只保存E的待填假出口 if ( E ) S(1) else S(2) T F (2)不含else时，用(1) S→CS(1)进行规约，E的假出口是S(1)的出口，将C.chain和S(1).chain一起作为S的待填信息链用函数merge链在一起保留在S的语义值S.chain中： 4.5 控制语句的翻译 (1) S→CS(1)　　　　 (2) ?C→if(E) S→CS(1) {S.chain?=?merge(C.chain,S(1).chain)} if ( E ) S(1) T F C S(1) S(1).chain=104 C.chain=101 S.chain=104 规约后： S(1).chain C.chain (3)用产生式(2) C→if(E)进行归约之后，如果：条件语句后有else，用(4)继续规约。 4.5 控制语句的翻译 (2) C→if(E) (3) ?S→TPS(2) 　　　　 (4) ?TP→CS(1);else TP →CS(1); else { q=nxq;　　 emit(j,_,_,0);　　 Backpatch(C.chain,nxq); TP.chain?=?merge(S(1) .chain, q); } 注意1：只要遇到有else的规约，必须先产生一条无条件转移。 if ( E ) S(1) ;else S(2) C S(1) ;else S(2) TP S(2) 2： S(2) 就是C.chain 3：q就是S(1) .chain if ( E ) S(1) ;else S(2) T F q: (j,_,_,0) nxq: (4)最后用产生式(3) ?S→TPS(2)进行归约， S(2)语句序列处理完后继续翻译if语句之后的后继语句。后继语句的四元式地址与S(2)语句序列的出口一致，故将TP.chain与S(2).chain链接后挂入链头为S.chain的链中，即： 4.5 控制语句的翻译 (2) C→if(E) (3) ?S→TPS(2)