article

Free access

Retargetable Compiler Code Generation

Authors:

Mahadevan Ganapathi,

Charles N. Fischer,

John L. HennessyAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 14, Issue 4

Pages 573 - 592

https://doi.org/10.1145/356893.356897

Published: 01 December 1982 Publication History

PDF eReader

References

[1]

AHo, A. V., AND ULLMAN, J. D. The Theory of Parsing, Translation and Compding, vols. 1 and 2. Prentice-Hall, Englewood Cliffs, N. J., 1973.

Crossref

Google Scholar

[2]

AHO, A. V., ANO JOItNSON, S. C. "Optimal code generation for expresswn trees." J. ACM 23, 3 1976, 488-501.

Crossref

Google Scholar

[3]

AJao, A. V., ANO ULLMAN, J. D. Principles of Compder Design. Addison- Wesley, Reading, Mass., 1977.

Google Scholar

[4]

ALLEN, F. F., CARTER, J. L., FABRI, J, FERRANTE, J., HARRISON, W. H., LOEWNER, P. O., AND TREVlLLYAN, L. H. "The experimental compiling system." IBM J. Res Dev. 24, 6 (Nov. 1980), 695-715.

Google Scholar

[5]

AMMANN, U., NORI, K., JENSEN, K., AND NAOELI, H. The Pascal (P) Compiler Implementation Notes. Inst~tut fiir Informatik, Eidgenossische Technische Hochschule, Zurich, 1975.

Google Scholar

[6]

AMMANN, U. "On code generation in a Pascal compiler." Sofiw. Pract Exper., 7, 3 (June/July 1977), 391-423.

Google Scholar

[7]

AUSLANDER, M., AND HOPKINS, M. "An overview of the PL.8 compiler." In Proc. SiGPLAN82 Symp. Compder Construction (Boston, Mass., June 23-25), ACM SIGPLAN Not. 17, 6 (June 1982), 22-31.

Crossref

Google Scholar

[8]

BAKER, T.P. "A single-pass syntax-directed front end for Ada." In Proc. SIG- PLAN82 Symp. Compiler Construction (Boston, Mass., June 23-25), ACM SIG- PLAN Not. 17, 6 (June 1982), 318-326.

Crossref

Google Scholar

[9]

BELL, C. G., AND NEWELL, A. Computer Structures: Readings and Examples. McGraw-Hill, New York, 1971.

Crossref

Google Scholar

[10]

BIRD, P.L. "An implementation of a code generator specification language for table driven code generators." In Proc. $1GPLAN82 Syrup Compiler Construction (Boston, Mass., June 23-25), ACM SIGPLAN Not. 17, 6 (June 1982), 44-50.

Crossref

Google Scholar

[11]

CATTELL, R. G.G. "A survey and critique of some models of code generation.'' Tech. Rep., Computer Sciences Dep., Carnegie-Mellon Univ., Pittsburgh, Pa., 1977.

Google Scholar

[12]

CATTELL, R. G.G. "Formalization and automatic derivation of code generatots." Ph.D. dissertation, Computer Sciences Dep., Carnegie-Mellon Univ., Pittsburgh, Pa., 1978.

Crossref

Google Scholar

[13]

CATTELL, R. G. G., NEWCOMER, J. M., AND LEVERETT, B.W. "Code generation in a machine-independent comprier." in Proc. A CM SIGPLAN Syrup. Compiler Construction (Denver, Colo., Aug.), ACM SIGPLAN Not. 14, 8, (Aug. 1979), 65-75.

Crossref

Google Scholar

[14]

CATTELL, R. G.G. "Automatic derivation of code generators from machine descriptions." A CM Trans. Program Lang. Syst 2, 2 (Apr. 1980), 173-190.

Crossref

Google Scholar

[15]

CHAITIN, G. J "Register allocation and spilling via graph coloring." In Proc. SiGPLAN82 Symp. Compiler Construction (Boston, Mass., June 23-25), ACM SIGPLAN Not. 17, 6 (June 1982), 98- 105.

Crossref

Google Scholar

[16]

DAVIDSON, J. W., AND FRASER, C W., "The design and application of a retargetable peephole optimizer." ACM Trans. Program. Lang. Syst. 2, 2 (Apr. 1980), 191-202.

Crossref

