编译原理 第一章.pptVIP

* 编译原理 * Syntax tree is a compressed representation of the parse tree. := position + * rate 60 initial * 编译原理 * 符 号 表 position initial rate . . . . . . . . . 1 2 3 语法分析器 id1 := id2 + id3 * 60 := + * 60 id1 id2 id3 Syntax Analyzer * 编译原理 * 语义分析(Semantic analysis) 对语法分析树或其他内部中间表示进行静态语义检查，并生成目标代码或中间代码。 确定类型 类型检查 识别含义与相应的语义处理 其它静态语义检查 为了优化，往往先生成内部中间表示代码：如逆波兰表示、三元式序列、四元式序列，或者抽象语法树。 * 编译原理 * 语义分析 错在哪里？ 例1： int arr[2], c; c = arr1 * 10; 例2： Program p(input,output); var rate: real; procedure initial; … position := initial + rate*60 * 编译原理 * Semantic analysis inserts a conversion from integer to real. := position + * rate 60 initial inttoreal 插入语义处理结点的语法树 * 编译原理 * 符 号 表 position initial rate . . . . . . . . . 1 2 3 语义分析器 := + * 60 id1 id2 id3 := + * 60 id1 id2 id3 inttoreal Semantic Analyzer * 编译原理 * 符 号 表 position initial rate . . . . . . . . . 1 2 3 中间代码生成器 temp1 := inttoreal(60) temp2 := id3 * temp1 temp3 := id2 + temp2 id1 := temp3 := + * 60 id1 id2 id3 inttoreal Intermediate Code Generator * 编译原理 * 符 号 表 position initial rate . . . . . . . . . 1 2 3 代码优化器 temp1 := inttoreal(60) temp2 := id3 * temp1 temp3 := id2 + temp2 id1 := temp3 temp1 := id3 * 60.0 id1 := id2 + temp1 Code Optimizer * 编译原理 * 符 号 表 position initial rate . . . . . . . . . 1 2 3 temp1 := id3 * 60.0 id1 := id2 + temp1 代码生成器 MOVF id3, R2 MULF #60.0, R2 MOVF id2, R1 ADDF R2, R1 MOVF R1, id1 Code Generator * 编译原理 * * 编译原理 * character stream token stream syntax tree syntax tree Intermediate representation Intermediate representation target-machine code * 编译原理 * 分析 将源程序正文转换为内部表示，并收集和确定各结构成分之间的相关信息。（1）词法分析：将字符序列转换为单词序列。（2）语法分析：将单词序列重组为程序结构 （通常表示为分析树）。（3）语义分析：确定各语法成分之间的对应关系和一致性，如标识符的作用域、类型匹配等等。 * 编译原理 * 综合 根据源程序的语法结构和语义信息，生成目标代码。 中间代码生成：中间语言的形式与汇编语言相近，比较简单，且与具体机器无关，便于代码的优化和移植。 代码优化：改善代码的时空效率，如常数表达式求值，公共子表达式优化，循环语句中的不变表达式外提，削减运算强度等等。 代码生成：生成等价的汇编或机器语言程序。  * 编译原理 * 符号表管理 符号表存放与单词有关的信息，如标识符的类型、地址，常数的值等等。符号表的管理包括表的生成、填写、查阅、删除等。 * 编译原理 * 错误处理 单词错 语法错 语义错（如多重定义、类型不匹