The GCD and Banejee tests are the standard subscript dependence tests used to determine whether loops may be paraUelized/vectorized. The present work discusses the I Test, a subscript dependence test which extends both the range of applicability and the accuracy of these tests. It promises to be especially useful when, in the event that a positive result must be reported, a definite positive is of more use than a tentative positive, and when insufficient loop iteration limits are known for the Banejee test to apply.
Scientific source code for high performance computers is extremely complex containing irregular control structures with complicated expressions. This complexity makes it difficult for compilers to analyze the code and perform optimizations. In particular with regard to program parallelization, complex expressions are often not taken intro consideration during the data dependence analysis phase. In this work we propose new data dependence analysis techniques to handle such complex instances of the dependence problem and increase program parallelization. Our method is based on a set of polynomial time techniques that can prove or disprove dependences in the presence of non-linear expressions, complex loop bounds, arrays with coupled subscripts, and if-statement constraints. In addition our algorithm can produce accurate and complete direction vector information enabling the compiler to apply further transformations.. To validate our method we performed an experimental evaluation and comparison against the ITest, the Omega test and the Range test in the Perfect and SPEC benchmarks. The experimental results indicate that our dependence analysis tool is efficient and more effective in program parallelization than the other dependence tests. The improved parallelization of key loops results into higher speedups and better program execution performance in several benchmarks.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.