编译原理编译原理第七章语义分析和中间代码生成第七章语义分析和中间代码生成编译原理编译原理第2页第2页语义分析和中间代码产生语义分析和中间代码产生紧接在词法分析和语法分析之后，编译程序要做的工作就是进行静态语义检查和翻译。静态语义检查(1)类型检查。如果操作符作用于不相容的操作数，编译程序必须报告出错信息。(2)控制流检查。控制流语句必须使控制转移到合法的地方。(3)一致性检查。在很多场合要求对象只能被定义一次。(4)相关名字检查。其它如名字的作用域分析等。紧接在词法分析和语法分析之后，编译程序要做的工作就是进行静态语义检查和翻译。静态语义检查(1)类型检查。如果操作符作用于不相容的操作数，编译程序必须报告出错信息。(2)控制流检查。控制流语句必须使控制转移到合法的地方。(3)一致性检查。在很多场合要求对象只能被定义一次。(4)相关名字检查。其它如名字的作用域分析等。编译原理编译原理第3页第3页语义分析和中间代码产生语义分析和中间代码产生使用中间语言的好处(1)便于进行与机器无关的代码优化工作；(2)使编译程序改变目标机更容易；(3)使编译程序的结构在逻辑上更为简单明确。以中间语言为界面，编译前端和后端的接口更清晰。使用中间语言的好处(1)便于进行与机器无关的代码优化工作；(2)使编译程序改变目标机更容易；(3)使编译程序的结构在逻辑上更为简单明确。以中间语言为界面，编译前端和后端的接口更清晰。编译原理编译原理第4页第4页语义分析和中间代码产生语义分析和中间代码产生编译原理编译原理第5页第5页语义分析和中间代码产生语义分析和中间代码产生本章内容目录本章内容目录中间语言后缀式图表示法三地址代码说明语句过程中的说明谙旬保留作用域信息记录中的域名中间语言后缀式图表示法三地址代码说明语句过程中的说明谙旬保留作用域信息记录中的域名赋值语句的翻译简单算术表达式及赋值语句数组元素的引用布尔表达式的翻译数值表示法作为条件控制的布尔式翻译控制语句的翻译赋值语句的翻译简单算术表达式及赋值语句数组元素的引用布尔表达式的翻译数值表示法作为条件控制的布尔式翻译控制语句的翻译编译原理编译原理第6页第6页语义分析和中间代码产生语义分析和中间代码产生中间语言中间语言几种常见的中间语言形式后缀式三地址代码（包括三元式、四元式、间接三元式）DAG图表示几种常见的中间语言形式后缀式三地址代码（包括三元式、四元式、间接三元式）DAG图表示编译原理编译原理第7页第7页语义分析和中间代码产生语义分析和中间代码产生后缀式后缀式后缀式表示法又称逆波兰表示法。这种表示法是把运算量（操作数）写在前面，把算符写在后面（后缀）。例如，把a十b写成ab＋，把a*b写成ab*。后缀式表示法又称逆波兰表示法。这种表示法是把运算量（操作数）写在前面，把算符写在后面（后缀）。例如，把a十b写成ab＋，把a*b写成ab*。编译原理编译原理第8页第8页语义分析和中间代码产生语义分析和中间代码产生一个表达式E的后缀形式一个表达式E的后缀形式(1)如果E是一个变量或常量，则E的后缀式是E自身。(2)如果E是E1opE2形式的表达式，这里op是任何二元操作符，则E的后缀式为E1′E2′op，这里E1′和E2′分别为E1和E2的后缀式。(3)如果E是（E1）形式的表达式，则E1的后缀式就是E的后缀式。后缀式表示法用不着使用括号。根据运算量和算符出现的先后位置，以及每个算符的目数，就完全决定了一个表达式的分解。(1)如果E是一个变量或常量，则E的后缀式是E自身。(2)如果E是E1opE2形式的表达式，这里op是任何二元操作符，则E的后缀式为E1′E2′op，这里E1′和E2′分别为E1和E2的后缀式。(3)如果E是（E1）形式的表达式，则E1的后缀式就是E的后缀式。后缀式表示法用不着使用括号。根据运算量和算符出现的先后位置，以及每个算符的目数，就完全决定了一个表达式的分解。编译原理编译原理第9页第9页语义分析和中间代码产生语义分析和中间代码产生只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它正确进行唯一分解。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它正确进行唯一分解。编译原理...
