[PATCH] isDereferenceablePointer: look through gc.relocates + test

[Ramkumar Ramachandra]

Hi reames, chandlerc, eliben, arsenm,

If a pointer was dereferenceable before a gc.relocate, it should be
dereferenceable afterwards too. So, make isDereferenceablePointer look
through relocates.

Since testing this indirectly may be tricky, introduce a direct
print-memderefs pass, in the same spirit as print-memdeps, which prints
dereferenceability information matched by FileCheck.

http://reviews.llvm.org/D7075

Files:
  include/llvm/Analysis/Passes.h
  include/llvm/IR/InstIterator.h
  include/llvm/InitializePasses.h
  include/llvm/LinkAllPasses.h
  lib/Analysis/Analysis.cpp
  lib/Analysis/CMakeLists.txt
  lib/Analysis/MemDepPrinter.cpp
  lib/Analysis/MemDerefPrinter.cpp
  lib/IR/Value.cpp
  test/Analysis/ValueTracking/memory-dereferenceable.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7075.18464.patch
Type: text/x-patch
Size: 9496 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150120/49811611/attachment.bin>