[PATCH] Move Value.isDereferenceablePointer to ValueTracking

[Artur Pilipenko]

Hi reames, sanjoy,

Move isDereferenceablePointer function to Analysis. This function recursively tracks dereferencability over a chain of values like other functions in ValueTracking.

This refactoring is motivated by further changes to support dereferenceable_or_null attribute (http://reviews.llvm.org/D8650). isDereferenceablePointer will be extended to perform context-sensitive analysis and IR is not a good place to have such functionality.

http://reviews.llvm.org/D9075

Files:
  include/llvm/Analysis/ValueTracking.h
  include/llvm/IR/Value.h
  lib/Analysis/MemDerefPrinter.cpp
  lib/Analysis/ValueTracking.cpp
  lib/IR/Value.cpp
  lib/Transforms/IPO/ArgumentPromotion.cpp
  lib/Transforms/InstCombine/InstCombineCalls.cpp
  lib/Transforms/Scalar/SROA.cpp
  lib/Transforms/Scalar/ScalarReplAggregates.cpp

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9075.23913.patch
Type: text/x-patch
Size: 17659 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150417/43e952c1/attachment.bin>