Properties and Flavours

A procedure is in SSA form if every variable is defined only once, and every use of a variable refers to exactly one definition. Many variations, or flavours, of SSA form that satisfy these criteria can be defined, each offering its own considerations. For example, different flavours vary in terms o...

Full description

Saved in:
Bibliographic Details
Published inSSA-based Compiler Design pp. 13 - 22
Main Authors Brisk, Philip, Rastello, Fabrice
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2022
Subjects
Chordal graph
Compiler design
Control-flow graph
Conventional SSA (C-SSA)
Copy folding
Def-use chain
Dominance
Dominator tree
Interference
Join node
Live-range
Minimal SSA
Phi-web
Pruned SSA
Static single assignment form (SSA form)
Strict SSA
Transformed SSA (T-SSA)
Tree scan
Vanilla SSA
Online AccessGet full text
ISBN303080514X
9783030805142
DOI10.1007/978-3-030-80515-9_2

Cover

More Information
Summary:A procedure is in SSA form if every variable is defined only once, and every use of a variable refers to exactly one definition. Many variations, or flavours, of SSA form that satisfy these criteria can be defined, each offering its own considerations. For example, different flavours vary in terms of the number of phi-functions, which affects the size of the intermediate representation; some variations are more difficult to construct, maintain, and destruct than others. This chapter explores these SSA flavours and provides insights into their relative merits in certain contexts.
ISBN:303080514X
9783030805142
DOI:10.1007/978-3-030-80515-9_2