Compiler-based Automation Approaches to Reverse Computation

Abstract

Automation is useful to facilitate reverse code generation from normal code. Here, we describe our source-to-source compilation approaches to automatic reverse code generation, developed along three different translation tools/frameworks. At RPI, we are developing frameworks based on PIPS, which is a purely source-to-source translation and optimization tool for parallel computing, and on CLANG/LLVM, which is a full compiler complete with backend processing and optimizers. At ORNL we are continuing development of the seminal reverse computation framework called RCC (Reverse C Compiler) system. For all three systems, we present some implementation issues and challenges encountered in our development.