Bjorn Steinbrink ea96fe14fe Give up on array allocas in getPointerDereferenceableBytes ...

Summary:
As suggested by Eli Friedman, don't try to handle array allocas here,
because of possible overflows, instead rely on instcombine converting
them to allocations of array types.

Reviewers: efriedma

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D41398

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

2017-12-20 10:01:30 +00:00

..

AliasSet

Use WeakVH instead of WeakTrackingVH in AliasSetTracker's UnkownInsts

2017-05-01 17:07:56 +00:00

AssumptionCache

Add files I seem to have dropped in my revert (r290086).

2016-12-19 08:32:13 +00:00

BasicAA

Allow inaccessiblememonly and inaccessiblemem_or_argmemonly to be overwriten on call site with operand bundle

2017-11-02 12:18:33 +00:00

BlockFrequencyInfo

Revert part of "Cleanup some GraphTraits iteration code"

2017-12-08 22:42:43 +00:00

BranchProbabilityInfo

[BranchProbabilityInfo] Handle irreducible loops.

2017-11-01 15:16:50 +00:00

CallGraph

[CG] Add a new pass manager printer pass for the old call graph and

2016-03-10 11:24:11 +00:00

CFLAliasAnalysis

[CFLAA] Add missing break; note things are broken.

2017-05-31 02:35:26 +00:00

ConstantFolding

[ConstantFolding] Avoid assert when folding ptrtoint of vectorized GEP

2017-10-24 12:08:11 +00:00

CostModel

[X86] Use mattr instead of mcpu in some of the cost model tests.

2017-12-18 07:21:58 +00:00

Delinearization

[SCEV] Assume parameters coming from function calls contain IVs

2017-05-27 15:17:49 +00:00

DemandedBits

[Analysis] Support bitreverse in -demanded-bits pass

2017-04-13 16:44:25 +00:00

DependenceAnalysis

[DependenceAnalysis] Make sure base objects are the same when comparing GEPs

2017-07-05 21:35:47 +00:00

DivergenceAnalysis

AMDGPU: Change DivergenceAnalysis for function arguments

2017-04-19 17:42:34 +00:00

DominanceFrontier

Another fix the testcase introduced by r261903 - Add the missing matches

2016-02-26 03:41:47 +00:00

Dominators

[Dominators] Don't compute DFS InOut numbers eagerly.

2017-06-30 01:28:21 +00:00

GlobalsModRef

[PassManager] Retire cl::opt that have been set for a while. NFCI.

2017-10-02 23:39:20 +00:00

IVUsers

Re-enable "[SCEV] Do not fold dominated SCEVUnknown into AddRecExpr start"

2017-05-26 06:47:04 +00:00

LazyCallGraph

[LCG] Spell the printing pass pipeline name for the lazy call graph

2016-03-10 11:24:06 +00:00

LazyValueAnalysis

[LVI] Support for ashr in LVI

2017-12-18 14:23:30 +00:00

Lint

[Lint] Don't warn about passing alloca'd value to tail call if using byval

2017-11-15 07:46:48 +00:00

LoopAccessAnalysis

[LAA] Allow more run-time alias checks by coercing pointer expressions to AddRecExprs

2017-09-12 07:48:22 +00:00

LoopInfo

[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis

2015-01-20 10:58:50 +00:00

MemoryDependenceAnalysis

[PM] The assumption cache is fundamentally designed to be self-updating,

2017-01-15 00:26:18 +00:00

MemorySSA

Let llvm.invariant.group.barrier accepts pointer to any address space

2017-11-16 16:32:16 +00:00

PostDominators

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ProfileSummary

Reapply r271728 after adding move cobstructor for ProfileSummaryInfo

2016-06-03 22:54:26 +00:00

RegionInfo

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ScalarEvolution

[SCEV] Fix predicate usage in computeExitLimitFromICmp

2017-12-08 12:19:45 +00:00

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

2016-03-07 17:49:10 +00:00

TypeBasedAliasAnalysis

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

ValueTracking

Give up on array allocas in getPointerDereferenceableBytes

2017-12-20 10:01:30 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

2016-02-09 01:21:57 +00:00