Description-driven code generation using attribute grammars

ABSTRACT

The instruction-set of a target architecture is represented as a set of attribute-grammar productions. A code generator is obtained automatically for any compiler using attributed parsing techniques. A compiler built on this model can automatically perform most popular machine-dependent optimizations, including peephole optimizations. The code generator is also easily retargetable to different machine architectures.

REFERENCES

• 1: Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
• 2: R. G. Cattell, Automatic Derivation of Code Generators from Machine Descriptions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.173-190, April 1980 [doi>10.1145/357094.357097]
• 3: {Dijkstra 60} E.W. Dijkstra, "Algol 60 Translation", Supplement, Algol 60 Bulletin 10, 1960.
• 4: Christopher Warwick Fraser, Automatic generation of code generators., 1977
• 5: Christopher W. Fraser, A compact, machine-independent peephole optimizer, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-6, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567753]
• 6: Jack W. Davidson , Christopher W. Fraser, The Design and Application of a Retargetable Peephole Optimizer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.191-202, April 1980 [doi>10.1145/357094.357098]
• 7: Mahadevan Ganapathi, Retargetable code generation and optimization using attribute grammars, 1980
• 8: {Ganapathi 81a} M. Ganapathi and C.N. Fischer, "A Review of Automatic Code Generation Techniques", Technical Report #407, Computer Sciences Department, University of Wisconsin --- Madison, 1981.
• 9: {Ganapathi 81b} M. Ganapathi, C.N. Fischer, S.J. Scalpone and K.C. Thompson, "Linear Intermediate Representation for Portable Code Generation", Technical Report #435. Computer Sciences Department, University of Wisconsin --- Madison, 1981.
• 10: {Ganapathi 81c} M. Ganapathi and J.R. Goodman, "Compiler and Operating System requirements for 16-bit Microcomputer Architectures: Intel 8086, Zilog Z8000 and Motorola MC68000", Technical Report #452, Computer Sciences Department, University of Wisconsin --- Madison, 1981.
• 11: 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]
• 12: {Graham 80} S.L. Graham, "Table-Driven Code Generation", IEEE Computer, Vol. 13 No. 8 pp. 25--34, Aug. 1980.
• 13: David Gries, Compiler Construction for Digital Computers, John Wiley & Sons, Inc., New York, NY, 1971
• 14: J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
• 15: {Johnson 75} S.C. Johnson "YACC --- Yet Another Compiler Compiler". C.S. Tech Report #32, Bell Telephone Laboratories, Murray Hill, New Jersey, 1975.
• 16: {Knuth 68} D.E. Knuth, "Semantics of Context-Free Languages", Math. Systems Theory, Vol. 2 No. 2 pp. 127--145, June 1968.
• 17: C. H. A. Koster, Using the CDL Compiler-Compiler, Compiler Construction, An Advanced Course, 2nd ed., p.366-426, January 1976
• 18: Philip M. Lewis, 2nd , Daniel J. Rosenkrantz , Richard E. Stearns, Compiler Design Theory, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1976
• 19: W. M. McKeeman, Peephole optimization, Communications of the ACM, v.8 n.7, p.443-444, July 1965 [doi>10.1145/364995.365000]
• 20: Donn Robert Milton, Syntactic specification and analysis with attributed grammars., 1977
• 21: D. R. Milton , L. W. Kirchhoff , B. R. Rowland, An all(1) compiler generator, Proceedings of the 1979 SIGPLAN symposium on Compiler construction, p.152-157, August 06-10, 1979, Denver, Colorado, United States
• 22: {Newell 69} A. Newell and G.W. Ernst, "GPS: A Case Study in Generality and Problem Solving", Academic Press, 1969.
• 23: {Raiha 80} K.J. Raiha, "Bibliography on Attribute Grammars", ACM Sigplan Notices, Vol. 15 No. 3 pp. 35--44, Mar 1980.
• 24: {Ripken 77} K. Ripken, "Formale Beschreibun von Maschinen, Implementierungen und Optimierender Maschinen-codeerzeugung aus Attributierten Programmgraphe", Technische Univer. Munchen, Munich, Germany, July 1977.
• 25: B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
• 26: {Robertson 77} E.L. Robertson, "Code Generation for Short/Long Address Machines", Tech. Report, Computer Sciences Dept., University of Wisconsin-Madison, 1977.
• 27: Thomas G. Szymanski, Assembling code for machines with span-dependent instructions, Communications of the ACM, v.21 n.4, p.300-308, April 1978 [doi>10.1145/359460.359474]
• 28: 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]
• 29: {Watt 74} D.A. Watt, "L.R. Parsing of Affix Grammars", PhD thesis, University of Glasgow, Report #7, 1974.
• 30: {Watt 77} D.A. Watt, "The Parsing Problem for Affix Grammars", Acta Informatica, Springer Verlag, 1977.
• 31: William Allan Wulf , Richard K. Johnsson , Charles B. Weinstock , Steven O. Hobbs , Charles M. Geschke, The Design of an Optimizing Compiler, Elsevier Science Inc., New York, NY, 1975
• 32: {Wulf 80} W. Wulf et al., "An Overview of the Production-Quality Compiler-Compiler Project", IEEE Computer Vol. 13 No. 8 pp. 38--49, Aug. 1980.
• 33: {Wulf 81a} W. Wulf, personal communication.
• 34: {Wulf 81b} W. Wulf, "Compilers and Computer Architecture", IEEE Computer, July 1981.