The Accuracy of the Non-continuous I Test for One- Dimensional Arrays with References Created by Induction Variables

Qing Zhang
Volume: 10, No: 4, Page: 523 ~ 542, Year: 2014
10.3745/JIPS.01.0005
Keywords: Data Dependence Analysis, Loop Parallelization, Loop Vectorization, Parallelizing/Vectorizing Compilers
Full Text:

Abstract
One-dimensional arrays with subscripts formed by induction variables in real programs appear quite frequently. For most famous data dependence testing methods, checking if integer-valued solutions exist for one-dimensional arrays with references created by induction variable is very difficult. The I test, which is a refined combination of the GCD and Banerjee tests, is an efficient and precise data dependence testing technique to compute if integer-valued solutions exist for one-dimensional arrays with constant bounds and single increments. In this paper, the non-continuous I test, which is an extension of the I test, is proposed to figure out whether there are integer-valued solutions for one-dimensional arrays with constant bounds and non-sing ularincrements or not. Experiments with the benchmarks that have been cited from Livermore and Vector Loop, reveal that there are definitive results for 67 pairs of one- dimensional arrays that were tested.

Article Statistics
Multiple requests among the same broswer session are counted as one view (or download).
If you mouse over a chart, a box will show the data point's value.


Cite this article
IEEE Style
Qing Zhang, "The Accuracy of the Non-continuous I Test for One- Dimensional Arrays with References Created by Induction Variables," Journal of Information Processing Systems, vol. 10, no. 4, pp. 523~542, 2014. DOI: 10.3745/JIPS.01.0005.

ACM Style
Qing Zhang, "The Accuracy of the Non-continuous I Test for One- Dimensional Arrays with References Created by Induction Variables," Journal of Information Processing Systems, 10, 4, (2014), 523~542. DOI: 10.3745/JIPS.01.0005.