[PATCH] D13971: [ValueTracking] Expose `implies` via ValueTracking, NFC

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added a reviewer: reames.
sanjoy added a subscriber: llvm-commits.

This will allow a later patch to `JumpThreading` use this functionality.

http://reviews.llvm.org/D13971

Files:
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/InstructionSimplify.cpp
  lib/Analysis/ValueTracking.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13971.38086.patch
Type: text/x-patch
Size: 4798 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151022/9841e508/attachment.bin>