Add an instcombine for constructs like a | -(b != c); a select is more

canonical, and generally leads to better code.  Found while looking at
an article about saturating arithmetic.

llvm-svn: 129545