等式饱和
-
CGO’25 新突破：基于MLIR的持久化e-graph技术，彻底解决编译器阶段顺序难题
关键词：等式饱和、e-graph、编译器、MLIR、持久化、优化 通过将 e-graph 直接嵌入 MLIR，研究人员让等式饱和贯穿整个编译流程，无需反复翻译、不丢失等价信息，并成功复现了 Herbie 浮点精度优化工具。 现代编译器通常由一系列独立的优化遍（pass）组成，每个遍在中间表示（IR）上执行特定的转换，例如常量折叠、死代码消除、循环不变式外提等…
