Dependence Analysis of Fortran90 Array Syntax

Dependence analysis and dependence information are critical components of many optimizing and parallelizing compilers. And there exist many fast and precise dependence tests that work on scalarsubscripted array references. We have extended this analysis by adding tests that directly handle Fortran 90 array-section references. This paper describes our testing methodology and how we have extended direction vectors to contain the additional information. Keywords: dependence analysis, Fortran90, array syntax, direction vectors, scalarization 1 Introduction Fortran 90 and High-Performance Fortran (HPF)[9] are increasingly becoming the language of choice for creating high-performance applications targeted for today's high-end architectures, no matter whether those architectures are parallel, vector or superscalar. The array constructs of these languages have raised the level of abstraction from the strictly scalar constructs of Fortran 77, thus making them more expressive. Unfortunately, ..