Sanjay Patel 8a5552eaac [InlineFunction] add nonnull assumptions based on argument attributes ...

This was suggested in D27855: have the inliner add assumptions, so we don't 
lose nonnull info provided by argument attributes.

This still doesn't solve PR28430 (dyn_cast), but this gets us closer.

https://reviews.llvm.org/D29999


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

2017-02-27 18:13:48 +00:00

..

ADCE

[ADCE] Add code to remove dead branches

2016-12-13 16:42:18 +00:00

AddDiscriminators

Encode duplication factor from loop vectorization and loop unrolling to discriminator.

2017-02-10 21:09:07 +00:00

AlignmentFromAssumptions

[PM] Port AlignmentFromAssumptions to the new PM.

2016-06-15 06:18:01 +00:00

ArgumentPromotion

Verifier: Disallow a line number without a file in DISubprogram

2017-02-17 23:57:42 +00:00

AtomicExpand

Support expanding partial-word cmpxchg to full-word cmpxchg in AtomicExpandPass.

2016-06-17 18:11:48 +00:00

BBVectorize

Introduce -unroll-partial-threshold to separate PartialThreshold from Threshold in loop unorller.

2017-01-17 23:39:33 +00:00

BDCE

[BDCE] Skip metadata while replacing uses.

2016-12-07 21:47:32 +00:00

BranchFolding

Move branch folding test to a better location.

2015-12-03 19:41:25 +00:00

CodeExtractor

CodeExtractor : Add ability to preserve profile data.

2016-08-02 02:15:45 +00:00

CodeGenPrepare

Revert "[CGP] Split some critical edges coming out of indirect branches"

2017-02-26 11:09:12 +00:00

ConstantHoisting

This implements a more optimal algorithm for selecting a base constant in

2016-07-14 07:44:20 +00:00

ConstantMerge

[PM] Port ConstantMerge to the new pass manager.

2016-05-05 00:51:09 +00:00

ConstProp

opt: Rename -default-data-layout flag to -data-layout and make it always override the layout.

2017-02-17 17:36:52 +00:00

Coroutines

[coroutines] Spill the result of the invoke instruction correctly

2017-01-25 02:25:54 +00:00

CorrelatedValuePropagation

Revert r282872 "CVP. Turn marking adds as no wrap on by default"

2017-02-23 22:29:00 +00:00

CountingFunctionInserter

Add a counter-function insertion pass

2016-09-01 09:42:39 +00:00

CrossDSOCFI

[PM] Port CrossDSOCFI to the new pass manager.

2016-07-09 03:25:35 +00:00

DCE

llvm/test/Transforms/DCE/calls-errno.ll: Suppress checking @pow(+0,-1).

2016-11-04 18:50:45 +00:00

DeadArgElim

DeadArgElim: Don't mark swifterror arguments as unused

2016-09-21 15:29:08 +00:00

DeadStoreElimination

[DSE] Don't remove stores made live by a call which unwinds.

2016-08-12 01:09:53 +00:00

EarlyCSE

[EarlyCSE] Don't DSE across readnone functions that may throw

2017-01-17 20:15:47 +00:00

EliminateAvailableExternally

[PM] Port EliminateAvailableExternally pass to the new pass manager.

2016-05-05 02:37:32 +00:00

Float2Int

[PM] Port float2int to the new pass manager

2016-06-24 23:32:02 +00:00

ForcedFunctionAttrs

[attrs] Split off the forced attributes utility into its own pass that

2015-12-27 08:13:45 +00:00

FunctionAttrs

[FunctionAttrs] try to extend nonnull-ness of arguments from a callsite back to its parent function

2017-02-13 23:10:51 +00:00

FunctionImport

[ModuleSummaryAnalysis] Don't crash when referencing unnamed globals.

2017-02-22 18:53:38 +00:00

GCOVProfiling

[IR] Remove the DIExpression field from DIGlobalVariable.

2016-12-20 02:09:43 +00:00

GlobalDCE

[PH] Replace uses of AssertingVH from members of analysis results with

2017-01-24 12:55:57 +00:00

GlobalMerge

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

GlobalOpt

Verifier: Disallow a line number without a file in DISubprogram

2017-02-17 23:57:42 +00:00

GlobalSplit

[GlobalSplit] Port to the new pass manager.

2016-11-21 00:28:23 +00:00

GuardWidening

[GuardWidening] Fix incorrect use of remove_if

2016-05-21 02:24:44 +00:00

GVN

opt: Rename -default-data-layout flag to -data-layout and make it always override the layout.

2017-02-17 17:36:52 +00:00

