The Community for Technology Leaders
Parallel and Distributed Processing Symposium, International (2008)
Miami, FL, USA
Apr. 14, 2008 to Apr. 18, 2008
ISBN: 978-1-4244-1693-6
pp: 1-8
Timothy Richards , Department of Computer Science, University of Massachusetts, Amherst, USA
Edward K. Walters , Department of Computer Science, University of Massachusetts, Amherst, USA
J. Eliot B. Moss , Department of Computer Science, University of Massachusetts, Amherst, USA
Trek Palmer , Department of Computer Science, University of Massachusetts, Amherst, USA
Charles C. Weems , Department of Computer Science, University of Massachusetts, Amherst, USA
ABSTRACT
One of the most difficult tasks a compiler writer faces is the construction of the code generator. The code generator is that part of the compiler that translates compiler intermediate representation (IR) into instructions for a target machine. Unfortunately, implementing a code generator “by hand” is a difficult, time consuming, and error prone task. The details of both the IR and target instruction set must be carefully considered in order to generate correct and efficient code. This, in turn, requires an expert in both the compiler internals as well as the target machine. Even an expert, however, can produce a code generator that is difficult to verify and debug. In this paper we present a universal approach for automating the construction of correct code generators. In particular, we show that both the compiler IR and target instruction set semantics can be described by a machine description language and leveraged by a heuristic search procedure to derive code generator patterns. We then utilize formal methods to determine if the IR and target sequence pairs that make up these patterns are semantically equivalent.
INDEX TERMS
CITATION

T. Richards, J. E. Moss, T. Palmer, C. C. Weems and E. K. Walters, "Towards universal code generator generation," 2008 IEEE International Parallel & Distributed Processing Symposium(IPDPS), Miami, FL, 2008, pp. 1-8.
doi:10.1109/IPDPS.2008.4536404
83 ms
(Ver 3.3 (11022016))