编译技术语义分析概述教学教材.ppt

第六章 语义分析;1 语义分析;1.1语义分析的必要性;1.2语义分析的分类;1.3语义错误;语义错误 cont.;1.4语义分析的功能;语义分析的功能图示;2 符号表;2.1地位;2.2符号的内部表示;2.2.1值的内部表示;实例;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, _, _, _) ;过程/函数声明的中间代码;过/函声明的中间代码形式