llvm-6502/lib
Philip Reames 1aa9710c60 Move Value.isDereferenceablePointer to ValueTracking [NFC]
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.

Patch by: Artur Pilipenko <apilipenko@azulsystems.com>
Differential Revision: reviews.llvm.org/D9075




git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235611 91177308-0d34-0410-b5e6-96231b3b80d8
2015-04-23 17:36:48 +00:00
..
Analysis Move Value.isDereferenceablePointer to ValueTracking [NFC] 2015-04-23 17:36:48 +00:00
AsmParser Revert "[opaque pointer type] Avoid using PointerType::getElementType for a few cases of CallInst" 2015-04-22 18:16:49 +00:00
Bitcode Be more strict about the operand for the array type in BitcodeReader 2015-04-23 13:38:21 +00:00
CodeGen Re-commit r235560: Switch lowering: extract jump tables and bit tests before building binary tree (PR22262) 2015-04-23 16:45:24 +00:00
DebugInfo [PDB] Support executables and source/line info. 2015-04-17 22:40:36 +00:00
ExecutionEngine [RuntimeDyld][COFF] Add external symbol resolution support to RuntimeDyldCOFF. 2015-04-22 21:38:37 +00:00
Fuzzer Removing a spurious space; NFC. 2015-04-06 16:09:13 +00:00
IR Move Value.isDereferenceablePointer to ValueTracking [NFC] 2015-04-23 17:36:48 +00:00
IRReader
LineEditor
Linker Linker: Add flag to override linkage rules 2015-04-22 04:11:00 +00:00
LTO [LTO API] add lto_codegen_set_should_internalize. 2015-04-17 17:10:09 +00:00
MC [mips] [IAS] Implement the .asciiz directive. 2015-04-21 11:50:52 +00:00
Object Change range-based for-loops to be -Wrange-loop-analysis clean. 2015-04-15 01:21:15 +00:00
Option
Passes
ProfileData
Support Remove FilesToRemove->push_back(Filename) from sys::DontRemoveFileOnSignal. 2015-04-21 19:25:11 +00:00
TableGen [TableGen] Use range based for loops. 2015-04-22 05:27:47 +00:00
Target [AArch64] Add nvcast patterns for v4f16 and v8f16 2015-04-23 17:32:25 +00:00
Transforms Move Value.isDereferenceablePointer to ValueTracking [NFC] 2015-04-23 17:36:48 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile