Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is no

overflow.  These subsume some existing equality transforms, so zap those.

llvm-svn: 125843