Ramkumar Ramachandra 0608cec657 InstCombine: propagate deref via new addDereferenceableAttr ...

The "dereferenceable" attribute cannot be added via .addAttribute(),
since it also expects a size in bytes. AttrBuilder#addAttribute or
AttributeSet#addAttribute is wrapped by classes Function, InvokeInst,
and CallInst. Add corresponding wrappers to
AttrBuilder#addDereferenceableAttr.

Having done this, propagate the dereferenceable attribute via
gc.relocate, adding a test to exercise it. Note that -datalayout is
required during execution over and above -instcombine, because
InstCombine only optionally requires DataLayoutPass.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229265 91177308-0d34-0410-b5e6-96231b3b80d8

2015-02-14 19:37:54 +00:00

..

Argument.h

Provide convenient access to the zext/sext attributes of function arguments. NFC.

2014-08-05 05:43:41 +00:00

AssemblyAnnotationWriter.h

Canonicalize header guards into a common format.

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

Attributes.h

InstCombine: propagate deref via new addDereferenceableAttr

2015-02-14 19:37:54 +00:00

AutoUpgrade.h

Rename loop unrolling and loop vectorizer metadata to have a common prefix.

2014-06-25 15:41:00 +00:00

BasicBlock.h

Add a pass for inserting safepoints into (nearly) arbitrary IR

2015-02-04 00:37:33 +00:00

CallingConv.h

X86: Implement the vectorcall calling convention

2014-10-28 01:29:26 +00:00

CallSite.h

Add a dereferenceable attribute

2014-07-18 15:51:28 +00:00

CFG.h

Add range adapters predecessors() and successors() for BBs

2015-02-04 19:14:57 +00:00

CMakeLists.txt

…

Comdat.h

IR: Add COMDATs to the IR

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

Constant.h

InstCombine: sub nsw %x, C -> add nsw %x, -C if C isn't INT_MIN

2014-08-22 16:41:23 +00:00

ConstantFolder.h

Add CreatePointerBitCastOrAddrSpaceCast to IRBuilder and co.

2014-07-14 17:24:35 +00:00

ConstantRange.h

fix typos; remove names from comments; NFC

2015-01-09 17:11:51 +00:00

Constants.h

Rename END_WITH_NULL to LLVM_END_WITH_NULL and move to Compiler.h

2014-11-04 01:12:21 +00:00

DataLayout.h

Add a FIXME about preferred alignment to DataLayout.

2015-01-26 19:19:04 +00:00

DebugInfo.h

Debug info: Use DW_OP_bit_piece instead of DW_OP_piece in the

2015-02-09 23:57:15 +00:00

DebugInfoMetadata.h

AsmWriter/Bitcode: MDImportedEntity

2015-02-13 01:46:02 +00:00

DebugLoc.h

[cleanup] Re-sort all the #include lines in LLVM using

2015-01-14 11:23:27 +00:00

DerivedTypes.h

Add params() to FunctionType. NFC.

2014-11-21 19:03:35 +00:00

DiagnosticInfo.h

Use the DiagnosticHandler to print diagnostics when reading bitcode.

2015-01-10 00:07:30 +00:00

DiagnosticPrinter.h

Canonicalize header guards into a common format.

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

DIBuilder.h

IR: Drop never-used defaults for DIBuilder::createTemplate*(), NFC

2015-02-13 03:35:29 +00:00

Dominators.h

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

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

Function.h

InstCombine: propagate deref via new addDereferenceableAttr

2015-02-14 19:37:54 +00:00

GetElementPtrTypeIterator.h

[C++11] More 'nullptr' conversion or in some cases just using a boolean check instead of comparing to nullptr.

2014-04-09 06:08:46 +00:00

GlobalAlias.h

IR: Add COMDATs to the IR

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

GlobalObject.h

Fix broken C++ mode comment

2014-11-05 01:36:22 +00:00

GlobalValue.h

[cleanup] Re-sort all the #include lines in LLVM using

2015-01-14 11:23:27 +00:00

GlobalVariable.h

[pr19844] Add thread local mode to aliases.

2014-05-28 18:15:43 +00:00

GVMaterializer.h

Ask the module for its the identified types.

2014-12-03 07:18:23 +00:00

InlineAsm.h

Reapply r215966, r215965, r215964, r215963, r215960, r215959, r215958, and r215957

2014-08-19 16:39:58 +00:00

InstIterator.h

Introduce print-memderefs to test isDereferenceablePointer

2015-02-06 01:46:42 +00:00

InstrTypes.h

Revert r220349 to re-instate r220277 with a fix for PR21330 -- quite

2014-11-25 08:20:27 +00:00

Instruction.def

…

Instruction.h

Move DebugLocs around instead of copying.

2015-02-07 12:28:15 +00:00

Instructions.h

InstCombine: propagate deref via new addDereferenceableAttr

2015-02-14 19:37:54 +00:00

InstVisitor.h

…

IntrinsicInst.h

IR: Split Metadata from Value

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

Intrinsics.h

Masked Gather and Scatter Intrinsics.

