串行FORTRAN向量化时凝聚识别图的规范化

文[2]提出了一种将串行FORTRAN内层DO循环向量化的方法,在运用这种方法对串行FORTRAN程序向量化时,要把识别图规范化,本文在文[2]的基础上,提出了凝聚识别图和强最大路长的概念,根据图中各点的强最大路长即可很方便地将凝聚识别图规范化。本文作者用BASIC语言编出了程序,且已在机器上通过,并对文中的例子作了实际验证。     

数据流方程组的公式解法

数据流方程有许多解法,如J.Cocke和 F.E.Allen 等提出的区间法以及J.D.Ullman等提出的迭代法,这些方法的“对角线项”是求解中的主要困难。张鸣华证明了方程的最小解与“对角线项”无关,因此提出了一种直接解法。为了求解,要把数据流方程显式化,本文给出了求显式方程的算法,并且提出了一个公式,应用这个公式,可以直接把显式方程写出来。     

FORTRAN DO循环中某些赋值语句表达式的向量化

本文在吴明霞、陈火旺初探用向量运算代替串行FORTRAN DO 循环中某些赋值语句的基础上,对文[1]认为不可量化的赋值语句的右端表达式是否可向量化的问题作了进一步探讨,本文指出不可向量化赋值语句的右端表达式有时可以向量化。     

可向量化子表达式的外提

本文在文[1]的基础上,讨论了可向量化子表达式的外提问题,并给出了提取可向量化子表达式的方法步骤。