Abstract
In order to automate compiler construction beyond semantic analysis, it is necessary to have a formal framework wherein the properties of the target machine may be expressed precisely, such that they become amenable to automatic treatment. We present a formal model of instruction sets that defines a precise semantics to the concepts encountered on the machine code level: register and storage structure, addressing modes and side effects, instructions, flag settings and so on. We give a number of examples to illustrate how the model can serve in the automatic generation of target machine dependent compiler parts.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
BeN7H C.G. Bell, A. Newell: Computer Structures: Readings and Examples, McGraw-Hill, 1971
R.G.G. Cattell: Formalization and Automatic Derivation of Code Generators, Report CMU-CS-78-115, Carnegie Mellon University, Pittsburgh 1978
P. Cousot, R. Cousot: Systematic Design of Program Analysis Frameworks, Proceedings of 6th ACM Symposium on Principles of Programming Languages, 1979, pp. 269–282
H. Ganzinger: Some Principles for the Development of Compiler Descriptions from Denotational Language Definitions, TUM-INFO 8006, Institut für Informatik, Technical University Munich, 1980
Gie81] R. Giegerich: Automatische Erzeugung von Maschinencode-Optimierern, TUM-I8112, Institut für Informatik, Technical University Munich, 1981 (an English summary appears in [Gie82])
R. Giegerich: Automatic Generation of Machine Specific Code Optimizers, Proceedings of 9th ACM Symposium on Principles of Programming Languages, 1982
R.S. Glanville: A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers, Technical report UCB-CS-78-01, University of California, Berkeley 1978
M. Ganapathi: Retargetable Code Generation and Optimization Using Attribute Grammars, Computer sciences technical report #406, University of Wisconsin, Madison, 1980
Hil80] W. Hilf, Motorola Munich, private communication
W.M. McKeeman: Peephole Optimization, CACM 8,7, 1965, pp. 443–444
Motorola Inc.: MC68000 16 Bit Microprocessor, User Manual, 1979
B.W. Leverett, R.G.G. Cattell, S.O. Hobbs, J.M. Newcomer, A.H. Reiner, B.R. Schatz, W.A. Wulf: An Overview of the Production Quality Compiler-Compiler Project, IEEE Computer, Aug. 1980, pp. 38–49
K. Ripken: Formale Beschreibung von Maschinen, Implementierungen und optimie- render Maschinencodeerzeugung aus attributierten Programm-graphen, TUM-INFO 7731. Institut für Informatik, Technical University Munich, 1977
W. Schürer: Erarbeitung einer Hierarchie von Schnittstellen für die Codeerzeugung für verschiedene Microcomputer, Diplomarbeit, Institut für Informatik, Technical University Munich, 1979
J.E. Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge (Mass. ), 1977
W.M. Waite: Code Generation, in: F.L. Bauer, J. Eickel (eds.): Compiler Construction — An Advanced Course, Lecture Notes in Computer Science No. 25, Springer 1974
W.A. Wulf, R.K. Johnsson. C.B. Weinstock, S.O. Hobbs, C.M. Geschke: The Design of an Optimizing Compiler, American Elsevier, New York 1975
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giegerich, R. (1982). A Formal Model of Instruction Set Semantics. In: Wössner, H. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68355-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-68355-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11204-4
Online ISBN: 978-3-642-68355-8
eBook Packages: Springer Book Archive