Redundancy elimination using Global Value Numbering | IEEE Conference Publication | IEEE Xplore