Abstract

Programming languages are designed to make programming productive. Computer architectures are designed to make program execution efficient. Although architectures should be designed with programming languages in mind, it may be as inappropriate to make the computer execute the programming language directly as it is to make the programmer use machine language. It is the compiler's job to match the programming language and the computer architecture, and therefore making compilers efficient and easy to write are important design goals of a complete hardware/software system. This paper summarizes research completed in 1980 [5] on a computer architecture, TM, that takes over some of the more burdensome tasks of optimizing compilers for high-level-languages (HLL's), performing these tasks dynamically during the execution of the object program. This is a different approach to making compilers efficient than is commonly taken; more common approaches include devising more efficient optimization algorithms[I], being clever about when to do optimizations [4], and building the compilers semiautomatically [6]. 1.

Citations

124	Principles of Compiler Design - Aho, Ullman - 1977
34	The Design of an Optimizing Compiler - Wulf, Weinstock, et al. - 1975
9	Global program optimizations - GESCHKE - 1972
8	A Computer Architecture for the Dynamic Optimization of High-Level Language Programs - Harbison - 1980
4	On the advantages of tagged architectures - Feustal - 1973
1	Adaptive Systems for the Dynamic Run - Time Optimization of Programs - Hansen - 1974
1	et al. An Overview of the Production Quality Compiler-Compiler Project - Leverett - 1979