- 1、本文档共138页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
编译技术语义分析概述PPT
第六章 语义分析;1 语义分析;1.1语义分析的必要性;1.2语义分析的分类;1.3语义错误;语义分析的功能图示;2 符号表;2.1地位;2.2符号的内部表示;2.2.1值的内部表示;2.2.2类型的内部表示;实例;类和结构体;实例;2.2.3标识符的内部表示;层数和偏移;实例;Name;2.3符号表;2.3.1建立和访问;2.3.2符号表的处理;标识符的特点;局部化区入口;标识符处理的原则;语义分析例子;Name;符号表的分类;全局符号表的局部化;局部化实例;局部符号表管理——Scope栈;标号的语义分析;标号部分语义分析原理; 4)进入一个结构语句时,将本语句的LDEF和LUSE表位置填入SL表;
5)遇到一个“goto ?” 时:
查看LDEF表,看其中是否有?;
若无,将填入LUSE表;
6)退出一个结构化语句时:
清查本层LUSE表(若有定位则删除该项):用本层的LUSE中标号查本层定位表,若查到,则把该项从LUSE中删除;
作废本层的LDEF。
7)退出一个过/函时:
清查本层LUSE表;
作废本层的LDEC和LDEF。
8)程序结束时,清查LUSE表,若非空,则说明有标号为定位的错误。 ;第七章 中间代码生成;7.1中间语言;7.1.1后缀表达式相关;7.1.2抽象语法树AGT和有向不循环图DAG;7.1.3三地址中间代码;四元式操作符分类;7.2语法制导方法;属性文法;动作文法;实例;类型检查和类型转换;中间代码生成中的几个问题;7.3简单表达式的中间代码生成;7.4下标变量中间代码生成;表达式中间代码生成的例子;赋值语句的形式为:Left := Right
赋值语句的四元式结构 :
Left 的中间代码
Right 的中间代码
(FLOAT , right , —, t )
(ASSIG , Right(即t), n , Left )
语法制导: S ?L:=R $ASSIGN
$ASSIGN:
从语义栈中取出赋值号左右分量的语义信息;
比较类型是否相同,如果不同,则生成类型转换中间代码;
生成赋值四元式(ASSIG , Right (t), n , Left )。 ;;形参实参结合中间代码:
(VALACT, Ei.Arg, offseti, sizei)……值参
(VARACT, Ei.Arg, offseti, sizei)……变参
(FUNCACT, Ei.Arg, offseti, sizei)……函数参数
(PROACT, Ei.Arg, offseti, sizei)……过程参数;例:x + f (H(10), g(Y))
其中x是整型变量,H为形参函数名,H的形参为
值参,f、g为实在函数名,f的参数均为值参,
g的参数为变参。
( VALACT,10,?1,1 )
( CALL, H, false, t1 )
( VARACT, Y,?1,1 )
( CALL, g, true, t2 )
( VALACT, t1, ?1,size1 )
( VALACT, t2, ?2,size2 )
( CALL, f, true, t3 )
( ADDI, x, t3, t4 );过/函调用中间代码的生成;过/函调用的语法制导;;条件语句的中间代码;条件语句的语法制导
S→ if E then $ThenIf S ElsePart $EndIf
ElsePart → else $ElseIf S
ElsePart → ?
$ThenIf
根据Sem [ top ]的值,检查它的类型是否为boolean类型,如果是则产生中间代码 (THEN, Sem[top], _, _)。
$ElseIf
产生中间代码 (ELSE, _, _, _)
$EndIf
产生中间代码 (ENDIF, _, _, _) ;While语句的中间代码;while语句的语法制导
S→ while $StartWhile E do $DoWhile S $EndWhile
$StartWhile
产生中间代码 (WHILE, _, _, _)
$DoWhile
遇 do 时(表达式E处理完,其值在Sem[top]):
⑴ 类型检查:检查E是否为boolean类型;
⑵ 产生中间代码 (DO, E.FORM , _, _);
⑶ E弹栈:pop(1);
$EndWhile
产生中间代码 (ENDWHILE, _, _, _) ;过程/函数声明的中间代码;过/函声明的中间代码形式
您可能关注的文档
- 第四章安全畜产品生产技术PPT.ppt
- 第四章宋词撷英PPT.ppt
- 第四章宏观经济政策PPT.ppt
- 第四章市场营销调研与预测PPT.ppt
- 第四章典型表面的加工方法PPT.ppt
- 第四章岩体的基本力学性能PPT.ppt
- 第四章土的抗剪强度与地基承载力PPT.ppt
- 第四章基层疾病预防控制与妇幼保健职能pptPPT.ppt
- 第四章技术经济分析的基本方法PPT.ppt
- 第四章投资管理PPT.ppt
- 《JJF 2132-2024荧光紫外灯人工气候老化试验装置校准规范:辐射照度参数》.pdf
- JJF 2120-2024轮速传感器校准规范.pdf
- 计量规程规范 JJF 2120-2024轮速传感器校准规范.pdf
- 《JJF 2129-2024钙钛矿太阳电池校准规范:光电性能参数》.pdf
- JJF 2129-2024钙钛矿太阳电池校准规范:光电性能参数.pdf
- 《JJF 2120-2024轮速传感器校准规范》.pdf
- JJF 2117-2024沥青混合料理论最大相对密度仪校准规范.pdf
- JJF 2116-2024特定蛋白分析仪校准规范.pdf
- 《JJF 2116-2024特定蛋白分析仪校准规范》.pdf
- 计量规程规范 JJF 2117-2024沥青混合料理论最大相对密度仪校准规范.pdf
文档评论(0)