自己动手写编译器、链接器PDF电子书下载

第1章 引言 1

1.1 HelloWorld编译过程分析 1

1.1.1 HelloWorld程序源文件 1

1.1.2 词法分析 2

1.1.3 语法分析 3

1.1.4 语义分析 3

1.1.5 链接器 4

1.2 SCC编译器简介 7

1.2.1 SCC编译器架构 7

1.2.2 SCC编译器开发环境 7

1.2.3 SCC编译器运行环境 8

第2章 文法知识 10

2.1 语言概述 10

2.2 形式语言 11

2.2.1 字母表和符号串 11

2.2.2 文法与语言的形式定义 12

2.2.3 文法与语言的类型 13

2.2.4 程序设计语言描述工具 15

2.3 词法分析方法 16

2.3.1 词法定义例举 17

2.3.2 状态转换图 17

2.3.3 词法分析程序流程图 17

2.4 语法分析方法 18

2.4.1 LL分析器 18

2.4.2 LL（k）文法 19

2.4.3 LL（1）文法 19

2.4.4 递归子程序法 21

2.4.5 文法的等价变换 24

第3章 SC语言定义 26

3.1 SC语言的蓝本选择 26

3.1.1 K＆RC 26

3.1.2 C89 26

3.1.3 C99 27

3.2 SC语言对C89简化原则 27

3.3 SC语言的字符集 27

3.3.1 基本字符集 28

3.3.2 扩展字符集 28

3.4 SC语言词法定义 29

3.4.1 关键字 29

3.4.2 标识符 30

3.4.3 整数常量 31

3.4.4 字符常量 31

3.4.5 字符串常量 32

3.4.6 运算符及分隔符 32

3.4.7 注释 33

3.5 SC语言语法定义 33

3.5.1 外部定义 33

3.5.2 语句 35

3.5.3 表达式 39

3.6 SC语言与C语言功能对比 46

3.6.1 关键字 46

3.6.2 数据类型 46

3.6.3 存储类型 47

3.6.4 常量 47

3.6.5 变量 47

3.6.6 函数 48

3.6.7 语句 48

3.6.8 表达式 50

第4章 SC语言词法分析 52

4.1 词法分析任务的官方说法 52

4.2 单词编码 53

4.3 词法分析用到的数据结构 55

4.3.1 动态字符串 56

4.3.2 动态数组 58

4.3.3 哈希表 61

4.3.4 单词表 62

4.4 错误处理，未雨绸缪 67

4.5 词法分析过程 72

4.5.1 词法分析主程序 72

4.5.2 预处理 76

4.5.3 解析标识符 79

4.5.4 解析整数 80

4.5.5 解析字符串 80

4.5.6 词法分析流程图 82

4.6 词法着色 84

4.7 控制程序 85

4.8 词法分析成果展示 86

第5章 SC语言语法分析 87

5.1 外部定义 87

5.1.1 翻译单元 87

5.1.2 外部声明 88

5.1.3 类型区分符 90

5.1.4 结构区分符 92

5.1.5 函数调用约定 95

5.1.6 结构成员对齐 95

5.1.7 声明符 96

5.1.8 初值符 100

5.2 语句 101

5.2.1 复合语句 102

5.2.2 表达式语句 103

5.2.3 选择语句 104

5.2.4 循环语句 104

5.2.5 跳转语句 105

5.3 表达式 107

5.3.1 赋值表达式 108

5.3.2 相等类表达式 109

5.3.3 关系表达式 109

5.3.4 加减类表达式 110

5.3.5 乘除类表达式 111

5.3.6 一元表达式 112

5.3.7 后缀表达式 113

5.3.8 初值表达式 114

5.4 语法缩进 116

5.4.1 用到的全局变量及枚举 116

5.4.2 语法缩进程序 117

5.5 总控程序 118

5.6 成果展示 119

第6章 符号表 120

6.1 符号表简介 121

6.1.1 收集符号属性 121

6.1.2 语义的合法性检查 122

6.2 符号表用到的主要数据结构 123

6.2.1 栈结构 123

6.2.2 符号表结构 127

6.2.3 数据类型结构 132

6.2.4 存储类型 133

6.3 符号表的构造过程 134

6.3.1 外部声明 134

6.3.2 类型区分符 137

6.3.3 结构区分符 138

6.3.4 声明符 144

6.3.5 变量初始化 149

6.3.6 复合语句 150

6.3.7 sizeof表达式 150

6.3.8 初等表达式 152

6.4 控制程序 153

6.5 成果展示 155

第7章 生成COFF目标文件 157

7.1 COFF文件结构 157

7.1.1 基本概念 157

7.1.2 总体结构 158

7.1.3 COFF文件头 158

7.1.4 节头表 161

7.1.5 代码节内容 168

7.1.6 数据节与导入节内容 168

7.1.7 COFF符号表 169

7.1.8 COFF字符串表 173

7.1.9 COFF重定位信息 173

7.2 生成COFF目标文件 175

7.2.1 生成节表 176

7.2.2 生成符号表 178

7.2.3 生成重定位信息 182

7.2.4 生成目标文件 183

7.3 成果展示 185

第8章 x86机器语言 187

8.1 x86机器语言简介 187

8.2 通用指令格式 188

8.2.1 指令前缀 188

8.2.2 操作码 190

8.2.3 ModR/M字节 190

8.2.4 SIB字节 191

8.2.5 偏移量与立即数 193

8.3 x86寄存器 193

8.3.1 数据寄存器 193

8.3.2 变址寄存器 193

8.3.3 指针寄存器 194

8.3.4 段寄存器 194

8.3.5 指令指针寄存器 194

8.3.6 标志寄存器 195

8.4 指令参考 196

8.4.1 符号说明 196

8.4.2 数据传送指令 198

8.4.3 算术运算指令 200

8.4.4 逻辑运算指令 203

8.4.5 控制转移指令 205

8.4.6 串操作指令 208

8.4.7 处理器控制指令 208

8.5 生成x86机器语言 208

8.5.1 操作数栈 209

8.5.2 生成通用指令 210

8.5.3 生成数据传送指令 213

8.5.4 生成算术与逻辑运算指令 217

8.5.5 生成控制转移指令 221

8.5.6 寄存器使用 224

8.5.7 本章用到的全局变量 227

8.6 成果展示 227

第9章 SCC语义分析 229

9.1 外部定义 229

9.1.1 声明与函数定义 229

9.1.2 初值符 232

9.1.3 函数体 234

9.2 语句 237

9.2.1 表达式语句 237

9.2.2 选择语句 238

9.2.3 循环语句 239

9.2.4 跳转语句 241

9.3 表达式 244

9.3.1 赋值表达式 244

9.3.2 相等类表达式 245

9.3.3 关系表达式 246

9.3.4 加减类表达 248

9.3.5 乘除类表达式 249

9.3.6 一元表达式 250

9.3.7 后缀表达式 253

9.3.8 初值表达式 257

9.4 成果展示 259

第10章 链接器 261

10.1 链接方式与库文件 261

10.2 PE文件格式 263

10.2.1 总体结构 263

10.2.2 DOS部分 264

10.2.3 NT头 265

10.2.4 节头表 272

10.2.5 代码节 272

10.2.6 数据节 274

10.2.7 导入节 274

10.3 链接器代码实现 278

10.3.1 生成PE文件头 278

10.3.2 加载目标文件 281

10.3.3 加载引入库文件 282

10.3.4 解析外部符号 285

10.3.5 计算节区的RVA地址 288

10.3.6 重定位符号地址 291

10.3.7 修正需要重定位的地址 292

10.3.8 写PE文件 293

10.3.9 生成EXE文件 295

10.4 SCC编译器、链接器总控程序 297

10.5 成果展示 301

10.6 全书代码架构 302

第11章 SC语言程序开发 304

11.1 SC语言程序开发流程 304

11.2 SCC编译器测试程序 304

11.2.1 表达式测试 304

11.2.2 语句测试 308

11.2.3 结构体测试 310

11.2.4 函数参数传递测试 312

11.2.5 字符串测试 314

11.2.6 全局变量测试 315

11.3 语言举例 316

11.3.1 可接收命令行参数的控制台程序 316

11.3.2 可接收命令行参数的Win32应用程序 317

11.3.3 HelloWindows窗口程序 318

11.3.4 文件复制程序 323

11.3.5 九九乘法表 325

11.3.6 打印菱形 326

11.3.7 屏幕捕捉程序 328

参考文献 336

附录A SC语言文法定义中英文对照表 337