第九章 编译原理1.2-编译过程_阶段.pptVIP

1.2 编译过程概述 例: position :＝ initial ＋ rate*10 以下从源程序在不同阶段所被转换成的表示形式来介绍各个阶段的任务 词法分析 Lexical analysis, Scanning 字符流－ 单词流 从左到右扫描,识别出单词 单词, 单词符号, 符号, Token 什么是单词 逻辑上紧密相连的一组字符，这些字符具有集体含义。 sequences of characters having collective meaning. 五类单词 标识符 保留字（关 键字、基本字） 常量（常数） 运算符（算符） 界符 position :＝ initial ＋ rate*10 单词类型 单词值 标识符（1） position 算符（赋值号） ：＝ 标识符（2） initial 算符（加号） ＋ 标识符（3） rate 算符（乘号） * 整数 10 界符（分号） ； 字符流－ 单词流 position :＝ initial ＋ rate*10； id1 := id2 + id3 *10 id,1 := id,2 + id,3 * 10 词法分析程序的其他功能 滤掉注释和空白 提供出错的行号标记 宏处理 词法分析中的错误 9position := initial ＋ rate*60； 9, position, := … 常数标识符 := … 关于词法分析 词法分析程序的自动生成工具－LEX 词法分析的依据 － 词法规则 描述词法规则的工具 正规式 有限自动机 2) 语法分析Syntax analysis, Parsing 单词流 - 语法短语 检查源程序的结构是否符合语法规则 语法短语, 语法单位 表达式, 语句, 函数, 程序段, 程序… position :＝ initial ＋ rate*10；id1 := id2 + id3 *10 id1 := id2 + id3 *10 词法分析和语法分析的界限 词法结构 线性分析 (Linear Analysis) 不需要递归 语法结构 层次分析 (Hierarchical Analysis) 需要递归 关于语法分析 语法分析程序的自动生成工具－YACC 语法分析的依据－语法规则 描述语法规则的工具 文法 BNF范式(BACKUS-NAUR FORM ) 3) 语义分析Semantic analysis 对结构上正确的源程序审查有无语义错误 静态语义 类型匹配审查 类型转换 动态语义（运行语义，执行语义） 例如数组越界、存储空间越界 语法正确但语义错误 － 类型不匹配 例3：int arr[2],c;c = arr1 * 10 ; 变量没有声明 举例: 符合语法规则但不符合语义规则 使用没有声明的变量 给一个过程名赋值 调用函数时参数类型不合适 实数用作数组下标 参加运算的两个变量类型不匹配 … … Var rate:real; position := initial + rate * 10 关于语义分析 语义分析程序的自动生成工具 － 无 语义分析的依据 - 语义规则 描述语义规则的工具 属性文法 4) 中间代码生成阶段 Intermediate Code Generation 中间语言, 中间表示 生成原则 介于高级语言和低级语言之间 容易生成 容易将它翻译成目标代码 与目标机无关，便于优化、移植 四元式、三元式、树结构 P－code, C－code, Bytecode 四元式 ( 运算符，运算对象1，运算对象2，结果 ) ( * , a , b , c ) c = a*b position :＝ initial ＋ rate*10； id1:= id2+ id3 *10 id1:= id2+ id3 *inttoreal(10) id1:= id2+ id3 *inttoreal(10) 也可以将四元式直接写成赋值的语句的形式 例：a = b * c + b * d 的四元式序列为： (1) t1 = b * c (2) t2 = b * d (3) t3 = t1 + t2 (4) a = t3 例： if ( a = b) a = a – c; c = b * c; 翻译成四元式: t1 = a b if t1 goto L t2 = a – c a = t2 L : t3 = b * c c = t3 5)代码优化Code Optimization