Sanjoy Das f45ab4139a [SCEV] make SCEV smarter about proving no-wrap. ...

Summary:
Teach SCEV to prove no overflow for an add recurrence by proving
something about the range of another add recurrence a loop-invariant
distance away from it.

Reviewers: atrick, hfinkel

Subscribers: llvm-commits

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

llvm-svn: 231305

2015-03-04 22:24:17 +00:00

..

AssumptionCache

[PM] Actually add the new pass manager support for the assumption cache.

2015-01-22 21:53:09 +00:00

BasicAA

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

BlockFrequencyInfo

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

BranchProbabilityInfo

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

CallGraph

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

CFLAliasAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

CostModel

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

Delinearization

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

DependenceAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

Dominators

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

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

GlobalsModRef

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LazyCallGraph

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

Lint

Make llvm.eh.begincatch use an outparam

2015-03-03 17:41:09 +00:00

LoopAccessAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopInfo

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

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

MemoryDependenceAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

PostDominators

FileCheck-ize tests.

2013-08-22 00:51:19 +00:00

RegionInfo

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

ScalarEvolution

[SCEV] make SCEV smarter about proving no-wrap.

2015-03-04 22:24:17 +00:00

ScopedNoAliasAA

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

TypeBasedAliasAnalysis

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

ValueTracking

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00