article

Open access

A Formal Framework for the Derivation of Machine-Specific Optimizers

Editor: Susan L. Graham Author:

Robert GiegerichAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 5, Issue 3

Pages 478 - 498

https://doi.org/10.1145/2166.357219

Published: 01 July 1983 Publication History

PDF eReader

References

[1]

AHO, A.V. Translator writing systems: Where do they now stand? Computer 8 (Aug. 1980), pp. 9-14.

Google Scholar

[2]

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

Crossref

Google Scholar

[3]

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

Crossref

Google Scholar

[4]

COUSOT, P., ANO COUSOT, R. Systematic design of program analysis frameworks. In Conference Record of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Tex., Jan. 29-31, 1979, pp. 269-282.

Crossref

Google Scholar

[5]

DAVlDSON, J.W., AND FRASER, C.W. Eliminating redundant object code. In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, N. Mex., Jan. 25-27, 1982, pp. 128-132.

Crossref

Google Scholar

[6]

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

[7]

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

Crossref

Google Scholar

[8]

GERHART, S.L. Correctness-preserving program transformations. In Conference Record of the 2d ACM Symposium on Principles of Programming Languages, Palo Alto, Calif., Jan. 20-22, 1975, pp. 54-66.

Crossref

Google Scholar

[9]

GIEGERICH, R. Automatic generation of machine-specific code optimizers. In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, N. Mex., Jan. 25-27, 1982, pp. 75-81.

Crossref

Google Scholar

[10]

GIEGERICH, R. Automatische Erzeugung von Maschinencode-Optimierern. Tech. Rep. TUM- I8112, Institut fiir Informatik, Technical Univ. of Munich, Munich, W. Germany, 1981.

Google Scholar

[11]

GIEGERICH, R., M/)NCKE, U., AND WILHELM, U. Invariance of approximative semantics with respect to program transformations. In Informatik Fachberichte 50: Proceedings, llth Annual GI Conference (Munich, 1981). Springer-Verlag, New York, 1981, pp. 1-10.

Crossref

Google Scholar

[12]

HmF, W. Private communication, 1980.

Google Scholar

[13]

LEVERE~r, B.W., CATTELL, R.G.G., HOBBS, S.O., NEWCOMER, J.M., REINER, A.H., SCHATZ, B.R., AND WULF, W.A. An overview of the Production Quality Compiler-Compfier project. Computer 8 (Aug. 1980), 38-49.

Google Scholar

[14]

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

Crossref

Google Scholar

[15]

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

Crossref

Google Scholar

[16]

MOTOROLA INC. MC68000 16-Bit Microprocessor: User Manual. 1979.

Crossref

Google Scholar

[17]

RIPKES, K. Formale Beschreibung von Maschinen, Implementierungen und optimierender Maschinencodeerzeugung aus attributierten Programmgraphen. Tech. Rep. TUM-INFO-7731, Institut fiir Informatik, Technical Univ. of Munich, Munich, W. Germany, 1977.

Google Scholar

[18]

WULF, W.A., JOHNSSO~, R.K., WEINSTOCK, C.B., HOBBS, S.O., A~O GESCHKE, C.M. The Design of an Optimizing Compiler. Elsevier North-Holland, New York, 1975.

Crossref

Google Scholar

Cited By

View all

Su YYan SSu YYan S(2011)Debugging and OptimizationPrinciples of Compilers10.1007/978-3-642-20835-5_11(313-330)Online publication date: 2011
https://doi.org/10.1007/978-3-642-20835-5_11
Merwe JDawoud DMcDonald S(2007)A survey on peer-to-peer key management for mobile ad hoc networksACM Computing Surveys10.1145/1216370.121637139:1(1-es)Online publication date: 12-Apr-2007
https://dl.acm.org/doi/10.1145/1216370.1216371
Davidson JFraser C(2006)Register allocation and exhaustive peephole optimizationSoftware: Practice and Experience10.1002/spe.438014090614:9(857-865)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380140906
Show More Cited By

Index Terms

A Formal Framework for the Derivation of Machine-Specific Optimizers
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation
      2. Translator writing systems and compiler generators
    2. Formal language definitions
      1. Semantics
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Formal verification of an advanced pipelined machine
Automatic derivation of compiler machine descriptions

We describe a method designed to significantly reduce the effort required to retarget a compiler to a new architecture, while at the same time producing fast and effective compilers. The basic idea is to use the native C compiler at compiler ...
Cost-effective design of application specific VLIW processors using the SCARCE framework

Increasing the performance of application-specific processors by exploiting application-resident parallelism is often prohibited by costs; especially in the case of low-volume productions. The flexibility of horizontal-microcoded machines allows these ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 5, Issue 3

July 1983

244 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/2166

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1983

Published in TOPLAS Volume 5, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
348
Total Downloads

Downloads (Last 12 months)41
Downloads (Last 6 weeks)5

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Su YYan SSu YYan S(2011)Debugging and OptimizationPrinciples of Compilers10.1007/978-3-642-20835-5_11(313-330)Online publication date: 2011
https://doi.org/10.1007/978-3-642-20835-5_11
Merwe JDawoud DMcDonald S(2007)A survey on peer-to-peer key management for mobile ad hoc networksACM Computing Surveys10.1145/1216370.121637139:1(1-es)Online publication date: 12-Apr-2007
https://dl.acm.org/doi/10.1145/1216370.1216371
Davidson JFraser C(2006)Register allocation and exhaustive peephole optimizationSoftware: Practice and Experience10.1002/spe.438014090614:9(857-865)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380140906
Davidson JFraser C(2004)Automatic generation of peephole optimizationsACM SIGPLAN Notices10.1145/989393.98940739:4(104-111)Online publication date: 1-Apr-2004
https://dl.acm.org/doi/10.1145/989393.989407
Huang I(2001)Co-synthesis of pipelined structures and instruction reordering constraints for instruction set processorsACM Transactions on Design Automation of Electronic Systems10.1145/371254.3712686:1(93-121)Online publication date: 1-Jan-2001
https://dl.acm.org/doi/10.1145/371254.371268
Rasala R(2000)Toolkits in first year computer scienceACM SIGCSE Bulletin10.1145/331795.33185232:1(185-191)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331852
Vandenberg SWollowski M(2000)Introducing computer science using a breadth-first approach and functional programmingACM SIGCSE Bulletin10.1145/331795.33185132:1(180-184)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331851
Wilkins DLawhead P(2000)Evaluating individuals in team projectsACM SIGCSE Bulletin10.1145/331795.33184932:1(172-175)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331849
Ing-Jer Huang Li-Rong Wang Yu-Min Wang (1997)Synthesis and analysis of an industrial embedded microcontrollerProceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference10.1109/ASPDAC.1997.600100(151-156)Online publication date: 1997
https://doi.org/10.1109/ASPDAC.1997.600100
Huang IDespain ASchweikert D(1992)High level synthesis of pipelined instruction set processors and back-end compilersProceedings of the 29th ACM/IEEE Design Automation Conference10.5555/113938.110366(135-140)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.5555/113938.110366
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

Index Terms

Recommendations

Formal verification of an advanced pipelined machine

Automatic derivation of compiler machine descriptions

Cost-effective design of application specific VLIW processors using the SCARCE framework

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