Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA
Keywords: Global Value Numbering; Redundancy detection; Equivalence detection; Value Ï-function;