看到个工具 egg 可以用来构建程序优化器、合成器、验证器等等，它可以探索所有的等价表达式，再智能地选出最优解。本文简单介绍一下。

上篇文章介绍了 SSA，这篇文章再简单介绍下 SSA 的构造与析构。

最近在看《Static Single Assignment Book》这本书，做了些笔记，简单介绍下对编译器优化非常重要的 SSA 格式。

读到一篇关于编译器 AST 节点数据结构优化的文章，性能优化了 2.4 倍，本文简单介绍一下。

Hydra 可以泛化 LLVM 中错过的 75% 的窥孔优化，使得代码能够得到更好的优化，本文简单介绍一下。