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


Qing Zhang, Journal of Information Processing Systems Vol. 10, No. 4, pp. 523-542, Aug. 2014

10.3745/JIPS.01.0005
Keywords: Data Dependence Analysis, Loop Parallelization, Loop Vectorization, Parallelizing/Vectorizing Compilers
Fulltext:

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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.




Cite this article
[APA Style]
Qing Zhang (2014). 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), 523-542. DOI: 10.3745/JIPS.01.0005.

[IEEE Style]
Q. 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. 2014. 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.