An implementation of a code generator specification language for table driven code generators

ABSTRACT

This paper discusses an implementation of Glanville's code generator generator for producing a code generator for a production Pascal compiler on an Amdahl 470. We successfully replaced the hand written code generator of an existing compiler with one which was produced automatically from a formal specification. This paper first outlines Glanville's original scheme, then describes extensions which were necessary for generating code for a production compiler.

REFERENCES

• 1: R. Steven Glanville , Susan L. Graham, A new method for compiler code generation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.231-254, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512785]
• 2: Robert Steven Glanville, A machine independent algorithm for code generation and its use in retargetable compilers., 1977
• 3: S.L. Graham, Table Driven Code Generation IEEE Computer (Aug. 1980) 25-34.
• 4: M. Ganapathi and C.N. Fisher, A review of Automatic Code Generation Techniques Computer Science Tech. Report #407, Computer Science Dept. University of Wisconsin - Madison (January 1981).
• 5: R.G. Cattell, A Survey and Critique of Some Models of Code Generation Department of Computer Science Report, Carnegie-Mellon University (November 1977).
• 6: Roderic Geoffrey Galton Cattell, Formalization and automatic derivation of code generators., 1978
• 7: William A. Barrett , Rodney M. Bates , David A. Gustafson , John D. Couch, Compiler construction: theory and practice (2nd ed.), SRA School Group, 1986
• 8: John L. Hennessy , Thomas R. Gross, Code generation and reorganization in the presence of pipeline constraints, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.120-127, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582166]
• 9: Edward L. Robertson, Code Generation and Storage Allocation for Machines with Span-Dependent Instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.71-83, July 1979 [doi>10.1145/357062.357067]
• 10: Bruce W. Leverett , Thomas G. Szymanski, Chaining Span-Dependent Jump Instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.274-289, July 1980 [doi>10.1145/357103.357105]
• 11: R.N. Faiman, Jr. and A.A. Kortesoja, An Optimizing Pascal Compiler IEEE Transactions on Software Engineering Vol SE-6, No. 6, (November 1980).
• 12: Pascal/VS Release 2.1, Program Product 5796-PNQ,# IBM Corporation.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation

General Terms:
Languages