Copy Propagation

释义 Definition

（编译器优化/程序分析）复制传播：把形如 x = y 这样的“简单赋值”所产生的等价关系向后传播，将后续使用到 x 的位置替换为 y，从而减少不必要的临时变量与赋值，并为进一步优化（如死代码删除）创造条件。（在有指针/别名、副作用或重定义时需要谨慎处理。）

发音 Pronunciation

/ˈkɑːpi ˌprɑːpəˈɡeɪʃən/

例句 Examples

The compiler performs copy propagation.
编译器会进行复制传播优化。

After converting the code to SSA form, copy propagation can replace many temporary variables with their original sources, enabling dead code elimination and improving performance.
把代码转换为 SSA 形式后，复制传播可以将许多临时变量替换为其原始来源，从而触发死代码删除并提升性能。

词源 Etymology

copy 原义为“复制、拷贝”，在编译语境里常指“把一个变量的值拷贝给另一个变量”的赋值；propagation 意为“传播、扩散”。合起来就是把“拷贝关系/等价关系”在控制流中向后“传播”，让更多使用点直接引用源变量（或源表达式的结果）。

相关词 Related Words

• Alias Analysis
• Compiler
• Common Subexpression Elimination
• Constant Propagation
• Data-Flow Analysis
• Dead Code Elimination
• Optimization
• SSA

文学作品/经典著作中的用例 Literary Works

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在数据流分析与局部/全局优化章节中讨论复制传播及其与其他优化的配合。
• Engineering a Compiler（Cooper & Torczon）：以工程实现角度介绍 copy propagation 的实现位置、条件与收益。
• Advanced Compiler Design and Implementation（Muchnick）：较系统地覆盖传播类优化（含 copy propagation）与相关的中间表示与分析框架。
• Modern Compiler Implementation（Andrew Appel）：在中间代码优化与 SSA/寄存器分配相关内容中涉及复制传播的作用与实现思路。