THE USE OF ITERATION SPACE PARTITIONING TO CONSTRUCT REPRESENTATIVE SIMPLE SECTIONS

A method is presented of constructing a number of regions in a 2-dimen sional array such that all accesses that can be induced by an arbitrar y occurrence of this array in a program are limited to one of these re gions. The index set of such regions will be described in terms of 2-d imensional simple sections. Furthermore, we show how simple loop trans formations can be used to increase the number of resulting regions. In particular, this method is very useful for a restructuring compiler t hat performs data structure transformations. (C) 1996 Academic Press, Inc.