Value numbering based common subexpression elimination. Reference: Value Driven Redundancy Elimination - Loren Taylor Simpson.