Value numbering
Value numbering is a technique of determining when two computations in a program are equivalent and eliminating one of them with a semantics-preserving optimization. == Global value numbering == Global value numbering (GVN) is a compiler optimization based on the static single-assignment form (SSA) intermediate representation.