三种赋值与限制条件
标量赋值,赋值左部或为标量,或为下标表达式与循环控制变量无关的构造型数据结构的元素;
构造型数据结构的元素赋值,赋值左部为下标表达式含有循环控制变量的元素;
结构赋值;
结构赋值,赋值左部为一个结构对象(或片段)。
一般意义下的标量赋值是无需并行处理的,而临时变量的标量扩张和归纳变量的代入消除,已经试之转换成元素赋值。于是,从自动并行处理的角度讲,我们已经有理由人为标量赋值本身不必并行处理,而结构赋值本身已经并行处理。所以以后考虑的单层循环满足以下条件:
(1) 完全由元素赋值构成;
(2) 循环控制变量进线性的出现在下边中;
(3) 对于每个下标变量,循环控制变量只出现在它的一个维片上;
(4) 不存在语句函数和外部函数引用,以及过程调用;