Sanjoy Das 4eaf966f48 Dereferenceable, dereferenceable_or_null metadata for loads ...

Summary:
Introduce dereferenceable, dereferenceable_or_null metadata for loads
with the same semantic as corresponding attributes.

This patch depends on http://reviews.llvm.org/D9253

Patch by Artur Pilipenko!

Reviewers: hfinkel, sanjoy, reames

Reviewed By: sanjoy, reames

Subscribers: llvm-commits

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

llvm-svn: 237720

2015-05-19 20:10:19 +00:00

..

AsmWriter.cpp

[Statepoint] Clean up Statepoint.h: accessor names.

2015-05-06 02:36:26 +00:00

AttributeImpl.h

Add missing dereferenceable_or_null getters

2015-05-06 17:41:54 +00:00

Attributes.cpp

Change typeIncompatible to return an AttrBuilder instead of new-ing an AttributeSet.

2015-05-06 23:19:56 +00:00

AutoUpgrade.cpp

Simplify IRBuilder::CreateCall* by using ArrayRef+initializer_list/braced init only

2015-05-18 22:13:54 +00:00

BasicBlock.cpp

Add a speculative execution pass

2015-05-15 17:54:48 +00:00

CMakeLists.txt

[opaque pointer type] Explicit pointee type for GEPOperator/GEPConstantExpr.

2015-05-08 00:42:26 +00:00

Comdat.cpp

…

ConstantFold.cpp

As r237678 was reverted, this is no longer needed.

2015-05-19 11:46:27 +00:00

ConstantFold.h

Recommit r236670: [opaque pointer type] Pass explicit pointer type through GEP constant folding""

2015-05-07 17:28:58 +00:00

ConstantRange.cpp

…

Constants.cpp

[opaque pointer type] Explicit pointee type for GEPOperator/GEPConstantExpr.

2015-05-08 00:42:26 +00:00

ConstantsContext.h

Fix some odd whitespace and formatting errors while making

2015-05-18 21:49:02 +00:00

Core.cpp

[opaque pointer type] Pass GlobalAlias the actual pointer type rather than decomposing it into pointee type + address space

2015-04-29 21:22:39 +00:00

DataLayout.cpp

…

DebugInfo.cpp

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

DebugInfoMetadata.cpp

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

DebugLoc.cpp

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

DiagnosticInfo.cpp

[IR/Diagnostic] Assert that DebugLoc is valid before accessing.

2015-05-04 18:08:35 +00:00

DiagnosticPrinter.cpp

…

DIBuilder.cpp

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

Dominators.cpp

[DomTree] verifyDomTree to unconditionally perform DT verification

2015-05-06 08:18:41 +00:00

Function.cpp

Store intrinsic ID by value in Function instead of a string lookup. NFC.

2015-05-19 00:24:26 +00:00

GCOV.cpp

…

Globals.cpp

While in GlobalValue fix the function(s) that don't follow the

2015-05-15 18:20:14 +00:00

GVMaterializer.cpp

…

InlineAsm.cpp

…

Instruction.cpp

…

Instructions.cpp

[opaque pointer type] Pass the explicit function type down to the instruction constructor when parsing invoke instructions

2015-05-13 18:35:26 +00:00

IntrinsicInst.cpp

…

IRBuilder.cpp

[Statepoints] Support for "patchable" statepoints.

2015-05-12 23:52:24 +00:00

IRPrintingPasses.cpp

…

LegacyPassManager.cpp

[NFC] Converting to range-based for.

2015-04-29 21:45:22 +00:00

LLVMBuild.txt

…

LLVMContext.cpp

Dereferenceable, dereferenceable_or_null metadata for loads

2015-05-19 20:10:19 +00:00

LLVMContextImpl.cpp

…

LLVMContextImpl.h

Store intrinsic ID by value in Function instead of a string lookup. NFC.

2015-05-19 00:24:26 +00:00

Makefile

…

Mangler.cpp

…

MDBuilder.cpp

Add function entry count metadata.

2015-05-13 15:13:45 +00:00

Metadata.cpp

IR: Add Function metadata attachments

2015-04-24 21:51:02 +00:00

MetadataImpl.h

…

MetadataTracking.cpp

…

Module.cpp

While in GlobalValue fix the function(s) that don't follow the

2015-05-15 18:20:14 +00:00

module.modulemap

…

Operator.cpp

[opaque pointer type] Explicit pointee type for GEPOperator/GEPConstantExpr.

2015-05-08 00:42:26 +00:00

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

…

Statepoint.cpp

…

SymbolTableListTraitsImpl.h

…

Type.cpp

Extract the load/store type verification to a separate function.

2015-05-18 21:48:55 +00:00

TypeFinder.cpp

…

Use.cpp

…

User.cpp

…

Value.cpp

Store intrinsic ID by value in Function instead of a string lookup. NFC.

2015-05-19 00:24:26 +00:00

ValueSymbolTable.cpp

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

ValueTypes.cpp

…

Verifier.cpp

[Verifier] Assert gc_relocate always return a pointer type

2015-05-18 19:50:14 +00:00