Profile-Guided Redundancy Elimination