
Chapter 4
Polyhedral Techniques for Parametric
Memory Requirement Estimation
Philippe Clauss
Team CAMUS, INRIA
University of Strasbourg, France
Diego Garbervetsky
Universidad de Buenos Aires, Argentina
Vincent Loechner
Team CAMUS, INRIA
University of Strasbourg, France
Sven Verdoolaege
INRIA Saclay, France
Contents
4.1 Estimating Memory Requirements of a Loop Nest ..................118
4.2 The Polyhedral Model of Loop Nests ................................119
4.2.1 Loop nests and polyhedra .....................................119
4.2.2 Data-flow analysis .............................................121
4.2.3 Software tools ................................................. ...