自己动手构造编译系统

作品简介

本书以作者实现的一个基于Intelx86指令集的编译系统为例，结合程序代码的主要部分详细阐述了编译系统的实现原理和过程。

本书对编译器、汇编器、链接器、编译优化器涉及的关键算法、数据结构和程序实现流程，以及ELF文件的格式、Intel指令格式均作了详细的说明，并结合大量的图表，展示了编译系统工作过程中代码信息的流动和存储格式的变化。是一本“手把手”教读者实现编译系统的贴心手册。

作品目录

• 序
• 前言
• 第1章　代码背后
• 1.1　从编程聊起
• 1.2　历史渊源
• 1.3　GCC的工作流程
• 1.3.1　预编译
• 1.3.2　编译
• 1.3.3　汇编
• 1.3.4　链接
• 1.4　设计自己的编译系统
• 1.5　本章小结
• 第2章　编译系统设计
• 2.1　编译程序的设计
• 2.1.1　词法分析
• 2.1.2　语法分析
• 2.1.3　符号表管理
• 2.1.4　语义分析
• 2.1.5　代码生成
• 2.1.6　编译优化
• 2.2　x86指令格式
• 2.3　ELF文件格式
• 2.4　汇编程序的设计
• 2.4.1　汇编词法、语法分析
• 2.4.2　表信息生成
• 2.4.3　指令生成
• 2.5　链接程序的设计
• 2.5.1　地址空间分配
• 2.5.2　符号解析
• 2.5.3　重定位
• 2.6　本章小结
• 第3章　编译器构造
• 3.1　词法分析
• 3.1.1　扫描器
• 3.1.2　词法记号
• 3.1.3　有限自动机
• 3.1.4　解析器
• 3.1.5　错误处理
• 3.2　语法分析
• 3.2.1　文法定义
• 3.2.2　递归下降子程序
• 3.2.3　错误处理
• 3.3　符号表管理
• 3.3.1　符号表数据结构
• 3.3.2　作用域管理
• 3.3.3　变量管理
• 3.3.4　函数管理
• 3.4　语义分析
• 3.4.1　声明与定义语义检查
• 3.4.2　表达式语义检查
• 3.4.3　语句语义检查
• 3.4.4　错误处理
• 3.5　代码生成
• 3.5.1　中间代码设计
• 3.5.2　程序运行时存储
• 3.5.3　函数定义与return语句翻译
• 3.5.4　表达式翻译
• 3.5.5　复合语句与break、continue语句翻译
• 3.5.6　目标代码生成
• 3.5.7　数据段生成
• 3.6　本章小结
• 第4章　编译优化
• 4.1　数据流分析
• 4.1.1　流图
• 4.1.2　数据流分析框架
• 4.2　中间代码优化
• 4.2.1　常量传播
• 4.2.2　复写传播
• 4.2.3　死代码消除
• 4.3　寄存器分配
• 4.3.1　图着色算法
• 4.3.2　变量栈帧偏移计算
• 4.4　窥孔优化
• 4.5　本章小结
• 第5章　二进制表示
• 5.1　x86指令
• 5.1.1　指令前缀
• 5.1.2　操作码
• 5.1.3　ModR/M字段
• 5.1.4　SIB字段
• 5.1.5　偏移
• 5.1.6　立即数
• 5.1.7　AT&T汇编格式
• 5.2　ELF文件
• 5.2.1　文件头
• 5.2.2　段表
• 5.2.3　程序头表
• 5.2.4　符号表
• 5.2.5　重定位表
• 5.2.6　串表
• 5.3　本章小结
• 第6章　汇编器构造
• 6.1　词法分析
• 6.1.1　词法记号
• 6.1.2　有限自动机
• 6.2　语法分析
• 6.2.1　汇编语言程序
• 6.2.2　数据定义
• 6.2.3　指令
• 6.3　符号表管理
• 6.3.1　数据结构
• 6.3.2　符号管理
• 6.4　表信息生成
• 6.4.1　段表信息
• 6.4.2　符号表信息
• 6.4.3　重定位表信息
• 6.5　指令生成
• 6.5.1　双操作数指令
• 6.5.2　单操作数指令
• 6.5.3　零操作数指令
• 6.6　目标文件生成
• 6.7　本章小结
• 第7章　链接器构造
• 7.1　信息收集
• 7.1.1　目标文件信息
• 7.1.2　段数据信息
• 7.1.3　符号引用信息
• 7.2　地址空间分配
• 7.3　符号解析
• 7.3.1　符号引用验证
• 7.3.2　符号地址解析
• 7.4　重定位
• 7.5　程序入口点与运行时库
• 7.6　可执行文件生成
• 7.7　本章小结
• 参考文献