论文标题
复制繁殖集合不断传播
Copy Propagation subsumes Constant Propagation
论文作者
论文摘要
不断的传播和复制传播是代码转换，可以避免某些负载操作并可以实现其他优化。在文献中，恒定和复制传播被认为是两个独立的转换，需要两个不同的数据流分析。在这里，我们给出了复制传播的通用定义，使我们能够将恒定的传播视为复制传播的特定情况，并制定了统一这两个转换的新型数据流分析。
Constant propagation and copy propagation are code transformations that may avoid some load operations and can enable other optimizations. In literature, constant and copy propagations are considered two independent transformations requiring two different data flow analyses. Here we give a generic definition for copy propagation which enables us to view constant propagation as a particular case of copy propagation and formulate a novel data flow analysis that unifies these two transformations.
