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

[James Molloy via llvm-commits]

jmolloy updated this revision to Diff 34546.

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.34546.patch
Type: text/x-patch
Size: 4969 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150911/8eef9b38/attachment.bin>