⚙️ LPG: LLM辅助泛化编译器窥孔优化

论文信息

• 标题: Leveraging Large Language Models for Generalizing Peephole Optimizations
• 作者: Chunhao Liao 等
• arXiv: 2603.18477
• 领域: 编程语言 / 编译器

背景：窥孔优化

问题：泛化的挑战

• 创建一个新的窥孔优化通常从具体实例开始
• 需要将其提升为更通用的重写规则
• 这个泛化步骤既关键又困难
• 现有方法（如Hydra）受限于搜索空间爆炸、泛化不足

LPG框架

LPG (LLM-aided Peephole optimization Generalization) 采用闭环工作流程：

• LLM驱动的符号常量泛化
• 结构泛化
• 约束放松
• 位宽/精度泛化
• 结合句法验证、语义验证和收益检查

实验结果

核心洞察

• LLM在语义抽象和探索性推理方面有效
• 形式分析对确保规则的正确性和收益必要
• LPG显著优于传统的程序合成方法 (Hydra)

意义

这是LLM在编译器优化领域的重要应用，展示了如何结合LLM的推理能力与形式化方法的严格验证。随着LLM能力的提升，编译器优化的自动化程度将进一步提高。