Differential Revision: https://reviews.llvm.org/D49216 llvm-svn: 336881
isKnownNegation() is currently proposed as part of D48754, but it could be used to make InstSimplify stronger independently of any abs() improvements. llvm-svn: 336822