中间代码生成 PPT课件.pptVIP

医学课件 * * * 医学课件 第七章 中间代码生成 中间语言 语法制导方法 简单表达式的中间代码生成 原子语句的中间代码生成 结构语句的中间代码生成 声明的中间代码 医学课件 7.1中间语言 后缀式----逆波兰式 特别是表达式的内部表示 图结构中间代码 抽象语法树 有向不循环图 三地址中间代码 三元式 四元式 医学课件 7.1.1后缀表达式相关 中缀变后缀算法 初始化一个空堆栈，将结果字符串变量置空。 从左到右读入中缀表达式，每次一个字符。 如果字符是操作数，将它添加到结果字符串。 如果字符是个操作符，弹出操作符，直至遇见开括号、优先级较低的操作符或者同一优先级的右结合符号。把这个操作符压入栈。 如果字符是个开括号，把它压入堆栈。 如果字符是个闭括号，在遇见开括号前，弹出所有操作符，然后把它们添加到结果字符串。 如果到达输入字符串的末尾，弹出所有操作符并添加到结果字符串。 后缀计算算法 医学课件 7.1.2抽象语法树AGT和有向不循环图DAG 抽象语法树 表达式的AGT 中间节点：运算符 叶节点：操作数 推广到程序 有向不循环图 共享子树 医学课件 7.1.3三地址中间代码 三元式：i:(?,op1,op2) 四元式：（?,op1,op2，result) 如：a:= b×c+b×d 三元式 四元式 (1) (×, b, c) (1) (×, b, c, t1) (2) (×, b, d) (2) (×, b, d, t2) (3) (+, (1), (2)) (3) (+, t1, t2, t3) (4) (:=, (3), a) (4) (:=, t3, a, －) 医学课件 四元式操作符分类 算术、逻辑、关系运算符 IO操作 类型转换 赋值 (ASSIG,id1,n,id2) 地址加 (AADD,id1,id2,id3) 标号 (LABEL,-,-,label) 转移 过程调用 传送参数 医学课件 7.2语法制导方法 语法制导方法 基于文法结构，在每个产生式的右部增加语义动作，在语法分析过程中，如遇语义动作，就完成对应的语义处理。 医学课件 属性文法 属性直接与文法的符号相联系 若X为一文法符号，a为X的一个属性，用X.a表示与X关联的a的值 对于每个文法规则X0-X1…Xn,Xi的属性Xi.aj与规则的其他符号的属性a1,…,ak有关 Xi.aj =fij(X0.a1, …, Xn.ak) 医学课件 动作文法 文法规则与语义函数相联系 每个产生式的右部附着相应的语义动作 每个动作对应一个函数 动作文法的定义由语法分析的实现方式决定 医学课件 实例 VT = {0, 1, a} VN = {Z, L} S = Z P: { Z ? L L ? 0 L L ? 1 L L ? a } VT = {0, 1, a} VN = {Z,D,L} S = Z P: { Z ? InitLprint L ? DL D ? 1add1 D ? 0add0 L ? a } init() {sum0 = 0; sum1 =0;} add1() {sum1++;} print() {printf(sum0, sum1);} add0() {sum0++;} 医学课件 类型检查和类型转换 各种条件表达式的类型是否是布尔类型？ 运算符的运算分量是否相容？ 赋值语句的左、右部类型是否相容？ 实参与形参的类型是否相容？ 下标表达式的类型是否为所允许的类型？ 函数说明中的函数类型与返回值的类型是否一致？ 医学课件 中间代码生成中的几个问题 语义信息的获取与保存 标识符的语义信息?类型检查、转换 目标代码生成保留相关运算分量和结果的语义信息?地址表示 语义栈及其操作 用途：变量和表达式的处理时存放运算分量和结果的类型和语言信息(层数、偏移、访问方式等，用一个记录FORM表示) top、push(x)、pop(n) 医学课件 常用的语义子程序 申请存储单元 New_dir(t) New_indir(t) 存放中间代码 Generate（?,op1,op2，result） 生成中间代码 GenCode（?） 类型转换？ 生成中间代码 清理语义栈 医学课件 7.3简单表达式的中间代码生成 E ? T Es //Es是一个符号 Es ? +T $GenCode(+) Es Es ? ? T ? PTs Ts ? *P $GenCode(×) Ts Ts ? ? P ? id $Push(id) P ? C $Push(C) //C表示常量 P ?(E)