Code selection through object code optimization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Code selection through object code optimization

Full text

Pdf (1.37 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 6 , Issue 4 (October 1984) table of contents
Lecture notes in computer science Vol. 174

Pages: 505 - 526

Year of Publication: 1984

ISSN:0164-0925

Authors

Jack W. Davidson	University of Virginia
Christopher W. Fraser	University of Arizona

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 55, Citation Count: 30

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1780.1783 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked 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	AMMANN, U. On code generation in a PASCAL compiler. Softw. Pract. & Exper. 7, 3 (June 1977), 391-423.
	3	Marc Auslander , Martin Hopkins, An overview of the PL.8 compiler, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.22-31, June 23-25, 1982, Boston, Massachusetts, United States
	4	John T. Bagwell, Jr., Local optimizations, ACM SIGPLAN Notices, v.5 n.7, p.52-66, July 1970
	5	C. Gordon Bell , A. C. Newell, Computer structures: Readings and examples (McGraw-Hill computer science series), McGraw-Hill Pub. Co., 1971
	6	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]
	7	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]
	8	D^ViOSON, J.W. Simplifying code generation through peephole optimization. Ph.D. dissertation, Dept. of Computer Science, Univ. of Arizona, Tucson 1981.
	9	Jack W. Davidson , Christopher W. Fraser, Eliminating redundant object code, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.128-132, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582167]
	10	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]
	11	R. A. Freiburghouse, Register allocation via usage counts, Communications of the ACM, v.17 n.11, p.638-642, Nov. 1974 [doi>10.1145/361179.361201]
	12	Mahadevan Ganapathi, Retargetable code generation and optimization using attribute grammars, 1980
	13	Mahadevan Ganapathi , Charles N. Fischer, Description-driven code generation using attribute grammars, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.108-119, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582165]
	14	Robert Giegerich, A Formal Framework for the Derivation of Machine-Specific Optimizers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.478-498, July 1983 [doi>10.1145/2166.357219]
	15	Robert Steven Glanville, A machine independent algorithm for code generation and its use in retargetable compilers., 1977
	16	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]
	17	Susan L. Graham , Robert R. Henry , Robert A. Schulman, An experiment in table driven code generation, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.32-43, June 23-25, 1982, Boston, Massachusetts, United States
	18	David R. Hanson, The Y programming language, ACM SIGPLAN Notices, v.16 n.2, p.59-68, February 1981 [doi>10.1145/954269.954278]
	19	HANSON, D.R. Simple code optimizations. Softw. Pract. Exper. 13, 18 (1983), 745-763.
	20	William Harrison, A new strategy for code generation: the general purpose optimizing compiler, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.29-37, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512954]
	21	S. C. Johnson, A portable compiler: theory and practice, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.97-104, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512771]
	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.
	23	LAMB, D.A. Construction of a peephole optimizer. Softw. Pract. Exper. 11, 6 (1981), 638-647.
	24	W. M. McKeeman, Peephole optimization, Communications of the ACM, v.8 n.7, p.443-444, July 1965 [doi>10.1145/364995.365000]
	25	Thomas M. Morgan , Lawrence A. Rowe, Analyzing exotic instructions for a retargetable code generator, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.197-204, June 23-25, 1982, Boston, Massachusetts, United States
	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.
	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.
	28	David Lorge Parnas, A generalized control structure and its formal definition, Communications of the ACM, v.26 n.8, p.572-581, Aug. 1983 [doi>10.1145/358161.358168]
	29	PATTERSON, D.A., AND SEQUIN, C.H. A VLSI RISC, IEEE Comput. 15, 19 (Sept. 1982), 8-21.
	30	George Radin, The 801 minicomputer, Proceedings of the first international symposium on Architectural support for programming languages and operating systems, p.39-47, March 01-03, 1982, Palo Alto, California, United States
	31	RITCHgE, D.M. A Tour through the UNIX C Compiler. In UNIX Programmer's Manual, Vol. IIB, Bell Laboratories, January 1979.
	32	STEEL, T.B. A first version of UNCOL, In Western Joint Computer Conference Proceedings, May 1961, 371-378.
	33	J. Strong , J. Wegstein , A. Tritter , J. Olsztyn , O. Mock , T. Steel, The problem of programming communication with changing machines: a proposed solution, Communications of the ACM, v.1 n.8, p.12-18, Aug. 1958 [doi>10.1145/368892.368915]
	34	Andrew S. Tanenbaum , Hans van Staveren , Johan W. Stevenson, Using Peephole Optimization on Intermediate Code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.21-36, Jan. 1982 [doi>10.1145/357153.357155]
	35	WASTE, W:M., AND GOOS, G. Compiler Construction. Springer-Verlag, New York, 1984.
	36	WIRTH, N. Modula: A language for modular programming. Softw. Pract. Exper. 7, I (1977), 3-35.
	37	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
	38	WUL~, W.A. Compilers and computer architecture. IEEE Comput. 14, 7 July 1981, 41-47.

