Chapter.12updated北京航空大学本科编译原理培训教程张莉.pptVIP

第十二章 目标代码生成 面向特定体系结构的目标代码生成技术 参考书： Computer Architecture: A Quantitative Approach, 3rd version, By John L. Hennessy and David A. Patterson 中文版：计算机体系结构量化研究方法，清华郑维民等译 Compilers: Principles, Techniques, and Tools. By Alfred V. AHO, Monica S. Lam, Ravi Sethi and Jeffrey D. ULLMAN 中文版：（龙3）编译原理，赵建华等译，机械工业出版社 Advanced Compiler Design and Implementation. By Steven S. Muchnick. 中文版：高级编译器设计与实现，赵克佳，沈志宇译，机械工业出版社 代码生成器在编译系统中的位置 代码生成器的主要任务 目标代码地址空间的划分，目标体系结构上存贮单元，例如寄存器和内存单元的分配和指派 从中间代码（或者源代码）到目标代码转换过程中所进行的指令选择 面向目标体系结构的优化 教学编译器架构 代码生成器的输入 源程序的中间表示 线性表示（波兰式） 三地址码（四元式） 栈式中间代码（P-CODE/Java Bytecode） 图形表示 符号表信息 代码生成器对输入的要求 编译器前端已经将源程序扫描、分析和翻译成足够详细的中间表示 中间语言中的标识符表示为目标机器能够直接操作的量（位、整数、浮点数、指针等） 完成了必要的类型检查，类型转换/检测操作已经加入到中间语言的必要位置 完成语法和必要的语义检查，既，代码生成器可以认为输入中没有与语法或语义错误 目标程序的种类 汇编语言 生成宏汇编代码，再由汇编程序进行编译，连接，从而生成最终代码（.S/.ASM文件） 包含绝对地址的机器语言 执行时必须被载入到地址空间中（相对）固定的位置 EXE (MS-WIN)、COM (MS-WIN)、A.OUT (Linux) 可重定位的机器语言 一组可重定位的模块/子程序可以用连接器装配后生成最终的目标程序（.obj/.o文件组） 可动态加载的模块/子程序（DLL/.SO动态连接库） 12.1 现代微处理器体系结构简介 指令集 Instruction Set 流水线和指令级并行 Pipeline and Instruction Level Parallelism 存储结构和I/O Memory Hierarchy and I/O Systems 多处理器和线程级并行 Multiprocessor and Thread Level Parallelism Accumulator-based Architecture UNIVAC-I, EDSAC, IAS, 1950s Stack Architecture B5000, B6500, 1960s ALGOL JVM (1990s), PL/0 High-Level Language Computer Architecture VAX-11/780, 1970s~1980s Complex Instruction Set Computer 80x86, 1980s~ Reduced Instruction Set Computer CRAY-1, MIPS, SPARC, Intel P6 core, 1980s~ D=(A*B)+(B*C) 栈式架构 PUSH A PUSH B MUL PUSH B PUSH C MUL ADD POP D 寄存器-寄存器架构 LOAD R1, A LOAD R2, B LOAD R3, C MUL R1, R2, R4 MUL R2, R3, R5 ADD R4, R5, R5 STORE R5, D Multiple-issued processor Intel PIII/P4 Very Long Instruction Word (VLIW) i860 Explicitly Parallel Instruction Computers (EPIC) IA64 多核协处理器 GPU，GPGPU 12.2 地址空间 代码区 存放目标代码 静态数据区 全局变量 静态变量 常量，例如字符串 动态内存区 也被称为内存堆Heap 程序员管理：C、C++ 自动管理（内存垃圾收集器）：Java、Ada 程序运行栈 活动记录 函数调用的上下文现场 由调用方保存的一些临时寄存器 被调用方保存的一些全局寄存器 以MS-WIN下的应用程序为例，从高地址到低地址，自上而下的是： 静态数据区 全局和静态量表