Sanjoy Das 7f0da20b97 Fix PR22179. ...

We were incorrectly inferring nsw for certain SCEVs. We can be more
aggressive here (see Richard Smith's comment on
http://llvm.org/bugs/show_bug.cgi?id=22179) but this change just
focuses on correctness.

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



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

2015-01-10 23:41:24 +00:00

..

BasicAA

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

BlockFrequencyInfo

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

BranchProbabilityInfo

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

CallGraph

…

CFLAliasAnalysis

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

CostModel

AVX-512: SINT_TO_FP cost model and some bugfixes

2014-11-13 11:46:16 +00:00

Delinearization

ScalarEvolution: Derive element size from the type of the loaded element

2014-06-08 19:21:20 +00:00

DependenceAnalysis

[DependenceAnalysis] Allow subscripts of different types

2014-11-16 16:52:44 +00:00

Dominators

…

GlobalsModRef

Move the complex address expression out of DIVariable and into an extra

2014-10-01 18:55:02 +00:00

LazyCallGraph

[LCG] Add support for building persistent and connected SCCs to the

2014-04-18 10:50:32 +00:00

Lint

Teach lint about address spaces

2014-03-06 17:33:55 +00:00

LoopInfo

…

MemoryDependenceAnalysis

…

PostDominators

…

RegionInfo

…

ScalarEvolution

Fix PR22179.

2015-01-10 23:41:24 +00:00

ScopedNoAliasAA

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

TypeBasedAliasAnalysis

Re-reapply r221924: "[GVN] Perform Scalar PRE on gep indices that feed loads before

2015-01-09 19:19:56 +00:00