Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-level Prolog Primitives
Department of Computer Science
University of Arizona
Tucson, AZ 85721, U.S.A.
Much of the work on applications of meta-level primitives in logic programs focuses on high-level aspects such as source-level program transformation, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is currently being used in a compiler that we have developed for Janus.