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.


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
Glasgow Author(s) Enlighten ID:Singer, Dr Jeremy
Authors: Singer, J.
College/School:College of Science and Engineering > School of Computing Science
Published Online:12 June 2021

University Staff: Request a correction | Enlighten Editors: Update this record