Survey About Value Numbering Optimization

Value Numbering is a fundamental technique used in optimizer compilers and model checking tools to detect equivalence between different expressions and eliminate the redundant computations. This survey reviews the evolution of value numbering, explores various algorithms, and discusses related techniques such as Herbrand equivalence. We compare the efficiency and precision of different value numbering algorithms, highlighting their strengths and weaknesses. This paper aims to provide a comprehensive understanding of value numbering and its implementations in practical, contributing to the development of more effective optimization algorithms.