[ValueTracking] Expose `implies` via ValueTracking, NFC
authorSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 28 Oct 2015 03:20:19 +0000 (03:20 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 28 Oct 2015 03:20:19 +0000 (03:20 +0000)
commit3386f43f2a50c67f9d22351b4e1ab6fa0980e99b
tree1edd913d60ad918cc9ee170fbe8f2766c6d0be83
parente06e113689ab0c2628198e8e1459b42f99d2fd59
[ValueTracking] Expose `implies` via ValueTracking, NFC

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

Reviewers: reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D13971

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251488 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ValueTracking.h
lib/Analysis/InstructionSimplify.cpp
lib/Analysis/ValueTracking.cpp