Google Scholar

[17]

DAVlDSON, J. W., AND FRASER, C. W. "Eliminating redundant object code." Proc. 9th Ann. A CM Symp. Principles of Programming Languages (Albuquerque, New Mex., Jan. 25-27), ACM, New York, 1982

Crossref

Google Scholar

[18]

DIJKSTRA, E. W. "Algol 60 translation." Suppl. ALGOL Bull. 10 (1960).

Google Scholar

[19]

DONEaAN, M.K. "An approach to the automatic generation of code generators." Ph.D. dissertation, Computer $c1- ence Dep., Rice Univ., Houston, Tex., 1973.

Crossref

Google Scholar

[20]

DONEGAN, M. K., NOONAN, R., AND FEYOCK, S. "A code generator generation language." In Proc. A CM SIG- PLAN Symp. Compiler Construction (Denver, Colo., Aug.), ACM SIGPLAN Not. 14, 8 (Aug. 1979), 58-64.

Crossref

Google Scholar

[21]

ELSON, M., AND RAKE, S. T. "Code generation techmque for large language compilers." IBMSyst. J. 9, 3 (Dec 1970), 166-188.

Google Scholar

[22]

ERSHOV, A. P. "On programming of arithmetic operations." Commun. ACM 1, 8 (Aug. 1958), 3-6.

Crossref

Google Scholar

[23]

FELDMAN, S. I "Implementation of a portable Fortran 77 compiler using roodern tools." In Proc. A CM SIGPLAN Syrup. Compder Constructwn (Denver, Col., Aug.), ACM SIGPLAN Not. 14, 8 (Aug. 1979) 98-106.

Crossref

Google Scholar

[24]

FRASER, C.W. "Automatic generation of code generators." Ph.D. dissertation, Computer Science Dep., Yale Univ., New Haven, Conn., 1977.

Crossref

Google Scholar

[25]

FRASER, C. W. "A compact machine independent peephole optimizer." In Proc. 6th Ann. A CM Syrup Principles of Programming Language (San Antonio, Tex., Jan. 29-31), ACM, New York, 1979, pp. 1-6.

Crossref

Google Scholar

[26]

GANAPATm, M. "Retargetable code generation and optnnization using attnbute grammars." Ph.D. dissertation, Computer Science Dep., Univ. of Wisconsin--Madison, 1980.

Crossref

Google Scholar

[27]

GANAPATHI, M., AND FISCHER, C. N. "Bibliography on automated retargetable code generation." A CM SIG- PLAN Not. 16, 10 (Oct. 1981), 9-12.

Google Scholar

[28]

GANAPaTHI, M., FISCHER, C. N., SCAL- PONE, $. J., AND THOMPSON, K. C. "Linear intermediate representation for portable code generation." Tech. Rep. 435, Computer Science Dep., Univ. of Wisconsin--Madison, 1981.

Google Scholar

[29]

GANAPATHi, M., AND FISCHER, C. N. "A review of automatic code generation techniques." Tech. Rep. 406, Computer Science Dep., Univ. of Wisconsin--Madmon, 1981.

Google Scholar

[30]

GANAPATHI, M., FISCHER, C. N., AND HENNESSY, J.L. "Automatic compiler code generation." Tech. Rep. 225, Computer Systems Lab., Stanford Electronics Lab., Deps. of Electrical Engineering and Computer Science, Stanford Univ., Nov. 1981.

Crossref

Google Scholar

[31]

GANAPATHI, M., AND FISCHER, C. N. "Description-driven code generation using attribute grammars." In Proc. 9th Ann. A CM Syrup. Principles of Programmmg Languages (Albuquerque, New Mex., Jan. 25-27), ACM, New York, 1982.

Crossref

Google Scholar

[32]

GIEGERICH, R. "Automatic generation of machine specific code optimizers." In Proc. 9th Ann A CM Syrup. Principles of Programming Languages (Albuquerque, New Mex., Jan. 25--27), ACM, New York, 1982.

Crossref

Google Scholar

[33]

GLANVILLE, R. S. "A machine mdependent algoritJun for code generation and its use in retarge~ compilers." Ph.D. dissertation, Deps. of Electrical Engineering and Computer Science, Univ. California, Berkeley, Dec. 1977.

Crossref

Google Scholar

[34]

