ssa

本文解释了值编号，一种编译器优化技术，用于识别相同的计算以避免冗余，基于静态单赋值（SSA）形式，并使用哈希合并进行高效比较。

本文讨论了部分静态单信息（SSI）形式，这是一种编译器中 SSA 的扩展，用于捕获依赖于路径的类型信息。文章提出了一种在动态语言中构建 SSA 期间实现部分 SSI 的实用捷径，具体引用了 Ruby 的 ZJIT 中的实现。

QBE 是一个紧凑的、爱好级别的编译器后端，仅用 10% 的代码即可实现工业级优化编译器 70% 的性能，支持 amd64、arm64 和 riscv64，并采用简单的基于 SSA 的中间语言。

SubQ的创建者宣布，SSA突破获得了压倒性的反响，并计划下周发布包含更多数据和第三方验证的模型卡。