projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a3e339) | patch
Introduce print-memderefs to test isDereferenceablePointer
authorRamkumar Ramachandra <artagnon@gmail.com>
Fri, 6 Feb 2015 01:46:42 +0000 (01:46 +0000)
committerRamkumar Ramachandra <artagnon@gmail.com>
Fri, 6 Feb 2015 01:46:42 +0000 (01:46 +0000)
commit8378ac36845a074fd7a81035ee38175c4ef54c46
tree154ee1bc76cea17ef844f8010825ac85750adc0dtree | snapshot
parent8a3e33945ee1d2961af434dda26de7592fe905f6commit | diff
Introduce print-memderefs to test isDereferenceablePointer

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

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

llvm-svn: 228369
llvm/include/llvm/Analysis/Passes.h diff | blob | history
llvm/include/llvm/IR/InstIterator.h diff | blob | history
llvm/include/llvm/InitializePasses.h diff | blob | history
llvm/include/llvm/LinkAllPasses.h diff | blob | history
llvm/lib/Analysis/Analysis.cpp diff | blob | history
llvm/lib/Analysis/CMakeLists.txt diff | blob | history
llvm/lib/Analysis/MemDerefPrinter.cpp [new file with mode: 0644] blob
llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll [new file with mode: 0644] blob
Domain: System / Toolchain;