Iteration Space Partitioning

摘要

We present a method to isolate a loop-body for all iterations in a particular polyhedral set. This isolation is done by successively partitioning execution sets of individual DO-loops in the loop, thereby partitioning the iteration space according to the linear inequalities that define the polyhedral set. This method can be used to simplify programs or to support data structure transformations.