article

Open access

Code selection through object code optimization

Authors:

Jack W. Davidson,

Christopher W. FraserAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 6, Issue 4

Pages 505 - 526

https://doi.org/10.1145/1780.1783

Published: 01 October 1984 Publication History

PDF eReader

References

[1]

AHO, A.V., ANO ULLMAN, J.D. Principles of Compiler Design. Addison Wesley,~ Reading, Mass., 1977.

Digital Library

Google Scholar

[2]

AMMANN, U. On code generation in a PASCAL compiler. Softw. Pract. & Exper. 7, 3 (June 1977), 391-423.

Google Scholar

[3]

AUSLANDER, M., AND HOPKINS, M. An overview of the PL.8 compiler. In Proceedings of the SIGPLAN '82 Symposium on Compiler Construction (Boston, Mass., June 23-25). ACM, New York, 1982, pp. 22-31.

Digital Library

Google Scholar

[4]

BAGWELL, JR., J.T. Local optimizations. SIGPLAN Not. 5, 7 (July 1970), 52-66.

Digital Library

Google Scholar

[5]

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

Digital Library

Google Scholar

[6]

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

Digital Library

Google Scholar

[7]

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

Digital Library

Google Scholar

[8]

D^ViOSON, J.W. Simplifying code generation through peephole optimization. Ph.D. dissertation, Dept. of Computer Science, Univ. of Arizona, Tucson 1981.

Google Scholar

[9]

