Denali: A goal-directed superoptimizer
Denali: A goal-directed superoptimizer
复制标题
DOI：
10.1145/543552.512566
复制
发表时间：
2002-05-01
影响因子：
--
通讯作者：
Randall, K
中科院分区：
文献类型：
--
作者：
Joshi, R;Nelson, G;Randall, K
本文提供了有关一个新研究项目的初步报告，该报告旨在构建一个使用自动定理谚语的代码生成器，以生成现代建筑的高质量（实际上，几乎是数学上最佳的）机器代码。代码生成器不打算在普通编译器中使用，但旨在在需要高峰性能的情况下用于内部循环和关键子例程，没有可用的编译器会生成充分的高效代码，以及当前工程实践的使用。手工编码的机器语言。本文描述了超级杀剂的设计，并提出了一些令人鼓舞的初步结果。
This paper provides a preliminary report on a new research project that aims to construct a code generator that uses an automatic theorem prover to produce very high-quality (in fact, nearly mathematically optimal) machine code for modern architectures. The code generator is not intended for use in an ordinary compiler, but is intended to be used for inner loops and critical subroutines in those cases where peak performance is required, no available compiler generates adequately efficient code, and where current engineering practice is to use hand-coded machine language. The paper describes the design of the superoptimizer, and presents some encouraging preliminary results.