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

《第七章_语义分析和中间代码产生》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第七章语义分析和中间代码产生内容中间语言说明语句赋值语句的翻译布尔表达式的翻译控制语句的翻译过程调用的处理类型检查语义分析与中间代码产生词法分析和语法分析之后，编译程序的工作是进行静态语义检查和翻译静态语义检查包括类型检查控制流检查一致性检查相关名字检查名字的作用域分析语法分析器中间代码产生器静态检查器中间代码优化器语义分析与中间代码产生翻译为中间语言(复杂性界于源语言和目标语言之间)的好处：便于进行与机器无关的代码优化工作易于移植使编译程序的结构在逻辑上更为简单明确源语言程序目标语言程序中间语言程序CompilerFron

2、tEndCompilerBackEnd7.1中间语言常用的中间语言：后缀式（逆波兰表示）三地址代码三元式四元式间接三元式DAG图表示7.1.1后缀式后缀式表示法：Lukasiewicz发明的一种表示表达式的方法，又称逆波兰表示法。后缀式表示法把运算量（操作数）写在前面，把算符写在后面（后缀）。如a+b写成ab+一个表达式E的后缀形式可以如下定义：1.如果E是一个变量或常量，则E的后缀式是E自身。2.如果E是E1opE2形式的表达式，其中op是任何二元操作符，则E的后缀式为E1E2op，其中E1和E2分别为E1和E2的

3、后缀式。3.如果E是(E1)形式的表达式，则E1的后缀式就是E的后缀式。7.1.1后缀式abc+*等价a*(b+C)逆波兰表示法不用括号。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。后缀式的计算用一个栈实现。一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到k目运算符就把它作用于栈顶的k个项，并用运算结果代替这k个项。把表达式翻译成后缀式的语义规则描述产生式E→E1opE2E→(E1)E→id语义规则E.code:=E1.code

4、

5、E2.code

6、

7、opE.code:

8、=E1.codeE.code:=idE.code表示E后缀形式op表示任意二元操作符“

9、

10、”表示后缀形式的连接。7.1.1后缀式数组POST存放后缀式：k为下标，初值为1上述语义动作可实现为：产生式程序段E→E1opE2{POST[k]:=op;k:=k+1}E→(E1){}E→i{POST[k]:=i;k:=k+1}例：输入串a+b+c的分析和翻译POST：123457.1.1后缀式后缀式的推广：对于条件算术表达式ifethenXelseY可表示为eXY￥，其中￥表示三目运算if-then-else7.1.2图表示法图表示

11、法DAG抽象语法树无循环有向图(DirectedAcyclicGraph，简称DAG)对表达式中的每个子表达式，DAG中都有一个结点一个内部结点代表一个操作符，它的孩子代表操作数在一个DAG中代表公共子表达式的结点具有多个父结点a:=b*(-c)+b*(-c)的图表示法assigna+*buminuscDAGassigna+*buminusc抽象语法树*buminusc7.1.2图表示法产生赋值语句抽象语法树的属性文法产生式语义规则Sid:=ES.nptr:=mknode(‘assign’,mkleaf(id,id.pla

12、ce),E.nptr)EE1+E2E.nptr:=mknode(‘+’,E1.nptr,E2.nptr)EE1E2E.nptr:=mknode(‘’,E1.nptr,E2.nptr)EE1E.nptr:=mknode(‘uminus’,E1.nptr)E(E1)E.nptr:=E1.nptrEidE.nptr:=mkleaf(id,id.place)7.1.3三地址代码三地址代码：一般形式：x:=yopz三地址代码包含三个地址，两个用来表示操作数，一个用来存放结果。表达式x+yz翻译成的三地址语句序列是t1

13、:=yzt2:=x+t17.1.3三地址代码三地址代码是语法树或DAG的一种线性表示a:=(b+cd)+cd语法树的代码DAG的代码t1:=bt1:=bt2:=cdt2:=cdt3:=t1+t2t3:=t1+t2t4:=cdt4:=t3+t2t5:=t3+t4a:=t4a:=t5assigna++bcduminus7.1.3三地址代码三地址语句的种类赋值语句x:=yopz，x:=opy，x:=y无条件转移gotoL条件转移ifxrelopygotoL过程调用paramx和callp,n过程返回return

14、y索引赋值x:=y[i]和x[i]:=y地址和指针赋值x:=&y，x:=y和x:=y7.1.3三地址代码生成三地址代码时，临时变量的名字对应抽象语法树的内部结点id:=E的三地址代码包括：对表达式E求值并置于变量T中值id.place:=T7.1.3三地址代码从赋值语句生成三地址代码的