Marc Michael Brandis, Hanspeter Mössenböck,
"Single-Pass Generation of Static Single Assignment Form for Structured Languages"
, in ACM Transactions on Programming Languages and Systems, 11-1994, ACM Trans. on Programming Languages and Systems 16(6), Nov.1994, 1684-1698
Original Titel:
Single-Pass Generation of Static Single Assignment Form for Structured Languages
Sprache des Titels:
Englisch
Original Kurzfassung:
Over the last few years, static single assignment (SSA) form has been established as a suitable intermediate
program representation that allows new powerful optimizations and simplifies others considerably.
Algorithms are known that generate SSA form from programs with an arbitrary flow of control. These
algorithms need several passes. We show that it is possible to generate SSA form in a single pass (even
during parsing) if the program contains only structured control flow (i.e., no gotos). For such programs
the dominator tree can be built on the fly, too.
Sprache der Kurzfassung:
Englisch
Journal:
ACM Transactions on Programming Languages and Systems
Erscheinungsmonat:
11
Erscheinungsjahr:
1994
Notiz zum Zitat:
ACM Trans. on Programming Languages and Systems 16(6), Nov.1994, 1684-1698
Forschungs-