Max Kazantsev e4f9fdee4b [SCEV] Make getPostIncExpr guaranteed to return AddRec ...

The current implementation of `getPostIncExpr` invokes `getAddExpr` for two recurrencies
and expects that it always returns it a recurrency. But this is not guaranteed to happen if we
have reached max recursion depth or refused to make SCEV simplification for other reasons.

This patch changes its implementation so that now it always returns SCEVAddRec without
relying on `getAddExpr`.

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


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

2018-02-12 05:09:38 +00:00

..

AliasSet

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

AssumptionCache

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

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

BasicAA

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +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

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

CFLAliasAnalysis

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

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

ConstantFolding

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

CostModel

[X86][SSE] Increase PMULLD costs to better match hardware

2018-02-10 19:27:10 +00:00

Delinearization

[SCEV] Assume parameters coming from function calls contain IVs

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

DemandedBits

Fix tests after move to utohexstr.

2017-12-28 17:00:37 +00:00

DependenceAnalysis

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +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

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +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

[JumpThreading] Preservation of DT and LVI across the pass

2018-01-12 21:06:48 +00:00

Lint

[Lint] Upgrade uses of MemoryIntrinic::getAlignment() to new API. (NFCI)

2018-01-31 16:42:15 +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

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +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] Make getPostIncExpr guaranteed to return AddRec

2018-02-12 05:09:38 +00:00

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

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

TypeBasedAliasAnalysis

[Analysis] Support aggregate access types in TBAA

2018-02-02 14:09:22 +00:00

ValueTracking

[ValueTracking] add recursion depth param to matchSelectPattern

2018-01-24 15:20:37 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

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