一些compile笔记

///////////////////////compile第九章note//////////////////////

程序源代码多用树状结构，因为源代码都是上下文无关文法；
而经过编译器翻译后形成的目标代码，由于包含了语义，所以是上下文相关的
(比如说变量的声明与使用，在变量使用时必须检查是否声明了)


指令系统中的立即数就是高级语言编写的程序中的常数

Cjmp  condition jump条件跳转
jmp 跳转

Label 代表当前指令所在的地址

TAC tri-angle-code三地址码
CFG control-flow-graph控制流图

由三地址码生成控制流图算法——线性扫描算法

到达定义就是一种程序分析的算法——常数传播优化

不动点算法为什么会终止



///////////////////////compile第十章note//////////////////////

抽象语法树是程序在内存中的表示(或者说建模)

代码优化方法——常量折叠，代数化简，常量传播，拷贝传播，死代码删除