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

[James Molloy via llvm-commits]

jmolloy updated this revision to Diff 36220.
jmolloy added a comment.

Hi Hal, Sanjoy,

Thanks for the review. I've addressed both your comments, and:

- Hooked this up to InstSimplify - it turned out Hal's idea about computeKnownBits wasn't known to it, so it learned something.
- Switched to using a lit test, now instsimplify uses this function.


Repository:
  rL LLVM

http://reviews.llvm.org/D12801

Files:
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/InstructionSimplify.cpp
  lib/Analysis/ValueTracking.cpp
  test/Analysis/ValueTracking/known-non-equal.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12801.36220.patch
Type: text/x-patch
Size: 5139 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151001/9f1b54ca/attachment.bin>