[SCEV] Commute sign extends through nsw additions
authorSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 22 Oct 2015 19:57:25 +0000 (19:57 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 22 Oct 2015 19:57:25 +0000 (19:57 +0000)
commitf606b2f403448ea2c3a8f866e999a0a9f46a136d
treed0b476bd23ce0bf97ca1098d45b1fe8079f4d279
parentc05a5c2c864cd22f86b71f9815f9b83798cf543b
[SCEV] Commute sign extends through nsw additions

Summary: Depends on D13613.

Reviewers: atrick, hfinkel, reames, nlewycky

Subscribers: llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251049 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/no-wrap-add-exprs.ll