Fuzzy array dataflow analysis

Exact array dataflow analysis can be achieved in the general case if the only control structures are <italic>do</italic>-loops and structural <italic>if</italic>s, and if loop counter bounds and array subscripts are affine expressions of englobing loop counters and possibly some integer constants. In this paper, we begin the study of dataflow analysis of dynamic control programs, where arbitrary <italic>if</italic>s and <italic>while</italic>s are allowed. In the general case, this dataflow analysis can only be fuzzy.

[1]  Rajiv Gupta,et al.  A practical data flow framework for array reference analysis and its use in optimizations , 1993, PLDI '93.

[2]  P. Feautrier.  Parametric integer programming , 1988 .

[3]  Vadim Maslov,et al.  Lazy array data-flow dependence analysis , 1994, POPL '94.

[4]  Utpal Banerjee,et al.  Dependence analysis for supercomputing , 1988, The Kluwer international series in engineering and computer science.

[5]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[6]  Monica S. Lam,et al.  Array-data flow analysis and its use in array privatization , 1993, POPL '93.