柳青《编译技术》Comp-Cha12.pptVIP

* * 12.3 代码生成程序的开发方法 方法局限性 需通过形式描述的模式如实地反映机 器的特性，这点不容易做到； 进行模式匹配时耗费时间很长； 目标代码的质量不理想。 * * 12.3 代码生成程序的开发方法 3. 表驱动代码生成法 表驱动代码生成方法，是模仿从语法描述构造表和表驱动的一种语法分析方法。 首先，把对目标机的形式化描述进行预加工转换成代码生成表； 然后，用表驱动的代码生成程序，来驱动代码生成表； 最后，把中间语言的内部表示翻译成目标机的汇编代码。 * * 12.3 代码生成程序的开发方法 方法优点： 容易使用和修改，并且能较容易地为不同的计算机构造适合于它们自己的代码生成程序。 方法局限性： 它所生成的目标代码的质量，依赖于机器描述的完善程度。 * * 12.3 代码生成程序的开发方法 三种方法比较： 解释性代码生成法 比较容易达到目标代码质量的要求，代码生成算法有效，但可移植性欠缺； 模式匹配代码生成法 可达到较好的可移植性，但要生成高质量的目标代码以及高效率的算法，较困难； 表驱动代码生成法 能达到很好的可移植性，它实际上是代码生成程序的生成程序，真正实现了代码生成自动化，但方法不够成熟。 * * 12.4 代码生成程序的自动化构造 源程序 前端 中间表示 代码生成程序 汇编器 机器代码 汇编代码 代码生成程序的构造程序 代码生成描述 代码生成程序的构造系统的总体结构 * * 12.4 代码生成程序的自动化构造 自动构造代码生成程序技术： 基于语法制导技术 语义制导技术 * * 12.4 代码生成程序的自动化构造 基于语法制导的代码生成程序自动构造技术 此技术也称为Graham-Glanville方法。它利用类似于上下文无关文法的规则和相应的机器指令模板描述机器操作。当一条生成描述规则与一条波兰式中缀表示子字符串相匹配，且满足有关的语义限制时，将被匹配的部分用相应规则左边的符号替代，同时输出实例化后相应的指令模板。 Graham-Glanville 代码生成程序由中间语言变换、模式匹配器和指令生成3部分组成。 * * r.2 r.1 r.2 k.1 r.2 r.1 r.3 r.1+r.2 r.3 r.1+k.2 r.3 k.2+r.1 r.3 r.1-r.2 r.3 r.1-k.2 r.3 [r.1+r.2] r.3 [r.1+k.2] r.3 [r.1] [r.2+r.3] [r.1] [r.2+k.3] [r.1] [r.2 ] [r.1] r.2=r.1 r.2=k.1 r.2=mov r.2 r.1 r.3=+r.1 r.2 r.3=+r.1 k.2 r.3=+k.2 r.1 r.3=-r.1 r.2 r.3=-r.1 k.2 r.3= +r.1 r.2 r.3= +r.1 k.2 ε= +r.2 r.1 ε= r.2 r.3 r.1 ε= r.2 k.1 r.1 ε= r.2 r.1 or r.1,0,r.2 or 0,k.1,r.2 or r.1,r.2 add r.1,r.2,r.3 add r.1,k.2,r.3 add r.1,k.2,r.3 sub r.1,r.2,r.3 sub r.1,k.2,r.3 ld [r.1, r.2], r.3 ld [r.1, k.2], r.3 ld [r.1], r.2 st r.1, [r.2, r.3] st r.1, [r.2, k.1] st r.1, [r.2] LIR指令 机器描述规则 相应的SPARC指令模板 * * 12.4 代码生成程序的自动化构造 r.2 [r8] r.1 [r8+4] r3 r2+r1 [r8+8] r3 r4 r1-1 [r8+4] r4 add add r2 r8 1 r1 r2 add r2 r8 add add r8 4 r1 r8 4 LIR代码序列 LIR代码序列的树表示 * * ε r2r8 +r8 8+r2 r1+r8 4 +r8 4-r1 1 ld [r8, 0], r2 +r8 8+r2 r1+r8 r1 4 +r8 4-r1 1 ld [r8, 0], r1 +r8 8 +r2 r1 r3 +r8 4-r1 1 add r2, r1, r3 +r8 8+r3 ε +r8 4-r1