Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows,

plus some variations of this.  According to my auto-simplifier this occurs a lot
but usually in combination with max/min idioms.  Because max/min aren't handled
yet this unfortunately doesn't have much effect in the testsuite.

llvm-svn: 125462