value-numbering

本文解释了值编号，一种编译器优化技术，用于识别相同的计算以避免冗余，基于静态单赋值（SSA）形式，并使用哈希合并进行高效比较。