DAVIDSON, J.W., AND FRASER, C.W. Eliminating redundant object code. In Con{erence Record of the 9th ACM Symposium on Principles of Programming Languages (Albuquerque, N.M., Jan. 25-27). ACM, New York, 1982, pp. 128-132.

Digital Library

Google Scholar

[10]

FRASER, C.W. A compact, machine-independent peephole optimizer. In Conference Record of the 6th ACM Symposium on Principles of Programming Languages (San Antonio, Tex., Jan. 29- 31). ACM, New York, 1979, pp. 1-6.

Digital Library

Google Scholar

[11]

FRIEBUR(~HOUSE, R.A. Register allocation via usage counts. Commun. ACM 17, 11 (Nov. 1974), 638-647.

Digital Library

Google Scholar

[12]

GANAPATHI, M. Retargetable code generation and optimization using attribute grammars. Ph.D. dissertation, Computer Science Dept., Univ. of Wisconsin, Madison, 1980.

Digital Library

Google Scholar

[13]

GANAPATHI, M., AND FISCHER, C.N. Description-driven code generation using attribute grammars. In Conference Record o{ the 9th ACM Symposium on Principles of Programming Languages (Albuquerque, N.M., Jan. 25-27). ACM, New York, 1982, pp. 108-119.

Digital Library

Google Scholar

[14]

GIEGERICH, R. A formal framework for the derivation of machine-specific optimizers. A CM Trans. Prog. Lang. Syst. 5, 3 (July 1983), 478-498.

Digital Library

Google Scholar

[15]

GLANVILLE, R.S. A machine independent algorithm for code generation and its use in retargetable compilers. Ph.D. dissertation, Dept. of Electrical Engineering and Computer Sciences, Univ. of California, Berkeley, 1977.

Digital Library

Google Scholar

[16]

GLANWLLE, R.S., AND GR~,HAM, S.L. A new method for compiler code generation. In Con{erence Record o{ the 5th ACM Symposium on Principles of Programming Languages (Tucson, Ariz., Jan. 23-25). ACM, New York, 1978, pp. 231-240.

Digital Library

Google Scholar

[17]

GRAHAM, S.L., HENRY, R.R., ANO SCHULMAN, R.A. An experiment in table driven code generation. In Proceedings of the SIGPLAN '82 Symposium on Compiler Construction (Boston, Mass., June 23-25). ACM, New York, 1982, pp. 32-43.

Digital Library

Google Scholar

[18]

HANSON, D.R. The Y programming language. SIGPLAN Not. 16, 2 (Feb. 1981), 59-68.

Digital Library

Google Scholar

[19]

HANSON, D.R. Simple code optimizations. Softw. Pract. Exper. 13, 18 (1983), 745-763.

Crossref

Google Scholar

[20]

HARRISON, W. A new strategy for code generation--The general purpose optimizing compiler. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages (Los Angeles, Calif., Jan. 17-19). ACM, New York, 1977, pp. 29-37.

Digital Library

Google Scholar

[21]

JOHNSON, S.C. A portable compiler: Theory and practice. In Con{erence Record of the 5th ACM Symposium on Principles o{ Programming Languages (Tucson, Ariz., Jan. 23-25). ACM, New York, 1978, pp. 97-104.

Digital Library

Google Scholar

[22]

KORNERUP, P., KRISTEN, B.B., ANO MAOSE~, O.L. Interpretation and code generation based on intermediate languages. Softw. Pract. Exper. 10, 8 (Aug. 1980), 635-658.

Crossref

Google Scholar

[23]

LAMB, D.A. Construction of a peephole optimizer. Softw. Pract. Exper. 11, 6 (1981), 638-647.

Crossref

Google Scholar

[24]

McKEEMAN, W.M. Peephole optimization. Commun. ACM 8, 7 (July 1965), 443-444.

Digital Library

Google Scholar

[25]

MORGAN, T.M., A~D ROWE, L.A. Analyzing exotic instructions for a retargetable code generator. In Proceedings o{ the SIGPLAN '82 Symposium on Compiler Construction (Boston, Mass., June 23-25). ACM, New York, 1982, pp. 197-204.

Digital Library

Google Scholar

[26]

NEWEY, M.C., POOLE, P.C., AND WA~T~., W.M. Abstract machine modelling to produce portable software--A review and evaluation. So{tw. Pract. Exper. 2, 12 (1972), 107-136.

Google Scholar

[27]

NORI, K.V., AMMANN, U., JENSEN, g., NAaEL~, H.H., AND JACOBI, C. Pas.cal-P Implementation Notes. In Pascal--The Language and its Implementation, D.W. Barton Ed. Wiley, 1981, 83-123.

Google Scholar

[28]

PARNAS, D.L. A generalized control structure and its formal definition. Commun. ACM 26, 8 (Aug. 1983), 572-581.

Digital Library

Google Scholar

[29]

PATTERSON, D.A., AND SEQUIN, C.H. A VLSI RISC, IEEE Comput. 15, 19 (Sept. 1982), 8-21.

Digital Library

Google Scholar

[30]

RADIN, G. The 801 minicomputer. In Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, SIGPLAN Not. 17, 4 (Apr. 1982), 39-47.

Digital Library

Google Scholar

[31]

RITCHgE, D.M. A Tour through the UNIX C Compiler. In UNIX Programmer's Manual, Vol. IIB, Bell Laboratories, January 1979.

Google Scholar

[32]

STEEL, T.B. A first version of UNCOL, In Western Joint Computer Conference Proceedings, May 1961, 371-378.

Digital Library

Google Scholar

[33]

STRONG, J., WEGSTE~N, J., TRITrER, 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.

Digital Library

Google Scholar

[34]

TANENBAUM, A.S., VAN STAVEREN, H., AND STEVENSON, J.W. Using peephole optimization on intermediate code, ACM Trans. Prog. Lang. Syst. 4, i (Jan. 1982), 21-36.

Digital Library

Google Scholar

[35]

WASTE, W:M., AND GOOS, G. Compiler Construction. Springer-Verlag, New York, 1984.

Google Scholar

[36]

WIRTH, N. Modula: A language for modular programming. Softw. Pract. Exper. 7, I (1977), 3-35.

Google Scholar

[37]

WUL~, W., JOHNSSON, R.K., WE~NSTOCK, C.B., HOBBS, S.O., AND GESCHKE, C.M. The Design o{ an Optimizing Compiler. Elsevier-North Holland, New York 1975.

Digital Library

Google Scholar

[38]

WUL~, W.A. Compilers and computer architecture. IEEE Comput. 14, 7 July 1981, 41-47.

Google Scholar

Cited By

View all

Ramsey N(2022)Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl)Proceedings of the ACM on Programming Languages10.1145/35476216:ICFP(1-22)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3547621
Ding CChen DLiu FReber BSmith W(2022)CARL: Compiler Assigned Reference LeasingACM Transactions on Architecture and Code Optimization10.1145/349873019:1(1-28)Online publication date: 17-Mar-2022
https://dl.acm.org/doi/10.1145/3498730
Thier PErtl MKrall ADubach CXue J(2018)Fast and flexible instruction selection with constraintsProceedings of the 27th International Conference on Compiler Construction10.1145/3178372.3179501(93-103)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3178372.3179501
Show More Cited By

Index Terms

Code selection through object code optimization
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. Compilers
      1. Source code generation

Recommendations

Understanding code snippets in code reviews: a preliminary study of the OpenStack community
ICPC '22: Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension

Code review is a mature practice for software quality assurance in software development with which reviewers check the code that has been committed by developers, and verify the quality of code. During the code review discussions, reviewers and ...
Bug localization via searching crowd-contributed code
Internetware '14: Proceedings of the 6th Asia-Pacific Symposium on Internetware

Bug localization, i.e., locating bugs in code snippets, is a frequent task in software development. Although static bug-finding tools are available to reduce manual effort in bug localization, these tools typically detect bugs with known project-...
Understanding and Detecting Harmful Code
SBES '20: Proceedings of the XXXIV Brazilian Symposium on Software Engineering

Code smells typically indicate poor design implementation and choices that may degrade software quality. Hence, they need to be carefully detected to avoid such poor design. In this context, some studies try to understand the impact of code smells on the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 6, Issue 4

Lecture notes in computer science Vol. 174

Oct. 1984

214 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/1780

Editor:
Susan L. Graham
Univ. of California at Berkeley, Berkeley

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1984

Published in TOPLAS Volume 6, 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

107
Total Citations
View Citations
1,473
Total Downloads

Downloads (Last 12 months)297
Downloads (Last 6 weeks)19

Reflects downloads up to 01 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ramsey N(2022)Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl)Proceedings of the ACM on Programming Languages10.1145/35476216:ICFP(1-22)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3547621
Ding CChen DLiu FReber BSmith W(2022)CARL: Compiler Assigned Reference LeasingACM Transactions on Architecture and Code Optimization10.1145/349873019:1(1-28)Online publication date: 17-Mar-2022
https://dl.acm.org/doi/10.1145/3498730
Thier PErtl MKrall ADubach CXue J(2018)Fast and flexible instruction selection with constraintsProceedings of the 27th International Conference on Compiler Construction10.1145/3178372.3179501(93-103)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3178372.3179501
Hasabnis NSekar R(2016)Lifting Assembly to Intermediate RepresentationACM SIGOPS Operating Systems Review10.1145/2954680.287238050:2(311-324)Online publication date: 25-Mar-2016
https://doi.org/10.1145/2954680.2872380
Hasabnis NSekar RZimmermann TCleland-Huang JSu Z(2016)Extracting instruction semantics via symbolic execution of code generatorsProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950335(301-313)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/2950290.2950335
Katagiri TMatsumoto MOhshima S(2016)Auto-Tuning of Hybrid MPI/OpenMP Execution with Code Selection by ppOpen-AT2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW.2016.49(1488-1495)Online publication date: May-2016
https://doi.org/10.1109/IPDPSW.2016.49
Mak R(2014)Compilers and InterpretersComputing Handbook, Third Edition10.1201/b16812-77(1-38)Online publication date: 8-May-2014
https://doi.org/10.1201/b16812-77
Lim JReps T(2013)TSLACM Transactions on Programming Languages and Systems10.1145/2450136.245013935:1(1-59)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1145/2450136.2450139
Yuan SSu WNi GChi TKuo S(2013)A Compiler Design Technique for Impulsive VDD Current MinimizationIEEE Transactions on Electromagnetic Compatibility10.1109/TEMC.2013.224045955:5(855-866)Online publication date: Oct-2013
https://doi.org/10.1109/TEMC.2013.2240459
Ramsey NDias JBall TSagiv M(2011)Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate codeProceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1926385.1926451(575-586)Online publication date: 26-Jan-2011
https://dl.acm.org/doi/10.1145/1926385.1926451
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations

Understanding code snippets in code reviews: a preliminary study of the OpenStack community

Bug localization via searching crowd-contributed code

Understanding and Detecting Harmful Code

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

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations