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

[James Molloy via llvm-commits]

jmolloy created this revision.
jmolloy added reviewers: majnemer, hfinkel.
jmolloy added a subscriber: llvm-commits.
jmolloy set the repository for this revision to rL LLVM.

isKnownNonEqual(A, B) returns true if it can be determined that A != B.

At the moment it only knows one fact, that a non-wrapping add of nonzero to a value cannot be that value:

    A + B != A [where B != 0, addition is nsw or nuw]

Repository:
  rL LLVM

http://reviews.llvm.org/D12801

Files:
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/ValueTracking.cpp
  unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12801.34545.patch
Type: text/x-patch
Size: 4957 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150911/548eefe6/attachment.bin>