Extended SSA numbering: Introducing SSA properties to languages with multi-level pointers (1998) [15 citations — 2 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Lapkowski98extendedssa,author = {Christopher Lapkowski and Laurie J. Hendren},
title = {Extended SSA numbering: Introducing SSA properties to languages with multi-level pointers},
booktitle = {ACAPS Tech. Memo 102, Sch. of Comp. Sci., McGill U},
year = {1998},
pages = {128--143},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Static Single Assignment (SSA) intermediate representations have become quite popular in compiler development. One advantage of the SSA form is that each use of a variable corresponds to exactly one definition, and thus two references of the same SSA variable must denote the same value. To date, most SSA forms concentrate on scalar variables, and it is difficult to extend these intermediate representations to languages with multi-level pointers like C. Translating a program into SSA form requires two steps. The first is inserting OE-nodes that join values from different flow of control paths, and the other renames variables such that each name has exactly one definition. When designing SSA forms to handle pointers, the insertion of OE-nodes is quite difficult. Thus, we propose a method that concentrates on the second step, in that we associate an SSA number to each variable reference, including references via pointers. Even without OE-nodes, we retain some of the properties of SSA such as "one value per name " when the SSA number is used as part of the name. In addition to a primary SSA number for scalar variables we introduce a secondary SSA