GVNHoist

Fix my GVNHoist test case from r294317

2017-02-07 17:35:53 +00:00

IndVarSimplify

[ValueTracking] Don't do an unchecked shift in ComputeNumSignBits

2017-02-25 20:30:45 +00:00

InferAddressSpaces

Bug 31948: Fix assertion when bitcasting constantexpr pointers

2017-02-17 00:32:19 +00:00

InferFunctionAttrs

[InferAttributes] Don't access parameters that don't exist.

2016-09-20 23:10:31 +00:00

Inline

[InlineFunction] add nonnull assumptions based on argument attributes

2017-02-27 18:13:48 +00:00

InstCombine

[InstCombine] Fix bug in pointer replacement

2017-02-24 20:27:25 +00:00

InstMerge

Remove the load hoisting code of MLSM, it is completely subsumed by GVNHoist

2017-01-24 19:55:36 +00:00

InstSimplify

[InstSimplify] add nsw/nuw (xor X, signbit), signbit --> X

2017-02-18 21:59:09 +00:00

InterleavedAccess

[ARM] Don't lower f16 interleaved accesses.

2017-02-11 01:53:00 +00:00

Internalize

[Internalize] Test that __stack_chk_{guard, fail} are not internalized.

2016-06-05 19:08:54 +00:00

IPConstantProp

[IPCP] Don't propagate return value for naked functions.

2017-02-04 19:44:14 +00:00

IRCE

[IRCE] Add a missing invariant check

2017-02-07 23:59:07 +00:00

JumpThreading

[JumpThreading] Re-enable JumpThreading for guards

2017-02-17 04:21:14 +00:00

LCSSA

Revert "Revert r275883 and r275891. They seem to cause PR28608."

2016-07-20 01:55:27 +00:00

LICM

Correct a typo, s/hosting/hoisting/

2017-02-14 16:41:10 +00:00

LoadCombine

[LoadCombine] Change test to not use instcombine.

2017-02-10 00:44:08 +00:00

LoadStoreVectorizer

LoadStoreVectorizer: Split even sized illegal chains properly

2017-02-23 03:58:53 +00:00

LoopDataPrefetch

[PM] Port LoopDataPrefetch AArch64 tests to new pass manager

2016-08-22 12:59:58 +00:00

LoopDeletion

[PM] Teach LoopDeletion to correctly update the LPM when loops are

2017-01-18 02:41:26 +00:00

LoopDistribute

Move test of lazy BFI with ORE to a generic directory

2017-01-13 00:16:23 +00:00

LoopIdiom

Fix some broken CHECK lines.

2017-01-22 20:28:56 +00:00

LoopInterchange

[LoopInterchange] Track all dependencies, not just anti dependencies.

2016-09-21 19:16:47 +00:00

LoopLoadElim

[PM] Port LoopLoadElimination to the new pass manager and wire it into

2017-01-27 01:32:26 +00:00

LoopPredication

Loop predication expand both sides of the widened condition

2017-02-27 15:44:49 +00:00

LoopReroll

[LoopReroll] Make root-finding more aggressive.

2016-11-21 22:35:34 +00:00

LoopRotate

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

LoopSimplify

[BasicBlockUtils] Use getFirstNonPHIOrDbg to set debugloc for instructions created in SplitBlockPredecessors

2017-02-14 21:10:40 +00:00

LoopSimplifyCFG

LPM: Drop require<loops> from these tests, it's redundant. NFC

2016-05-10 18:28:10 +00:00

LoopStrengthReduce

[LSR] Canonicalize formula and put recursive Reg related with current loop in ScaledReg.

2017-02-22 21:47:08 +00:00

LoopUnroll

[LoopUnroll] Enable PGO-based loop peeling by default.

2017-02-22 00:27:34 +00:00

LoopUnswitch

Fix a bug when unswitching on partial LIV for SwitchInst

2017-02-27 18:00:13 +00:00

LoopVectorize

[AVX-512] Fix the execution domain for AVX-512 integer broadcasts.

2017-02-26 06:45:51 +00:00

LoopVersioning

[LDist] Match behavior between invoking via optimization pipeline or opt -loop-distribute

2016-12-21 04:07:40 +00:00

LoopVersioningLICM

[Loop Vectorizer] Fixed memory confilict checks.

2016-08-28 08:53:53 +00:00

LowerAtomic

[PM] Port LowerAtomic to the new pass manager.

2016-05-13 22:52:35 +00:00

LowerExpectIntrinsic

[Profile] handle select instruction in 'expect' lowering

2016-09-02 22:03:40 +00:00

LowerGuardIntrinsic

