上机安排.ppt

记号是一个二元组： 记号名，属性值 记号名是同类词法单元公用的名称 属性值是一个词法单元有别于同类词法单元的特征值 语义分析阶段使用语法树和符号表中的信息， 依据语言定义检测源程序的语义一致性，以保 证程序各部分能有意义地结合在一起。 中间表示需要具备的性质：易于产生，易于翻译成目标程序 三地址代码（常用的中间表示） 三地址代码由三地址指令序列组成，每条指令最多有三个操作数 课堂练习 score=exam*0.7+homework*0.3+reward （score, exam, homework为float类型） （reward整型） * * * * * * 上机 安排 C语言赋值语句： position = initial + rate ? 60 1.4 编译器的工作原理与基本组成 MOVF id3, R2 MULF #60.0, R2 MOVF id2, R1 ADDF R2, R1 MOVF R1, id1 符 号 表 position initial rate . . . . . . . . . 1 2 3 词法分析器 ?id, 1? ?=? ?id, 2? ?+? ?id, 3? ??? ?60? C语言赋值语句： position = initial + rate ? 60 ? 记号流 ? 字符流 1.4 编译器的工作原理与基本组成 词法分析：扫描构成源程序的字符流，按词法规则把它们组成记号流 1.4 编译器的工作原理与基本组成 词法分析器 ?id, 1? ?=? ?id, 2? ?+? ?id, 3? ??? ?60? position = initial + rate ? 60 1.4 编译器的工作原理与基本组成 标识符position形成的记号是id, 1 id是标识符的总称 1代表position在符号表中的条目 符号表的条目用来存放标示符的各种属性 符 号 表 position initial rate . . . . . . . . . 1 2 3 赋值号=形成的记号是assign 该记号只有一个实例，不需要属性值来区分实例 为了直观，记作= 标识符initial形成的记号是id,2 加号形成的记号是+ 标识符rate形成的记号是id,3 乘号*形成的记号是* 60形成的记号是60 语法分析器 语法树 ?id, 1? ?=? ?id, 2? ?+? ?id, 3? ??? ?60? 记号流 1.4 编译器的工作原理与基本组成 语法分析按照语言的语法规则检测词法分析输出的记号流是否符合语法规则，并用树的形式描述该记号流的语法结构 符 号 表 position initial rate . . . . . . . . . 1 2 3 语法分析器 ?id, 1? ?=? ?id, 2? ?+? ?id, 3? ??? ?60? ?=? ?+? ??? ?60? ?id, 1? ?id, 2? ?id, 3? ? 语法树 ? 记号流 1.4 编译器的工作原理与基本组成 1.4 编译器的工作原理与基本组成 语义分析的一个重要内容是类型检查 例如：当实数作为数组下标时，编译器报错 运算类型隐式转换 例如：算数运算作用于一个整数和一个实数时， 编译器会把其中的整数转换为实数 符 号 表 position initial rate . . . . . . . . . 1 2 3 语义分析器 ?=? ?+? ??? ?60? ?id, 1? ?id, 2? ?id, 3? ?=? ?+? ??? inttofloat ?id, 1? ?id, 2? ?id, 3? ?60? ? 语法树 ? 语法树 1.4 编译器的工作原理与基本组成 1.4 编译器的工作原理与基本组成 中间代码生成：将源程序表示为更低级的显式中间表示 符 号 表 position initial rate . . . . . . . . . 1 2 3 中间代码生成器 t1 = inttofloat(60) t2 = id3 ? t1 t3 = id2 + t2 id1 = t3 ?=? ?+? ??? inttofloat ?id, 1? ?id, 2? ?id, 3? ?60? ? 三地址中间代码 ? 语法树 1.4 编译器的工作原理与基本组成 符 号 表 position initial rate . . . . . . . . . 1 2 3 代码优化器 t1 = inttofloat(60) t2 = id3 ? t1 t3 = id2 + t2 id1 = t3 t1 = id3 * 60.0 id1 = id2 + t1 ? 三地址中间代码