Machine-independent PASCAL code optimization

ABSTRACT

A variant of PASCAL pseudo-code which is suitable for optimization is presented. This new language, Universal pseudo-code, is designed to be easily extended to meet the needs of a variety of target machines. The language is further designed such that only one optimizer need be written for it. This approach lends itself well to the portable software spirit of PASCAL. The problems and opportunities associated with optimization at this level are discussed.

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: Allen, F. E. {1969}. Program Optimization, Annual Review of Automatic Programming 5, 239-307.
• 3: F. E. Allen , J. Cocke, A program data flow analysis procedure, Communications of the ACM, v.19 n.3, p.137, March 1976 [doi>10.1145/360018.360025]
• 4: Jeffrey M. Barth, A practical interprocedural data flow analysis algorithm, Communications of the ACM, v.21 n.9, p.724-736, Sept. 1978 [doi>10.1145/359588.359596]
• 5: John Cocke, Global common subexpression elimination, ACM SIGPLAN Notices, v.5 n.7, p.20-24, July 1970
• 6: Gilbert, E. J., and Wall D. W. {1978} P-Code Intermediate Assembler Language PAIL-3, Stanford Artificial Intelligence Laboratory, Stanford, Ca, 94305.
• 7: David B. Loveman, Program improvement by source to source transformation, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.140-152, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811548]
• 8: Edward S. Lowry , C. W. Medlock, Object code optimization, Communications of the ACM, v.12 n.1, p.13-22, Jan. 1969 [doi>10.1145/362835.362838]
• 9: Montague, J., and Zucconi, L. {1979}. Modified P-code for the LASL P-code Assembler, Los Alamos Scientific Laboratory, Group C-7, Los Alamos, NM, 87545.
• 10: Newcomer, J.M. {1975}. Removal of Invariant Statements from Nested Loops in a Single Effective Compiler Pass, Ph.D dissertation, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa.
• 11: Palm, R.C., Jr. {1975}. A Portable Optimizer for the Language C, M. Sc. Thesis, Massachussets Institute of Technology, Cambridge, Ma.
• 12: Schneck, P.B., and Angel, E. {1973}. A FORTRAN to FORTRAN optimizing compiler, Computer J. 16:4, 322-330.
• 13: Peter F. Stockhausen, Adapting optimal code generation for arithmetic expressions to the instruction sets available on present-day computers, Communications of the ACM, v.16 n.6, p.353-354, June 1973 [doi>10.1145/362248.362260]
• 14: Wirth, N. {1971}. The Programming Language PASCAL, Acta Informatica 1:1, 35-63.
• 15: Wirth, N. {1971}. The Design of the PASCAL Compiler, Software-Practice and Experience 1:4, 309-333.
• 16: 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

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Pascal
      D.3.4 Processors
          Subjects: Optimization

General Terms:
Languages