Singer, J. (2022) Introduction. In: Rastello, F. and Bouchez Tichadou, F. (eds.) SSA-based Compiler Design. Springer: Cham, pp. 3-12. ISBN 9783030805142 (doi: 10.1007/978-3-030-80515-9_1)
Full text not currently available from Enlighten.
Abstract
This first chapter introduces the static single assignment property, providing informal and intuitive motivations for representing programs in this manner. We show how several primitive program structures can be transformed into static single assignment form. We explain the purpose of the phi-function in terms of merging values from different incoming paths at control-flow merge points. We then review the historical context of SSA, including its relationship to functional programming. Finally, we discuss its widespread adoption in current compilation toolchains.
Item Type: | Book Sections |
---|---|
Status: | Published |
Glasgow Author(s) Enlighten ID: | Singer, Dr Jeremy |
Authors: | Singer, J. |
College/School: | College of Science and Engineering > School of Computing Science |
Publisher: | Springer |
ISBN: | 9783030805142 |
Published Online: | 12 June 2021 |
University Staff: Request a correction | Enlighten Editors: Update this record