CITED BY 30

	Alfred V. Aho , Mahadevan Ganapathi , Steven W. K. Tjiang, Code generation using tree matching and dynamic programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.491-516, Oct. 1989
	C. W. Fraser, A language for writing code generators, ACM SIGPLAN Notices, v.24 n.7, p.238-245, July 1989
	Carl McConnell , Ralph E. Johnson, Using static single assignment form in a code optimizer, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.152-160, June 1992
	Mickey R. Boyd , David B. Whalley, Isolation and analysis of optimization errors, ACM SIGPLAN Notices, v.28 n.6, p.26-35, June 1993
	J. R. Rose, Refined types: highly differentiated type systems and their use in the design of intermediate languages, ACM SIGPLAN Notices, v.23 n.7, p.278-287, July 1988
	M. E. Benitez , J. W. Davidson, A portable global optimizer and linker, ACM SIGPLAN Notices, v.23 n.7, p.329-338, July 1988
	Christopher W. Fraser , Alan L. Wendt, Integrating code generation and optimization, ACM SIGPLAN Notices, v.21 n.7, p.242-248, July 1986
	Dawson R. Engler , Todd A. Proebsting, DCG: an efficient, retargetable dynamic code generation system, ACM SIGPLAN Notices, v.29 n.11, p.263-272, Nov. 1994
	V. H. Allan, Peephole optimization as a targeting and coupling tool, ACM SIGMICRO Newsletter, v.20 n.3, p.112-121, Sep. 1989
	Gert Goossens , Johan Van Praet , Dirk Lanneer , Werner Geurts , Augusli Kifli , Clifford Liem , Pierre G. Paulin, Embedded software in real-time signal processing systems: design technologies, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Jack W. Davidson, A retargetable instruction reorganizer, ACM SIGPLAN Notices, v.21 n.7, p.234-241, July 1986
	M. Anton Ertl, Optimal code selection in DAGs, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.242-249, January 20-22, 1999, San Antonio, Texas, United States
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.19 n.6, p.111-116, June 1984
	Susan M. Holzschuh, Optimization of available C compilers for the MC68HC11, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina
	James R. Larus , Eric Schnarr, EEL: machine-independent executable editing, ACM SIGPLAN Notices, v.30 n.6, p.291-300, June 1995
	Jack W. Davidson , David B. Whalley, Ease: an environment for architecture study and experimentation, ACM SIGMETRICS Performance Evaluation Review, v.18 n.1, p.259-260, May 1990
	Bruce K. Holmer, A tool for processor instruction set design, Proceedings of the conference on European design automation, p.150-155, September 19-23, 1994, Grenoble, France
	Roger Hoover , Kenneth Zadeck, Generating machine specific optimizing compilers, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.219-229, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Daniel Kästner , Stephan Wilhelm, Generic control flow reconstruction from assembly code, ACM SIGPLAN Notices, v.37 n.7, July 2002
	Christopher W. Fraser , Todd A. Proebsting, Finite-static code generation, ACM SIGPLAN Notices, v.34 n.5, p.270-280, May 1999
	Jack W. Davidson , Richard A. Vaughan, The effect of instruction set complexity on program size and memory performance, ACM SIGPLAN Notices, v.22 n.10, p.60-64, Oct. 1987
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Rajeev Kumar , Amit Gupta , B. S. Pankaj , Mrinmoy Ghosh , P. P. Chakrabarti, Post-compilation optimization for multiple gains with pattern matching, ACM SIGPLAN Notices, v.40 n.12, December 2005
	Sorav Bansal , Alex Aiken, Automatic generation of peephole superoptimizers, ACM SIGPLAN Notices, v.41 n.11, November 2006
	David Ryan Koes , Seth Copen Goldstein, Near-optimal instruction selection on dags, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
	Sheayun Lee , Jaejin Lee , Chang Yun Park , Sang Lyul Min, Selective code transformation for dual instruction set processors, ACM Transactions on Embedded Computing Systems (TECS), v.6 n.2, p.10-es, May 2007
	Cliff Click , Michael Paleczny, A simple graph-based intermediate representation, ACM SIGPLAN Notices, v.30 n.3, p.35-49, March 1993
	J. W. Davidson , J. V. Gresh, Cint: a RISC interpreter for the C programming language, ACM SIGPLAN Notices, v.22 n.7, p.189-198, July 1987
	Norman Ramsey, Pragmatic aspects of reusable program generators, Journal of Functional Programming, v.13 n.3, p.601-646, May 2003