Slide 1A Polynomial-Time Algorithm for Global Value Numbering SAS 2004 Sumit Gulwani George C. Necula Slide 2 1 Global Value Numbering Goal: Discover equivalent expressions…