Fix a bug that was causing the elimination phase not to replace values when it should be.

With this patch, GVN-PRE now correctly optimizes the example from the thesis.

Many thanks to Daniel Berlin for helping me find errors in this.

llvm-svn: 37525