.png){kind=icon}
返回
Hydra: Generalizing Peephole Optimizations with Program Synthesis
.png){kind=icon}
OA
AI
DOI：10.1145/3649837.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
优化编译器依赖微优化来简化指令组合并消除冗余指令。通常，当编译器开发者发现一个优化机会——即一组可以改进的相关指令——时会手动推导出更通用的重写规则，该规则不仅能优化原始代码，还能优化其他类似的指令集合。本文介绍Hydra，一个利用以程序合成为中心的多种技术自动泛化微优化的工具。我们解决的最重要问题之一是，在存在可行版本的情况下，为每个优化找到与输入位宽无关的版本。我们证明，Hydra能够泛化LLVM开发者发布到LLVM项目问题跟踪器中的75%未泛化的未命中微优化。所有由Hydra泛化的微优化均经过正式验证，并且我们还能自动将它们转换为适合包含在LLVM pass中的C++代码。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息