45. 编译器优化与中间表示：SSA、内联与循环优化
从编译器的三阶段流水线出发，厘清 AST、三地址码与 LLVM IR 的分工，讲透 SSA 形式、φ 函数与支配树的构造，梳理常量传播、死代码消除与 CSE 等数据流优化，剖析内联代价模型与循环不变量外提、展开、向量化，最后对照图着色与线性扫描寄存器分配并动手读 LLVM IR。
tag
SSA
共 6 篇文章。
SSA 构造与销毁
SSA 是现代优化器的通用表示。本文从支配树与支配边界推导最小 SSA 的 φ 函数插入算法，讲解变量重命名与版本管理，再落到剪枝 SSA、Braun 算法与 out-of-SSA 的并行复制、交换与丢拷贝问题，附可运行的 Python 实现与工程取舍。
「数据流分析框架」
数据流分析是优化器的公共底座。本文从格与偏序出发，讲解不动点迭代的理论基础，再用到达定值、活跃变量、可用表达式与常量传播四个经典问题贯穿始终，最后落到支配树、SSA 稀疏分析与 worklist 算法的工程实现。
「LLVM 与 LLVM IR 后端」
系统讲解以 LLVM 为核心的后端路线：LLVM IR 的 SSA 形式与 phi 节点、IRBuilder 的增量生成、优化 Pass 管线、SelectionDAG 目标代码生成，以及语言前端 IR 到 LLVM IR 的桥接与降级，附带 Python 与 C++ 示例。
20. 编译原理基础
系统理解编译原理核心流程：词法分析（正则/DFA）、语法分析（递归下降/LL/LR）、AST、中间表示（三地址码/SSA）、代码优化与解释器对比，掌握把高级语言翻译为机器码的完整链路。
Go 编译器后端深度解析：SSA 中间表示、优化 Pass 链与逃逸分析
深入 Go 编译器后端技术，从 AST 到 SSA 的转换、SSA 优化 Pass 链详解、内联决策与逃逸分析原理，结合编译器源码与可视化图解