A hierarchical basis for reordering transformations
A hierarchical basis for reordering transformations
复制标题
重新排序转换的分层基础
DOI：
10.1145/800017.800539
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
J. Warren
中科院分区：
文献类型：
--
作者：
J. Warren
本文提出了一种新的基于依赖的程序表示法。这种表示是两个先前独立概念的结合：循环承载依赖和层次抽象。结果形式具有这样的属性，即对给定循环中包含的语句的所有执行集合进行重新排序所需的所有信息都存在于该循环的表示中。因此，这种表示为诸如向量化和循环融合的重新排序变换提供了理想的基础。作为证据，我们给出了有效的算法，这两个转换的基础上，这种表示。
In this paper, we propose a new dependence baaed program representation. This representation is the union of two previously separate concepts: loop carried dependence and hierarchical abstraction. The resulting form has the property that all information necessary to reorder the set of all executions of the statements contained in a given loop exists in the representation of that loop. Thus, this representation provides an ideal basis for reordering transformations such as vectorisation and loop fusion. As evidence of this, we give efficient algorithms for these two transformations based on this representation.