向量化中临时数组的引入

INTRODUCING TEMPORARY ARRAY IN VECTORIZATION

本文讨论可向量化ＤＯ循环中临时数组的引入问题．首先精确定义了对一个引用量引入一临时数组的概念，接着讨论了两种有效的引入形式，然后，对所有可向量化的ＤＯ循环证明按有效形式引入临时数组是普通有效的．同时也给出了在何处如何引入临时数组的算法．最后，还讨论了在一般循环分布中的相应问题．

In this paper,the concept of introducing temporary array is defined precisely,and two efficient introduction forms are presented.And then,the universal validity of introducing temporary array is proved and an algorithm for introducing temporary array is given in principle.Thus,the problem of overwriting the vectorizable DO-Loops is solved thoroughly.Finally,the corresponding problem of generized loop distribution is also studied.