An Optimizing Pascal Compiler
- 1 November 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-6 (6) , 512-519
- https://doi.org/10.1109/tse.1980.230800
Abstract
The architecture of a production optimizing compiler for Pascal is described, and the structure of the optimizer is detailed. The compiler performs both interprocedural and global optimizations, in addition to optimization of basic blocks. We have found that a high-level structured language such as Pascal provides unique opportunities for effective optimization, but that standard optimization techniques must be extended to take advantage of these opportunities. These issues are considered in our discussion of the optimization algorithms we have developed and the sequence in which we apply them.Keywords
This publication has 10 references indexed in Scilit:
- Machine-independent PASCAL code optimizationPublished by Association for Computing Machinery (ACM) ,1979
- A fast algorithm for finding dominators in a flowgraphACM Transactions on Programming Languages and Systems, 1979
- Assignment Commands with Array ReferencesJournal of the ACM, 1978
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- Recursion analysis for compiler optimizationCommunications of the ACM, 1976
- Postlude to a PASCAL-compiler bootstrap on a decsystem-10Software: Practice and Experience, 1976
- Register allocation via usage countsCommunications of the ACM, 1974
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972
- Optimization of Straight Line ProgramsSIAM Journal on Computing, 1972
- The design of a pascal compilerSoftware: Practice and Experience, 1971