GLANVILLE, R. S., AND GRAHAM, S. L. "A new method for compiler code generation." In Proc. 5th A CM Symp. Principles o~ Programming Languages (Tucson, Ariz., Jan. 23-25), ACM, New York, Jan. 1978, pp. 231-240.

Crossref

Google Scholar

[35]

GRAHAM, S.L. "Table.driven code generation." IEEE Comput. 13, 8 (Aug. 1980), 25-34.

Google Scholar

[36]

GRAHAM, S. L., HENRY, R. R., AND SCHULMaN, R.A. "An experiment in table driven code generation." In Proc. SIGPLAN82 Symp. Compiler Construction (Boston, Mass., June 23-25), ACM SIGPLAN Not. 17, 6 (June 1982), 32-42.

Crossref

Google Scholar

[37]

GRIES, D. Compiler Construction for Digital Computers. Wiley, New York, 1971.

Crossref

Google Scholar

[38]

JOHNSSON, R. K. "An approach to global register allocation." Ph.D. dissertatlon, Computer Science Dep., Camegie-Mellon Univ., Pittsburgh, Pa., 1975.

Crossref

Google Scholar

[39]

JOHNSON, S. C. "A tour through the portable C compiler." UNIX documentation, Bell Telephone Laboratories, Murray Hill, N. J., 1977.

Google Scholar

[40]

JO~iNSON, S.C. "A portable compiler: Theory and practice." In Proe. 5th ACM Syrup. Principles of Programming Languages (Tucson, Ariz., Jan. 23-25), ACM, New York, Jan. 1978, pp. 97-104.

Crossref

Google Scholar

[41]

KNU?H, D.E. "Semantics of contextfree languages." Math. Syst. Theor. 2, 2 (June 1968), 127-145.

Google Scholar

[42]

LANDWEHR, R., JANSOHN, H.-ST., AND Goos, G. "Experience with an automatic code generator generator." In Proc. SIGPLAN$2 Symp. Compiler Construction (Boston, Mass., June 23- 25), ACM SIGPLAN Not. 17, 6 (June 1982), 56-66.

Crossref

Google Scholar

[43]

LEVERETT, B., AND SZYMANSKI, T. G. "Chaining span-dependent jump instructions.'' AOM Trans. Program. Lang. Syst. 2, 3 (July 1980), 275-289.

Crossref

Google Scholar

[44]

LEVERETT, B. W.~ "Register allocation in an opthnizing compiler." Ph.D. dissertation and Tech. Rep. CMU CS-81-103, Computer Science Dep., Carnegie-Mel- Ion Univ., Pittsburgh, Pa., Feb. 1981.

Crossref

Google Scholar

[45]

LEVERETT, B.W. "Topics in code generation and register allocation." Tech. Rep. CMU-82-130, Computer Science Dep., Carnegie-Mellon Univ., Pittsburgh, Pa., July 1982.

Google Scholar

[46]

McKE~.MAN, W. M. "Peephole optimization." Commun. ACM 8, 7 (July 1965), 443-444.

Crossref

Google Scholar

[47]

MILLER, P.L. "Automatic creation of a code generator from a machine description." Tech. Rep. MAC TR-85, Project MAC, Massachusetts Institute of Technology, Cambridge, Mass., 1971.

Crossref

Google Scholar

[48]

NEWCOMER, J.M. "Machine independent generation of optimized local code." Ph.D. dissertation, Computer Science Dep., Carnegie-Mellon Univ., Pittsburgh, Pa., 1975.

Crossref

Google Scholar

[49]

NEWELL, A., AND ERNST, G.W. GPS: A Case Studytm Generality and Problem Solving. Academic Press, New York, 1969.

Google Scholar

[50]

PERKINS, D. R., AND SITES, R. L. "Machine independent Pascal code optimization" In Proc. A CM SIGPLAN Symp. Compiler Construction (Denver, Colo, Aug. 6-10), ACM SIGPLAN Not. 14, 8 (Aug. 1979), 201-207.

Crossref

Google Scholar

[51]

RAmA, K.J. "B~blioigraphy on attribute grammars." A CM SIGPLAN Not. 15, 3 (March 1980), 35-44.

Google Scholar

[52]

RICHARDS, M. "The portability of the BCPL compder." Sofiw. Pract. Exper. 1, (1971), 135-146.

