Title: One-dimensional I test and direction vector I test with array references by induction variable

Authors: Minyi Guo, Weng-Long Chang, Jian Lu, Minglu Li

Addresses: School of Computer Science and Engineering, University of Aizu, Aizu-Wakamatsu City, 965 8580 Fukushima, Japan, and State Key Lab for Novel Software Technology, Nanjing University, PR China. ' Department of Computer Science and Information Engineering, National Kaohsiung University of Applied Sciences, 415 Chien Kung Road, 807 Kaohsiung, Taiwan. ' State Key Lab for Novel Software Technology, Nanjing University, PR China. ' Department of Computer Science and Engineering, Shanghai JiaoTong University, Shanghai, China

Abstract: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated above is presented. Also, it is proved from the proposed theoretical aspects that under a specific direction vector there are integer-valued solutions for one-dimensional arrays with subscripts formed by induction variable and under other specific direction vectors there are no integer-valued solutions. Experiments with benchmarks, cited from Parallel loop, Vector loop and TRFD (Perfect benchmark), reveal that our framework can properly enhance the precision of data dependence analysis for one-dimensional arrays with subscripts mentioned above.

Keywords: parallelising compilers; vectorising compilers; data dependence analysis; loop parallelisation; loop vectorisation; automatic loop transformation; interval test; array references; induction variable; one-dimensional arrays; subscripts; distributed memory systems.

DOI: 10.1504/IJHPCN.2005.008564

International Journal of High Performance Computing and Networking, 2005 Vol.3 No.4, pp.219 - 226

Published online: 30 Dec 2005 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article