Philip Reames 3f4453de96 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

llvm-svn: 235611

2015-04-23 17:36:48 +00:00

..

AsmWriter.cpp

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

AttributeImpl.h

[IR] Introduce a dereferenceable_or_null(N) attribute.

2015-04-16 20:29:50 +00:00

Attributes.cpp

[IR] Introduce a dereferenceable_or_null(N) attribute.

2015-04-16 20:29:50 +00:00

AutoUpgrade.cpp

AutoUpgrade: Remove obsolete dbg.declare/value upgrade

2015-04-06 17:17:47 +00:00

BasicBlock.cpp

Return iterator from BasicBlock::eraseFromParent

2015-04-03 01:20:33 +00:00

CMakeLists.txt

uselistorder: Remove the global bits

2015-04-15 03:14:06 +00:00

Comdat.cpp

IR: Add COMDATs to the IR

2014-06-27 18:19:56 +00:00

ConstantFold.cpp

[opaque pointer type] API migration for GEP constant factories

2015-04-02 18:55:32 +00:00

ConstantFold.h

Canonicalize header guards into a common format.

2014-08-13 16:26:38 +00:00

ConstantRange.cpp

[ConstantRange] Split makeICmpRegion in two.

2015-03-18 00:41:24 +00:00

Constants.cpp

IR: Add ConstantFP::getNaN()

2015-04-20 19:38:24 +00:00

ConstantsContext.h

Removing LLVM_DELETED_FUNCTION, as MSVC 2012 was the last reason for requiring the macro. NFC; LLVM edition.

2015-02-15 22:54:22 +00:00

Core.cpp

Add the i128 builtin type to LLVM.

2015-04-17 15:32:15 +00:00

DataLayout.cpp

COFF: Let globals with private linkage reside in their own section

2015-03-17 23:54:51 +00:00

DebugInfo.cpp

DebugInfo: Remove DIArray and DITypeArray typedefs

2015-04-21 20:07:38 +00:00

DebugInfoMetadata.cpp

DebugInfo: Remove 'inlinedAt:' field from MDLocalVariable

2015-04-15 22:29:27 +00:00

DebugLoc.cpp

DebugInfo: Delete subclasses of DIScope

2015-04-20 22:10:08 +00:00

DiagnosticInfo.cpp

DebugInfo: Gut DILocation

2015-04-14 01:35:55 +00:00

DiagnosticPrinter.cpp

Fix typos in comments, NFC

2014-08-29 21:53:01 +00:00

DIBuilder.cpp

DebugInfo: Remove DIArray and DITypeArray typedefs

2015-04-21 20:07:38 +00:00

Dominators.cpp

[PM] Port domtree to the new pass manager (at last).

2015-01-14 10:19:28 +00:00

Function.cpp

[IR] Introduce a dereferenceable_or_null(N) attribute.

2015-04-16 20:29:50 +00:00

GCOV.cpp

Remove more superfluous .str() and replace std::string concatenation with Twine.

2015-03-30 15:42:36 +00:00

Globals.cpp

Remove getDataLayout() from Instruction/GlobalValue/BasicBlock/Function

2015-03-03 22:01:13 +00:00

GVMaterializer.cpp

[Layering] Move GVMaterializer.h into the IR library where its

2014-03-06 03:50:29 +00:00

InlineAsm.cpp

Silence sign compare warning. NFC.

2015-03-29 20:49:03 +00:00

Instruction.cpp

Return iterator from Instruction::eraseFromParent.

2015-04-02 00:03:07 +00:00

Instructions.cpp

Revert "[opaque pointer type] Avoid using PointerType::getElementType for a few cases of CallInst"

2015-04-22 18:16:49 +00:00

IntrinsicInst.cpp

IR: Split Metadata from Value

2014-12-09 18:38:53 +00:00

IRBuilder.cpp

[opaque pointer type] More GEP IRBuilder API migrations...

2015-04-03 21:33:42 +00:00

IRPrintingPasses.cpp

uselistorder: Pull the bit through PrintModulePass

2015-04-15 02:38:06 +00:00

LegacyPassManager.cpp

Use 'override/final' instead of 'virtual' for overridden methods

2015-04-11 02:11:45 +00:00

LLVMBuild.txt

…

LLVMContext.cpp

Fix LLVMContext to match what MDKind names that the LL parser permits. Fixes PR21799!

2014-12-11 02:10:28 +00:00

LLVMContextImpl.cpp

Add the i128 builtin type to LLVM.

2015-04-17 15:32:15 +00:00

LLVMContextImpl.h

Add the i128 builtin type to LLVM.

2015-04-17 15:32:15 +00:00

Makefile

Actually update the CMake and Makefile builds correctly, and update the

2013-01-02 12:09:16 +00:00

Mangler.cpp

Revert "Address review comments"

2015-03-17 20:40:21 +00:00

MDBuilder.cpp

[IC] Turn non-null MD on pointer loads to range MD on integer loads.

2015-02-25 05:10:25 +00:00

Metadata.cpp

IR: Enable uniquing callbacks during MDNode::replaceWithUniqued()

2015-03-31 20:50:50 +00:00

MetadataImpl.h

Added missing header for the explicit dependency on MDNode.

2015-02-04 00:20:52 +00:00

MetadataTracking.cpp

IR: Store RAUW support and Context in the same pointer, NFC

2015-01-19 19:02:06 +00:00

Module.cpp

Be lazy about loading metadata in IRObjectFile.

2015-03-13 21:54:20 +00:00

module.modulemap

[modules] Add module maps for LLVM. These are not quite ready for prime-time

2014-05-21 02:46:14 +00:00

Pass.cpp

Refactoring cl::parser construction and initialization.

2015-01-22 21:01:12 +00:00

PassManager.cpp

[PM] Push the debug option for the new pass manager into the opt tool

2015-01-13 22:42:38 +00:00

PassRegistry.cpp

Revert r231276 (including r231277): Add a lock() function in PassRegistry to speed up multi-thread synchronization.

2015-03-05 17:53:00 +00:00

Statepoint.cpp

Add invoke related functionality into StatepointSite classes.

2015-02-19 11:02:11 +00:00

SymbolTableListTraitsImpl.h

Canonicalize header guards into a common format.

2014-08-13 16:26:38 +00:00

Type.cpp

Add the i128 builtin type to LLVM.

2015-04-17 15:32:15 +00:00

TypeFinder.cpp

Fix Value dangling reference debug output

2015-03-10 23:55:38 +00:00

Use.cpp

Fix a URL (NFC)

2014-08-21 21:09:24 +00:00

User.cpp

IR: Cleanup comments for Value, User, and MDNode

2014-10-15 20:28:31 +00:00

Value.cpp

Move Value.isDereferenceablePointer to ValueTracking [NFC]

2015-04-23 17:36:48 +00:00

ValueSymbolTable.cpp

IR: Split Metadata from Value

2014-12-09 18:38:53 +00:00

ValueTypes.cpp

Add support for v1i128 type.

2015-04-17 16:11:05 +00:00

Verifier.cpp

Revert "[opaque pointer type] Avoid using PointerType::getElementType for a few cases of CallInst"

2015-04-22 18:16:49 +00:00