Google Scholar

[53]

RIPKEN, K "Formale Beschreibun von Maschinen, Implementierungen und Optimierender Maschinen-codeerzeugung aus Attributierten Programmgraphe." Tech. Rep. TUM-INFO-7731, Computer Science Dep., Technische Univ., Munchen, Munich, Germany, July 1977.

Google Scholar

[54]

RITCHIE, D. M., AND KERNIGHAN, B. W. The C Programming Language. Prentice-Hail, Englewood Cliffs, N. J., 1978.

Crossref

Google Scholar

[55]

RUI)MIK, A., ANO LEE, E.S. "Compiler design for efficient code generation and program optimization." In Proc. A CM SIGPLAN Syrup. Compiler Construction (Denver, Colo, Aug. 6-10), ACM SIGPLAN Not. 14, 8 (Aug. 1979), 127- 138.

Crossref

Google Scholar

[56]

SETm, R., ANO ULLMAN, J. D. "The generation of optimal code for arithmetic expressions." J. ACM 17, 4 (Oct. 1970), 715-728.

Crossref

Google Scholar

[57]

SHILLINGTON, K. A., AND ACKLAND, G. M. (Eds.) UCSD Pascal Version 1.5 Institute for Information Systems, Univ. of California, San Diego, 1978.

Google Scholar

[58]

SMITH, D.C. MLISP, Stanford Artificial Intelligence Project Memo. AIM- 135, Stanford Univ, Stanford, Calif., 1970.

Crossref

Google Scholar

[59]

SNYDER, A. "A portable compiler for the language C." M.Sc. thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass, May 1975.

Google Scholar

[60]

STEEL, T. B., JR. "A first version of UNCOL." in Proc. Winter Jt. Computer Conf., 19 (1961), pp. 371-378.

Google Scholar

[61]

STRONG, J., WEGSTEIN, J., TRITTER, A., OLSZTYN, J., MOCK, O., AND STEEL, T. "The problem of programming communication with changing machines: A proposed solution." Commun. A CM 1, 8 (Aug. 1958), 12-18.

Crossref

Google Scholar

[62]

SZYMANSKI, T. B. "Assembling code for machines with span-dependent instructions." Commun. ACM 21, 4 (Apr. 1978), 300-308.

Crossref

Google Scholar

[63]

WEINGART, S. W. "An efficient and systematic method of compiler code generatmn." Ph.D. dissertation, Computer Sciences Dep., Yale University, New Haven, Conn., 1973.

Crossref

Google Scholar

[64]

WICK, J.D. "Automatic generation of assemblers." Ph.D. dissertation, Computer Science Dep., Yale Univ., New Haven, Conn., 1975.

Crossref

Google Scholar

[65]

WILCOX, T. R. "Generating machine code for high level programming languages." Ph.D. dissertation, Tech. Rep. 71-103, Dep. Computer Sciences, Cornell Umv., Ithaca, N. Y., 1971.

Crossref

Google Scholar

[66]

WULF, W., JOHNSSON, R. K., WEIN- STOCK, C. B., HOBBS, S. O., AND GESCnKE, C.M. The Design of an Optimzzmg Compder. American Elsevier, New York, 1975.

Crossref

Google Scholar

[67]

WULF, W. A., LEVERETT, B. W., CAT- TELL, R. G. G., HosBs, S. 0., NEW- COMER, J. M., REINER, A. H., AND SCHATZ, B.R. "An overview of the production quality compiler-compiler project.'' Tech. Rep. CMU-CS-79-105, Computer Science Dep., Carnegie-Mellon Univ., Pittsburgh, Pa., Feb. 1979.

Google Scholar

[68]

WULF, W., LEVERETT, B. W., CATTELL, R. G. G., HOBBS, S. O., NECOMER, J. M., REINER, A. H., AND SCHATZ, B.R. "An overview of the production-quality compiler-compiler project." IEEE Comput. 13, 8 (Aug. 1980), 38-49.

Google Scholar

[69]

YOUNG, R. "The coder: A program module for code generation in high level language compilers." M.Sc. thesis, Computer Sciences Dep., Univ. of Illinom, Urbana-Champaign, Ill., 1974.

Google Scholar

Cited By

View all

