Compiling Janus to RSSA

Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster

In: International Conference on Reversible Computation, RC 2021, Virtual Conference

https://doi.org/10.1007/978-3-030-79837-6_4

June 23, 2021

Abstract

Reversible programming languages have been a focus of research for more than the last decade mostly due to the work of Glück, Yokoyama, Mogensen, and many others. In this paper, we report about our recent activities to compile code written in the reversible language Janus to reversible static-single-assignment form RSSA and to three-address-code, both of which can thereafter be compiled to C. In particular, this is – to our knowledge – the first compiler from Janus to RSSA. In addition, we have implemented a novel technique for a reversible compiler by executing the code generator itself in reverse. Our compiler provides the basis for optimizations and further analysis of reversible programs.