编译原理(第八章).pptVIP

四元式是一种常用的中间代码表示形式，为了更直观，也可以将四元式写成赋值语句的形式。 例如：赋值语句a:=b*c+b*d的四元式 （*,b,c,t1) t1=b*c (*,b,d,t2) t2=b*d (+,t1,t2,t3) t3=t1+t2 (:=,t3,-,a) A:=t3 (jump,-,-,L) goto L (jrop,B,C,L) if B rop C goto L 8.4一些语句的翻译 一、 控制语句中布尔表达式的翻译 控制语句 S if E then S 1 else S 2 E 的代码 E .true E.false E .true: S 1 的代码 goto out E.false: S 2 的代码 out: 二、简单赋值语句（的四元式）翻译四元式形式 t：=arg1 op arg2 语义 属性：id.name, E.place 函数：lookup(id.name) ; 过程：emit(t:=arg1 op arg2); newtemp; 产生式 语义描述 (1) S?id:=E { P:=lookup (id.name) ; if P?nil then emit( P“:=”E.place) } (2)?????????? E?E1+E2 {E.place:= newtemp; emit(E.place“:=” E1.place“+”E2.place)} (3)?????????? E?- E1 { E.place:=newtemp; emit(E.place“:=”“uminus” E1.place)} (4)?????????? E?( E1) { E.place:= E1.place} (5)?????????? E?id { P:=lookup(id.name); if P?nil then E.place:=P else error}? 第8章 语法制导翻译和中间代码生成 8.1语义处理概述 8.2属性文法，语法制导翻译 8.3中间代码 8.4一些语句的翻译 语言的语义和编译的语义处理工作: 静态语义检查：审查静态语义 动态语义处理：生成中间(目标)代码 8.1语义处理概述 一、静态语义审查 （1）类型检查。根据类型相容性要求，验证程序中执行的每个操作是否遵守语言的类型系统的过程，编译程序必须报告不符合类型系统的信息。 （2）控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的这样的语句，则就报错。 （3）一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。 （4）上下文相关性检查。比如，变量名字必须先声明后引用；而有时，同一名字必须出现两次或多次，