Rubio-Medrano CKotak AWang WSohr KNiu JVaidya J(2024)Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal SpecificationsProceedings of the 29th ACM Symposium on Access Control Models and Technologies10.1145/3649158.3657032(105-116)Online publication date: 24-Jun-2024
https://dl.acm.org/doi/10.1145/3649158.3657032
Chen YMendis CCarbin MAmarasinghe SSherwood TBerger EKozyrakis C(2021)VeGen: a vectorizer generator for SIMD and beyondProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446692(902-914)Online publication date: 19-Apr-2021
https://dl.acm.org/doi/10.1145/3445814.3446692
Avazpour IGrundy JGrunske L(2015)Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendationsJournal of Visual Languages and Computing10.1016/j.jvlc.2015.02.00528:C(195-211)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1016/j.jvlc.2015.02.005
Show More Cited By

Recommendations

Retargetable code generation for application-specific processors
Special issue: Parallel computing technologies

An approach of intelligent retargetable compiler is introduced to overcome the gap between hardware and software development and to increase performance of embedded systems. It focuses on knowledgeable treatment of code generation where knowledge about ...
Retargetable code optimization with SIMD instructions
CODES+ISSS '06: Proceedings of the 4th international conference on Hardware/software codesign and system synthesis

Retargetable C compilers are nowadays widely used to quickly obtain compiler support for new embedded processors and to perform early processor architecture exploration. One frequent concern about retargetable compilers, though, is their lack of machine-...
A Retargetable MATLAB-to-C Compiler Exploiting Custom Instructions and Data Parallelism
Special Issue on LCETES, Part 2, Learning, Distributed, and Optimizing Compilers

This article presents a MATLAB-to-C compiler that exploits custom instructions present in state-of-the-art processor architectures and supports semi-automatic vectorization. A parameterized processor model is used to describe the target instruction set ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 14, Issue 4

Dec. 1982

95 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/356893

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1982

Published in CSUR Volume 14, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

79
Total Citations
View Citations
2,119
Total Downloads

Downloads (Last 12 months)251
Downloads (Last 6 weeks)21

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rubio-Medrano CKotak AWang WSohr KNiu JVaidya J(2024)Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal SpecificationsProceedings of the 29th ACM Symposium on Access Control Models and Technologies10.1145/3649158.3657032(105-116)Online publication date: 24-Jun-2024
Chen YMendis CCarbin MAmarasinghe SSherwood TBerger EKozyrakis C(2021)VeGen: a vectorizer generator for SIMD and beyondProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446692(902-914)Online publication date: 19-Apr-2021
Avazpour IGrundy JGrunske L(2015)Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendationsJournal of Visual Languages and Computing10.1016/j.jvlc.2015.02.00528:C(195-211)Online publication date: 1-Jun-2015
Belanger DKintala C(2013)Data Extraction ToolsAT&T Technical Journal10.1002/j.1538-7305.1985.tb00047.x64:9(2025-2035)Online publication date: 29-Jul-2013
Chakraborty PSaxena PKatti C(2010)A compiler‐based toolkit to teach and learn finite automataComputer Applications in Engineering Education10.1002/cae.2049221:3(467-474)Online publication date: 13-Oct-2010
(2009)BibliographyProgramming Language Pragmatics10.1016/B978-0-12-374514-9.00002-1(849-865)Online publication date: 2009
Kwangman K(2008)Development of the Retargetable Tool Suite for Embedded SoftwareProceedings of the 2008 Advanced Software Engineering and Its Applications10.1109/ASEA.2008.10(111-114)Online publication date: 13-Dec-2008
Marwedel P(2008)Mimola—A Fully Synthesizable LanguageProcessor Description Languages10.1016/B978-012374287-2.50006-9(35-63)Online publication date: 2008
Mishra PDutt N(2008)Processor Description LanguagesundefinedOnline publication date: 29-May-2008
Ulrich Bieker (2006)Retargetable Self-Test Program Generation Using Constraint Logic Programming32nd Design Automation Conference10.1109/DAC.1995.250018(605-611)Online publication date: Dec-2006
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Recommendations

Retargetable code generation for application-specific processors

Retargetable code optimization with SIMD instructions

A Retargetable MATLAB-to-C Compiler Exploiting Custom Instructions and Data Parallelism

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations