第七章语义分析和中间代码产生.pptVIP

第七章 语义分析和中间代码产生 内容 中间语言 说明语句 赋值语句的翻译 布尔表达式的翻译 控制语句的翻译 过程调用的处理 类型检查 语义分析与中间代码产生 词法分析和语法分析之后，编译程序的工作是进行静态语义检查和翻译 静态语义检查包括 类型检查 控制流检查 一致性检查 相关名字检查 名字的作用域分析 语义分析与中间代码产生 翻译为中间语言(复杂性界于源语言和目标语言之间)的好处： 便于进行与机器无关的代码优化工作 易于移植 使编译程序的结构在逻辑上更为简单明确 7.1 中间语言 常用的中间语言： 后缀式（逆波兰表示） 三地址代码 三元式 四元式 间接三元式 DAG图表示 7.1.1 后缀式 后缀式表示法：Lukasiewicz发明的一种表示表达式的方法，又称逆波兰表示法。 后缀式表示法把运算量（操作数）写在前面，把算符写在后面（后缀）。如a+b写成ab+ 一个表达式E的后缀形式可以如下定义： 1. 如果E是一个变量或常量，则E的后缀式是E自身。 2. 如果E是E1 op E2形式的表达式，其中op是任何二元操作符，则E的后缀式为E1? E2? op，其中E1? 和E2? 分别为E1 和E2的后缀式。 3. 如果E是(E1)形式的表达式，则E1 的后缀式就是E的后缀式。 7.1.1 后缀式 abc+*等价a*(b+C) 逆波兰表示法不用括号。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。 后缀式的计算 用一个栈实现。 一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到k目运算符就把它作用于栈顶的k个项，并用运算结果代替这k个项。 7.1.1 后缀式 数组POST存放后缀式：k为下标，初值为1 上述语义动作可实现为： 产生式 程序段 E→E1op E2 {POST[k]:=op;k:=k+1} E→ (E1) {} E→i {POST[k]:=i;k:=k+1} 例：输入串a+b+c的分析和翻译 POST： 1 2 3 4 5 7.1.1 后缀式 后缀式的推广： 对于条件算术表达式 if e then X else Y 可表示为eXY￥，其中￥表示三目运算if-then-else 7.1.2 图表示法 图表示法 DAG 抽象语法树 无循环有向图(Directed Acyclic Graph，简称DAG) 对表达式中的每个子表达式，DAG中都有一个结点 一个内部结点代表一个操作符，它的孩子代表操作数 在一个DAG中代表公共子表达式的结点具有多个父结点 7.1.2 图表示法 产生赋值语句抽象语法树的属性文法 7.1.3 三地址代码 三地址代码： 一般形式：x := y op z 三地址代码包含三个地址，两个用来表示操作数，一个用来存放结果。 表达式x + y ? z翻译成的三地址语句序列是 t1 := y ? z t2 := x + t1 7.1.3 三地址代码 三地址代码是语法树或DAG的一种线性表示 a := (?b + c?d ) + c?d 语法树的代码 DAG的代码 t1 := ?b t1 := ?b t2 := c ? d t2 := c ? d t3 := t1 + t2 t3 := t1 + t2 t4 := c ? d t4 := t3 + t2 t5 := t3 + t4 a := t4 a := t5 7.1.3 三地址代码 三地址语句的种类 赋值语句x := y op z，x := op y，x := y 无条件转移goto L 条件转移if x relop y goto L 过程调用param x 和call p , n 过程返回return y 索引赋值x := y[i]和 x[i] := y 地址和指针赋值x := y，x := ?y和?x := y 7.1.3 三地址代码 生成三地址代码时，临时变量的名字对应抽象语法树的内部结点 id:=E的三地址代码包括： 对表达式E求值并置于变量T中值 id.place:=T 7.1.3 三地址代码 从赋值语句生成三地址代码的S-属性文法 非终结符号S有综合属性S.code，它代表赋值语句S的三地址代码。 非终结符号E有如下两个属性： E.place表示存放E值的名字。 E.code表示对E求值的三地址语句序列。 函数newtemp的功能是，每次调用它时，将返回一个不同临时变量名字,如T1,T2,…。 三地址语句 四元式 一个带有四个域的记录结构，这四个域分别称为op, arg1, arg2及result。如： a:=b*-c+b*-c 的四元式： op arg1 a