JIPS (한국정보처리학회)
Current Result Document :
| 한글제목(Korean Title) |
The Accuracy of the Non-continuous I Test for One- Dimensional Arrays with References Created by Induction Variables |
| 영문제목(English Title) |
The Accuracy of the Non-continuous I Test for One- Dimensional Arrays with References Created by Induction Variables |
| 저자(Author) |
Qing Zhang
|
| 원문수록처(Citation) |
VOL 10 NO. 04 PP. 0523 ~ 0542 (2014. 12) |
한글내용
(Korean Abstract) |
|
영문내용
(English 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.
|
| 키워드(Keyword) |
Data Dependence Analysis
Loop Parallelization
Loop Vectorization
Parallelizing/Vectorizing Compliers
|
| 파일첨부 |
PDF 다운로드
|
