Memory Reuse Analysis in the Polyhedral Model
Doran K. Wilde, Sanjay V. Rajopadhye · Parallel Processing Letters · 1997
In the context of developing a compiler for a ALPHA, a functional data-parallel language based on systems of affine recurrence equations (SAREs), we address the problem of transforming scheduled single-assignment code to multiple assignment code. We show how the polyhedral model allows us to statically compute the lifetimes of program variables, and thus enables us to derive necessary and sufficient conditions for reusing memory.