[PATCH] Use invariants in LazyValueInfo

[hfinkel at anl.gov]

Updated to use AssumptionTracker (this now also is must faster, owing to the lack of searching instruction users for @llvm.assume).

http://reviews.llvm.org/D4511

Files:
  include/llvm/Analysis/LazyValueInfo.h
  lib/Analysis/LazyValueInfo.cpp
  lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  lib/Transforms/Scalar/JumpThreading.cpp
  test/Transforms/JumpThreading/assume.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4511.11932.patch
Type: text/x-patch
Size: 37099 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140728/657908e1/attachment.bin>