Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-level Prolog Primitives

Much of the work on applications of meta-level primitives in logic pro-grams focusses on high-level aspects such as source-level program trans-formation, 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, ecient, 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 [6].