Sanjoy Das 79b9222927 Teach SCEV normalization to de/normalize non-affine add recs ...

Summary:
Before this change, SCEV Normalization would incorrectly normalize
non-affine add recurrences.  To work around this there was (still is)
a check in place to make sure we only tried to normalize affine add
recurrences.

We recently found a bug in aforementioned check to bail out of
normalizing non-affine add recurrences.  However, instead of fixing
the bailout, I have decided to teach SCEV normalization to work
correctly with non-affine add recurrences, making the bailout
unnecessary (I'll remove it in a subsequent change).

I've also added some unit tests (which would have failed before this
change).

Reviewers: atrick, sunfish, efriedma

Reviewed By: atrick

Subscribers: mcrosier, mzolotukhin, llvm-commits

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

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

2017-04-25 00:09:19 +00:00

..

ADT

[APInt] Add ashrInPlace method and rewrite ashr to make a copy and then call ashrInPlace.

2017-04-24 17:18:47 +00:00

Analysis

Teach SCEV normalization to de/normalize non-affine add recs

2017-04-25 00:09:19 +00:00

AsmParser

Remove every uses of getGlobalContext() in LLVM (but the C API)

2016-04-14 21:59:01 +00:00

Bitcode

Reapply "Make BitCodeAbbrev ownership explicit using shared_ptr rather than IntrusiveRefCntPtr""

2017-01-04 22:36:33 +00:00

CodeGen

[SVE] Fix mismatched sign comparison warning in unit test from r300842.

2017-04-20 16:54:49 +00:00

DebugInfo

Remove the unnecessary virtual dtor from the DIEUnit hierarchy (in favor of protected dtor in the base, final derived classes with public non-virtual dtors)

2017-04-22 02:18:00 +00:00

ExecutionEngine

[IR] Make paramHasAttr to use arg indices instead of attr indices

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

IR

[APInt] Cast more calls to add/sub/mul overflow functions to void. I missed the unittests in r300758.

2017-04-19 22:11:05 +00:00

LineEditor

Remove autoconf support

2016-01-26 21:29:08 +00:00

Linker

Implement intrinsic mangling for literal struct types.

2017-02-15 23:16:20 +00:00

MC

Fix static initialization order fiasco in MCTests

2016-11-11 22:18:42 +00:00

MI

Fix subreg value numbers in handleMoveUp

2017-03-11 00:14:52 +00:00

Object

Fix unittest for buildbot with mips host (32bit big endian) from r295174

2017-02-15 16:03:22 +00:00

ObjectYAML

Move ObjectYAML code to a new library.

2016-03-01 19:15:06 +00:00

Option

Fix some ArgList uses after API change in r300135.

2017-04-12 23:43:58 +00:00

ProfileData

Fix signed/unsigned comparison warning

2017-03-11 19:38:22 +00:00

Support

Revert "Refactor DynamicLibrary so searching for a symbol will have a defined order"

2017-04-24 20:16:01 +00:00

Target

Remove a FIXME that I forgot about. NFC.

2016-10-13 05:28:55 +00:00

Transforms

Prefer addAttr(Attribute::AttrKind) over the AttributeList overload

2017-04-19 17:28:52 +00:00

XRay

[XRay][graph] Disambiguate name of type from member name

2017-02-10 06:59:25 +00:00

CMakeLists.txt

[XRay] A graph Class for the llvm-xray graph

2017-02-10 06:36:08 +00:00