SCEV fix. In general, Add/Mul expressions should not inherit NSW/NUW.
authorAndrew Trick <atrick@apple.com>
Tue, 29 Nov 2011 02:16:38 +0000 (02:16 +0000)
committerAndrew Trick <atrick@apple.com>
Tue, 29 Nov 2011 02:16:38 +0000 (02:16 +0000)
commitecb35ece5c42d89057da3c2c7bc2e95f08b1dbef
tree14cfd5aa0655419ef4e01ac717f4045c1246d524
parent121d78f7e7d71dc56699f249f5103562d9ce179e
SCEV fix. In general, Add/Mul expressions should not inherit NSW/NUW.

This reverts r139450, fixes r139453, and adds much needed comments and a
unit test.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145367 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
lib/Transforms/Scalar/IndVarSimplify.cpp
test/Analysis/ScalarEvolution/nsw.ll