Value numbering

值编号是一种编译器优化技术，用于识别在编译时已知会在运行时产生相同值的指令，从而消除重复计算。它类似于静态单赋值形式，但能更有效地跨基本块进行公共子表达式消除。