paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations

搬起石头砸自己的脚——高效代码在编译器优化中导致低效
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文聚焦编译器优化在开发者手工优化后的表现,属于传统编译/代码生成评测,与用户核心关注的静态分析、LLM/Agent 结合、浮点程序分析或贝叶斯程序分析无直接关系,仅同属 PL/编译领域。引用 3 inbox
Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang
crossref: 2026-09-12

AI 速览

一句话:论文揭示:开发者手工优化出的“高效”代码,可能反而让编译器生成更低效的代码。

本文从不同于既有编译器测试工作的视角来评估编译器优化。作者关注软件开发中的一个具体场景:当开发者手工优化程序以提升性能时,编译器能否借助这些手工优化生成更高效的代码?也就是说,手工优化是否会与编译器的优化流程产生负面交互。论文的核心发现在标题中概括为“高效代码导致低效”:表面上更高效、已手工优化的代码,可能使编译器做出不利的优化决策,从而生成效率更低的机器代码。摘要未给出具体实验方法、基准和量化结果,主要贡献在于提出并强调这一被忽视的评估角度,提示开发者与编译器测试研究需要重新审视手工优化与自动优化之间的相互作用。

问题
现有编译器测试与评估多关注正确性或缺陷,较少研究开发者手工优化程序后,编译器是否仍能生成更高效的代码。
方法
论文从“开发者手工优化—编译器优化”的交互场景切入,评估手工优化对编译器所生成代码效率的影响;摘要未展开具体技术路线。
评估
摘要未给出具体实验设置、基准程序或量化指标,只说明其评估目标是判断在开发者手工优化之后编译器生成的代码是否更高效。
原文摘要(Abstract)

In this paper, we take a different angle to evaluate compiler optimizations than all existing works in compiler testing literature. In particular, we consider a specific scenario in software development, that is, when developers manually optimize a program to improve its performance, do compilers actually generate more efficient code with the help of developers' optimizations?

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot8392,
  title = {Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations},
  author = {Fengjuan Gao and Hongyu Chen and Yuewei Zhou and Ke Wang},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695548}
}