[PATCH] D12801: [ValueTracking] Add a new predicate: isKnownNonEqual()

[Sanjoy Das via llvm-commits]

sanjoy added a subscriber: sanjoy.
sanjoy added a comment.

I don't think you need to check for no-wrap -- a non-zero `B` should be sufficient to prove `A + B != A`.


Repository:
  rL LLVM

http://reviews.llvm.org/D12801