Value Numbering

定义 Definition

值编号（Value Numbering）：编译器优化中的一种技术，用“编号”来表示程序中计算得到的等价值（相同表达式结果），从而识别并消除重复计算（常用于公共子表达式消除、冗余消除）。常见变体包括局部值编号（LVN）与全局值编号（GVN）。

发音 Pronunciation

/ˈvæljuː ˈnʌmbərɪŋ/

词源 Etymology

由 value（值、数值、结果） + numbering（编号、赋号） 组成，字面意思是“给值分配编号”。在编译原理语境中，“值”更偏向“表达式计算结果的抽象代表”，通过编号来追踪等价关系。

例句 Examples

Value numbering can remove repeated computations inside a basic block.
值编号可以在一个基本块内消除重复计算。

By applying global value numbering, the optimizer proved that two different-looking expressions produced the same value and replaced one with a reused result.
通过应用全局值编号，优化器证明两个看起来不同的表达式会产生相同的值，并将其中一个替换为复用的结果。

相关词 Related Words

• Common Subexpression Elimination
• Dead Code Elimination
• Constant Folding
• Compiler Optimization
• Basic Block
• Dataflow Analysis
• Partial Redundancy Elimination
• SSA

文学作品与著名文本 Literary Works

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在优化相关章节中讨论等价表达式识别与消除，常与值编号思想并列出现。
• Engineering a Compiler（Cooper & Torczon）：介绍局部/全局优化时常提及值编号及其与冗余消除的关系。
• Modern Compiler Implementation（Andrew W. Appel）：在中间表示与优化策略讨论中涉及用等价类思想进行优化，和“值编号”概念高度相关。