複製傳播

在計算機科學中，複製傳播（copy propagation）是一種編譯器優化技術，在GCC、LLVM等大型編譯器中均有使用此技術。

假設有一直接賦值語句（direct assignment） $x:=y$ ，則 $x$ 是其賦值目標， $y$ 是這個賦值語句的值。那麼複製傳播便是將代碼中所有出現的、能被替換的 $x$ ，統統直接替換成該語句的值 $y$ 的一個過程。

在計算什麼賦值目標能被安全地替換時，複製傳播經常會使用到定義可達性、use-def鏈、def-use鏈這些算法。以 $x:=y$ 為例，如果 $x$ 這個賦值目標在程序中的某個點 $p$ 之前從未被重新賦值過，則在點 $p$ 以前都可以安全地使用 $y$ 替代 $x$ 。

範例

對於以下代碼：

   x = y
   z = 3 + x

經過複製傳播轉換後，會形成以下代碼：

   z = 3 + y

可見原代碼中多餘的賦值操作已被複製傳播消除。由於其它優化技術，如公共子表達式消除經常會產生這種類型的多餘賦值操作，因此複製傳播屬於是一種尤為重要的「代碼清理」優化。

相關鏈接

• 複製省略
• 常數摺疊

補充書目、地址與網址

• Muchnick, Steven S. Advanced Compiler Design and Implementation. Morgan Kaufmann. 1997.