2015-02-08 08:27:19 +00:00

Intrinsics.td

Adding support for llvm.eh.begincatch and llvm.eh.endcatch intrinsics and beginning the documentation of native Windows exception handling.

2015-02-10 19:52:43 +00:00

IntrinsicsAArch64.td

Port memory barriers intrinsics to AArch64

2014-07-17 10:50:20 +00:00

IntrinsicsARM.td

ARM: add @llvm.arm.space intrinsic for testing ConstantIslands.

2014-11-13 17:58:48 +00:00

IntrinsicsBPF.td

BPF backend

2015-01-24 17:51:26 +00:00

IntrinsicsHexagon.td

[Hexagon] Converting XTYPE/SHIFT intrinsics. Cleaning out old intrinsic patterns and updating tests.

2015-02-03 20:40:52 +00:00

IntrinsicsMips.td

…

IntrinsicsNVVM.td

[NVPTX] Make the alignment an explicit argument to ldu/ldg

2014-08-29 15:30:20 +00:00

IntrinsicsPowerPC.td

[PowerPC] Add VSX builtins for vec_div

2014-11-14 12:10:40 +00:00

IntrinsicsR600.td

R600/SI: Add class intrinsic

2015-01-06 23:00:37 +00:00

IntrinsicsX86.td

[X86] Remove int_x86_sse2_psll_dq_bs and int_x86_sse2_psrl_dq_bs intrinsics. The builtins aren't used by clang.

2015-02-13 06:07:24 +00:00

IntrinsicsXCore.td

…

IRBuilder.h

[Statepoint] Improve two asserts, fix some style (NFC)

2015-02-09 23:02:10 +00:00

IRPrintingPasses.h

[PM] Switch the new pass manager to use a reference-based API for IR

2015-01-05 02:47:05 +00:00

LegacyPassManager.h

Document that PassManager::add() may delete the pass right away.

2014-12-12 01:27:01 +00:00

LegacyPassManagers.h

[LPM] A targeted but somewhat horrible fix to the legacy pass manager's

2015-01-28 09:47:21 +00:00

LegacyPassNameParser.h

Refactoring cl::parser construction and initialization.

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

LLVMContext.h

Introduce enum values for previously defined metadata types. (NFC)

2014-10-21 00:13:20 +00:00

Mangler.h

Canonicalize header guards into a common format.

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

MDBuilder.h

IR: Split Metadata from Value

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

Metadata.def

AsmParser: Add stubs for specialized MDNodes, NFC

2015-02-10 01:08:16 +00:00

Metadata.h

IR: Add MDNode::replaceWithPermanent()

2015-02-10 19:13:46 +00:00

MetadataTracking.h

IR: Split Metadata from Value

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

Module.h

[llvm link] Destroy ConstantArrays in LLVMContext if they are not used.

2015-01-20 19:24:59 +00:00

NoFolder.h

…

OperandTraits.h

…

Operator.h

Teach isDereferenceablePointer() to look through bitcast constant expressions.

2015-02-05 09:15:37 +00:00

PassManager.h

[PM] Teach the module-to-function adaptor to not run function passes

2015-02-01 10:47:25 +00:00

PassManagerInternal.h

[PM] Remove the 'AnalysisManagerT' type parameter from numerous layers

2015-01-13 11:31:43 +00:00

PatternMatch.h

InstSimplify: Optimize away pointless comparisons

2014-12-20 03:04:38 +00:00

PredIteratorCache.h

Canonicalize header guards into a common format.

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

Statepoint.h

[GC] CodeGenPrep transform: simplify offsetable relocate

2015-01-14 23:27:07 +00:00

SymbolTableListTraits.h

[C++11] More 'nullptr' conversion or in some cases just using a boolean check instead of comparing to nullptr.

2014-04-09 06:08:46 +00:00

TrackingMDRef.h

Add a C++ marker to this header file.

2014-12-22 19:07:45 +00:00

Type.h

Add and use Type::subtypes. NFC.

2014-11-24 20:44:36 +00:00

TypeBuilder.h

…

TypeFinder.h

IR: Split Metadata from Value

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

Use.h

Updated the link to the correct URL.

2014-04-29 13:21:05 +00:00

UseListOrder.h

verify-uselistorder: Force -preserve-bc-use-list-order

2014-08-19 21:08:27 +00:00

User.h

IR: Move NumOperands from User to Value, NFC

2014-10-15 20:39:05 +00:00

Value.h

Value: Remove superfluous typedefs and deprecated method. NFC.

2015-02-06 14:44:02 +00:00

ValueHandle.h

Fix UBSan error reports in ValueMapCallbackVH and AssertingVH<T> empty/tombstone keys generation.

2015-01-09 23:17:25 +00:00

ValueMap.h

Fix UBSan error reports in ValueMapCallbackVH and AssertingVH<T> empty/tombstone keys generation.

2015-01-09 23:17:25 +00:00

ValueSymbolTable.h

…

Verifier.h

[PM] Switch the new pass manager to use a reference-based API for IR

2015-01-05 02:47:05 +00:00