编译原理课件CHAPTER-5(Semantic-Analysis-and-Intermediate-Code-Generation-2).pptVIP

下载本文档

5
0
约4.67千字
约 26页
2017-08-13 发布于安徽
举报
版权申诉

编译原理课件CHAPTER-5(Semantic-Analysis-and-Intermediate-Code-Generation-2).ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

第一章：编译概述 Chapter5Semantic Analysis and Intermediate Code Generation 语义分析概述语法制导翻译（Syntax-Directed Translation）类型确定与类型检查（Type Checking）中间代码生成（Intermediate Code Generation） 5.3 类型确定与类型检查类型确定：确定标识符所代表对象的数据类型 5.3 类型确定与类型检查一般的说明语句的处理：P474 （Fig.8.11） 5.3 类型确定与类型检查例子：处理语句 id1 : real ; id2 : ↑integer 5.3 类型确定与类型检查 * 对说明语句的语义处理不产生中间代码 5.3 类型确定与类型检查过程说明的处理：P477 （Fig.8.13）针对允许嵌套过程的语言，如 PASCAL 5.3 类型确定与类型检查 P477 （Fig.8.13） 5.3 类型确定与类型检查例子：分析如下程序的说明部分画出分析树，详细说明 1. t1 := mktable ( nil ) push ( t1 , tblptr ) push ( 0, offset ) 2. enter ( top( tblptr), id1.name, T1.type, top(offset) ) top( offset ) := top(offset) + T1.width 3. t2 := mktable ( top ( tblptr ) ) push ( t2 , tblptr ) push ( 0, offset ) 4. enter ( top( tblptr), id3.name, T2.type, top(offset) ) top( offset ) := top(offset) + T2.width 5. t := top ( tblptr ) addwidth ( t, top ( offset ) ) pop ( tblptr ) pop ( offset ) enterproc ( top( tblptr), id2.name, t ) 6. 7. addwidth ( top ( tblptr ), top ( offset ) ) pop ( tblptr ) pop ( offset ) 5.3 类型确定与类型检查记录类型的处理：P477 （Fig.8.14） 5.3 类型确定与类型检查 5.3 类型确定与类型检查类型检查（Type Checking）：按照所用语言的语义规则检查运算的合法性与运算分量类型的一致性或相容性 5.3 类型确定与类型检查表达式的类型检查（Type Checking of Expressions） 5.3 类型确定与类型检查 3、E → E1 op E2 { E.type := if E1.type=integer and E2.type=integer then integer else type-error } — 一致性检查 * 假设 op 的运算分量必须是integer，结果也是integer 5.3 类型确定与类型检查 { E.type := if E1.type=integer and E2.type=integer then interger else if E1.type=integer and E2.type=real then real else if E1.type=real and E2.type=integer then real else if E1.type=real and E2.type=real then real else type-error } — 相容性检查必要的话