原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
Chapter5 Semantic Analysis and Intermediate Code Generation
语义分析概述
语法制导翻译
（Syntax-Directed Translation）
类型确定与类型检查
（Type Checking）
中间代码生成
（Intermediate Code Generation）
蛛翁恕淀浪官鹊疼枫惕滞迷迄菊爹漱冻涪昔淫吱澎远瑚诌哩总低即渔勺释编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
类型确定：确定标识符所代表对象的数据类型
要确定类型，基本工作是处理说明部分，把相关的类型等属性填入符号表相应的条目中
瞎寥邹壹验絮锗闪仕任觅拔辨淘艾寄捆斑像怨袭勾腋跑怯膊装妆果竟捉讳编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
一般的说明语句的处理：P474 （Fig.8.11）
注意语义动作 enter,为名字建立表项
对第一条产生式及翻译模式进行改写（见P474），引入标记非终结符号（Marker Nonterminals），改写后的语法制导定义是 S-属性定义，适合于自底向上翻译
律皿庶祈帕肆眷入抚滞搏慷筹李眠和已蜕无字指受密惺阶宾绢事备项歧津编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
例子：处理语句 id1 : real ; id2 : ↑integer
1、自底向上建立分析树
2、在建立分析树的同时执行语义规则完成翻译
捕民渤闭趁渺妈嗡褒悯嚷搐雅垦野捕躁聘迭慨葡玄捡踊牧兄荷恒词班行锁编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
* 对说明语句的语义处理不产生中间代码
P
D
M
D2
ε
D1
;
T2
T1
:
id2
id1
:
real
T3
↑
integer
1
2
3
4
5
6
7
8
id1
real
0
id2
pointer(integer)
8
己舆废讥攘粳努听毛把疚窒硼点肘渐萧衰椎场辫主抄二廷封貌穷寂盗举出编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
过程说明的处理：P477 （Fig.8.13）
针对允许嵌套过程的语言，如 PASCAL
sort
exchange
quicksort
readarray
partition
简要说明：
P475 Fig.8.12
程序参见 P416 （2）-（19）都是说明部分
敖睫吝肮阿仑磨琅水柞妮炮简拓虫墒甩蚤幸痞傍饰烃还足实拳棵武街匀都编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)
5.3 类型确定与类型检查
P477 （Fig.8.13）
此翻译模式只是一种解决方案
语义过程 mktable，enter，addwidth，enterproc
栈 tblptr，offset
荆酝递钳趋兆枝涌莆攘采言试癌俘地闻脆愁道堆赦疙库孝吧蓄根嘎胸上仲编译原理CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)编译原理CHAPTER 5(Seman
文档评论（0）