编译原理及实现技术（张睿）精品课件8.pptVIP

函数声明中间代码生成实例 procedure Q( x: real ); var u : real ; function f(k:real):real; begin f := k +k end; begin u := f(50); y:= u * x end； (EntryQ,LabelQ,SizeQ,LQ) (Entryf,Labelf,Sizef,Lf) (ADDF, k, k, t0) (ASSIG, t0,f) (ENDFUNC,……) (VALACT, 50,?1,1) (CALL, Labelf,true,t1) (ASSIG, t1, u) (MULTF, u,x, t2) (ASSIG, t2, y) (ENDPROC, ……) 函数声明的中间代码的语法制导生成方法 ProcFunDec → ProcDec | FunDec ProcDec → Procedure id (ParamList) Declaration$Entry ProgramBody$EndProc FunDec → Function id (ParamList): Type Declaration$Entry ProgramBody$EndFunc $Entry 给子程序Q分配新标号LevelQ，并将它填到Q的符号表项中 产生入口中间代码(ENTRY, LabelQ, SizeQ, LevelQ) $EndProc 和 $EndFunc 在遇到end时产生出口中间代码 (ENDPROC, _, _, _) 或 (ENDFUNC, _, _, _) 第七章 中间代码生成 中间语言 语法制导方法 简单表达式的中间代码生成 原子语句的中间代码生成 结构语句的中间代码生成 声明的中间代码 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 ?