[PM] Port LowerGuardIntrinsic to the new PM.

2016-07-28 22:08:41 +00:00

LowerInvoke

[PM] Port LowerInvoke to the new pass manager

2016-08-12 17:28:27 +00:00

LowerSwitch

Have a single way for creating unique value names.

2015-11-22 00:16:24 +00:00

LowerTypeTests

IR: Type ID summary extensions for WPD; thread summary into WPD pass.

2017-02-13 19:26:18 +00:00

Mem2Reg

[PM] Port Mem2Reg to the new pass manager.

2016-06-14 03:22:22 +00:00

MemCpyOpt

[MemCpyOpt] Don't sink LoadInst below possible clobber.

2016-12-27 17:58:12 +00:00

MergeFunc

MergeFunctions: Preserve debug info in thunks, under option -mergefunc-preserve-debug-info

2017-01-21 02:02:56 +00:00

MetaRenamer

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

NameAnonGlobals

[ThinLTO] Ensure anonymous globals renamed even at -O0

2016-09-17 20:40:16 +00:00

NaryReassociate

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

NewGVN

PredicateInfo: Support switch statements

2017-02-22 22:20:58 +00:00

ObjCARC

[ObjCARC] Traverse chain downwards to replace uses of argument passed to

2016-09-13 23:43:11 +00:00

PartiallyInlineLibCalls

Add positive test for sqrt "partial inlining". NFC.

2017-01-04 21:24:56 +00:00

PGOProfile

[PGO] Directory name stripping in global identifier for static functions

2017-02-25 00:00:36 +00:00

PhaseOrdering

Mark that SpeculativeExecution preserves Globals Alias Analysis.

2016-05-03 08:33:26 +00:00

PlaceSafepoints

[PlaceSafepoints] Don't call undef in test case; NFC

2016-06-25 01:40:54 +00:00

PreISelIntrinsicLowering

[PM] Port PreISelIntrinsicLowering to the new PM

2016-06-24 20:13:42 +00:00

PruneEH

[PruneEH] Be correct in the face IPO

2016-10-03 19:35:30 +00:00

Reassociate

[Reassociate] Add negated value of negative constant to the Duplicates list.

2017-02-23 18:49:03 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

RewriteStatepointsForGC

[RS4GC] Strengthen coverage: add more tests

2016-10-07 20:34:00 +00:00

SafeStack

[Fuchsia] Use thread-pointer ABI slots for stack-protector and safe-stack

2017-02-24 03:10:10 +00:00

SampleProfile

Use base discriminator in sample pgo profile matching.

2017-02-23 18:27:45 +00:00

Scalarizer

Scalarizer: Support scalarizing intrinsics

2016-07-25 20:02:54 +00:00

SCCP

opt: Rename -default-data-layout flag to -data-layout and make it always override the layout.

2017-02-17 17:36:52 +00:00

SeparateConstOffsetFromGEP

[NVPTX] Enable the load-store vectorizer on nvptx.

2016-07-20 22:11:36 +00:00

SimplifyCFG

opt: Rename -default-data-layout flag to -data-layout and make it always override the layout.

2017-02-17 17:36:52 +00:00

Sink

Add a testcase for r275581

2016-07-19 17:52:41 +00:00

SLPVectorizer

[SLP] A test for a fix of PR32038.

2017-02-27 16:07:10 +00:00

SpeculativeExecution

SpeculativeExecution: Allow speculating more inst types

2016-10-28 20:00:33 +00:00

SROA

[DIExpression] Introduce a dedicated DW_OP_LLVM_fragment operation

2016-12-05 18:04:47 +00:00

StraightLineStrengthReduce

[SLSR] Call getPointerSizeInBits with the correct address space.

2016-07-11 18:13:28 +00:00

StripDeadPrototypes

[PM] Port StripDeadPrototypes to the new pass manager

2015-10-30 23:28:12 +00:00

StripSymbols

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

StructurizeCFG

AMDGPU: Remove some uses of llvm.SI.export in tests

2017-02-22 00:02:21 +00:00

TailCallElim

Avoid tail recursion elimination across calls with operand bundles

2016-11-07 21:01:49 +00:00

ThinLTOBitcodeWriter

ThinLTOBitcodeWriter: Write available_externally copies of VCP eligible functions to merged module.

2017-02-14 03:42:38 +00:00

Util

PredicateInfo: Support switch statements

2017-02-22 22:20:58 +00:00

WholeProgramDevirt

WholeProgramDevirt: For VCP use a 32-bit ConstantInt for the byte offset.

2017-02-17 19:43:45 +00:00