高级编译器设计与实现

本书封面的图片是从作者的西北海岸民间艺术收藏中选取的，这是一张奇尔卡特毛毯的照片。这块毛毯是在19世纪晚期，由美国阿拉斯加东南部的一个特里吉特妇女，用红松内层树皮制成的非常细的绳子和山羊毛线编织的。编织这样一块毛毯通常需要6~9个月。这块毛毯的图案分为3个部分。中间的一块描绘了一条在水中潜游的鲸鱼；鲸鱼头位于底部，是一个割裂开了的图形；中间有着鲸鱼面部的那个图形是鲸鱼的身体（在这类绘画中，看起来像鲸鱼面部的图形并不表示鲸鱼的面部）；鲸鱼的侧鳍在身体的两边；而顶部是鲸鱼的尾鳍。这个设计中的每一部分，就本身而言，都是功能上的，并没有表达什么含意；但它们按正确的方式组合起来，就描绘了一条在水中潜游的鲸鱼，显示了拥有这条毛毯的村长的权力和特权。类似地，一个编译器的每个组件有着某种功能，但仅当这些组件以适当的方式组合在一起时，才能完整地实现编译器的功能。设计和编织这样一块毛毯需要技巧，同样，构造工业水准的编译器也需要技巧。每个行业都有一组特定的工具、材料、设计要素和总体模式，而所有这一切都必须按满足预期用户的需要和愿望的方式组合到一起。
本书涵盖了现代微处理器编译器的设计和实现方面的所有高级主题。
本书首先介绍编译器的结构、符号表管理、中间代码结构、运行时支持等问题，探讨过程内的控制流分析、数据流分析、依赖关系分析和别名分析的各种方法，并介绍一系列的全局优化。接下来，讲述过程间的控制流分析、数据流分析和别名分析，以及程间优化和如何应用过程间信息来改善全局优化。然后，讨论有效利用层次存储系统的优化技术。最后，详细介绍4种商业化编译系统，以提供编译器结构、中间代码设计、优化策略和效果的专门例子。

目录:
序
前言
第1章 高级主题介绍
第2章 非形式化编译算法表示
第3章 符号表结构
第4章 中间表示
第5章 运行时支持
第6章 自动产生代码生成器
第7章 控制流分析
第8章 数据流分析
第9章 依赖关系分析和依赖图
第10章 别名分析
第11章 优化简介
第12章 前期优化
第13章 冗余删除
第14章 循环优化
第15章 过程优化
第16章 寄存器分配
第17章 代码调度
第18章 控制流和低级优化
第19章 过程间分析与优化
第20章 存储层次优化
第21章 编译器实例分析与未来的发展趋势
附录A 本书使用的汇编语言指南
附录B 集合、序列、树、DAG和函数的表示
附录C 软件资源
参考文献
索引