语义分析和中间代码生成编译原理07(三).pptVIP

第7章 语义分析和中间代码生成 主要内容 中间代码 赋值语句的翻译 控制语句的翻译（if、循环） 属性文法的实现 说明语句翻译 组合数据说明的翻译 过程调用翻译 7.1 中间代码 作用 过渡：经过语义分析被译成中间代码序列 形式 中间语言的语句 优点 便于编译系统的实现、移植、代码优化 常用的中间代码(语言) 三地址代码（四元式） 语法(结构)树（三元式） 带注释的语法树 后缀式——逆波兰表示 特点 形式简单、语义明确、便于翻译 独立于目标语言 例 7-1 表达式 (A - 12) * B + 6 的中间代码 以S:=(A-12)*B+6为例将赋值语句变换为语法结构树 属性设置 E.p 是语法结构树指针 id.entry 是名字的表项入口 num.val 是数值 基本函数——结点构造 mknode 建中间结点 mkleaf 建叶结点 语法制导定义(属性文法) 例 7-2：a:=b*(-c)+b*(-34)的语法结构树——直观描述 语法结构树——数组存储形式 地址 算符 操作数 操作数 0 1 2 3 4 5 6 7 8 9 10 后缀式（逆波兰表示） 操作数 1，操作数 2，运算符 操作数，运算符 例 8-7： a := b *（- c）+ b *（- 34）的后缀式 a b c - * b 34 - * + := 生成后缀式的属性文法 上次课主要内容 属性的计算 综合属性值——在归约时进行计算 继承属性值——在派生时进行计算 固有属性值——单词属性（值） 上次课主要内容——S-属性定义 只含综合属性的属性文法 产生式 属性（计算）规则/语义规则 E → E1 + E2 E.val := E1.val + E2.val E → E1 * E2 E.val := E1.val * E2.val E →(E1) E.val := E1.val E →id E.val := id .val 上次课主要内容——L-属性文法 包含综合属性和继承属性的属性文法 翻译模式 D → T L T → int T → real L → L1 , id L → id 上次课主要内容 中间代码 三地址代码（四元式） 语法(结构)树（三元式） 后缀式——逆波兰表示 属性文法 用属性表示语义 上次课主要内容 上次课主要内容 三地址代码 一般形式 x := y op z 其中 x, y, z 为变量名、常数或编译产生的临时变量 四元式（op, y, z, x） 其它语句的三地址代码 goto l 无条件转移 param x 实在参数 call p, n 过程调用 return x 过程返回 x := y[i] 数组运算 x[i] := y x := y 指针运算 x := *y *x = y 生成三地址码的属性文法 注释： || 表示代码序列的连接 7.2 说明语句的翻译 作用 说明语句(Declarations)用于对程序中规定范围内使用的各类变量、常数、过程进行说明 编译要完成的工作 在符号表中记录被说明对象的属性，为执行做准备 需要考虑的问题 类型 基本类型/内部类型（built-in)：整型、实型、双精度型、逻辑型、字符型 用户定义类型——结构描述 作用域——有效范围 一般：说明所在的分程序、过程 要关心的问题 类型的作用 引入数据抽象、隐蔽数据的基本表示 用户无需注明字节数 规定可用的运算 类型检查 数据精度控制 规定存储单元的字节数，优化空间管理 变量说明的翻译 在符号表中填写变量的属性 种别、类型、相对地址、作用域……等 相对地址 全局变量表示为静态数据区的偏移值(offset) 局部变量表示为局部数据区(活动记录部分）的偏移值 两种数据区：静态数据区、动态数据区 例 7-3：相对地址举例 名字 相对地址 x 0 i 64 j 68 文法描述 P → D D → D ; D D → id : T T → integer T → real T → array[num] of T1 T → ↑T1 属性、过程、与全局量 类型T的属性 type 类型 width 占用的字节数 基本子程序 enter：设置变量的类型和地址 array：数组类型处理 全局量 offset：已分配空间字节数 说明语句的翻译模式 P→{ offset := 0 } D D→D ; D D→id : T {enter( id.name, T.type, offset ); offset := offset + T.width}