The I+ Test

: 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 1( , , )d = = =... 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.

• Type: Conference
• Year: 1998
• Where: LCPC
• Authors: Weng-Long Chang, Chih-Ping Chu
• Keywords: Direction Vectors, LCPC 1998, Specific Direction Vectors, System Software, Theoretical Aspects