Value Numbering

This paper describes different techniques for assigning numbers and handling redundancies. It includes experimental evaluation of the relative effectiveness of these different approaches. In value numbering, the compiler can only assign two expressions the same number if it can prove that they always produce equal values. Two techniques for proving this equivalence appear in the literature