RSSA: a reversible SSA form
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
The SSA form (Static Single Assignment form) is used in compilers as an intermediate language as an alternative to traditional three-address code because code in SSA form is easier to analyse and optimize using data-flow analysis such as common-subexpression elimination, value numbering, register allocation and so on. We introduce RSSA, a reversible variant of the SSA form suitable as an intermediate language for reversible programming languages that are compiled to reversible machine language. The main issues in making SSA reversible are the unsuitability for SSA of the reversible updates and exchanges that are traditional in reversible languages and the need for ϕ-nodes on both joins and splits of control-flow. The first issue is handled by making selected uses of a variable destroy the variable and the latter by adding parameters to labels. We show how programs in the reversible intermediate language RIL can be translated into RSSA and discuss copy propagation, constant propagation and register allocation in the context of RSSA.
Original language | English |
---|---|
Title of host publication | Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers |
Editors | Manuel Mazzara, Andrei Voronkov |
Number of pages | 15 |
Publisher | Springer |
Publication date | 2016 |
Pages | 203-217 |
ISBN (Print) | 978-3-319-41578-9 |
ISBN (Electronic) | 978-3-319-41579-6 |
DOIs | |
Publication status | Published - 2016 |
Event | 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics, PSI 2015 - Kazan and Innopolis, Russian Federation Duration: 24 Aug 2015 → 27 Aug 2015 |
Conference
Conference | 10th International Andrei Ershov Informatics Conference on Perspectives of System Informatics, PSI 2015 |
---|---|
Land | Russian Federation |
By | Kazan and Innopolis |
Periode | 24/08/2015 → 27/08/2015 |
Series | Lecture notes in computer science |
---|---|
Volume | 9609 |
ISSN | 0302-9743 |
ID: 168284239