Analyzing exotic instructions for a retargetable code generator

ABSTRACT

Exotic instructions are complex instructions, such as block move, string search, and string edit, which are found on most conventional computers. Recent retargetable code generator and instruction set analysis systems have not dealt with exotic instructions. A method to analyze exotic instructions is presented which provides the information needed by a retargetable code generator. The analysis uses source-to-source transformations to prove the equivalence of high-level language operators to exotic instructions. Examples are presented which illustrate the analysis process.

REFERENCES

• 1: M. R. Barbacci, G.E. Barnes, R.G. Cattell, and D.P. Siewiorek, "The ISPS Computer Description Language," Technical Report, Computer Science Department, CMU, Pittsburgh, PA (August, 1977).
• 2: David Robbins Barstow, Automatic construction of algorithms and data structures using a knowledge base of programming rules., 1978
• 3: Burroughs, B4800/B3800/B2800 Systems Reference Manual, Burroughs Corporation (October, 1976).
• 4: 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]
• 5: DEC, VAX-11/780 Architecture Handbook, Digital Equipment Corporation (1976).
• 6: D.G, "Programmer's Reference Manual: Eclipse Line Computers," 015-000024-04, Data General Corporation (March, 1975).
• 7: J. K. Foderaro, The Franz Lisp Manual, Computer Science Division, University of California, Berkeley (1980).
• 8: 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]
• 9: 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
• 10: R. R. Henry, "The Code Generator Generator's Work Station: Experiments with the Graham. Glanville Machine Independent Code Algorithms for Code Generation," Master's Project Report, Electronics Research Laboratory, University of CA, Berkeley (1981).
• 11: IBM, "IBM System/370 Principles of Operation," (GA22-7000-8), IBM Corporation Manual (October 1961).
• 12: Intel, The 8086 Family User's Manual, Intel Corporation (October 1979).
• 13: 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]
• 14: T.M. Morgan, "Instruction Set Analysis and Retargetable Code Generation in the Presence of Exotic Instructions," PhD Dissertation, Computer Science Division, University of California, Berkeley, CA (June, 1982).
• 15: John Denniston Oakley, Symbolic execution of formal machine descriptions, 1979
• 16: L. A. Rowe, J. R. Cortopassi, D. P. Doucette, and K. A. Shoens, Rigel Language Specification, Computer Science Division, University of California, Berkeley (June, 1981).
• 17: T. A. Standish, D. C. Harriman, D. F. Kibler, and J. M. Neighbors, "The Irvine Program Transformation Catalogue," Technical Report, Department of Information and Computer Science, University of California, Irvine, CA (1976).

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Retargetable compilers

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

General Terms:
Languages