【摘要】 在强化定理的基础上,文献[3]建立的闭合定理与判别定理把单层控制依赖转移到闭体的单层数据依赖之中,进而利用文献[4—9]关于赋值语句循环的成果解决它们的向量化问题。本文运用上述思想于包含控制结构的多重循环,把多重控制依赖转移到多重数据依赖之中,进而利用文献[10,11]关于多重赋值语句循环的已有成果,圆满地解决包含控制结构的多重循环的向量化问题。文中的例题尽管已简化到仅起示意作用,但仍复杂到向量化文献迄今未曾处理过,本文成功地实现了它们的向量化。更多还原

【Abstract】 Based on references[1-9], multi-layer control dependance is converted to multi-layer data dependance in the paper. Then, by using the results of multi-layer assignment statement loops in references [10,11], the problem about the vectorization of multi-layer loops with control structures has been satisfactorily solved.更多还原