projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fd0775) | 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)
commitab28439f9a5381997cd8335e9974b21f2193b23c
tree48d61ebc45b8d719541bf3b3295351a2d1f909b9tree | snapshot
parent3fd0775f060c077498f931f7f0b7ec9f0c138a48commit | 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228369 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/Passes.h diff | blob | history
include/llvm/IR/InstIterator.h diff | blob | history
include/llvm/InitializePasses.h diff | blob | history
include/llvm/LinkAllPasses.h diff | blob | history
lib/Analysis/Analysis.cpp diff | blob | history
lib/Analysis/CMakeLists.txt diff | blob | history
lib/Analysis/MemDerefPrinter.cpp [new file with mode: 0644] blob
test/Analysis/ValueTracking/memory-dereferenceable.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors