编译7语义和中间代码产生1素材.ppt

* * 生成三地址代码时，临时变量的名字对应抽象语法树的内部结点 id:=E 对表达式E求值并置于变量T中值 id.place:=T * * 从赋值语句生成三地址代码的S-属性文法 非终结符号S有综合属性S.code，它代表赋值语句S的三地址代码。 非终结符号E有如下两个属性： E.place表示存放E值的名字。 E.code表示对E求值的三地址语句序列。 函数newtemp的功能是，每次调用它时，将返回一个不同临时变量名字,如T1,T2,…。 gen(x ‘:=’ y ‘+’ z)表示生成三地址代码。 * * 为赋值语句生成三地址代码的S-属性文法定义 产生式 语义规则 S→id:=E S.code:=E.code || gen(id.place ‘:=’ E.place) E→E1+E2 E.place:=newtemp; E.code:=E1.code || E2.code || gen(E.place ‘:=’ E1.place ‘+’ E2.place) E→E1*E2 E.place:=newtemp; E.code:=E1.code || E2.code || gen(E.place ‘:=’ E1.place ‘*’ E2.place) E→-E1 E.place:=newtemp; E.code:=E1.code || gen(E.place ‘:=’ ‘uminus’ E1.place) E→ (E1) E.place:=E1.place; E.code:=E1.code E→id E.place:=id.place; E.code=‘ ’ * * 三地址语句 四元式 一个带有四个域的记录结构，这四个域分别称为op, arg1, arg2及result op arg1 arg2 result (0) uminus c T1 (1) * b T1 T2 (2) uminus c T3 (3) * b T3 T4 (4) + T2 T4 T5 (5) := T5 a * * 三地址语句 三元式 通过计算临时变量值的语句的位置来引用这个临时变量 三个域：op、arg1和arg2 op arg1 arg2 (0) uminus c (1) * b (0) (2) uminus c (3) * b (2) (4) + (1) (3) (5) assign a (4) * * 三地址语句 x[i]:=y op arg1 arg2 (0) [ ] = x i (1) assign (0) y x:=y[i] op arg1 arg2 (0) = [ ] y i (1) assign x (0) * * 三地址语句 间接三元式 为了便于优化，用“三元式表+间接码表”表示中间代码 间接码表:一张指示器表，按运算的先后次序列出有关三元式在三元式表中的位置。 优点: 方便优化，节省空间 * * 例如，语句 X:=(A+B)*C; Y:=D↑(A+B) 的间接三元式表示如下表所示。 * * 例：a=A+(-B)*C 的三元式： (1) (@, B, - ) (2) (*, (1), C) (3) (+, A, (2)) (4) (=, a, (3)) 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * * * * * * * * * * * * * * * * * * * 编译原理(第三版) 陈火旺等编著 （2015年9月-10月） 主讲：朱世松 计算机学院 * * 概述 一、语义分析的任务 审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。 如：赋值语句：x=x+y,左边变量类型与右边变量类型是否一致。 在语义正确的基础上生成一种中间代码或目标代码。 * * 二、语义分析的范围 1.确定类型：确定标识符所关联的数据类型。 2.类型检查：按语言的