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

[James Molloy via llvm-commits]

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

Hi Sanjoy,

Thanks for the comments. Switching to PatternMatch was a good idea - the code is substantially more readable!

All comments acted upon.

Cheers,

James


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.37255.patch
Type: text/x-patch
Size: 5073 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151013/475d3f80/attachment-0001.bin>