多变量数组下标表达式的分解与相关性测试

Decomposition and Dependence Tests on Array Subscripts with Multiple Variables

针对多变量数组下标表达式之间的相关性不能有效测试的问题，提出了一个分解算法．运用该算法，在一定条件下可以将一个多变量的数组下标相关方程分解成多个独立的、简单的相关方程，从而有效地提高相关分析的精度．该算法的时间开销小。

he data dependence test directly anects the performance of parallelizing compilers.Aimed at overcoming the difficulty in the data dependence test on array subscripts with mul-tiple variables,a decomposition algorithm is proposed, which can decompose a complex de-pendence equation into several simple ones under certain conditions. These simple equationscan usually be accurately tested.An analysis shows that the time complexity of this algo-rithm is O(n).