Superoptimizing compilers: Evaluation of feasibility of commercial deployment

编译器将软件转换成由实际处理器执行的代码，但这种转换并不总是像预期的那样有效。超级优化穷尽搜索以找到最有效的翻译(在代码大小、执行速度和能源效率方面)。我们相信，随着计算机能力的增强和实现超级优化的技术的显著进步，在商业基础上提供这种技术可能是可行的。这项可行性研究将探索在商业背景下部署超级优化的技术。如果成功(远未得到保证--这是高风险)，Embecosm和英国在编译器方面的卓越声誉将进一步增强，有助于吸引来自世界各地的更多业务。

Compilers translate software into code executed by actual processors, but that translation is not always as efficient as desired. Superoptimization exhaustively searches to find the most efficient translation (in terms of code size, execution speed and energy efficiency). We believe with increased computer power and significant advances in techniques that enable superoptimization, it may be practical to offer this technique on a commercial basis.This feasibility study will explore techniques for deploying superoptimization in a commercial context. In the event of success (far from guaranteed – this is high risk), Embecosm and the UK's reputation for excellence in compilers will be further enhanced, helping to attract additional business from around the world.