Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System

Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard

Many program transformations and optimizations require information about the future behavior of the program. A standard way to obtain this information is to build an intermediate p…